| java.lang.Object
 gov.nasa.jpf.jvm.Fields
All known Subclasses: gov.nasa.jpf.jvm.StaticFields, gov.nasa.jpf.jvm.DynamicFields, gov.nasa.jpf.jvm.ArrayFields,
| Fields | | abstract public class Fields implements Cloneable(Code) | | Represents the fields (adat part) of an object or class. Contains the
values of the fields, not their descriptors. Descriptors are represented by
gov.nasa.jpf.jvm.FieldInfo objects, which are stored in the
ClassInfo structure.
See Also: gov.nasa.jpf.jvm.FieldInfo |
| FATTR_MASK | | static int FATTR_MASK(Code) | | |
| type | | final protected String type(Code) | | Type of the object or class
|
| values | | protected int[] values(Code) | | this is where we store the instance data
|
| 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) | | |
| equals | | public boolean equals(Object o)(Code) | | Checks for equality.
|
| getBooleanValue | | public boolean getBooleanValue(int index)(Code) | | |
| getByteValue | | public byte getByteValue(int index)(Code) | | |
| getCharValue | | public char getCharValue(int index)(Code) | | |
| getClassInfo | | public ClassInfo getClassInfo()(Code) | | Returns a reference to the class information.
|
| getDoubleValue | | public double getDoubleValue(int index)(Code) | | |
| getFloatValue | | public float getFloatValue(int index)(Code) | | |
| getHeapSize | | public int getHeapSize()(Code) | | give an approximation of the heap size in bytes - we assume fields a word
aligned, hence the number of fields*4 should be good. Note that this is
overridden by ArrayFields (arrays would be packed)
|
| getIntValue | | public int getIntValue(int index)(Code) | | |
| getLongValue | | public long getLongValue(int index)(Code) | | |
| getNumberOfFields | | abstract public int getNumberOfFields()(Code) | | |
| getReferenceValue | | public int getReferenceValue(int index)(Code) | | |
| getShortValue | | public short getShortValue(int index)(Code) | | |
| getType | | public String getType()(Code) | | Returns the type of the object or class associated with the fields.
|
| hasRefField | | public boolean hasRefField(int objRef)(Code) | | do we have a reference field with value objRef? This is used by
the reachability analysis
|
| hash | | public void hash(HashData hd)(Code) | | Adds some data to the computation of an hashcode.
|
| hashCode | | public int hashCode()(Code) | | Computes an hash code.
|
| isArray | | public boolean isArray()(Code) | | Returns true if the fields belong to an array.
|
| isReferenceArray | | public boolean isReferenceArray()(Code) | | |
| setDoubleValue | | public void setDoubleValue(int index, double newValue)(Code) | | |
| setFloatValue | | public void setFloatValue(int index, float newValue)(Code) | | |
| setIntValue | | public void setIntValue(int index, int newValue)(Code) | | |
| setLongValue | | public void setLongValue(int index, long newValue)(Code) | | |
| setReferenceValue | | public void setReferenceValue(int index, int newValue)(Code) | | |
| size | | public int size()(Code) | | Size of the fields.
|
|
|