|
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 Translate | |
escjava | |
escjava.pa | |
escjava.translate |
Uses of Translate in escjava |
Fields in escjava declared as Translate | |
static Translate |
Main.gctranslator
An instance of the GC->VC translator |
Uses of Translate in escjava.pa |
Methods in escjava.pa with parameters of type Translate | |
static void |
Traverse.compute(GuardedCmd g,
InitialState initState,
Translate tr)
|
private static void |
Traverse.desugarLoops(GuardedCmd g,
Translate tr)
|
Uses of Translate in escjava.translate |
Fields in escjava.translate declared as Translate | |
private Translate |
Translate.inlineParent
Singly-linked list of the inline parents. |
static Translate |
TrAnExpr.translate
|
private Translate |
Frame.translator
The Translate instance that owns this instance of Frame |
Methods in escjava.translate with parameters of type Translate | |
GuardedCmd |
Translate.trBody(RoutineDecl rd,
FindContributors scope,
java.util.Hashtable premap,
Set predictedSynTargs,
Translate inlineParent,
boolean issueCautions)
Translates the body of a method or constructor, as described in ESCJ 16, section 8. |
Constructors in escjava.translate with parameters of type Translate | |
Frame(Translate t,
boolean issueCautions,
RoutineDecl rdCurrent,
java.util.Hashtable premap)
The constructor of a Frame instance; should be called only from 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 |