daikon Class Hierarchy

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.ParentRelation (implements Serializable)
- FileIO.ParseState (implements Closeable)
- FileIO.Processor
  - DaikonSimple.SimpleProcessor
- FileIO.VarDefinition (implements Cloneable, Serializable)
- Formatter
  - SimpleFormatter
    - LogHelper.DaikonLogFormatter
- Global
- LogHelper
- MemMonitor (implements Runnable)
- MergeInvariants
- ModBitTracker (implements Cloneable, Serializable)
- Ppt (implements Serializable)
  - PptSlice
  - PptTopLevel
    - PptConditional
- Ppt.NameComparator (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>)
- 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
- SplitDtrace
- Thread (implements Runnable)
  - Daikon.FileIOProgress
- Throwable (implements Serializable)
  - Exception
    - Daikon.ParseError
    - RuntimeException
      - Daikon.DaikonTerminationException
        
        Daikon.BugInDaikon
        
        Daikon.NormalTermination
        
        Daikon.UserError
- 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
- VarParent (implements Serializable)

Interface Hierarchy

Enum Hierarchy

Object
- Enum<E> (implements Comparable<T>, Serializable)