|
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 |
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
|
|
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 |