Package | Description |
---|---|
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Class and Description |
---|---|
class |
ArrayFields
a Field (data value) store for array objects
|
class |
BooleanArrayFields
element values for boolean[] objects
|
class |
ByteArrayFields
element values for byte[] objects
|
class |
CharArrayFields
element values for char[] objects
|
class |
DoubleArrayFields
element values for double[] objects
|
class |
FloatArrayFields
element values for float[] objects
|
class |
IntArrayFields
element values for int[] objects
|
class |
LongArrayFields
element values for long[] objects
|
class |
NamedFields
value container for non-array classes
|
class |
ReferenceArrayFields
element values for reference array objects
(references are stored as int's)
|
class |
ShortArrayFields
element values for short[] objects
|
Modifier and Type | Field and Description |
---|---|
protected Fields |
ElementInfo.fields |
Modifier and Type | Method and Description |
---|---|
abstract Fields |
Fields.clone() |
protected Fields |
Fields.cloneFields() |
Fields |
DefaultFieldsFactory.createArrayFields(String type,
ClassInfo ci,
int nElements,
int typeSize,
boolean isReferenceArray) |
Fields |
FieldsFactory.createArrayFields(String type,
ClassInfo ci,
int nElements,
int typeSize,
boolean isReferenceArray) |
Fields |
ClassInfo.createInstanceFields()
Creates the fields for an object.
|
Fields |
DefaultFieldsFactory.createInstanceFields(ClassInfo ci) |
Fields |
FieldsFactory.createInstanceFields(ClassInfo ci) |
Fields |
DefaultFieldsFactory.createStaticFields(ClassInfo ci) |
Fields |
FieldsFactory.createStaticFields(ClassInfo ci) |
Fields |
ElementInfo.getFields()
BEWARE - never change the returned object without knowing about the
ElementInfo change status, this field is state managed!
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
Fields.compareAttrs(Fields f) |
void |
Fields.copyAttrs(Fields other) |
void |
NamedFields.copyFrom(Fields other) |
protected DynamicElementInfo |
GenericHeap.createElementInfo(int objref,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti) |
abstract Object |
FieldInfo.getValueObject(Fields data) |
Object |
BooleanFieldInfo.getValueObject(Fields f) |
Object |
IntegerFieldInfo.getValueObject(Fields f) |
Object |
FloatFieldInfo.getValueObject(Fields f) |
Object |
ShortFieldInfo.getValueObject(Fields f) |
Object |
ByteFieldInfo.getValueObject(Fields f) |
Object |
DoubleFieldInfo.getValueObject(Fields f) |
Object |
ReferenceFieldInfo.getValueObject(Fields f) |
Object |
CharFieldInfo.getValueObject(Fields f) |
Object |
LongFieldInfo.getValueObject(Fields f) |
boolean |
NamedFields.isEqual(Fields o,
int off,
int len,
int otherOff) |
void |
ElementInfo.restore(int index,
int attributes,
Fields fields,
Monitor monitor) |
void |
ElementInfo.restoreFields(Fields f) |
abstract String |
FieldInfo.valueToString(Fields f) |
String |
BooleanFieldInfo.valueToString(Fields f) |
String |
IntegerFieldInfo.valueToString(Fields f) |
String |
FloatFieldInfo.valueToString(Fields f) |
String |
ShortFieldInfo.valueToString(Fields f) |
String |
ByteFieldInfo.valueToString(Fields f) |
String |
DoubleFieldInfo.valueToString(Fields f) |
String |
ReferenceFieldInfo.valueToString(Fields f) |
String |
CharFieldInfo.valueToString(Fields f) |
String |
LongFieldInfo.valueToString(Fields f) |
Constructor and Description |
---|
DynamicElementInfo(int objref,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti) |
ElementInfo(int id,
ClassInfo c,
Fields f,
Monitor m,
ThreadInfo ti) |
StaticElementInfo(int id,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti,
ElementInfo eiClsObj) |
Modifier and Type | Method and Description |
---|---|
protected void |
DynamicAbstractionSerializer.processField(Fields fields,
int[] slotValues,
FieldInfo fi,
FinalBitSet filtered) |
protected void |
DynamicAbstractionSerializer.processNamedFields(ClassInfo ci,
Fields fields) |
protected void |
FilteringSerializer.processNamedFields(ClassInfo ci,
Fields fields) |
protected void |
DynamicAbstractionSerializer.processNamedInstanceReferenceFields(ClassInfo ci,
Fields fields) |
protected void |
DynamicAbstractionSerializer.processNamedStaticReferenceFields(ClassInfo ci,
Fields fields) |