Overview
Package
Class
Tree
Serialized
Deprecated
Index
Help
PREV PACKAGE
NEXT PACKAGE
FRAMES
NO FRAMES
All Classes
Package jif.translate
Interface Summary
LabelToJavaExpr
PrincipalToJavaExpr
ToJavaExt
Class Summary
ActsForToJavaExt_c
BinaryToJavaExt_c
CallToJavaExt_c
CannotLabelToJavaExpr_c
CannotPrincipalToJavaExpr_c
CannotToJavaExt_c
CanonicalLabelNodeToJavaExt_c
CanonicalPrincipalNodeToJavaExt_c
CanonicalTypeNodeToJavaExt_c
CaseToJavaExt_c
CastToJavaExt_c
ClassBodyToJavaExt_c
ClassDeclToJavaExt_c
ConstructorCallToJavaExt_c
ConstructorDeclToJavaExt_c
DeclassifyExprToJavaExt_c
DeclassifyStmtToJavaExt_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
LabelIfToJavaExt_c
LabelToJavaExpr_c
LocalDeclToJavaExt_c
LocalToJavaExt_c
MethodDeclToJavaExt_c
NewLabelToJavaExt_c
NewToJavaExt_c
PackageNodeToJavaExt_c
ParamToJavaExpr_c
PolicyLabelToJavaExpr_c
PrincipalToJavaExpr_c
ReturnToJavaExt_c
SourceFileToJavaExt_c
ToJavaExt_c
Overview
Package
Class
Tree
Serialized
Deprecated
Index
Help
PREV PACKAGE
NEXT PACKAGE
FRAMES
NO FRAMES
All Classes