org.provarules.reference2

Class ProvaMapImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

org.provarules.reference2.ProvaConstantImpl

org.provarules.reference2.ProvaMapImpl

All Implemented Interfaces:

java.io.Serializable, ProvaComputable, ProvaConstant, ProvaObject

public class ProvaMapImpl
extends ProvaConstantImpl

A wrapper around a Java Map that recursively (for all nested Maps) wraps all Java objects in the `Map` values in `ProvaObject`(s). The keys in the original Map are converted to Java `String` by `toString()`.
The Prova Maps are created using the equivalent create(Map) and wrapValues(Map)} methods.

See Also:

Serialized Form

Field Summary

Fields inherited from class org.provarules.reference2.ProvaConstantImpl

object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProvaMapImpl(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()
static ProvaMapImpl	create(java.util.Map<?,?> m)
boolean	isGround()
boolean	matched(ProvaConstant target)
ProvaObject	rebuild(ProvaUnification unification)
ProvaObject	rebuildSource(ProvaUnification unification)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()
boolean	unify(ProvaObject target, ProvaUnification unification)
java.lang.Object	unwrap()
boolean	updateGround(java.util.List<ProvaVariable> variables)
static ProvaObject	wrap(java.lang.Object o) Wrap an object in a `ProvaMapImpl` or `ProvaConstantImpl` if it is a Map or any other non-Prova object.
static ProvaMapImpl	wrapValues(java.util.Map<?,?> m) Wrap the map values as `ProvaObject`(s) while ignoring the already present `ProvaObject`(s) and recursively wrapping further `Map`(s).

Methods inherited from class org.provarules.reference2.ProvaConstantImpl

computeProvaIfExpression, computeSize, create, getObject, getRecursivelyAssigned, setObject, toString

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

Constructor Detail

ProvaMapImpl

protected ProvaMapImpl(java.lang.Object object)

Method Detail

create

public static ProvaMapImpl create(java.util.Map<?,?> m)

collectVariables

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

Specified by:

collectVariables in interface ProvaObject

Overrides:

collectVariables in class ProvaConstantImpl

updateGround

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

Specified by:

updateGround in interface ProvaObject

Overrides:

updateGround in class ProvaConstantImpl

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

Overrides:

unify in class ProvaConstantImpl

toString

public java.lang.String toString()

Overrides:

toString in class ProvaConstantImpl

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

Overrides:

substituteVariables in class ProvaConstantImpl

isGround

public boolean isGround()

Specified by:

isGround in interface ProvaObject

Overrides:

isGround in class ProvaConstantImpl

cloneWithBoundVariables

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

Specified by:

cloneWithBoundVariables in interface ProvaObject

Overrides:

cloneWithBoundVariables in class ProvaConstantImpl

cloneWithVariables

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

Specified by:

cloneWithVariables in interface ProvaObject

Overrides:

cloneWithVariables in class ProvaConstantImpl

cloneWithVariables

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

Specified by:

cloneWithVariables in interface ProvaObject

Overrides:

cloneWithVariables in class ProvaConstantImpl

compute

public java.lang.Number compute()

Specified by:

compute in interface ProvaComputable

Overrides:

compute in class ProvaConstantImpl

computeIfExpression

public java.lang.Object computeIfExpression()

Specified by:

computeIfExpression in interface ProvaComputable

Specified by:

computeIfExpression in interface ProvaObject

Overrides:

computeIfExpression in class ProvaConstantImpl

wrapValues

public static ProvaMapImpl wrapValues(java.util.Map<?,?> m)

Wrap the map values as `ProvaObject`(s) while ignoring the already present `ProvaObject`(s) and recursively wrapping further `Map`(s). This function is often used for wrapping Maps before passing them as payload to ProvaCommunicator.addMsg(ProvaList) or ProvaCommunicator.addMsg(String, String, String, Object).

Parameters:

m - Map to wrap

Returns:

a wrapped Map

wrap

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

Wrap an object in a `ProvaMapImpl` or `ProvaConstantImpl` if it is a Map or any other non-Prova object. Keep it as it is if it is already a `ProvaObject`.

Parameters:

o - a naked object

Returns:

a wrapped object or `o`, if it is already wrapped

rebuild

public ProvaObject rebuild(ProvaUnification unification)

rebuildSource

public ProvaObject rebuildSource(ProvaUnification unification)

unwrap

public java.lang.Object unwrap()

matched

public boolean matched(ProvaConstant target)

Specified by:

matched in interface ProvaConstant

Overrides:

matched in class ProvaConstantImpl