public class Substitutes
extends java.lang.Object
Constructor and Description |
---|
Substitutes() |
Substitutes(java.util.TreeMap<java.lang.String,ValueNode> substs) |
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() |
public Substitutes()
public Substitutes(java.util.TreeMap<java.lang.String,ValueNode> substs)
public void setBinder(RootNode binder)
binder
- The node to bind the values in this substituesset.public void add(java.lang.String id, ValueNode val)
id
- The id for which the value is to be set.val
- The value for the id.public ValueNode get(java.lang.String id)
id
- The id the value is to be get.public boolean hasId(java.lang.String id)
public java.util.TreeMap<java.lang.String,ValueNode> getAll()
public java.lang.Object clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object