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

Uses of Class
escjava.translate.Translate

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

The ESC/Java2 Project Homepage