Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
JVMClassInfo
a ClassInfo that was created from a Java classfile
|
Modifier and Type | Class and Description |
---|---|
class |
BooleanFieldInfo
fieldinfo for slots holding booleans
|
class |
ByteFieldInfo
fieldinfo for slots holding bytes
|
class |
CharFieldInfo
fieldinfo for slots holding chars
|
class |
ClassInfo
Describes the VM's view of a java class.
|
class |
DoubleFieldInfo
type, name and attribute information for 'double' fields
|
class |
DoubleSlotFieldInfo
a double or long field
|
class |
FieldInfo
type, name and attribute information of a field.
|
class |
FloatFieldInfo
type, name, modifier info of float fields
|
class |
IntegerFieldInfo
type, name, mod info about integer fields
|
class |
LongFieldInfo |
class |
MethodInfo
information associated with a method.
|
class |
NativeMethodInfo
a MethodInfo for a native peer executed method
|
class |
ReferenceFieldInfo
field info for object fields
|
class |
ShortFieldInfo
fieldinfo for slots holding booleans
|
class |
SingleSlotFieldInfo
field type that requires a single slot (all but long and double)
|
class |
ThreadInfo
Represents a thread.
|