PropositionalParser.java 文件源码

/**
 * Constructs a new parser.
 * @param f the formula factory
 */
public PropositionalParser(final FormulaFactory f) {
  super(f);
  this.lexer = new PropositionalLexer(null);
  CommonTokenStream tokens = new CommonTokenStream(this.lexer);
  this.parser = new LogicNGPropositionalParser(tokens);
  this.parser.setFormulaFactory(f);
  this.lexer.removeErrorListeners();
  this.parser.removeErrorListeners();
  this.parser.setErrorHandler(new BailErrorStrategy());
}