escjava.vcGeneration
Class TFloatNE

java.lang.Object
  escjava.vcGeneration.TNode
      escjava.vcGeneration.TFunction
          escjava.vcGeneration.TBoolRes
              escjava.vcGeneration.TFloatOp
                  escjava.vcGeneration.TFloatNE

public class TFloatNE

extends TFloatOp

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

TFloatNE()

Method Summary

void	accept(TVisitor v)
protected void	typeTree()

Methods inherited from class escjava.vcGeneration.TFunction

addSon, getChildAt

Methods inherited from class escjava.vcGeneration.TNode

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

TFloatNE

public TFloatNE()

Method Detail

accept

public void accept(TVisitor v)
            throws java.io.IOException

Specified by:

accept in class TNode

Throws:

java.io.IOException

typeTree

protected void typeTree()

Overrides:

typeTree in class TFunction