jif.extension

Interfaces  JifFieldDeclExt JifPreciseClassDel JifProcedureDeclExt JifStmtExt

Classes  CallHelper ConstructorChecker JifActsForExt JifArrayAccessAssignDel JifArrayAccessAssignExt JifArrayAccessDel JifArrayAccessExt JifArrayInitExt JifAssignExt JifBinaryDel JifBinaryExt JifBlockExt JifBranchExt JifCallDel JifCallExt JifCaseExt JifCastDel JifCastExt JifClassBodyExt JifClassDeclDel JifClassDeclExt JifConditionalExt JifConstructorCallDel JifConstructorCallExt JifConstructorDeclExt JifDeclassifyExprExt JifDeclassifyStmtExt JifDoExt JifEmptyExt JifEvalExt JifFieldAssignDel JifFieldAssignExt JifFieldDeclDel JifFieldDeclExt_c JifFieldDeclExt_c.InvarianceLabelChecker JifFieldDeclExt_c.InvarianceLabelSubstr JifFieldDeclExt_c.StaticFieldLabelChecker JifFieldDel JifFieldExt JifForExt JifFormalDel JifFormalExt JifIfDel JifIfExt JifInitializerDel JifInitializerExt JifInstanceOfDel JifInstanceofExt JifJL_c JifLabeledExt JifLabelExprExt JifLabelIfExt JifLiteralExt JifLocalAssignExt JifLocalDeclDel JifLocalDeclExt JifLocalExt JifMethodDeclDel JifMethodDeclExt JifNewArrayExt JifNewExt JifPrincipalNodeExt JifProcedureDeclDel JifProcedureDeclExt_c JifReturnExt JifSourceFileExt JifSpecialExt JifStmtExt_c JifSwitchExt JifSynchronizedExt JifThrowDel JifThrowExt JifTryExt JifTypeNodeDel JifTypeNodeDel.StaticLabelChecker JifUnaryExt JifWhileExt LabelTypeCheckUtil SubtypeChecker