TSimplifyVisitor (ESCTools)

Class

Use

Tree

Index

Help

ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

escjava.vcGeneration.simplify
Class TSimplifyVisitor

java.lang.Object
  escjava.vcGeneration.TVisitor
      escjava.vcGeneration.simplify.TSimplifyVisitor

class TSimplifyVisitor
extends TVisitor

Field Summary

Fields inherited from class escjava.vcGeneration.TVisitor

indentation, lib, out

Constructor Summary
`(package private)`	`TSimplifyVisitor(java.io.Writer out)`

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

Methods inherited from class java.lang.Object

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

Constructor Detail