escjava.vcGeneration
Class TLiteral

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

Direct Known Subclasses:

TBoolean, TChar, TDouble, TFloat, TInt, TNull, TString

public abstract class TLiteral

extends TVariable

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

TLiteral()

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

TLiteral

public TLiteral()

Method Detail

typeTree

protected void typeTree()

Specified by:

typeTree in class TNode