Hierarchy For Package gov.nasa.jpf.vm

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • gov.nasa.jpf.vm.AbstractRestorer<Saved> (implements gov.nasa.jpf.vm.KernelState.ChangeListener, gov.nasa.jpf.vm.StateRestorer<Saved>)
    • gov.nasa.jpf.vm.MementoRestorer (implements gov.nasa.jpf.vm.MementoFactory)
      • gov.nasa.jpf.vm.DefaultMementoRestorer
  • gov.nasa.jpf.vm.AbstractSerializer (implements gov.nasa.jpf.vm.KernelState.ChangeListener, gov.nasa.jpf.vm.StateSerializer)
  • gov.nasa.jpf.vm.Allocation
  • gov.nasa.jpf.vm.AnnotationInfo (implements java.lang.Cloneable)
  • gov.nasa.jpf.vm.AnnotationInfo.AnnotationAttribute
  • gov.nasa.jpf.vm.AnnotationInfo.ClassValue
  • gov.nasa.jpf.vm.AnnotationInfo.Entry (implements java.lang.Cloneable)
  • gov.nasa.jpf.vm.AnnotationInfo.EnumValue
  • gov.nasa.jpf.vm.ApplicationContext (implements gov.nasa.jpf.SystemAttribute)
  • gov.nasa.jpf.vm.ArrayAccess
  • gov.nasa.jpf.util.ArrayIntSet (implements java.lang.Cloneable, gov.nasa.jpf.util.IntSet)
    • gov.nasa.jpf.util.UnsortedArrayIntSet
      • gov.nasa.jpf.vm.TidSet (implements gov.nasa.jpf.vm.Memento<T>, gov.nasa.jpf.vm.ThreadInfoSet)
  • gov.nasa.jpf.vm.ArrayOffset
  • gov.nasa.jpf.vm.AtomicData
  • gov.nasa.jpf.vm.BoxObjectCacheManager
  • gov.nasa.jpf.vm.ChoiceGeneratorBase<T> (implements gov.nasa.jpf.vm.ChoiceGenerator<T>)
    • gov.nasa.jpf.vm.BooleanChoiceGenerator
  • gov.nasa.jpf.vm.ChoicePoint
  • gov.nasa.jpf.vm.ClassFileContainer
  • gov.nasa.jpf.vm.ClassFileMatch
  • gov.nasa.jpf.vm.ClassLoaderInfo (implements java.lang.Cloneable, java.lang.Comparable<T>, java.lang.Iterable<T>, gov.nasa.jpf.vm.Restorable<T>)
    • gov.nasa.jpf.vm.SystemClassLoaderInfo
  • gov.nasa.jpf.vm.ClassLoaderList (implements java.lang.Cloneable, java.lang.Iterable<T>, gov.nasa.jpf.vm.Restorable<T>)
  • gov.nasa.jpf.vm.ClassPath (implements gov.nasa.jpf.vm.Restorable<T>)
  • gov.nasa.jpf.vm.DefaultAttributor (implements gov.nasa.jpf.vm.Attributor)
    • gov.nasa.jpf.vm.ConfigAttributor
  • gov.nasa.jpf.vm.DefaultBacktracker<KState> (implements gov.nasa.jpf.vm.Backtracker)
  • gov.nasa.jpf.vm.DefaultFieldsFactory (implements gov.nasa.jpf.vm.FieldsFactory)
  • gov.nasa.jpf.vm.DefaultSchedulerFactory (implements gov.nasa.jpf.vm.SchedulerFactory)
    • gov.nasa.jpf.vm.ContextBoundingSchedulerFactory
    • gov.nasa.jpf.vm.DistributedSchedulerFactory
    • gov.nasa.jpf.vm.PrioritySchedulerFactory
  • gov.nasa.jpf.vm.ElementInfo (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.DynamicElementInfo
    • gov.nasa.jpf.vm.StaticElementInfo
  • gov.nasa.jpf.vm.ExceptionHandler
  • gov.nasa.jpf.vm.ExceptionInfo
  • gov.nasa.jpf.vm.FieldLockInfo (implements java.lang.Cloneable)
  • gov.nasa.jpf.vm.Fields (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.ArrayFields
      • gov.nasa.jpf.vm.BooleanArrayFields
      • gov.nasa.jpf.vm.ByteArrayFields
      • gov.nasa.jpf.vm.CharArrayFields
      • gov.nasa.jpf.vm.DoubleArrayFields
      • gov.nasa.jpf.vm.FloatArrayFields
      • gov.nasa.jpf.vm.IntArrayFields
      • gov.nasa.jpf.vm.LongArrayFields
      • gov.nasa.jpf.vm.ReferenceArrayFields
      • gov.nasa.jpf.vm.ShortArrayFields
    • gov.nasa.jpf.vm.NamedFields
  • gov.nasa.jpf.vm.GenericHeap (implements gov.nasa.jpf.vm.Heap, java.lang.Iterable<T>)
    • gov.nasa.jpf.vm.GenericSGOIDHeap
      • gov.nasa.jpf.vm.OVHeap
      • gov.nasa.jpf.vm.PSIMHeap
  • gov.nasa.jpf.vm.GenericHeap.ElementInfoMarker (implements gov.nasa.jpf.util.Processor<T>)
  • gov.nasa.jpf.GenericProperty (implements gov.nasa.jpf.Property)
    • gov.nasa.jpf.vm.NoOutOfMemoryErrorProperty
    • gov.nasa.jpf.vm.NotDeadlockedProperty
    • gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
  • gov.nasa.jpf.vm.HandlerContext
  • gov.nasa.jpf.vm.HashedAllocationContext (implements gov.nasa.jpf.vm.AllocationContext)
  • gov.nasa.jpf.vm.InfoObject (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.ClassInfo (implements gov.nasa.jpf.vm.GenericSignatureHolder, java.lang.Iterable<T>)
    • gov.nasa.jpf.vm.FieldInfo (implements gov.nasa.jpf.vm.GenericSignatureHolder)
      • gov.nasa.jpf.vm.DoubleSlotFieldInfo
        • gov.nasa.jpf.vm.DoubleFieldInfo
        • gov.nasa.jpf.vm.LongFieldInfo
      • gov.nasa.jpf.vm.SingleSlotFieldInfo
        • gov.nasa.jpf.vm.BooleanFieldInfo
        • gov.nasa.jpf.vm.ByteFieldInfo
        • gov.nasa.jpf.vm.CharFieldInfo
        • gov.nasa.jpf.vm.FloatFieldInfo
        • gov.nasa.jpf.vm.IntegerFieldInfo
        • gov.nasa.jpf.vm.ReferenceFieldInfo
        • gov.nasa.jpf.vm.ShortFieldInfo
    • gov.nasa.jpf.vm.MethodInfo (implements gov.nasa.jpf.vm.GenericSignatureHolder)
      • gov.nasa.jpf.vm.NativeMethodInfo
    • gov.nasa.jpf.vm.ThreadInfo (implements java.lang.Comparable<T>, java.lang.Iterable<T>, gov.nasa.jpf.vm.Restorable<T>)
  • gov.nasa.jpf.vm.Instruction (implements java.lang.Cloneable)
  • gov.nasa.jpf.vm.KernelState (implements gov.nasa.jpf.vm.Restorable<T>)
  • gov.nasa.jpf.ListenerAdapter (implements gov.nasa.jpf.report.PublisherExtension, gov.nasa.jpf.search.SearchListener, gov.nasa.jpf.vm.VMListener)
    • gov.nasa.jpf.vm.ConstInsnPathTime (implements gov.nasa.jpf.vm.TimeModel)
  • gov.nasa.jpf.vm.LocalVarInfo
  • gov.nasa.jpf.vm.MJIEnv
  • gov.nasa.jpf.vm.Monitor (implements java.lang.Cloneable)
  • gov.nasa.jpf.vm.NativePeer (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.AtomicFieldUpdater
      • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater
      • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater
      • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_AnnotationProxyBase
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_CachedROHttpConnection
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_ConsoleOutputStream
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_DelegatingTimeZone
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_SerializationConstructor
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_test_MemoryGoal
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_tools_MethodTester
    • gov.nasa.jpf.vm.JPF_gov_nasa_jpf_vm_Verify
    • gov.nasa.jpf.vm.JPF_java_io_File
    • gov.nasa.jpf.vm.JPF_java_io_FileDescriptor
    • gov.nasa.jpf.vm.JPF_java_io_InputStreamReader
    • gov.nasa.jpf.vm.JPF_java_io_ObjectInputStream
    • gov.nasa.jpf.vm.JPF_java_io_ObjectOutputStream
    • gov.nasa.jpf.vm.JPF_java_io_ObjectStreamClass
    • gov.nasa.jpf.vm.JPF_java_io_OutputStreamWriter
    • gov.nasa.jpf.vm.JPF_java_io_RandomAccessFile
    • gov.nasa.jpf.vm.JPF_java_lang_Boolean
    • gov.nasa.jpf.vm.JPF_java_lang_Byte
    • gov.nasa.jpf.vm.JPF_java_lang_Character
    • gov.nasa.jpf.vm.JPF_java_lang_Class
    • gov.nasa.jpf.vm.JPF_java_lang_ClassLoader
      • gov.nasa.jpf.vm.JPF_java_net_URLClassLoader
    • gov.nasa.jpf.vm.JPF_java_lang_Double
    • gov.nasa.jpf.vm.JPF_java_lang_Float
    • gov.nasa.jpf.vm.JPF_java_lang_Integer
    • gov.nasa.jpf.vm.JPF_java_lang_Long
    • gov.nasa.jpf.vm.JPF_java_lang_Math
    • gov.nasa.jpf.vm.JPF_java_lang_Object
    • gov.nasa.jpf.vm.JPF_java_lang_reflect_Array
    • gov.nasa.jpf.vm.JPF_java_lang_reflect_Constructor
    • gov.nasa.jpf.vm.JPF_java_lang_reflect_Field
    • gov.nasa.jpf.vm.JPF_java_lang_reflect_Method
    • gov.nasa.jpf.vm.JPF_java_lang_reflect_Proxy
    • gov.nasa.jpf.vm.JPF_java_lang_Runtime
    • gov.nasa.jpf.vm.JPF_java_lang_Short
    • gov.nasa.jpf.vm.JPF_java_lang_String
    • gov.nasa.jpf.vm.JPF_java_lang_StringBuffer
    • gov.nasa.jpf.vm.JPF_java_lang_StringBuilder
    • gov.nasa.jpf.vm.JPF_java_lang_StringCoding
    • gov.nasa.jpf.vm.JPF_java_lang_System
    • gov.nasa.jpf.vm.JPF_java_lang_Thread
    • gov.nasa.jpf.vm.JPF_java_lang_Throwable
    • gov.nasa.jpf.vm.JPF_java_net_URLDecoder
    • gov.nasa.jpf.vm.JPF_java_net_URLEncoder
    • gov.nasa.jpf.vm.JPF_java_security_MessageDigest
    • gov.nasa.jpf.vm.JPF_java_text_Bidi
    • gov.nasa.jpf.vm.JPF_java_text_DateFormat
    • gov.nasa.jpf.vm.JPF_java_text_DateFormatSymbols
    • gov.nasa.jpf.vm.JPF_java_text_DecimalFormat
    • gov.nasa.jpf.vm.JPF_java_text_DecimalFormatSymbols
    • gov.nasa.jpf.vm.JPF_java_text_Format
    • gov.nasa.jpf.vm.JPF_java_text_SimpleDateFormat
    • gov.nasa.jpf.vm.JPF_java_util_Calendar
    • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicInteger
    • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicIntegerArray
    • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLong
    • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLongArray
    • gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicReferenceArray
    • gov.nasa.jpf.vm.JPF_java_util_Date
    • gov.nasa.jpf.vm.JPF_java_util_Locale
    • gov.nasa.jpf.vm.JPF_java_util_logging_Level
    • gov.nasa.jpf.vm.JPF_java_util_Random
    • gov.nasa.jpf.vm.JPF_java_util_regex_Matcher
    • gov.nasa.jpf.vm.JPF_java_util_regex_Pattern
    • gov.nasa.jpf.vm.JPF_java_util_ResourceBundle
    • gov.nasa.jpf.vm.JPF_java_util_TimeZone
    • gov.nasa.jpf.vm.JPF_sun_misc_Hashing
    • gov.nasa.jpf.vm.JPF_sun_misc_Unsafe
    • gov.nasa.jpf.vm.JPF_sun_misc_VM
    • gov.nasa.jpf.vm.JPF_sun_net_www_protocol_http_Handler
    • gov.nasa.jpf.vm.JPF_sun_reflect_Reflection
    • gov.nasa.jpf.vm.JPF_sun_reflect_ReflectionFactory
  • gov.nasa.jpf.vm.ObjRef
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • gov.nasa.jpf.vm.JPFOutputStream
  • gov.nasa.jpf.vm.OVStatics (implements gov.nasa.jpf.vm.Statics)
  • gov.nasa.jpf.vm.Path (implements java.lang.Cloneable, java.lang.Iterable<T>, gov.nasa.jpf.util.Printable)
  • gov.nasa.jpf.vm.PreciseAllocationContext (implements gov.nasa.jpf.vm.AllocationContext)
  • gov.nasa.jpf.vm.PredicateMap
  • gov.nasa.jpf.vm.RestorableVMState
  • gov.nasa.jpf.vm.SerializingStateSet (implements gov.nasa.jpf.vm.StateSet)
    • gov.nasa.jpf.vm.FullStateSet
    • gov.nasa.jpf.vm.JenkinsStateSet
      • gov.nasa.jpf.vm.DebugJenkinsStateSet
  • gov.nasa.jpf.vm.SharedObjectPolicy
    • gov.nasa.jpf.vm.GlobalTrackingPolicy
    • gov.nasa.jpf.vm.OverlappingContenderPolicy
  • gov.nasa.jpf.vm.StackFrame (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.DirectCallStackFrame (implements gov.nasa.jpf.SystemAttribute)
    • gov.nasa.jpf.vm.NativeStackFrame
  • gov.nasa.jpf.vm.StatisticFieldLockInfoFactory (implements gov.nasa.jpf.vm.FieldLockInfoFactory)
  • gov.nasa.jpf.vm.Step
  • gov.nasa.jpf.vm.SystemState
  • gov.nasa.jpf.vm.SystemTime (implements gov.nasa.jpf.vm.TimeModel)
  • gov.nasa.jpf.vm.ThreadData
  • gov.nasa.jpf.vm.ThreadInfo.StackIterator (implements java.util.Iterator<E>)
    • gov.nasa.jpf.vm.ThreadInfo.InvokedStackIterator (implements java.util.Iterator<E>)
  • gov.nasa.jpf.vm.ThreadList (implements java.lang.Cloneable, java.lang.Iterable<T>, gov.nasa.jpf.vm.Restorable<T>)
  • gov.nasa.jpf.vm.ThreadList.Count
  • java.lang.Throwable
    • java.lang.Exception
      • gov.nasa.jpf.vm.ClassParseException
      • java.lang.RuntimeException
        • gov.nasa.jpf.vm.ClassInfoException
        • gov.nasa.jpf.vm.ClinitRequired
        • gov.nasa.jpf.JPFException
          • gov.nasa.jpf.vm.ArrayIndexOutOfBoundsExecutiveException
        • gov.nasa.jpf.vm.LoadOnJPFRequired
        • gov.nasa.jpf.vm.UncaughtException (implements gov.nasa.jpf.util.Printable)
  • gov.nasa.jpf.vm.Transition (implements java.lang.Cloneable, java.lang.Iterable<T>)
  • gov.nasa.jpf.vm.Transition.StepIterator (implements java.util.Iterator<E>)
  • gov.nasa.jpf.vm.Types
  • gov.nasa.jpf.vm.Verify
  • gov.nasa.jpf.vm.VM
    • gov.nasa.jpf.vm.MultiProcessVM
    • gov.nasa.jpf.vm.SingleProcessVM

Interface Hierarchy

• gov.nasa.jpf.vm.AllocationContext
• gov.nasa.jpf.vm.AllocInstruction
• gov.nasa.jpf.vm.AnnotationParser
• gov.nasa.jpf.vm.Attributor
• gov.nasa.jpf.vm.Backtracker
• gov.nasa.jpf.vm.Backtracker.RestorableState
• gov.nasa.jpf.vm.ClassFactory
• gov.nasa.jpf.vm.ClassParser
• java.lang.Cloneable
  • gov.nasa.jpf.vm.ChoiceGenerator<T>
    • gov.nasa.jpf.vm.DoubleChoiceGenerator
    • gov.nasa.jpf.vm.FloatChoiceGenerator
    • gov.nasa.jpf.vm.IntChoiceGenerator
    • gov.nasa.jpf.vm.LongChoiceGenerator
    • gov.nasa.jpf.vm.ReferenceChoiceGenerator
    • gov.nasa.jpf.vm.ThreadChoiceGenerator
  • gov.nasa.jpf.vm.ThreadInfoSet
• gov.nasa.jpf.vm.ClosedMemento
• gov.nasa.jpf.vm.FieldLockInfoFactory
• gov.nasa.jpf.vm.FieldsFactory
• gov.nasa.jpf.vm.GenericSignatureHolder
• java.lang.Iterable<T>
  • gov.nasa.jpf.vm.Heap
  • gov.nasa.jpf.vm.Statics
• gov.nasa.jpf.JPFListener
  • gov.nasa.jpf.vm.VMListener
• gov.nasa.jpf.vm.KernelState.ChangeListener
  • gov.nasa.jpf.vm.IncrementalChangeTracker
• gov.nasa.jpf.vm.LookupSwitchInstruction
• gov.nasa.jpf.vm.Memento<T>
• gov.nasa.jpf.vm.MementoFactory
• gov.nasa.jpf.vm.MethodLocator
• gov.nasa.jpf.vm.ReferenceProcessor
• gov.nasa.jpf.vm.ReleaseAction
• gov.nasa.jpf.vm.Restorable<T>
• gov.nasa.jpf.vm.ReturnInstruction
• gov.nasa.jpf.vm.SchedulerFactory
• gov.nasa.jpf.vm.StateRestorer<Saved>
• gov.nasa.jpf.vm.StateSerializer
  • gov.nasa.jpf.vm.DebugStateSerializer
• gov.nasa.jpf.vm.StateSet
• gov.nasa.jpf.vm.Storable
• gov.nasa.jpf.vm.TableSwitchInstruction
• gov.nasa.jpf.vm.TimeModel

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • gov.nasa.jpf.vm.ThreadInfo.State
    • gov.nasa.jpf.vm.HandlerContext.UncaughtHandlerType