| java.lang.Object
 gov.nasa.jpf.jvm.FieldInfo
All known Subclasses: gov.nasa.jpf.jvm.DoubleFieldInfo, gov.nasa.jpf.jvm.LongFieldInfo, gov.nasa.jpf.jvm.ReferenceFieldInfo, gov.nasa.jpf.jvm.FloatFieldInfo, gov.nasa.jpf.jvm.IntegerFieldInfo,
| FieldInfo | | abstract public class FieldInfo (Code) | | type, name and attribute information of a field.
|
| attributes | | int attributes(Code) | | high 16 bit: non-propagation relevant field attributes
low 16 bit: object attribute propagation mask
|
| cv | | final protected ConstantValue cv(Code) | | the (possibly null) initializer value for this field.
|
| fieldIndex | | int fieldIndex(Code) | | what is the order of declaration of this field
|
| isStatic | | final protected boolean isStatic(Code) | | Static field.
|
| storageOffset | | int storageOffset(Code) | | where in the corresponding Fields object do we store the value
(note this works because of the wonderful single inheritance)
|
| create | | public static FieldInfo create(String name, String type, boolean isStatic, ConstantValue cv, ClassInfo ci, int idx, int off)(Code) | | create the correct kind of FieldInfo with respect to type
Parameters:
name - the name of the field
Parameters:
type - the type of the field
Parameters:
isStatic - the staticness of teh field
Parameters:
cv - the constant initializer for the field (possibly null)
Parameters:
ci - the class of the field the right kind of FieldInfo |
| getAttributes | | public int getAttributes()(Code) | | |
| getClassInfo | | public ClassInfo getClassInfo()(Code) | | Returns the class that this field is associated with.
|
| getConstantValue | | public ConstantValue getConstantValue()(Code) | | |
| getFieldIndex | | public int getFieldIndex()(Code) | | |
| getName | | public String getName()(Code) | | Returns the name of the field.
|
| getStorageOffset | | public int getStorageOffset()(Code) | | |
| getStorageSize | | public int getStorageSize()(Code) | | the storage size of this field, @see Types.getTypeSize |
| getType | | public String getType()(Code) | | Returns the type of the field.
|
| initialize | | abstract public void initialize(Fields f)(Code) | | initialize the corresponding data in the provided Fields instance
|
| isArrayField | | public boolean isArrayField()(Code) | | |
| isReference | | public boolean isReference()(Code) | | |
| isStatic | | public boolean isStatic()(Code) | | is this a static field? Counter productive to the current class struct,
but at some point we want to get rid of the Dynamic/Static branch (it's
really just a field attribute)
|
| setAttributes | | void setAttributes(int a)(Code) | | |
| toString | | public String toString()(Code) | | Returns a string representation of the field.
|
|
|