|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--prolog.implementation.ProgramBuilder
|
+--prolog.demonstration.DemoProgramBuilder
| Field Summary | |
protected ISymbolTable |
symbolTable
|
protected Tree |
tree
|
| Constructor Summary | |
DemoProgramBuilder(Tree tree)
|
|
| Method Summary | |
IFact |
createAndStatement(IFact f)
returns a implementation of a AndStatement |
IFact |
createAndStatement(int name)
returns a implementation of a AndStatement |
IFact |
createConstraintStatement(int name)
returns a implementation of a ConstraintStatement |
IFact |
createConstraintStatement(int name,
IRelation relation)
returns a implementation of a ConstraintStatement |
IFactDb |
createFactDb()
returns a implementation of a IFactDb |
IFact |
createMatchingStatement(int name)
returns a implementation of a MatchingStatement |
IFact |
createMatchingStatement(int name,
IRelation relation)
returns a implementation of a MatchingStatement |
IProgram |
createProgram()
returns a implementation of a IProgram |
IQueryList |
createQueryList()
returns a implementation of a IQueryList |
IStatementMap |
createStatementMap()
returns a implementation of a IStatementMap |
ISymbolTable |
getSymbolTable()
returns a implementation of a ISymbolTable |
| Methods inherited from class prolog.implementation.ProgramBuilder |
createFact, createFact, createFactList, createQuery, createRelation, createValue, createVariable |
| Methods inherited from class java.lang.Object |
|
| Field Detail |
protected Tree tree
protected ISymbolTable symbolTable
| Constructor Detail |
public DemoProgramBuilder(Tree tree)
| Method Detail |
public IQueryList createQueryList()
ProgramBuildercreateQueryList in class ProgramBuilderpublic IStatementMap createStatementMap()
ProgramBuildercreateStatementMap in class ProgramBuilderpublic IFactDb createFactDb()
ProgramBuildercreateFactDb in class ProgramBuilderpublic IProgram createProgram()
ProgramBuildercreateProgram in class ProgramBuilderpublic IFact createAndStatement(int name)
ProgramBuildercreateAndStatement in class ProgramBuilderpublic IFact createAndStatement(IFact f)
ProgramBuildercreateAndStatement in class ProgramBuilderpublic IFact createConstraintStatement(int name)
ProgramBuildercreateConstraintStatement in class ProgramBuilder
public IFact createConstraintStatement(int name,
IRelation relation)
ProgramBuildercreateConstraintStatement in class ProgramBuilderpublic IFact createMatchingStatement(int name)
ProgramBuildercreateMatchingStatement in class ProgramBuilder
public IFact createMatchingStatement(int name,
IRelation relation)
ProgramBuildercreateMatchingStatement in class ProgramBuilderpublic ISymbolTable getSymbolTable()
ProgramBuildergetSymbolTable in class ProgramBuilder
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||