Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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
          - 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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES