jif.visit
Classes
ArrayIndexChecker
ConstChecker
FieldLabelResolver
JifInitChecker
JifLabelSubst
JifTranslator
LabelChecker
LabelCheckPass
LabelSubstitutionVisitor
NotNullChecker
PreciseClassChecker