Package | Description |
---|---|
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Class and Description |
---|---|
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 |
ReferenceArrayFields
element values for reference array objects
(references are stored as int's)
|
class |
ShortArrayFields
element values for short[] objects
|
Modifier and Type | Method and Description |
---|---|
ArrayFields |
ElementInfo.getArrayFields() |
Modifier and Type | Method and Description |
---|---|
protected void |
DynamicAbstractionSerializer.processArrayFields(ArrayFields fields) |
protected void |
FilteringSerializer.processArrayFields(ArrayFields afields) |