Package | Description |
---|---|
gov.nasa.jpf.vm |
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 |
FloatFieldInfo
type, name, modifier info of float fields
|
class |
IntegerFieldInfo
type, name, mod info about integer fields
|
class |
ReferenceFieldInfo
field info for object fields
|
class |
ShortFieldInfo
fieldinfo for slots holding booleans
|