escjava.vcGeneration
Class TVariable

java.lang.Object
  escjava.vcGeneration.TNode
      escjava.vcGeneration.TVariable

Direct Known Subclasses:

TLiteral, TName

abstract class TVariable

extends TNode

Field Summary

Fields inherited from class escjava.vcGeneration.TNode

_boolean, _char, _double, _DOUBLETYPE, _Field, _float, _integer, _INTTYPE, _Path, _Reference, _String, _Time, _Type, counter, dotPs, id, isroot, label, lastType, parent, prover, type, typeProofSet, typesName, variablesName

Constructor Summary

(package private)

TVariable()

Method Summary

protected void

typeTree()

Methods inherited from class escjava.vcGeneration.TNode

accept, addName, addName, addType, addType, dotId, generateDeclarations, getShortName, getType, getTypeInfo, getVariableInfo, getVariableInfo, init, printInfo, setType, setType, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TVariable

TVariable()

Method Detail

typeTree

protected void typeTree()

Specified by:

typeTree in class TNode