escjava.vcGeneration
Class TFloatFun

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

Direct Known Subclasses:

TFloatAdd, TFloatDiv, TFloatMod, TFloatMul

abstract class TFloatFun

extends TFunction

Field Summary

Fields inherited from class escjava.vcGeneration.TFunction

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

TFloatFun()

Method Summary

protected void

typeTree()

Methods inherited from class escjava.vcGeneration.TFunction

addSon, getChildAt

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

TFloatFun

public TFloatFun()

Method Detail

typeTree

protected void typeTree()

Overrides:

typeTree in class TFunction