Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## Uses of Package
escjava.translate

Packages that use escjava.translate
escjava |
escjava.gui |
escjava.pa |
escjava.translate |

Classes in escjava.translate used by escjava
InitialState This class provides two methods used in the generation of a verification condition for a method or constructor (see section 8 of ESCJ 16).
Translate

Classes in escjava.translate used by escjava.gui
InitialState This class provides two methods used in the generation of a verification condition for a method or constructor (see section 8 of ESCJ 16).

Classes in escjava.translate used by escjava.pa
InitialState This class provides two methods used in the generation of a verification condition for a method or constructor (see section 8 of ESCJ 16).
Translate

Classes in escjava.translate used by escjava.translate
AssocDeclClipPolicy
AuxInfoLink
Frame
InlineSettings
InvariantInfo * This class is used by `collectInvariants` and its callers, * `extendSpecForCall` and `extendSpecForBody`.
ParamAndGlobalVarInfo This class is used by `collectParamsAndGlobalVars` and its * caller, `extendSpecForCall`.
RepHelper
Substitute.SetRef
TrAnExpr Translates Annotation Expressions to GCExpr.
Translate

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage