JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Package
Next Package
Frames
No Frames
All Classes
Package jif.translate
Interface Summary
Interface
Description
ActsForConstraintToJavaExpr
LabelLeAssertionToJavaExpr
LabelToJavaExpr
PrincipalToJavaExpr
ToJavaExt
Class Summary
Class
Description
ActsForConstraintToJavaExpr_c
ArrayAccessAssignToJavaExt_c
ArrayAccessToJavaExt_c
ArrayInitToJavaExt_c
BinaryToJavaExt_c
BlockToJavaExt_c
BottomPrincipalToJavaExpr_c
BranchToJavaExt_c
CallToJavaExt_c
CannotLabelToJavaExpr_c
CannotPrincipalToJavaExpr_c
CannotToJavaExt_c
CanonicalLabelNodeToJavaExt_c
CanonicalPrincipalNodeToJavaExt_c
CanonicalTypeNodeToJavaExt_c
CaseToJavaExt_c
CastToJavaExt_c
CatchToJavaExt_c
ClassBodyToJavaExt_c
ClassDeclToJavaExt_c
ConditionalToJavaExt_c
ConjunctivePrincipalToJavaExpr_c
ConstructorCallToJavaExt_c
ConstructorDeclToJavaExt_c
DisjunctivePrincipalToJavaExpr_c
DoToJavaExt_c
DowngradeExprToJavaExt_c
DowngradeStmtToJavaExt_c
DynamicLabelToJavaExpr_c
DynamicPrincipalToJavaExpr_c
EmptyToJavaExt_c
EvalToJavaExt_c
ExprToJavaExt_c
ExternalPrincipalToJavaExpr_c
FieldAssignToJavaExt_c
FieldDeclToJavaExt_c
FieldToJavaExt_c
FormalToJavaExt_c
ForToJavaExt_c
IdToJavaExt_c
IfToJavaExt_c
ImportToJavaExt_c
InitializerToJavaExt_c
InstanceOfToJavaExt_c
JifToJavaRewriter
Visitor which performs rewriting on the AST.
JoinLabelToJavaExpr_c
LabeledToJavaExt_c
LabelExprToJavaExt_c
LabelLeAssertionToJavaExpr_c
LabelToJavaExpr_c
LitToJavaExt_c
LocalAssignToJavaExt_c
LocalClassDeclToJavaExt_c
LocalDeclToJavaExt_c
LocalToJavaExt_c
MeetLabelToJavaExpr_c
MethodDeclToJavaExt_c
NewArrayToJavaExt_c
NewLabelToJavaExt_c
NewToJavaExt_c
PackageNodeToJavaExt_c
PairLabelToJavaExpr_c
ParamToJavaExpr_c
PrincipalExprToJavaExt_c
PrincipalToJavaExpr_c
ProviderLabelToJavaExpr_c
ReturnToJavaExt_c
SourceFileToJavaExt_c
SpecialToJavaExt_c
SwitchBlockToJavaExt_c
SwitchToJavaExt_c
SynchronizedToJavaExt_c
ThrowToJavaExt_c
ToJavaExt_c
TopPrincipalToJavaExpr_c
TryToJavaExt_c
UnaryToJavaExt_c
WhileToJavaExt_c
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Package
Next Package
Frames
No Frames
All Classes