jif.translate

Interfaces  LabelToJavaExpr PrincipalToJavaExpr ToJavaExt

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