jif.extension
Interfaces 
JifFieldDeclExt
JifPreciseClassDel
JifProcedureDeclExt
JifStmtExt
Classes 
CallHelper
ConstructorChecker
JifArrayAccessAssignDel
JifArrayAccessAssignExt
JifArrayAccessDel
JifArrayAccessExt
JifArrayInitDel
JifArrayInitExt
JifAssignExt
JifBinaryDel
JifBinaryExt
JifBlockExt
JifBranchExt
JifCallDel
JifCallExt
JifCaseExt
JifCastDel
JifCastExt
JifCheckedEndorseStmtExt
JifClassBodyExt
JifClassDeclDel
JifClassDeclExt
JifConditionalExt
JifConstructorCallDel
JifConstructorCallExt
JifConstructorDeclExt
JifDeclassifyExprExt
JifDeclassifyStmtExt
JifDoExt
JifDowngradeExprExt
JifDowngradeStmtExt
JifEmptyExt
JifEndorseExprExt
JifEndorseStmtExt
JifEvalExt
JifExprExt
JifFieldAssignDel
JifFieldAssignExt
JifFieldDeclDel
JifFieldDeclExt_c
JifFieldDeclExt_c.InvarianceLabelChecker
JifFieldDeclExt_c.InvarianceLabelSubstr
JifFieldDeclExt_c.StaticFieldLabelChecker
JifFieldDel
JifFieldExt
JifForExt
JifFormalDel
JifFormalExt
JifFormalExt.FormalVarianceLabelChecker
JifFormalExt.FormalVarianceLabelSubstr
JifIfDel
JifIfExt
JifInitializerDel
JifInitializerExt
JifInstanceOfDel
JifInstanceofExt
JifJL_c
JifLabeledExt
JifLabelExprExt
JifLiteralExt
JifLocalAssignExt
JifLocalDeclDel
JifLocalDeclExt
JifLocalExt
JifMethodDeclDel
JifMethodDeclExt
JifMethodDeclExt.CovariantLabelChecker
JifNewArrayDel
JifNewArrayExt
JifNewExt
JifPrincipalExprExt
JifPrincipalNodeExt
JifProcedureDeclDel
JifProcedureDeclExt_c
JifProcedureDeclExt_c.ConstraintVarianceLabelChecker
JifReturnExt
JifSourceFileExt
JifSpecialExt
JifStmtExt_c
JifSwitchExt
JifSynchronizedExt
JifThrowDel
JifThrowExt
JifTryExt
JifTypeNodeDel
JifTypeNodeDel.StaticLabelChecker
JifUnaryExt
JifWhileExt
LabelTypeCheckUtil
SubtypeChecker