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