jif.translate

Interfaces  LabelToJavaExpr PrincipalToJavaExpr ToJavaExt

Classes  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 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