escjava.vcGeneration
Class TName

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

public class TName

extends TVariable

Field Summary

java.lang.String

name

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

protected

TName(java.lang.String name) type is supposed to be one of the object that is statically initialized in TNode, like _Reference, _Type etc...

Method Summary

void	accept(TVisitor v)
protected void	setType(TypeInfo type, boolean sure)
protected void	typeTree()

Methods inherited from class escjava.vcGeneration.TNode

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

Methods inherited from class java.lang.Object

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

Field Detail

name

public java.lang.String name

Constructor Detail

TName

protected TName(java.lang.String name)

type is supposed to be one of the object that is statically initialized in TNode, like _Reference, _Type etc...

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 TVariable

setType

protected void setType(TypeInfo type,
                       boolean sure)

Overrides:

setType in class TNode