org.processmining.plugins.ltlchecker.util

Class Substitutes

java.lang.Object

org.processmining.plugins.ltlchecker.util.Substitutes

public class Substitutes
extends java.lang.Object

Substitutes is a wrapper class for a treemap containing substitutes in local context. That is local variables are defined and later on they get an value which is used by comparisons and formula calls. These substitutes are also used to attach user-added values for formulae. The checker therefor does not see any difference between a formula call in the language and one via the GUI.

Version:

0.1

Author:

HT de Beer

Constructor Summary

Constructors

Constructor and Description
Substitutes()
Substitutes(java.util.TreeMap<java.lang.String,ValueNode> substs)

Method Summary

Modifier and Type	Method and Description
void	add(java.lang.String id, ValueNode val) Add the value of an id, by calling of an function or in an comparison expression.
java.lang.Object	clone() Create a shallow copy of this Substitutes object, that is, the substitutes themselves are not copied.
ValueNode	get(java.lang.String id) Get the value of an id.
java.util.TreeMap<java.lang.String,ValueNode>	getAll()
boolean	hasId(java.lang.String id)
void	setBinder(RootNode binder) Set the binding node for user added values so that these parameters are bounded on the highest level, ther where they are used.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Substitutes

public Substitutes()

Substitutes

public Substitutes(java.util.TreeMap<java.lang.String,ValueNode> substs)

Method Detail

setBinder

public void setBinder(RootNode binder)

Set the binding node for user added values so that these parameters are bounded on the highest level, ther where they are used. Actually this binding is not needed because the values the user add are literals. Binding is only needed by attribute values. But every value node should have a binder.

Parameters:

binder - The node to bind the values in this substituesset.

add

public void add(java.lang.String id,
                ValueNode val)

Add the value of an id, by calling of an function or in an comparison expression.

Parameters:

id - The id for which the value is to be set.

val - The value for the id.

get

public ValueNode get(java.lang.String id)

Get the value of an id.

Parameters:

id - The id the value is to be get.

Returns:

The value of id.

hasId

public boolean hasId(java.lang.String id)

getAll

public java.util.TreeMap<java.lang.String,ValueNode> getAll()

clone

public java.lang.Object clone()

Create a shallow copy of this Substitutes object, that is, the substitutes themselves are not copied.

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object