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