jif-3.3.1

.........\bin

.........\...\jc

.........\...\jif

.........\...\jifc

.........\build.xml

.........\CHANGES

.........\doc

.........\...\index.html

.........\...\jif_usage.html

.........\...\jifc-api

.........\...\........\allclasses-frame.html

.........\...\........\allclasses-noframe.html

.........\...\........\constant-values.html

.........\...\........\deprecated-list.html

.........\...\........\help-doc.html

.........\...\........\index-all.html

.........\...\........\index.html

.........\...\........\jif

.........\...\........\...\ast

.........\...\........\...\...\AbstractJifExtFactory_c.html

.........\...\........\...\...\ActsForConstraintNode.html

.........\...\........\...\...\ActsForConstraintNode_c.html

.........\...\........\...\...\AmbDynamicLabelNode.html

.........\...\........\...\...\AmbDynamicLabelNode_c.html

.........\...\........\...\...\AmbExprParam.html

.........\...\........\...\...\AmbExprParam_c.html

.........\...\........\...\...\AmbJunctivePrincipalNode.html

.........\...\........\...\...\AmbJunctivePrincipalNode_c.html

.........\...\........\...\...\AmbLabelNode_c.html

.........\...\........\...\...\AmbNewArray.html

.........\...\........\...\...\AmbNewArray_c.html

.........\...\........\...\...\AmbParam.html

.........\...\........\...\...\AmbParam_c.html

.........\...\........\...\...\AmbParamTypeOrAccess.html

.........\...\........\...\...\AmbParamTypeOrAccess_c.html

.........\...\........\...\...\AmbPrincipalNode.html

.........\...\........\...\...\AmbPrincipalNode_c.html

.........\...\........\...\...\AmbThisLabelNode.html

.........\...\........\...\...\AmbThisLabelNode_c.html

.........\...\........\...\...\AmbVarLabelNode.html

.........\...\........\...\...\AmbVarLabelNode_c.html

.........\...\........\...\...\AuthConstraintNode.html

.........\...\........\...\...\AuthConstraintNode_c.html

.........\...\........\...\...\AutoEndorseConstraintNode.html

.........\...\........\...\...\AutoEndorseConstraintNode_c.html

.........\...\........\...\...\CallerConstraintNode.html

.........\...\........\...\...\CallerConstraintNode_c.html

.........\...\........\...\...\CanonicalConstraintNode.html

.........\...\........\...\...\CanonicalConstraintNode_c.html

.........\...\........\...\...\CanonicalLabelNode.html

.........\...\........\...\...\CanonicalLabelNode_c.html

.........\...\........\...\...\CanonicalPrincipalNode.html

.........\...\........\...\...\CanonicalPrincipalNode_c.html

.........\...\........\...\...\CheckedEndorseStmt.html

.........\...\........\...\...\CheckedEndorseStmt_c.html

.........\...\........\...\...\ConstArrayTypeNode.html

.........\...\........\...\...\ConstArrayTypeNode_c.html

.........\...\........\...\...\ConstraintNode.html

.........\...\........\...\...\ConstraintNode_c.html

.........\...\........\...\...\DeclassifyExpr.html

.........\...\........\...\...\DeclassifyExpr_c.html

.........\...\........\...\...\DeclassifyStmt.html

.........\...\........\...\...\DeclassifyStmt_c.html

.........\...\........\...\...\DowngradeExpr.html

.........\...\........\...\...\DowngradeExpr_c.html

.........\...\........\...\...\DowngradeStmt.html

.........\...\........\...\...\DowngradeStmt_c.html

.........\...\........\...\...\EndorseExpr.html

.........\...\........\...\...\EndorseExpr_c.html

.........\...\........\...\...\EndorseStmt.html

.........\...\........\...\...\EndorseStmt_c.html

.........\...\........\...\...\InstTypeNode.html

.........\...\........\...\...\InstTypeNode_c.html

.........\...\........\...\...\Jif.html

.........\...\........\...\...\Jif_c.html

.........\...\........\...\...\JifArrayAccessAssign_c.html

.........\...\........\...\...\JifBinary_c.html

.........\...\........\...\...\JifCall_c.html

.........\...\........\...\...\JifCanonicalTypeNode.html

.........\...\........\...\...\JifCanonicalTypeNode_c.html

.........\...\........\...\...\JifCatch_c.html

.........\...\........\...\...\JifClassDecl.html

.........\...\........\...\...\JifClassDecl_c.html

.........\...\........\...\...\JifConstructorDecl.html

.........\...\........\...\...\JifConstructorDecl_