Class Variable
java.lang.Object
|
+--Variable
- public class Variable
- extends java.lang.Object
Variable.java
Unassigned Variables can match to any value or
another Variable of the same name.
Created: Wed Apr 14 16:14:03 1999
Field Summary |
(package private) java.lang.String |
name
|
(package private) static java.util.Hashtable |
namesUsed
|
Constructor Summary |
Variable(java.lang.String n)
|
Variable(java.lang.String n,
boolean unique)
Creates Variable with a unique name using given String prefix. |
Methods inherited from class java.lang.Object |
,
clone,
finalize,
getClass,
notify,
notifyAll,
registerNatives,
wait,
wait,
wait |
namesUsed
static java.util.Hashtable namesUsed
name
java.lang.String name
Variable
public Variable(java.lang.String n)
Variable
public Variable(java.lang.String n,
boolean unique)
- Creates Variable with a unique name using given String prefix.
getName
public java.lang.String getName()
isVarName
public static boolean isVarName(java.lang.String s)
prefixMatch
public boolean prefixMatch(java.lang.String s)
getVarFromUniqueName
public static Variable getVarFromUniqueName(java.lang.String name)
getUniqueName
public static java.lang.String getUniqueName(java.lang.String s)
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object
hashCode
public int hashCode()
- Hash Variables according to their String names.
- Overrides:
- hashCode in class java.lang.Object
equals
public boolean equals(java.lang.Object obj)
- Overrides:
- equals in class java.lang.Object