edu.toronto.cs.gclang.parser
Class VariableTable.DefineVariable

java.lang.Object
  extended by edu.toronto.cs.gclang.parser.VariableTable.Variable
      extended by edu.toronto.cs.gclang.parser.VariableTable.StateVariable
          extended by edu.toronto.cs.gclang.parser.VariableTable.DefineVariable
Enclosing class:
VariableTable

public class VariableTable.DefineVariable
extends VariableTable.StateVariable


Field Summary
 
Fields inherited from class edu.toronto.cs.gclang.parser.VariableTable.Variable
NAME_SUFFIX
 
Constructor Summary
VariableTable.DefineVariable(java.lang.String name, MvSet value)
           
 
Method Summary
 int size()
           
 
Methods inherited from class edu.toronto.cs.gclang.parser.VariableTable.StateVariable
eq, eq, eq, eq, eqShadow, getId, getMvSet, setMvSet, toCTL, toString
 
Methods inherited from class edu.toronto.cs.gclang.parser.VariableTable.Variable
getName, getShadow, getShadows, isShadow, setShadows
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VariableTable.DefineVariable

public VariableTable.DefineVariable(java.lang.String name,
                                    MvSet value)
Method Detail

size

public int size()
Overrides:
size in class VariableTable.StateVariable