prolog.model
Interface IStatement

All Superinterfaces:

IFact

All Known Implementing Classes:

AbstractStatement, ConstraintStatement, MatchingStatement, NodeStatement

public interface IStatement

extends IFact

IStatement is the base interface for a constraint, a interface to query facts. The extension of the spuerinterface IFact is used to store the parameters in the relation and providing a name

Method Summary

IFactList

query(IFact f, IFactDb l, IStatementMap constraints) Querries the statement for all Facts matching the given fact.

Methods inherited from interface prolog.model.IFact

genXml, getName, getRelation, toString

Method Detail

query

public IFactList query(IFact f,
                       IFactDb l,
                       IStatementMap constraints)
                throws ParameterMatchingError

Querries the statement for all Facts matching the given fact. For this purpose, the factdatabase and the statementmap is required.

Parameters:

f - is the fact pattern to search for

l - is the fact database

constraints - is the map containing statements to resolve external symbols

Returns:

a collection of facts matching the given fact

Throws:

ParameterMatchingError -