public void setUp() { FOLDomain domain = DomainFactory.crusadesDomain(); lexer = new FOLLexer(domain); parser = new FOLParser(lexer); }
public void setUp() { FOLDomain domain = new FOLDomain(); domain.addConstant("P"); domain.addConstant("John"); domain.addConstant("Saladin"); domain.addFunction("LeftLeg"); domain.addFunction("BrotherOf"); domain.addFunction("EnemyOf"); domain.addPredicate("HasColor"); domain.addPredicate("King"); lexer = new FOLLexer(domain); }
public FOLParser(FOLLexer lexer) { this.lexer = lexer; lookAheadBuffer = new Token[_lookAhead]; }