Class Variable

java.lang.Object
   |
   +----Variable

public class Variable
extends Object
implements Serializable
The class `Variable' represents an occurrence of a variable in a case (a variable being an identifier that gets bound to a value when the case is matched against a new situation).


Constructor Index

 o Variable(String)
Constructs an instance of Variable.

Method Index

 o equals(Object)
Returns true just in case the given object is a Variable whose name is string-equal to this one.
 o toString()
Returns the string representation of this variable, without the `?' prefix.

Constructors

 o Variable
 public Variable(String name)
Constructs an instance of Variable.

Parameters:
name - The name of the variable (without the `?' prefix).

Methods

 o equals
 public boolean equals(Object anObject)
Returns true just in case the given object is a Variable whose name is string-equal to this one.

Parameters:
anObject - The Object to be compared.
Returns:
s True just in case the given object is an Variable whose name is string-equal to this one.
Overrides:
equals in class Object
 o toString
 public String toString()
Returns the string representation of this variable, without the `?' prefix.

Parameters:
anObject - The string representation of this enumeration symbol.
Overrides:
toString in class Object