Hierarchy For Package jif.visit

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • polyglot.frontend.AbstractPass (implements polyglot.frontend.Pass)
    • jif.visit.LabelCheckPass
  • polyglot.visit.DataFlow.Item
    • jif.visit.IntegerBoundsChecker.DataFlowItem
  • jif.visit.IntegerBoundsChecker.Bound
    • jif.visit.IntegerBoundsChecker.ArrayLengthBound
    • jif.visit.IntegerBoundsChecker.LocalBound
  • jif.visit.IntegerBoundsChecker.Bounds
  • jif.visit.IntegerBoundsChecker.Interval
  • jif.visit.LabelChecker (implements polyglot.util.Copy)
  • polyglot.visit.NodeVisitor (implements polyglot.util.Copy)
    • jif.visit.ConstChecker
    • polyglot.visit.HaltingVisitor
      • polyglot.visit.ErrorHandlingVisitor
        • polyglot.visit.ContextVisitor
          • polyglot.visit.DisambiguationDriver
            • polyglot.visit.TypeChecker
              • jif.visit.JifTypeChecker
          • jif.visit.FieldLabelResolver
          • jif.visit.JifLabelSubst
        • polyglot.visit.DataFlow
          • polyglot.visit.InitChecker
            • jif.visit.JifInitChecker
          • jif.visit.IntegerBoundsChecker
          • jif.visit.NotNullChecker
          • jif.visit.PreciseClassChecker
    • jif.visit.LabelSubstitutionVisitor
  • polyglot.visit.PrettyPrinter
    • polyglot.visit.Translator (implements polyglot.util.Copy)
      • polyglot.visit.TypedTranslator
        • jif.visit.JifTranslator

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • jif.visit.IntegerBoundsChecker.Bound.Type