jif.ast

Interfaces  ActsFor ActsForConstraintNode AmbDynamicLabelNode AmbExprParam AmbNewArray AmbParam AmbParamTypeOrAccess AmbPrincipalNode AmbThisLabelNode AmbVarLabelNode AuthConstraintNode CallerConstraintNode CanonicalConstraintNode CanonicalLabelNode CanonicalPrincipalNode ConstraintNode DeclassifyExpr DeclassifyStmt InstTypeNode Jif JifCanonicalTypeNode JifClassDecl JifConstructorDecl JifMethodDecl JifNodeFactory JifProcedureDecl JoinLabelNode LabeledTypeNode LabelExpr LabelIf LabelLeAssertionNode LabelNode NewLabel ParamDecl ParamNode PolicyLabelNode PrincipalNode

Classes  ActsFor_c ActsFor.Kind ActsForConstraintNode_c AmbDynamicLabelNode_c AmbExprParam_c AmbLabelNode_c AmbNewArray_c AmbParam_c AmbParamTypeOrAccess_c AmbPrincipalNode_c AmbThisLabelNode_c AmbVarLabelNode_c AuthConstraintNode_c CallerConstraintNode_c CanonicalConstraintNode_c CanonicalLabelNode_c CanonicalPrincipalNode_c ConstraintNode_c DeclassifyExpr_c DeclassifyStmt_c InstTypeNode_c Jif_c JifCall_c JifCanonicalTypeNode_c JifCatch_c JifClassDecl_c JifConstructorDecl_c JifDelFactory_c JifDisamb_c JifExtFactory_c JifFormal_c JifInstantiator JifLocalDecl_c JifMethodDecl_c JifNew_c JifNodeFactory_c JifUtil JoinLabelNode_c LabeledTypeNode_c LabelExpr_c LabelIf_c LabelLeAssertionNode_c LabelNode_c NewLabel_c ParamDecl_c PolicyLabelNode_c PrincipalNode_c