prolog.model
Interface IProgramBuilder

All Known Implementing Classes:

ProgramBuilder

public interface IProgramBuilder

IProgramBuilder is a kind of class factory. It is required to be able to use different implementation of classed in the program. it is also usefull to seperate packages from each other. so a minimal set of import references into another package is required. !!! be ware of class cast exceptions !!!

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
IFact	createFact(int name) returns a implementation of a IFact
IFact	createFact(int name, IRelation relation) returns a implementation of a IFact
IFactDb	createFactDb() returns a implementation of a IFactDb
IFactList	createFactList(int name, int colCount) returns a implementation of a IFactList
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
IFact	createQuery(int name) returns a implementation of a Query
IQueryList	createQueryList() returns a implementation of a IQueryList
IRelation	createRelation() returns a implementation of a IRelation
IStatementMap	createStatementMap() returns a implementation of a IStatementMap
IAtom	createValue(int value) returns a implementation of a IAtom as Value
IAtom	createVariable(int value) returns a implementation of a IAtom as Variable
ISymbolTable	getSymbolTable() returns a implementation of a ISymbolTable

Method Detail

createStatementMap

public IStatementMap createStatementMap()

returns a implementation of a IStatementMap

createQueryList

public IQueryList createQueryList()

returns a implementation of a IQueryList

createProgram

public IProgram createProgram()

returns a implementation of a IProgram

createFactDb

public IFactDb createFactDb()

returns a implementation of a IFactDb

createFactList

public IFactList createFactList(int name,
                                int colCount)

returns a implementation of a IFactList

createRelation

public IRelation createRelation()

returns a implementation of a IRelation

createAndStatement

public IFact createAndStatement(IFact f)

returns a implementation of a AndStatement

createAndStatement

public IFact createAndStatement(int name)

returns a implementation of a AndStatement

createConstraintStatement

public IFact createConstraintStatement(int name)

returns a implementation of a ConstraintStatement

createConstraintStatement

public IFact createConstraintStatement(int name,
                                       IRelation relation)

returns a implementation of a ConstraintStatement

createMatchingStatement

public IFact createMatchingStatement(int name)

returns a implementation of a MatchingStatement

createMatchingStatement

public IFact createMatchingStatement(int name,
                                     IRelation relation)

returns a implementation of a MatchingStatement

createQuery

public IFact createQuery(int name)

returns a implementation of a Query

createFact

public IFact createFact(int name,
                        IRelation relation)

returns a implementation of a IFact

createFact

public IFact createFact(int name)

returns a implementation of a IFact

createValue

public IAtom createValue(int value)

returns a implementation of a IAtom as Value

createVariable

public IAtom createVariable(int value)

returns a implementation of a IAtom as Variable

getSymbolTable

public ISymbolTable getSymbolTable()

returns a implementation of a ISymbolTable