jif.ast

Interfaces  ActsForConstraintNode AmbDynamicLabelNode AmbExprParam AmbJunctivePrincipalNode AmbNewArray AmbParam AmbParamTypeOrAccess AmbPrincipalNode AmbThisLabelNode AmbVarLabelNode AuthConstraintNode AutoEndorseConstraintNode CallerConstraintNode CanonicalConstraintNode CanonicalLabelNode CanonicalPrincipalNode CheckedEndorseStmt ConstArrayTypeNode ConstraintNode DeclassifyExpr DeclassifyStmt DowngradeExpr DowngradeStmt EndorseExpr EndorseStmt InstTypeNode Jif JifCanonicalTypeNode JifClassDecl JifConstructorDecl JifDelFactory JifExtFactory JifMethodDecl JifNodeFactory JifProcedureDecl JifStmtExtFactory JoinLabelNode LabeledTypeNode LabelExpr LabelLeAssertionNode LabelNode MeetLabelNode NewLabel ParamDecl ParamNode PolicyNode PrincipalExpr PrincipalNode

Classes  AbstractJifExtFactory_c ActsForConstraintNode_c AmbDynamicLabelNode_c AmbExprParam_c AmbJunctivePrincipalNode_c AmbLabelNode_c AmbNewArray_c AmbParam_c AmbParamTypeOrAccess_c AmbPrincipalNode_c AmbThisLabelNode_c AmbVarLabelNode_c AuthConstraintNode_c AutoEndorseConstraintNode_c CallerConstraintNode_c CanonicalConstraintNode_c CanonicalLabelNode_c CanonicalPrincipalNode_c CheckedEndorseStmt_c ConstArrayTypeNode_c ConstraintNode_c DeclassifyExpr_c DeclassifyStmt_c DowngradeExpr_c DowngradeStmt_c EndorseExpr_c EndorseStmt_c InstTypeNode_c Jif_c JifArrayAccessAssign_c JifBinary_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 LabelLeAssertionNode_c LabelNode_c MeetLabelNode_c NewLabel_c ParamDecl_c PolicyNode_c PrincipalExpr_c PrincipalNode_c ReaderPolicyNode_c WriterPolicyNode_c