org.provarules.reference2

Class ProvaConstantImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

org.provarules.reference2.ProvaConstantImpl

All Implemented Interfaces:

java.io.Serializable, ProvaComputable, ProvaConstant, ProvaObject

Direct Known Subclasses:

ProvaGlobalConstantImpl, ProvaMapImpl

public class ProvaConstantImpl
extends ProvaTermImpl
implements ProvaConstant, ProvaComputable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object	object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProvaConstantImpl(java.lang.Object object)

Method Summary

Modifier and Type	Method and Description
ProvaObject	cloneWithBoundVariables(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.Number	compute()
java.lang.Object	computeIfExpression()
ProvaObject	computeProvaIfExpression()
int	computeSize()
static ProvaConstantImpl	create(java.lang.Object object)
java.lang.Object	getObject()
ProvaObject	getRecursivelyAssigned()
boolean	isGround()
boolean	matched(ProvaConstant target)
void	setObject(java.lang.Object object)
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)
static ProvaObject	wrap(java.lang.Object o)

Methods inherited from class org.provarules.reference2.ProvaTermImpl

uniqueName

Methods inherited from class java.lang.Object

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

Field Detail

object

protected java.lang.Object object

Constructor Detail

ProvaConstantImpl

protected ProvaConstantImpl(java.lang.Object object)

Method Detail

create

public static ProvaConstantImpl create(java.lang.Object object)

setObject

public void setObject(java.lang.Object object)

Specified by:

setObject in interface ProvaConstant

getObject

public java.lang.Object getObject()

Specified by:

getObject in interface ProvaConstant

getRecursivelyAssigned

public ProvaObject getRecursivelyAssigned()

Specified by:

getRecursivelyAssigned in interface ProvaObject

collectVariables

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

Specified by:

collectVariables in interface ProvaObject

computeSize

public int computeSize()

Specified by:

computeSize in interface ProvaObject

matched

public boolean matched(ProvaConstant target)

Specified by:

matched in interface ProvaConstant

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

isGround

public boolean isGround()

Specified by:

isGround in interface ProvaObject

toString

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

Specified by:

toString in interface ProvaObject

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

compute

public java.lang.Number compute()

Specified by:

compute in interface ProvaComputable

computeIfExpression

public java.lang.Object computeIfExpression()

Specified by:

computeIfExpression in interface ProvaComputable

Specified by:

computeIfExpression in interface ProvaObject

computeProvaIfExpression

public ProvaObject computeProvaIfExpression()

Specified by:

computeProvaIfExpression in interface ProvaObject

wrap

public static ProvaObject wrap(java.lang.Object o)

updateGround

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

Specified by:

updateGround in interface ProvaObject