CoqSyntaxException.java 文件源码

private static String makeMessage(CoqFTParser parser, Token offendingToken,
        int line, int charPositionInLine, String msg) {
    StringBuilder sb = new StringBuilder();
    sb.append("ANTLR SYNTAX ERROR\n");

    sb.append("Offending line:\n");
    sb.append(underlineError(parser, offendingToken, line,
            charPositionInLine)).append("\n\n");

    sb.append("Rule stack:\n");
    List<String> stack = parser.getRuleInvocationStack();
    Collections.reverse(stack);
    sb.append(stack).append("\n\n");

    sb.append("Message:\n");
    sb.append("line ").append(line).append(":");
    sb.append(charPositionInLine).append(" ").append(msg);

    if(DEBUG_SHOW_FULL_TEXT) {
        sb.append("\n\nFull text:\n");
        CommonTokenStream tokens = (CommonTokenStream)parser.getInputStream();
        sb.append(tokens.getTokenSource().getInputStream().toString());
    }

    return sb.toString();
}