jif.visit
Classes
ConstChecker
FieldLabelResolver
FinalParams
IntegerBoundsChecker
IntegerBoundsChecker.ArrayLengthBound
IntegerBoundsChecker.Bound
IntegerBoundsChecker.Bounds
IntegerBoundsChecker.DataFlowItem
IntegerBoundsChecker.Interval
IntegerBoundsChecker.LocalBound
JifExceptionChecker
JifExceptionChecker.FatalExceptionSetter
JifInitChecker
JifLabelSubst
JifTranslator
JifTypeChecker
LabelChecker
LabelCheckPass
LabelSubstitutionVisitor
NativeConstructorAdder
NotNullChecker
PreciseClassChecker
Enums
IntegerBoundsChecker.Bound.Type