jif.visit

Classes  ConstChecker FieldLabelResolver IntegerBoundsChecker IntegerBoundsChecker.ArrayLengthBound IntegerBoundsChecker.Bound IntegerBoundsChecker.Bounds IntegerBoundsChecker.DataFlowItem IntegerBoundsChecker.Interval IntegerBoundsChecker.LocalBound JifInitChecker JifLabelSubst JifTranslator JifTypeChecker LabelChecker LabelCheckPass LabelSubstitutionVisitor NotNullChecker PreciseClassChecker

Enums  IntegerBoundsChecker.Bound.Type