scphEditor
Class Variable

java.lang.Object
  extended by java.util.Observable
      extended by scphEditor.CloneableObservable
          extended by scphEditor.OperandVector
              extended by scphEditor.Operand
                  extended by scphEditor.Identifier
                      extended by scphEditor.Variable
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, IOperator

public class Variable
extends Identifier

See Also:
Serialized Form

Field Summary
 
Fields inherited from interface scphEditor.IOperator
ASSOC, LEFT, nARY, NONASSOC, RIGHT
 
Constructor Summary
Variable(java.lang.String nameOf, java.lang.String typeOf)
           
 
Method Summary
 void acceptVisitor(OperandVisitor v)
          Calls v.visitIdentifier(this).
 java.lang.String getType()
           
 
Methods inherited from class scphEditor.Identifier
arity, associative, clone, commutative, format, getName, getOperator, getPName, id, lookup, precedence, proverName, proverName0
 
Methods inherited from class scphEditor.Operand
addParen, deParen, ensureParen, getParen, getSplit, needParen, removeParen, setSplit
 
Methods inherited from class scphEditor.OperandVector
addChild, countChildren, delChild, getChild, getChildren, setChild
 
Methods inherited from class scphEditor.CloneableObservable
addObserver, cloneObserverList, cloneObserverList, countObservers, deleteObserver, deleteObservers, notifyObservers, notifyObservers
 
Methods inherited from class java.util.Observable
clearChanged, hasChanged, setChanged
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Variable

public Variable(java.lang.String nameOf,
                java.lang.String typeOf)
Method Detail

getType

public java.lang.String getType()

acceptVisitor

public void acceptVisitor(OperandVisitor v)
Calls v.visitIdentifier(this).

Overrides:
acceptVisitor in class Identifier
Parameters:
v - the visitor object that wants to visit this operand.