org.provarules.reference2

Class ProvaLiteralImpl

java.lang.Object

org.provarules.reference2.ProvaLiteralImpl

All Implemented Interfaces:

java.io.Serializable, ProvaLiteral, ProvaObject

Direct Known Subclasses:

ProvaCachedLiteralImpl, ProvaGuardedLiteralImpl

public class ProvaLiteralImpl
extends java.lang.Object
implements ProvaLiteral

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	ground
protected int	line
protected java.util.Map<java.lang.String,java.util.List<java.lang.Object>>	metadata
protected ProvaPredicate	predicate
protected java.lang.String	sourceCode
protected ProvaList	terms
static java.lang.ThreadLocal<java.util.Map<java.lang.Object,ProvaObject>>	tlVars

Constructor Summary

Constructors

Constructor and Description
ProvaLiteralImpl(ProvaPredicate predicate, ProvaList terms)
ProvaLiteralImpl(ProvaPredicate predicate, ProvaList terms, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Method Summary

Modifier and Type	Method and Description
void	addClause(ProvaRule clause)
void	addClauseA(ProvaRule clause)
java.util.List<ProvaObject>	addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)
ProvaObject	cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaLiteral	cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
java.lang.Object	computeIfExpression()
ProvaObject	computeProvaIfExpression()
int	computeSize() Should not be called
ProvaLocalAnswers	getAnswers()
ProvaCacheState	getCacheState()
ProvaGoal	getGoal()
java.util.List<ProvaLiteral>	getGuard()
int	getLine()
java.util.Map<java.lang.String,java.util.List<java.lang.Object>>	getMetadata()
java.util.List<java.lang.Object>	getMetadata(java.lang.String property)
ProvaPredicate	getPredicate()
ProvaObject	getRecursivelyAssigned()
java.lang.String	getSourceCode()
ProvaList	getTerms()
boolean	isGround()
void	markCompletion()
ProvaLiteral	rebuild(ProvaUnification unification)
ProvaLiteral	rebuildSource(ProvaUnification unification)
void	setGoal(ProvaGoal goal)
void	setGround(boolean ground)
void	setLine(int line)
void	setMetadata(java.lang.String property, java.util.List<java.lang.Object> value)
void	setSourceCode(java.lang.String text)
void	setTerms(ProvaList terms)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()
java.lang.String	toString(java.util.List<ProvaVariable> variables)
boolean	unify(ProvaObject target, ProvaUnification unification)
boolean	updateGround(java.util.List<ProvaVariable> variables)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

predicate

protected final ProvaPredicate predicate

terms

protected ProvaList terms

ground

protected boolean ground

sourceCode

protected java.lang.String sourceCode

metadata

protected java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata

line

protected int line

tlVars

public static java.lang.ThreadLocal<java.util.Map<java.lang.Object,ProvaObject>> tlVars

Constructor Detail

ProvaLiteralImpl

public ProvaLiteralImpl(ProvaPredicate predicate,
                        ProvaList terms)

ProvaLiteralImpl

public ProvaLiteralImpl(ProvaPredicate predicate,
                        ProvaList terms,
                        java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Method Detail

getPredicate

public ProvaPredicate getPredicate()

Specified by:

getPredicate in interface ProvaLiteral

getTerms

public ProvaList getTerms()

Specified by:

getTerms in interface ProvaLiteral

setTerms

public void setTerms(ProvaList terms)

Specified by:

setTerms in interface ProvaLiteral

collectVariables

public int collectVariables(long ruleId,
                            java.util.List<ProvaVariable> variables)

Specified by:

collectVariables in interface ProvaObject

getRecursivelyAssigned

public ProvaObject getRecursivelyAssigned()

Specified by:

getRecursivelyAssigned in interface ProvaObject

computeSize

public int computeSize()

Should not be called

Specified by:

computeSize in interface ProvaObject

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

rebuild

public ProvaLiteral rebuild(ProvaUnification unification)

Specified by:

rebuild in interface ProvaLiteral

rebuildSource

public ProvaLiteral rebuildSource(ProvaUnification unification)

Specified by:

rebuildSource in interface ProvaLiteral

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addClause

public void addClause(ProvaRule clause)

Specified by:

addClause in interface ProvaLiteral

addClauseA

public void addClauseA(ProvaRule clause)

Specified by:

addClauseA in interface ProvaLiteral

isGround

public boolean isGround()

Specified by:

isGround in interface ProvaObject

setGoal

public void setGoal(ProvaGoal goal)

Specified by:

setGoal in interface ProvaLiteral

getCacheState

public ProvaCacheState getCacheState()

Specified by:

getCacheState in interface ProvaLiteral

getAnswers

public ProvaLocalAnswers getAnswers()

Specified by:

getAnswers in interface ProvaLiteral

markCompletion

public void markCompletion()

Specified by:

markCompletion in interface ProvaLiteral

getGoal

public ProvaGoal getGoal()

Specified by:

getGoal in interface ProvaLiteral

toString

public java.lang.String toString(java.util.List<ProvaVariable> variables)

Specified by:

toString in interface ProvaObject

cloneWithBoundVariables

public ProvaLiteral cloneWithBoundVariables(ProvaUnification unification,
                                            java.util.List<ProvaVariable> variables,
                                            java.util.List<java.lang.Boolean> isConstant)

Specified by:

cloneWithBoundVariables in interface ProvaLiteral

cloneWithBoundVariables

public ProvaObject cloneWithBoundVariables(java.util.List<ProvaVariable> variables,
                                           java.util.List<java.lang.Boolean> isConstant)

Specified by:

cloneWithBoundVariables in interface ProvaObject

cloneWithVariables

public ProvaObject cloneWithVariables(java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

cloneWithVariables

public ProvaObject cloneWithVariables(long ruleId,
                                      java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

getSourceCode

public java.lang.String getSourceCode()

Specified by:

getSourceCode in interface ProvaLiteral

setSourceCode

public void setSourceCode(java.lang.String text)

Specified by:

setSourceCode in interface ProvaLiteral

setMetadata

public void setMetadata(java.lang.String property,
                        java.util.List<java.lang.Object> value)

Specified by:

setMetadata in interface ProvaLiteral

getMetadata

public java.util.List<java.lang.Object> getMetadata(java.lang.String property)

Specified by:

getMetadata in interface ProvaLiteral

addMetadata

public java.util.List<ProvaObject> addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)

Specified by:

addMetadata in interface ProvaLiteral

getMetadata

public java.util.Map<java.lang.String,java.util.List<java.lang.Object>> getMetadata()

Specified by:

getMetadata in interface ProvaLiteral

setLine

public void setLine(int line)

Specified by:

setLine in interface ProvaLiteral

getLine

public int getLine()

Specified by:

getLine in interface ProvaLiteral

getGuard

public java.util.List<ProvaLiteral> getGuard()

Specified by:

getGuard in interface ProvaLiteral

computeIfExpression

public java.lang.Object computeIfExpression()

Specified by:

computeIfExpression in interface ProvaObject

computeProvaIfExpression

public ProvaObject computeProvaIfExpression()

Specified by:

computeProvaIfExpression in interface ProvaObject

setGround

public void setGround(boolean ground)

Specified by:

setGround in interface ProvaLiteral

updateGround

public boolean updateGround(java.util.List<ProvaVariable> variables)

Specified by:

updateGround in interface ProvaObject