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];
}
