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