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_