escjava.vcGeneration
Class TString

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

public class TString

extends TLiteral

Field Summary

java.lang.String

value

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

TString(java.lang.String value)

Method Summary

void	accept(TVisitor v)

Methods inherited from class escjava.vcGeneration.TLiteral

typeTree

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

Field Detail

value

public java.lang.String value

Constructor Detail

TString

protected TString(java.lang.String value)

Method Detail

accept

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

Specified by:

accept in class TNode

Throws:

java.io.IOException