gov.nasa.jpf.vm

Interfaces

• AllocationContext
• AllocInstruction
• AnnotationParser
• Attributor
• Backtracker
• Backtracker.RestorableState
• ChoiceGenerator
• ClassFactory
• ClassParser
• ClosedMemento
• DebugStateSerializer
• DoubleChoiceGenerator
• FieldLockInfoFactory
• FieldsFactory
• FloatChoiceGenerator
• GenericSignatureHolder
• Heap
• IncrementalChangeTracker
• IntChoiceGenerator
• KernelState.ChangeListener
• LongChoiceGenerator
• LookupSwitchInstruction
• Memento
• MementoFactory
• MethodLocator
• ReferenceChoiceGenerator
• ReferenceProcessor
• ReleaseAction
• Restorable
• ReturnInstruction
• SchedulerFactory
• StateRestorer
• StateSerializer
• StateSet
• Statics
• Storable
• TableSwitchInstruction
• ThreadChoiceGenerator
• ThreadInfoSet
• TimeModel
• VMListener

Classes

• AbstractRestorer
• AbstractSerializer
• Allocation
• AnnotationInfo
• AnnotationInfo.AnnotationAttribute
• AnnotationInfo.ClassValue
• AnnotationInfo.Entry
• AnnotationInfo.EnumValue
• ApplicationContext
• ArrayAccess
• ArrayFields
• ArrayOffset
• AtomicData
• AtomicFieldUpdater
• BooleanArrayFields
• BooleanChoiceGenerator
• BooleanFieldInfo
• BoxObjectCacheManager
• ByteArrayFields
• ByteFieldInfo
• CharArrayFields
• CharFieldInfo
• ChoiceGeneratorBase
• ChoicePoint
• ClassFileContainer
• ClassFileMatch
• ClassInfo
• ClassLoaderInfo
• ClassLoaderList
• ClassPath
• ConfigAttributor
• ConstInsnPathTime
• ContextBoundingSchedulerFactory
• DebugJenkinsStateSet
• DefaultAttributor
• DefaultBacktracker
• DefaultFieldsFactory
• DefaultMementoRestorer
• DefaultSchedulerFactory
• DirectCallStackFrame
• DistributedSchedulerFactory
• DoubleArrayFields
• DoubleFieldInfo
• DoubleSlotFieldInfo
• DynamicElementInfo
• ElementInfo
• ExceptionHandler
• ExceptionInfo
• FieldInfo
• FieldLockInfo
• Fields
• FloatArrayFields
• FloatFieldInfo
• FullStateSet
• GenericHeap
• GenericSGOIDHeap
• GlobalTrackingPolicy
• HandlerContext
• HashedAllocationContext
• InfoObject
• Instruction
• IntArrayFields
• IntegerFieldInfo
• JenkinsStateSet
• JPF_gov_nasa_jpf_AnnotationProxyBase
• JPF_gov_nasa_jpf_CachedROHttpConnection
• JPF_gov_nasa_jpf_ConsoleOutputStream
• JPF_gov_nasa_jpf_DelegatingTimeZone
• JPF_gov_nasa_jpf_SerializationConstructor
• JPF_gov_nasa_jpf_test_MemoryGoal
• JPF_gov_nasa_jpf_tools_MethodTester
• JPF_gov_nasa_jpf_vm_Verify
• JPF_java_io_File
• JPF_java_io_FileDescriptor
• JPF_java_io_InputStreamReader
• JPF_java_io_ObjectInputStream
• JPF_java_io_ObjectOutputStream
• JPF_java_io_ObjectStreamClass
• JPF_java_io_OutputStreamWriter
• JPF_java_io_RandomAccessFile
• JPF_java_lang_Boolean
• JPF_java_lang_Byte
• JPF_java_lang_Character
• JPF_java_lang_Class
• JPF_java_lang_ClassLoader
• JPF_java_lang_Double
• JPF_java_lang_Float
• JPF_java_lang_Integer
• JPF_java_lang_Long
• JPF_java_lang_Math
• JPF_java_lang_Object
• JPF_java_lang_reflect_Array
• JPF_java_lang_reflect_Constructor
• JPF_java_lang_reflect_Field
• JPF_java_lang_reflect_Method
• JPF_java_lang_reflect_Proxy
• JPF_java_lang_Runtime
• JPF_java_lang_Short
• JPF_java_lang_String
• JPF_java_lang_StringBuffer
• JPF_java_lang_StringBuilder
• JPF_java_lang_StringCoding
• JPF_java_lang_System
• JPF_java_lang_Thread
• JPF_java_lang_Throwable
• JPF_java_net_URLClassLoader
• JPF_java_net_URLDecoder
• JPF_java_net_URLEncoder
• JPF_java_security_MessageDigest
• JPF_java_text_Bidi
• JPF_java_text_DateFormat
• JPF_java_text_DateFormatSymbols
• JPF_java_text_DecimalFormat
• JPF_java_text_DecimalFormatSymbols
• JPF_java_text_Format
• JPF_java_text_SimpleDateFormat
• JPF_java_util_Calendar
• JPF_java_util_concurrent_atomic_AtomicInteger
• JPF_java_util_concurrent_atomic_AtomicIntegerArray
• JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater
• JPF_java_util_concurrent_atomic_AtomicLong
• JPF_java_util_concurrent_atomic_AtomicLongArray
• JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater
• JPF_java_util_concurrent_atomic_AtomicReferenceArray
• JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater
• JPF_java_util_Date
• JPF_java_util_Locale
• JPF_java_util_logging_Level
• JPF_java_util_Random
• JPF_java_util_regex_Matcher
• JPF_java_util_regex_Pattern
• JPF_java_util_ResourceBundle
• JPF_java_util_TimeZone
• JPF_sun_misc_Hashing
• JPF_sun_misc_Unsafe
• JPF_sun_misc_VM
• JPF_sun_net_www_protocol_http_Handler
• JPF_sun_reflect_Reflection
• JPF_sun_reflect_ReflectionFactory
• JPFOutputStream
• KernelState
• LocalVarInfo
• LongArrayFields
• LongFieldInfo
• MementoRestorer
• MethodInfo
• MJIEnv
• Monitor
• MultiProcessVM
• NamedFields
• NativeMethodInfo
• NativePeer
• NativeStackFrame
• NoOutOfMemoryErrorProperty
• NotDeadlockedProperty
• NoUncaughtExceptionsProperty
• ObjRef
• OverlappingContenderPolicy
• OVHeap
• OVStatics
• Path
• PreciseAllocationContext
• PredicateMap
• PrioritySchedulerFactory
• PSIMHeap
• ReferenceArrayFields
• ReferenceFieldInfo
• RestorableVMState
• SerializingStateSet
• SharedObjectPolicy
• ShortArrayFields
• ShortFieldInfo
• SingleProcessVM
• SingleSlotFieldInfo
• StackFrame
• StaticElementInfo
• StatisticFieldLockInfoFactory
• Step
• SystemClassLoaderInfo
• SystemState
• SystemTime
• ThreadData
• ThreadInfo
• ThreadList
• ThreadList.Count
• TidSet
• Transition
• Types
• Verify
• VM

Enums

• HandlerContext.UncaughtHandlerType
• ThreadInfo.State

Exceptions

• ArrayIndexOutOfBoundsExecutiveException
• ClassInfoException
• ClassParseException
• ClinitRequired
• LoadOnJPFRequired
• UncaughtException