Hierarchy For All Packages

Package Hierarchies:

korat, korat.config, korat.finitization, korat.finitization.impl, korat.gui.viz, korat.gui.viz.metamodel, korat.instrumentation, korat.instrumentation.bytecode, korat.loading, korat.loading.filter, korat.testing, korat.testing.impl, korat.utils, korat.utils.cv, korat.utils.io

Class Hierarchy

• java.lang.Object
  • korat.instrumentation.AbstractInstrumenter (implements korat.instrumentation.IInstrumenter)
    • korat.instrumentation.CompoundInstrumenter
    • korat.instrumentation.FieldInstrumenter
      • korat.instrumentation.ArrayFieldInstrumenter
    • korat.instrumentation.SpecialConstructorInstrumenter
    • korat.instrumentation.TouchInstrumenter
  • korat.testing.impl.AbstractTestCaseGenerator
    • korat.testing.impl.TestCradle (implements korat.testing.ITester)
      • korat.testing.impl.TestCradleII
  • korat.utils.cv.AlgSimulator
    • korat.utils.cv.Cmp
  • korat.gui.viz.metamodel.AlloyAtom
  • korat.gui.viz.metamodel.AlloyField
  • korat.gui.viz.metamodel.AlloySig
  • korat.instrumentation.ArrayGenerator
  • korat.gui.viz.metamodel.AtomFactory
  • korat.utils.io.BitRandomAccessFile (implements korat.utils.io.IBitReader)
  • korat.utils.BytecodeDumper
  • korat.instrumentation.bytecode.BytecodeInstruction
  • korat.instrumentation.bytecode.BytecodeUtils
  • korat.utils.cv.C
  • korat.utils.cv.C.Candidate
  • korat.utils.cv.C.Pair
  • korat.finitization.impl.CandidateBuilder
  • korat.finitization.impl.ClassDomain (implements korat.finitization.IClassDomain)
    • korat.finitization.impl.NullClassDomain
  • java.lang.ClassLoader
    • korat.loading.InstrumentingClassLoader
  • korat.loading.filter.CompoundComparingFilter (implements korat.loading.filter.IComparingFilter)
    • korat.loading.filter.DefaultFilters.DefaultPackageFilter
  • korat.config.ConfigLoader
  • korat.config.ConfigManager
  • korat.utils.cv.CVCmp
  • korat.utils.cv.CVComparer
  • korat.finitization.impl.CVElem
    • korat.finitization.impl.ArrayElementCVElem
  • korat.utils.cv.CVFactory (implements korat.utils.cv.ICVFactory)
  • korat.utils.cv.CVFactoryDelta (implements korat.utils.cv.ICVFactory)
  • korat.utils.cv.CVFinder (implements korat.utils.cv.ICVFinder)
  • korat.utils.cv.CVFinderDelta (implements korat.utils.cv.ICVFinder)
  • korat.utils.cv.CVFinderDelta.FinderResult
  • korat.utils.cv.CVReader (implements korat.utils.cv.ICVReader)
  • korat.utils.cv.CVReaderDelta (implements korat.utils.cv.ICVReader)
  • korat.utils.cv.CVSim
  • korat.utils.cv.CVWriter (implements korat.utils.cv.ICVWriter)
  • korat.utils.cv.CVWriterDelta (implements korat.utils.cv.ICVWriter)
  • korat.loading.filter.DefaultFilters.IdentityNameTransformer (implements korat.loading.filter.ITransformingFilter<Type>)
  • korat.finitization.impl.FieldDomain (implements korat.finitization.IFieldDomain)
    • korat.finitization.impl.ArraySet (implements korat.finitization.IArraySet)
    • korat.finitization.impl.BooleanSet (implements korat.finitization.IBooleanSet)
    • korat.finitization.impl.ObjSet (implements korat.finitization.IObjSet)
    • korat.finitization.impl.PrimitiveTypeSet
      • korat.finitization.impl.ByteSet (implements korat.finitization.IByteSet)
      • korat.finitization.impl.DoubleSet (implements korat.finitization.IDoubleSet)
      • korat.finitization.impl.FloatSet (implements korat.finitization.IFloatSet)
      • korat.finitization.impl.IntSet (implements korat.finitization.IIntSet)
      • korat.finitization.impl.LongSet (implements korat.finitization.ILongSet)
      • korat.finitization.impl.ShortSet (implements korat.finitization.IShortSet)
  • korat.gui.viz.metamodel.FieldFactory
  • korat.utils.io.FileUtils
  • korat.loading.filter.FilterManager
  • korat.finitization.impl.Finitization (implements korat.finitization.IFinitization)
  • korat.finitization.impl.FinitizationFactory (implements korat.finitization.IFinitizationFactory)
  • korat.utils.IdentityWrapper (implements java.lang.Cloneable)
  • java.io.InputStream (implements java.io.Closeable)
    • java.io.FilterInputStream
      • korat.utils.io.BitInputStream (implements korat.utils.io.IBitReader)
  • korat.instrumentation.InstrumentationManager
  • korat.utils.IntList (implements korat.utils.IIntList)
    • korat.utils.IntListBS
  • korat.utils.IntListAI (implements korat.utils.IIntList)
  • korat.Korat
  • korat.instrumentation.KoratArrayManager
  • korat.instrumentation.NestedClassCreator
  • korat.finitization.impl.ObjSet.CacheElement
  • korat.instrumentation.bytecode.OperandStack
  • korat.instrumentation.bytecode.OperandStack.StackElem
  • org.apache.commons.cli.Option (implements java.lang.Cloneable)
    • korat.config.MyOption
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • java.io.FilterOutputStream
      • korat.utils.io.BitOutputStream (implements korat.utils.io.IBitWriter)
    • korat.utils.io.NullOutputStream
  • korat.loading.filter.PackageFilter (implements korat.loading.filter.IComparingFilter)
    • korat.loading.filter.DefaultFilters.ExcludeKoratPackagesFilter
    • korat.loading.filter.DefaultFilters.ExcludeSystemPackagesFilter
    • korat.loading.filter.ExcludingPackageFilter
    • korat.loading.filter.IncludingPackageFilter
  • korat.utils.Pair<E1,E2>
  • korat.utils.ReflectionUtils
  • korat.utils.RunParallelSimulation
  • korat.utils.SerializationListener (implements korat.testing.ITestCaseListener)
  • korat.utils.io.SerializationUtils
  • korat.instrumentation.Setter
  • korat.gui.viz.metamodel.SigFactory
  • korat.utils.io.SimpleDeserializer (implements korat.utils.io.IDeserializer)
  • korat.utils.io.SimpleSerializer (implements korat.utils.io.ISerializer)
  • korat.finitization.impl.StateSpace
  • korat.testing.impl.StateSpaceExplorer (implements korat.testing.IKoratSearchStrategy)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • korat.testing.impl.KoratTestException
        • korat.testing.impl.CannotFindClassUnderTest
        • korat.testing.impl.KoratMethodException
          • korat.testing.impl.CannotFindFinitizationException
          • korat.testing.impl.CannotFindPredicateException
          • korat.testing.impl.CannotInvokeFinitizationException
          • korat.testing.impl.CannotInvokePredicateException
      • korat.gui.viz.metamodel.SigDoesNotExistException
      • korat.gui.viz.UnsupportedTypeException
  • korat.gui.viz.ToXMLInstanceConverter
  • korat.instrumentation.bytecode.VisitorSupport (implements korat.instrumentation.bytecode.BytecodeVisitor)
    • korat.instrumentation.bytecode.JavassistInstructionVisitor
      • korat.instrumentation.bytecode.ArrayBytecodesVisitor
      • korat.instrumentation.bytecode.StackTracerVisitor
  • korat.gui.viz.VizListener (implements korat.testing.ITestCaseListener)
  • korat.utils.cv.WriteCVListener (implements korat.testing.ITestCaseListener)
    • korat.utils.cv.WriteCVListenerSim
  • korat.utils.cv.WriteCVListener.WriterMode
    • korat.utils.cv.WriteCVListener.WriteAllMode
    • korat.utils.cv.WriteCVListener.WriteNumMode
      • korat.utils.cv.WriteCVListener.WriteNumExpectedMode

Interface Hierarchy

• korat.instrumentation.bytecode.BytecodeVisitor
• korat.loading.filter.DefaultFilters
• korat.utils.io.IBitReader
• korat.utils.io.IBitWriter
• korat.finitization.IClassDomain
• korat.utils.cv.ICVFactory
• korat.utils.cv.ICVFinder
• korat.utils.cv.ICVReader
• korat.utils.cv.ICVWriter
• korat.utils.io.IDeserializer
• korat.finitization.IFieldDomain
  • korat.finitization.IArraySet
  • korat.finitization.IBooleanSet
  • korat.finitization.IByteSet
  • korat.finitization.IDoubleSet
  • korat.finitization.IFloatSet
  • korat.finitization.IIntSet
  • korat.finitization.ILongSet
  • korat.finitization.IObjSet
  • korat.finitization.IPrimitiveTypeSet
    • korat.finitization.IBooleanSet
    • korat.finitization.IByteSet
    • korat.finitization.IDoubleSet
    • korat.finitization.IFloatSet
    • korat.finitization.IIntSet
    • korat.finitization.ILongSet
    • korat.finitization.IShortSet
  • korat.finitization.IShortSet
• korat.loading.filter.IFilter
  • korat.loading.filter.IComparingFilter
  • korat.loading.filter.ITransformingFilter<Type>
• korat.finitization.IFinitization
• korat.finitization.IFinitizationFactory
• korat.instrumentation.IInstrumenter
• korat.utils.IIntList
• korat.testing.IKoratSearchStrategy
• korat.instrumentation.IKoratTouchable
  • korat.instrumentation.IKoratArray
• korat.utils.io.ISerializer
• korat.testing.ITestCaseListener
• korat.testing.ITester

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • korat.instrumentation.bytecode.OperandStack.ElemKind
    • korat.instrumentation.bytecode.OperandStack.ConsumedByKind