Hierarchy For Package daikon

Package Hierarchies:

All Packages

Class Hierarchy

• Object
  • AnnotateNullable
  • Chicory
  • Daikon
  • Daikon.FileOptions
  • DaikonSimple
  • Debug
  • DiscReasonMap
  • DynamicConstants (implements Serializable)
  • DynamicConstants.ConIndexComparator (implements Comparator<T>, Serializable)
  • DynamicConstants.Constant (implements Serializable)
  • DynComp
  • FileIO
  • FileIO.ParseState
  • FileIO.Processor
    • DaikonSimple.SimpleProcessor
    • StackOffsets.Processor
  • FileIO.VarDefinition (implements Cloneable, Serializable)
  • Formatter
    • SimpleFormatter
      • LogHelper.DaikonLogFormatter
  • Global
  • LogHelper
  • MemMonitor (implements Runnable)
  • MergeInvariants
  • ModBitTracker (implements Cloneable, Serializable)
  • Ppt (implements Serializable)
    • PptSlice
      • PptSlice0
      • PptSlice1
      • PptSlice2
      • PptSlice3
      • PptSliceEquality
    • PptTopLevel
      • PptCombined
      • PptConditional
  • Ppt.NameComparator (implements Comparator<T>)
  • PptCombined.PpSizeComparator (implements Comparator<T>)
  • PptMap (implements Serializable)
  • PptName (implements Serializable)
  • PptRelation (implements Serializable)
  • PptSlice.ArityPptnameComparator (implements Comparator<T>)
  • PptSlice.ArityVarnameComparator (implements Comparator<T>)
  • PptSliceEquality.EqualityComparator (implements Comparator<T>)
  • PptSplitter (implements Serializable)
  • PptTopLevel.CondIterator (implements Iterator<E>)
  • PptTopLevel.Stats
  • PptTopLevel.ViewsIteratorIterator (implements Iterator<E>)
  • PrintInvariants
  • ProglangType (implements Serializable)
  • Quant
  • Quantify
  • Quantify.ESCQuantification
  • Quantify.QuantifyReturn
  • Quantify.SimplifyQuantification
  • Quantify.Term
    • Quantify.Constant
    • Quantify.FreeVar
    • Quantify.Length
    • Quantify.VarPlusOffset
  • Runtime
  • Runtime.Unique
  • SearchNodeUtility<T>
  • StackOffsets
  • StackOffsets.OffsetInfo
  • StackOffsets.StackInfo
  • Thread (implements Runnable)
    • Daikon.FileIOProgress
  • Throwable (implements Serializable)
    • Error
      • Runtime.AbstractException
    • Exception
      • IOException
        • FileIO.DeclError
      • RuntimeException
        • Daikon.TerminationMessage
  • UnionInvariants
  • ValueTuple (implements Cloneable)
  • VarComparability
    • VarComparabilityImplicit (implements Serializable)
    • VarComparabilityNone (implements Serializable)
  • VarInfo (implements Cloneable, Serializable)
  • VarInfo.IndexComparator (implements Comparator<T>, Serializable)
  • VarInfo.Pair
  • VarInfoAux (implements Cloneable, Serializable)
  • VarInfoName (implements Comparable<T>, Serializable)
    • VarInfoName.Add
    • VarInfoName.Elements
    • VarInfoName.Field
    • VarInfoName.FunctionOf
    • VarInfoName.FunctionOfN
      • VarInfoName.Intersection
      • VarInfoName.Union
    • VarInfoName.Poststate
    • VarInfoName.Prestate
    • VarInfoName.Simple
      • VarInfoName.QuantHelper.FreeVar
    • VarInfoName.SizeOf
    • VarInfoName.Slice
    • VarInfoName.Subscript
    • VarInfoName.TypeOf
  • VarInfoName.AbstractVisitor<T> (implements VarInfoName.Visitor<T>)
    • VarInfoName.BooleanAndVisitor
      • VarInfoName.IsAllNonPoststateVisitor
      • VarInfoName.IsAllPrestateVisitor
    • VarInfoName.ElementsFinder
    • VarInfoName.Finder
    • VarInfoName.InorderFlattener
    • VarInfoName.NodeFinder
    • VarInfoName.QuantifierVisitor
    • VarInfoName.Replacer
      • VarInfoName.PostPreConverter
    • VarInfoName.SimpleNamesVisitor
  • VarInfoName.LexicalComparator (implements Comparator<T>)
  • VarInfoName.NoReturnValue
  • VarInfoName.QuantHelper
  • VarInfoName.QuantHelper.QuantifyReturn

Interface Hierarchy

• PptTopLevel.SimplifyInclusionTester
• VarInfoName.Transformer
• VarInfoName.Visitor<T>

Enum Hierarchy

• Object
  • Enum<E> (implements Comparable<T>, Serializable)
    • Quantify.QuantFlags
    • PptRelation.PptRelationType
    • VarInfo.RefType
    • VarInfo.LangFlags
    • VarInfo.VarKind
    • VarInfo.VarFlags
    • PptTopLevel.PptFlags
    • PptTopLevel.PptType
    • FileIO.ParseStatus