ProgramExtractor.java 文件源码

@Override
public void visitErrorNode(ErrorNode node) {
    if(node.getSymbol().getCharPositionInLine() != -1) {
        int line = node.getSymbol().getLine();
        int rangeStart = node.getSymbol().getStartIndex();
        int rangeEnd = node.getSymbol().getStopIndex();

        log.logProblem("Error node: \"" + node.getText() + "\"", line, rangeStart, rangeEnd, Problem.Severity.CRITICAL);
    } else {
        log.logProblem("Error node with no position information: \"" + node.getText() + "\"", Problem.NO_LINE_NUM, Problem.Severity.CRITICAL);
    }
}