UnificationList Interface
- public interface UnificationList
An interface for a class that maps variable names to the variable values.
public static final Byte |
-
NO_BOUND_VALUE
- A constant that is used as a marker to indicate that
there is no value bound for a particular name string.
|
public void |
-
addObject (String name, Object object)
- Adds a new object to the unbound list.
|
public void |
-
append (UnificationList unificationList)
- Appends another UnificationList onto the end of this.
|
public void |
-
bind (String name, Object value)
- Binds a value to a given name.
|
public boolean |
-
contains (Object value)
- Tests whether this contains the given value.
|
public boolean |
-
containsBound (String value)
- Tests whether this contains the given value and the value
has been bound to a variable name.
|
public Object |
-
getBound (String name, Class classType)
- Returns the Object that has been bound to a name.
|
public Object |
-
getValue (String name, Class classType)
- Returns the value of a bound variable or get an unbound value
and then bind it.
|
NO_BOUND_VALUE
public static final Byte
NO_BOUND_VALUE
- A constant that is used as a marker to indicate that
there is no value bound for a particular name string.
addObject(String, Object) Method
public void addObject(String
name,
Object
object)
Adds a new object to the unbound list.
Parameters
-
name
- the variable name for the value.
-
object
- the value to be associated with the name.
append(UnificationList) Method
public void append(UnificationList
unificationList)
Appends another UnificationList onto the end of this.
Parameters
-
unificationList
- the UnificationList to be appended
bind(String, Object) Method
public void bind(String
name,
Object
value)
Binds a value to a given name.
Parameters
-
name
- the variable name for the value.
-
value
- the value to be associated with the name.
contains(Object) Method
public boolean contains(Object
value)
Tests whether this contains the given value. The contains
test is done by matching the references.
Parameters
-
value
- the Object to be tested for.
Returns
- true if this
UnificationList
contains the given Object.
containsBound(String) Method
public boolean containsBound(String
value)
Tests whether this contains the given value and the value
has been bound to a variable name. The contains test is done by matching the references.
Parameters
-
value
- the Object to be tested for.
Returns
- true if this
UnificationList
contains the given Object.
getBound(String, Class) Method
public Object
getBound(String
name,
Class
classType)
Returns the Object that has been bound to a name.
Parameters
-
name
- the variable name for the value.
-
classType
- the class type of the value requested.
Returns
- a bound value or null if none was found.
getValue(String, Class) Method
public Object
getValue(String
name,
Class
classType)
Returns the value of a bound variable or get an unbound value
and then bind it.
Parameters
-
name
- the variable name for the value.
-
classType
- the class type of the value requested.
Returns
- a bound or unbound value or null if none was found.