Package jif.translate

Interface Summary

LabelToJavaExpr
PrincipalToJavaExpr
ToJavaExt

Class Summary

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
LabelToJavaExpr_c
LitToJavaExt_c
LocalAssignToJavaExt_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
ReturnToJavaExt_c
SourceFileToJavaExt_c
SpecialToJavaExt_c
SwitchBlockToJavaExt_c
SwitchToJavaExt_c
SynchronizedToJavaExt_c
ThrowToJavaExt_c
ToJavaExt_c
TopPrincipalToJavaExpr_c
TryToJavaExt_c
UnaryToJavaExt_c
WhileToJavaExt_c