AnswerSetsParser.java 文件源码

public static Set<AnswerSet> parse(CharStream stream) throws IOException {
    final ASPCore2Parser parser = new ASPCore2Parser(new CommonTokenStream(new ASPCore2Lexer(stream)));

    // Try SLL parsing mode (faster but may terminate incorrectly).
    parser.getInterpreter().setPredictionMode(PredictionMode.SLL);
    parser.removeErrorListeners();
    parser.setErrorHandler(new BailErrorStrategy());

    return VISITOR.translate(parser.answer_sets());
}