escjava.vcGeneration
Class TVisitor

java.lang.Object
  escjava.vcGeneration.TVisitor

Direct Known Subclasses:

escjava.vcGeneration.coq.visitor.ABasicCoqVisitor, TDotVisitor, TProofSimplifier, TProofSimplifier, TProofTyperVisitor, TPvsVisitor, TSimplifyVisitor, TXmlVisitor

public abstract class TVisitor

extends java.lang.Object

Field Summary

protected java.lang.StringBuffer	indentation
protected PrettyPrinter	lib Default pretty printer that may be used by implementing vistor patterns.
protected java.io.Writer	out

Constructor Summary

TVisitor(java.io.Writer out)

TVisitor(java.io.Writer out, java.lang.String tab, java.lang.String lbr, java.lang.String rbr, java.lang.String nl)

Method Summary

abstract void	visitTAllocLE(TAllocLE n)
abstract void	visitTAllocLT(TAllocLT n)
abstract void	visitTAnyEQ(TAnyEQ n)
abstract void	visitTAnyNE(TAnyNE n)
abstract void	visitTArrayFresh(TArrayFresh n)
abstract void	visitTArrayLength(TArrayLength n)
abstract void	visitTArrayShapeMore(TArrayShapeMore n)
abstract void	visitTArrayShapeOne(TArrayShapeOne n)
abstract void	visitTAsElems(TAsElems n)
abstract void	visitTAsField(TAsField n)
abstract void	visitTAsLockSet(TAsLockSet n)
abstract void	visitTBoolAnd(TBoolAnd n)
abstract void	visitTBoolean(TBoolean n)
abstract void	visitTBoolEQ(TBoolEQ n)
abstract void	visitTBoolImplies(TBoolImplies n)
abstract void	visitTBoolNE(TBoolNE n)
abstract void	visitTBoolNot(TBoolNot n)
abstract void	visitTBoolOr(TBoolOr n)
abstract void	visitTCast(TCast n)
abstract void	visitTChar(TChar n)
abstract void	visitTDouble(TDouble n)
abstract void	visitTEClosedTime(TEClosedTime n)
abstract void	visitTExist(TExist n)
abstract void	visitTFClosedTime(TFClosedTime n)
abstract void	visitTFloat(TFloat n)
abstract void	visitTFloatAdd(TFloatAdd n)
abstract void	visitTFloatDiv(TFloatDiv n)
abstract void	visitTFloatEQ(TFloatEQ n)
abstract void	visitTFloatGE(TFloatGE n)
abstract void	visitTFloatGT(TFloatGT n)
abstract void	visitTFloatLE(TFloatLE n)
abstract void	visitTFloatLT(TFloatLT n)
abstract void	visitTFloatMod(TFloatMod n)
abstract void	visitTFloatMul(TFloatMul n)
abstract void	visitTFloatNE(TFloatNE n)
abstract void	visitTForAll(TForAll n)
abstract void	visitTInt(TInt n)
abstract void	visitTIntegralAdd(TIntegralAdd n)
abstract void	visitTIntegralDiv(TIntegralDiv n)
abstract void	visitTIntegralEQ(TIntegralEQ n)
abstract void	visitTIntegralGE(TIntegralGE n)
abstract void	visitTIntegralGT(TIntegralGT n)
abstract void	visitTIntegralLE(TIntegralLE n)
abstract void	visitTIntegralLT(TIntegralLT n)
abstract void	visitTIntegralMod(TIntegralMod n)
abstract void	visitTIntegralMul(TIntegralMul n)
abstract void	visitTIntegralNE(TIntegralNE n)
abstract void	visitTIntegralSub(TIntegralSub sub)
abstract void	visitTIs(TIs n)
abstract void	visitTIsAllocated(TIsAllocated n)
abstract void	visitTIsNewArray(TIsNewArray n)
abstract void	visitTLockLE(TLockLE n)
abstract void	visitTLockLT(TLockLT n)
abstract void	visitTMethodCall(TMethodCall call)
abstract void	visitTName(TName n)
abstract void	visitTNull(TNull n)
abstract void	visitTRefEQ(TRefEQ n)
abstract void	visitTRefNE(TRefNE n)
abstract void	visitTRoot(TRoot n)
abstract void	visitTSelect(TSelect n)
abstract void	visitTStore(TStore n)
abstract void	visitTString(TString n)
abstract void	visitTSum(TSum s)
abstract void	visitTTypeEQ(TTypeEQ n)
abstract void	visitTTypeLE(TTypeLE n)
abstract void	visitTTypeNE(TTypeNE n)
abstract void	visitTTypeOf(TTypeOf n)
abstract void	visitTUnset(TUnset n)

Methods inherited from class java.lang.Object

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

Field Detail

lib

protected PrettyPrinter lib

Default pretty printer that may be used by implementing vistor patterns.

out

protected java.io.Writer out

indentation

protected java.lang.StringBuffer indentation

Constructor Detail

TVisitor

public TVisitor(java.io.Writer out)

TVisitor

public TVisitor(java.io.Writer out,
                java.lang.String tab,
                java.lang.String lbr,
                java.lang.String rbr,
                java.lang.String nl)

Method Detail

visitTName

public abstract void visitTName(TName n)
                         throws java.io.IOException

Throws:

java.io.IOException

visitTRoot

public abstract void visitTRoot(TRoot n)
                         throws java.io.IOException

Throws:

java.io.IOException

visitTBoolImplies

public abstract void visitTBoolImplies(TBoolImplies n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTBoolAnd

public abstract void visitTBoolAnd(TBoolAnd n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTBoolOr

public abstract void visitTBoolOr(TBoolOr n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTBoolNot

public abstract void visitTBoolNot(TBoolNot n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTBoolEQ

public abstract void visitTBoolEQ(TBoolEQ n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTBoolNE

public abstract void visitTBoolNE(TBoolNE n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTAllocLT

public abstract void visitTAllocLT(TAllocLT n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTAllocLE

public abstract void visitTAllocLE(TAllocLE n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTAnyEQ

public abstract void visitTAnyEQ(TAnyEQ n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTAnyNE

public abstract void visitTAnyNE(TAnyNE n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralEQ

public abstract void visitTIntegralEQ(TIntegralEQ n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralGE

public abstract void visitTIntegralGE(TIntegralGE n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralGT

public abstract void visitTIntegralGT(TIntegralGT n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralLE

public abstract void visitTIntegralLE(TIntegralLE n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralLT

public abstract void visitTIntegralLT(TIntegralLT n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralNE

public abstract void visitTIntegralNE(TIntegralNE n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralAdd

public abstract void visitTIntegralAdd(TIntegralAdd n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralDiv

public abstract void visitTIntegralDiv(TIntegralDiv n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralMod

public abstract void visitTIntegralMod(TIntegralMod n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralMul

public abstract void visitTIntegralMul(TIntegralMul n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTFloatEQ

public abstract void visitTFloatEQ(TFloatEQ n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTFloatGE

public abstract void visitTFloatGE(TFloatGE n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTFloatGT

public abstract void visitTFloatGT(TFloatGT n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTFloatLE

public abstract void visitTFloatLE(TFloatLE n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTFloatLT

public abstract void visitTFloatLT(TFloatLT n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTFloatNE

public abstract void visitTFloatNE(TFloatNE n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTFloatAdd

public abstract void visitTFloatAdd(TFloatAdd n)
                             throws java.io.IOException

Throws:

java.io.IOException

visitTFloatDiv

public abstract void visitTFloatDiv(TFloatDiv n)
                             throws java.io.IOException

Throws:

java.io.IOException

visitTFloatMod

public abstract void visitTFloatMod(TFloatMod n)
                             throws java.io.IOException

Throws:

java.io.IOException

visitTFloatMul

public abstract void visitTFloatMul(TFloatMul n)
                             throws java.io.IOException

Throws:

java.io.IOException

visitTLockLE

public abstract void visitTLockLE(TLockLE n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTLockLT

public abstract void visitTLockLT(TLockLT n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTRefEQ

public abstract void visitTRefEQ(TRefEQ n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTRefNE

public abstract void visitTRefNE(TRefNE n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTTypeEQ

public abstract void visitTTypeEQ(TTypeEQ n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTTypeNE

public abstract void visitTTypeNE(TTypeNE n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTTypeLE

public abstract void visitTTypeLE(TTypeLE n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTCast

public abstract void visitTCast(TCast n)
                         throws java.io.IOException

Throws:

java.io.IOException

visitTIs

public abstract void visitTIs(TIs n)
                       throws java.io.IOException

Throws:

java.io.IOException

visitTSelect

public abstract void visitTSelect(TSelect n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTStore

public abstract void visitTStore(TStore n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTTypeOf

public abstract void visitTTypeOf(TTypeOf n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTForAll

public abstract void visitTForAll(TForAll n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTExist

public abstract void visitTExist(TExist n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTIsAllocated

public abstract void visitTIsAllocated(TIsAllocated n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTEClosedTime

public abstract void visitTEClosedTime(TEClosedTime n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTFClosedTime

public abstract void visitTFClosedTime(TFClosedTime n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTAsElems

public abstract void visitTAsElems(TAsElems n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTAsField

public abstract void visitTAsField(TAsField n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTAsLockSet

public abstract void visitTAsLockSet(TAsLockSet n)
                              throws java.io.IOException

Throws:

java.io.IOException

visitTArrayLength

public abstract void visitTArrayLength(TArrayLength n)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTArrayFresh

public abstract void visitTArrayFresh(TArrayFresh n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTArrayShapeOne

public abstract void visitTArrayShapeOne(TArrayShapeOne n)
                                  throws java.io.IOException

Throws:

java.io.IOException

visitTArrayShapeMore

public abstract void visitTArrayShapeMore(TArrayShapeMore n)
                                   throws java.io.IOException

Throws:

java.io.IOException

visitTIsNewArray

public abstract void visitTIsNewArray(TIsNewArray n)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTString

public abstract void visitTString(TString n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTBoolean

public abstract void visitTBoolean(TBoolean n)
                            throws java.io.IOException

Throws:

java.io.IOException

visitTChar

public abstract void visitTChar(TChar n)
                         throws java.io.IOException

Throws:

java.io.IOException

visitTInt

public abstract void visitTInt(TInt n)
                        throws java.io.IOException

Throws:

java.io.IOException

visitTFloat

public abstract void visitTFloat(TFloat n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTDouble

public abstract void visitTDouble(TDouble n)
                           throws java.io.IOException

Throws:

java.io.IOException

visitTNull

public abstract void visitTNull(TNull n)
                         throws java.io.IOException

Throws:

java.io.IOException

visitTUnset

public abstract void visitTUnset(TUnset n)
                          throws java.io.IOException

Throws:

java.io.IOException

visitTMethodCall

public abstract void visitTMethodCall(TMethodCall call)
                               throws java.io.IOException

Throws:

java.io.IOException

visitTIntegralSub

public abstract void visitTIntegralSub(TIntegralSub sub)
                                throws java.io.IOException

Throws:

java.io.IOException

visitTSum

public abstract void visitTSum(TSum s)