jif.visit

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

Enums IntegerBoundsChecker.Bound.Type