escjava.vcGeneration
Class TFunction

java.lang.Object
  escjava.vcGeneration.TNode
      escjava.vcGeneration.TFunction

Direct Known Subclasses:

TAnyEQ, TAnyNE, TArrayFresh, TArrayLength, TArrayShapeMore, TArrayShapeOne, TAsElems, TAsField, TAsLockSet, TBoolRes, TEClosedTime, TFClosedTime, TFloatFun, TIntFun, TIsNewArray, TLockLE, TLockLT, TMethodCall, TRoot, TSelect, TStore, TSum, TTypeOf, TUnset

public abstract class TFunction

extends TNode

Field Summary

java.util.Vector

sons

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

TFunction()

Method Summary

(package private) void	addSon(TNode n)
TNode	getChildAt(int index)
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

Field Detail

sons

public java.util.Vector sons

Constructor Detail

TFunction

public TFunction()

Method Detail

addSon

void addSon(TNode n)

getChildAt

public TNode getChildAt(int index)

typeTree

protected void typeTree()

Specified by:

typeTree in class TNode