| java.lang.Object gov.nasa.jpf.jvm.Fields gov.nasa.jpf.jvm.ArrayFields
ArrayFields | public class ArrayFields extends Fields (Code) | | a Field (data value) store for array objects
|
ArrayFields | public ArrayFields(String type, ClassInfo ci, int storageSize, int length, boolean isReference)(Code) | | |
arrayLength | public int arrayLength()(Code) | | |
asBooleanArray | public boolean[] asBooleanArray()(Code) | | |
asByteArray | public byte[] asByteArray()(Code) | | |
asCharArray | public char[] asCharArray()(Code) | | |
asDoubleArray | public double[] asDoubleArray()(Code) | | |
asFloatArray | public float[] asFloatArray()(Code) | | |
asIntArray | public int[] asIntArray()(Code) | | |
asLongArray | public long[] asLongArray()(Code) | | |
asShortArray | public short[] asShortArray()(Code) | | |
getFieldIndex | public int getFieldIndex(String name, String referenceType)(Code) | | See Also: gov.nasa.jpf.jvm.iFields.getFieldIndex(StringString) |
getHeapSize | public int getHeapSize()(Code) | | |
getNumberOfFields | public int getNumberOfFields()(Code) | | |
isReferenceArray | public boolean isReferenceArray()(Code) | | |
|
|