Examples of org.rascalmpl.parser.gtd.exception.ParseError


      int errorLocation = (location == Integer.MAX_VALUE ? 0 : location);
      int line = positionStore.findLine(errorLocation);
      int column = positionStore.getColumn(errorLocation, line);
      if (location == input.length) {
        throw new ParseError("Parse error", inputURI, errorLocation, 0, line, line, column, column, (Stack<AbstractStackNode<?>>) (Stack<?>) unexpandableNodes, (Stack<AbstractStackNode<?>>) (Stack<?>) unmatchableLeafNodes, (DoubleStack<ArrayList<AbstractStackNode<?>>, AbstractStackNode<?>>) (DoubleStack<?, ?>) unmatchableMidProductionNodes, (DoubleStack<AbstractStackNode<?>, AbstractNode>) (DoubleStack<?, ?>) filteredNodes);
      }


      throw new ParseError("Parse error", inputURI, errorLocation, 1, line, line, column, column + 1, (Stack<AbstractStackNode<?>>) (Stack<?>) unexpandableNodes, (Stack<AbstractStackNode<?>>) (Stack<?>) unmatchableLeafNodes, (DoubleStack<ArrayList<AbstractStackNode<?>>, AbstractStackNode<?>>) (DoubleStack<?, ?>) unmatchableMidProductionNodes, (DoubleStack<AbstractStackNode<?>, AbstractNode>) (DoubleStack<?, ?>) filteredNodes);
    }
    finally {
      checkTime("Error handling");
    }
  }

      int length = endOffset - offset;
      int beginLine = positionStore.findLine(offset);
      int beginColumn = positionStore.getColumn(offset, beginLine);
      int endLine = positionStore.findLine(endOffset);
      int endColumn = positionStore.getColumn(endOffset, endLine);
      throw new ParseError("All results were filtered", inputURI, offset, length, beginLine, endLine, beginColumn, endColumn);
    }
    finally {
      checkTime("Unbinarizing, post-parse filtering, and mapping to UPTR");
    }
  }

Examples of org.rascalmpl.parser.gtd.exception.ParseError

Related Classes of org.rascalmpl.parser.gtd.exception.ParseError