JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
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.
AllRunnablesSyncPolicy
(implements gov.nasa.jpf.vm.
SyncPolicy
)
gov.nasa.jpf.vm.
PriorityRunnablesSyncPolicy
gov.nasa.jpf.vm.
AnnotationInfo
(implements java.lang.Cloneable)
gov.nasa.jpf.vm.
AbstractTypeAnnotationInfo
gov.nasa.jpf.vm.
BytecodeAnnotationInfo
gov.nasa.jpf.vm.
BytecodeTypeParameterAnnotationInfo
gov.nasa.jpf.vm.
ExceptionParameterAnnotationInfo
gov.nasa.jpf.vm.
FormalParameterAnnotationInfo
gov.nasa.jpf.vm.
SuperTypeAnnotationInfo
gov.nasa.jpf.vm.
ThrowsAnnotationInfo
gov.nasa.jpf.vm.
TypeAnnotationInfo
gov.nasa.jpf.vm.
TypeParameterAnnotationInfo
gov.nasa.jpf.vm.
TypeParameterBoundAnnotationInfo
gov.nasa.jpf.vm.
VariableAnnotationInfo
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.
PersistentTidSet
gov.nasa.jpf.vm.
ArrayOffset
gov.nasa.jpf.vm.
AtomicData
gov.nasa.jpf.vm.
BootstrapMethodInfo
gov.nasa.jpf.vm.
BoxObjectCacheManager
gov.nasa.jpf.vm.
CheckExtendTransition
(implements gov.nasa.jpf.
SystemAttribute
)
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.
DefaultBacktracker
<KState> (implements gov.nasa.jpf.vm.
Backtracker
)
gov.nasa.jpf.vm.
DefaultFieldsFactory
(implements gov.nasa.jpf.vm.
FieldsFactory
)
gov.nasa.jpf.vm.
DelegatingScheduler
(implements gov.nasa.jpf.vm.
Scheduler
)
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.
ThresholdFieldLockInfo
(implements java.lang.Cloneable)
gov.nasa.jpf.vm.
LockSetThresholdFli
gov.nasa.jpf.vm.
PersistentLockSetThresholdFli
gov.nasa.jpf.vm.
SingleLockThresholdFli
gov.nasa.jpf.vm.
PersistentSingleLockThresholdFli
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.
FunctionObjectFactory
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 java.lang.Cloneable, gov.nasa.jpf.
Property
)
gov.nasa.jpf.vm.
NoOutOfMemoryErrorProperty
gov.nasa.jpf.vm.
NotDeadlockedProperty
gov.nasa.jpf.vm.
NoUncaughtExceptionsProperty
gov.nasa.jpf.vm.
GenericSharednessPolicy
(implements gov.nasa.jpf.vm.
Attributor
, gov.nasa.jpf.vm.
SharednessPolicy
)
gov.nasa.jpf.vm.
GlobalSharednessPolicy
gov.nasa.jpf.vm.
PathSharednessPolicy
gov.nasa.jpf.vm.
GlobalSchedulingPoint
(implements gov.nasa.jpf.
SystemAttribute
)
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.
LocalVarInfo
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.
FinalizerThreadInfo
gov.nasa.jpf.vm.
Instruction
(implements java.lang.Cloneable, gov.nasa.jpf.vm.bytecode.
InstructionInterface
)
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.
MJIEnv
gov.nasa.jpf.vm.
Monitor
(implements java.lang.Cloneable)
gov.nasa.jpf.vm.
NativePeer
(implements java.lang.Cloneable)
gov.nasa.jpf.vm.
JPF_gov_nasa_jpf_vm_Verify
gov.nasa.jpf.vm.
NoJPFExec
(implements gov.nasa.jpf.
SystemAttribute
)
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.
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 (implements java.io.Serializable)
java.lang.Exception
gov.nasa.jpf.vm.
ClassParseException
java.lang.RuntimeException
gov.nasa.jpf.vm.
ClassChangeException
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.
AnnotationParser
gov.nasa.jpf.vm.
Attributor
gov.nasa.jpf.vm.
Backtracker
gov.nasa.jpf.vm.
Backtracker.RestorableState
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.
Memento
<T>
gov.nasa.jpf.vm.
MementoFactory
gov.nasa.jpf.vm.
MethodLocator
gov.nasa.jpf.vm.
NativeStateHolder
gov.nasa.jpf.vm.
ReferenceProcessor
gov.nasa.jpf.vm.
ReleaseAction
gov.nasa.jpf.vm.
Restorable
<T>
gov.nasa.jpf.vm.
SharednessPolicy
gov.nasa.jpf.vm.
Scheduler
(also extends gov.nasa.jpf.vm.
SyncPolicy
)
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.
SyncPolicy
gov.nasa.jpf.vm.
Scheduler
(also extends gov.nasa.jpf.vm.
SharednessPolicy
)
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
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes