ix.icore
Class Variable
java.lang.Object
|
+--ix.icore.Variable
- All Implemented Interfaces:
- java.lang.Comparable
- public class Variable
- extends java.lang.Object
- implements java.lang.Comparable
Constructor Summary |
Variable(java.lang.Object name)
|
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
name
java.lang.Object name
value
java.lang.Object value
allVariables
static java.util.List allVariables
count
static int count
number
public int number
sourceRefinement
public Refinement sourceRefinement
Variable
public Variable(java.lang.Object name)
getName
public java.lang.Object getName()
getValue
public java.lang.Object getValue()
setValue
public void setValue(java.lang.Object v)
compareTo
public int compareTo(java.lang.Object o)
- Specified by:
compareTo
in interface java.lang.Comparable
displayString
public java.lang.String displayString()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
varsIn
public static java.util.Set varsIn(java.lang.Object tree)
varsIn
public static java.util.Set varsIn(LList tree)
unboundVarsIn
public static java.util.Set unboundVarsIn(java.util.Collection c)
isFullyBound
public static boolean isFullyBound(java.lang.Object tree)
removeVars
public static java.lang.Object removeVars(java.lang.Object tree)