Overview
Package
Class
Tree
Deprecated
Index
Help
PREV PACKAGE
NEXT PACKAGE
FRAMES
NO FRAMES
All Classes
Package jif.translate
Interface Summary
LabelToJavaExpr
PrincipalToJavaExpr
ToJavaExt
Class Summary
BinaryToJavaExt_c
BottomPrincipalToJavaExpr_c
CallToJavaExt_c
CannotLabelToJavaExpr_c
CannotPrincipalToJavaExpr_c
CannotToJavaExt_c
CanonicalLabelNodeToJavaExt_c
CanonicalPrincipalNodeToJavaExt_c
CanonicalTypeNodeToJavaExt_c
CaseToJavaExt_c
CastToJavaExt_c
ClassBodyToJavaExt_c
ClassDeclToJavaExt_c
ConjunctivePrincipalToJavaExpr_c
ConstructorCallToJavaExt_c
ConstructorDeclToJavaExt_c
DisjunctivePrincipalToJavaExpr_c
DowngradeExprToJavaExt_c
DowngradeStmtToJavaExt_c
DynamicLabelToJavaExpr_c
DynamicPrincipalToJavaExpr_c
ExprToJavaExt_c
ExternalPrincipalToJavaExpr_c
FieldDeclToJavaExt_c
FieldToJavaExt_c
FormalToJavaExt_c
InitializerToJavaExt_c
InstanceOfToJavaExt_c
JifToJavaRewriter
Visitor which performs rewriting on the AST.
JoinLabelToJavaExpr_c
LabelExprToJavaExt_c
LabelToJavaExpr_c
LocalDeclToJavaExt_c
LocalToJavaExt_c
MeetLabelToJavaExpr_c
MethodDeclToJavaExt_c
NewLabelToJavaExt_c
NewToJavaExt_c
PackageNodeToJavaExt_c
PairLabelToJavaExpr_c
ParamToJavaExpr_c
PrincipalExprToJavaExt_c
PrincipalToJavaExpr_c
ReturnToJavaExt_c
SourceFileToJavaExt_c
ToJavaExt_c
TopPrincipalToJavaExpr_c
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV PACKAGE
NEXT PACKAGE
FRAMES
NO FRAMES
All Classes