prolog.demonstration
Class DemoProgramBuilder

java.lang.Object
  |
  +--prolog.implementation.ProgramBuilder
        |
        +--prolog.demonstration.DemoProgramBuilder
All Implemented Interfaces:
IProgramBuilder

public class DemoProgramBuilder
extends ProgramBuilder


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
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

tree

protected Tree tree

symbolTable

protected ISymbolTable symbolTable
Constructor Detail

DemoProgramBuilder

public DemoProgramBuilder(Tree tree)
Method Detail

createQueryList

public IQueryList createQueryList()
Description copied from class: ProgramBuilder
returns a implementation of a IQueryList
Overrides:
createQueryList in class ProgramBuilder

createStatementMap

public IStatementMap createStatementMap()
Description copied from class: ProgramBuilder
returns a implementation of a IStatementMap
Overrides:
createStatementMap in class ProgramBuilder

createFactDb

public IFactDb createFactDb()
Description copied from class: ProgramBuilder
returns a implementation of a IFactDb
Overrides:
createFactDb in class ProgramBuilder

createProgram

public IProgram createProgram()
Description copied from class: ProgramBuilder
returns a implementation of a IProgram
Overrides:
createProgram in class ProgramBuilder

createAndStatement

public IFact createAndStatement(int name)
Description copied from class: ProgramBuilder
returns a implementation of a AndStatement
Overrides:
createAndStatement in class ProgramBuilder

createAndStatement

public IFact createAndStatement(IFact f)
Description copied from class: ProgramBuilder
returns a implementation of a AndStatement
Overrides:
createAndStatement in class ProgramBuilder

createConstraintStatement

public IFact createConstraintStatement(int name)
Description copied from class: ProgramBuilder
returns a implementation of a ConstraintStatement
Overrides:
createConstraintStatement in class ProgramBuilder

createConstraintStatement

public IFact createConstraintStatement(int name,
                                       IRelation relation)
Description copied from class: ProgramBuilder
returns a implementation of a ConstraintStatement
Overrides:
createConstraintStatement in class ProgramBuilder

createMatchingStatement

public IFact createMatchingStatement(int name)
Description copied from class: ProgramBuilder
returns a implementation of a MatchingStatement
Overrides:
createMatchingStatement in class ProgramBuilder

createMatchingStatement

public IFact createMatchingStatement(int name,
                                     IRelation relation)
Description copied from class: ProgramBuilder
returns a implementation of a MatchingStatement
Overrides:
createMatchingStatement in class ProgramBuilder

getSymbolTable

public ISymbolTable getSymbolTable()
Description copied from class: ProgramBuilder
returns a implementation of a ISymbolTable
Overrides:
getSymbolTable in class ProgramBuilder