FieldInfo

java.lang.Object
- gov.nasa.jpf.vm.InfoObject
- - gov.nasa.jpf.vm.FieldInfo

All Implemented Interfaces:

GenericSignatureHolder, java.lang.Cloneable

Direct Known Subclasses:

DoubleSlotFieldInfo, SingleSlotFieldInfo
```
public abstract class FieldInfo
extends InfoObject
implements GenericSignatureHolder
```
type, name and attribute information of a field.

Field Summary

Fields
Modifier and Type	Field and Description
`protected int`	`attributes`
`protected ClassInfo`	`ci`
`protected java.lang.Object`	`cv`
`protected int`	`fieldIndex`
`protected java.lang.String`	`genericSignature`
`protected int`	`modifiers`
`protected java.lang.String`	`name`
`protected java.lang.String`	`signature`
`protected int`	`storageOffset`
`protected int`	`storageSize`
`protected java.lang.String`	`type`

Fields inherited from class gov.nasa.jpf.vm.InfoObject
annotations, attr, typeAnnotations

Constructor Summary

Constructors
Modifier Constructor and Description

protected FieldInfo(java.lang.String name, java.lang.String signature, int modifiers)

Constructors
Modifier	Constructor and Description
`protected`	`FieldInfo(java.lang.String name, java.lang.String signature, int modifiers)`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addAttribute(int a)`
`boolean`	`breakShared()`
`static FieldInfo`	`create(java.lang.String name, java.lang.String signature, int modifiers)`
`int`	`getAttributes()`
`java.lang.Class<? extends ChoiceGenerator<?>>`	`getChoiceGeneratorType()`
`ClassInfo`	`getClassInfo()` Returns the class that this field is associated with.
`java.lang.Object`	`getConstantValue()`
`int`	`getFieldIndex()`
`java.lang.String`	`getFullName()`
`java.lang.String`	`getGenericSignature()`
`FieldInfo`	`getInstanceFor(ClassInfo ci)` Creates a field for a given class, by cloning this FieldInfo and reseting the class that the field belongs to
`int`	`getModifiers()`
`java.lang.String`	`getName()` Returns the name of the field.
`java.lang.String`	`getSignature()`
`int`	`getStorageOffset()`
`int`	`getStorageSize()`
`java.lang.String`	`getType()` Returns the type of the field as a fully qualified type name according to JLS 6.7 ("int", "x.Y[]")
`ClassInfo`	`getTypeClassInfo()`
`byte`	`getTypeCode()`
`abstract java.lang.Object`	`getValueObject(Fields data)`
`abstract void`	`initialize(ElementInfo ei, ThreadInfo ti)` pushClinit the corresponding data in the provided Fields instance
`boolean`	`is1SlotField()`
`boolean`	`is2SlotField()`
`boolean`	`isArrayField()`
`boolean`	`isBooleanField()`
`boolean`	`isByteField()`
`boolean`	`isCharField()`
`boolean`	`isDoubleField()`
`boolean`	`isFinal()` is this field declared `final'?
`boolean`	`isFloatField()`
`boolean`	`isFloatingPointField()`
`boolean`	`isIntField()`
`boolean`	`isLongField()`
`boolean`	`isNumericField()`
`boolean`	`isPackagePrivate()`
`boolean`	`isPrivate()`
`boolean`	`isProtected()`
`boolean`	`isPublic()`
`boolean`	`isReference()`
`boolean`	`isShortField()`
`boolean`	`isStatic()` 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)
`boolean`	`isTransient()`
`boolean`	`isVolatile()`
`protected void`	`linkToClass(ClassInfo ci, int idx, int off)`
`boolean`	`neverBreak()`
`void`	`setConstantValue(java.lang.Object constValue)`
`void`	`setGenericSignature(java.lang.String sig)`
`java.lang.String`	`toString()` Returns a string representation of the field.
`abstract java.lang.String`	`valueToString(Fields f)`

Methods inherited from class gov.nasa.jpf.vm.InfoObject
addAnnotation, addAnnotations, addAttr, addTypeAnnotation, addTypeAnnotations, attrIterator, attrIterator, getAnnotation, getAnnotations, getAttr, getAttr, getDeclaredAnnotations, getNextAttr, getTargetTypeAnnotations, getTypeAnnotation, getTypeAnnotations, hasAnnotation, hasAnnotations, hasAttr, hasAttr, hasAttrValue, hasTypeAnnotation, hasTypeAnnotations, removeAttr, replaceAttr, setAnnotations, setAttr, setTypeAnnotations

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

attributes
```
protected int attributes
```

name
```
protected final java.lang.String name
```

type
```
protected java.lang.String type
```

signature

protected final java.lang.String signature

storageSize
```
protected int storageSize
```

ci
```
protected ClassInfo ci
```

fieldIndex
```
protected int fieldIndex
```

storageOffset
```
protected int storageOffset
```

cv
```
protected java.lang.Object cv
```

genericSignature

protected java.lang.String genericSignature

modifiers
```
protected int modifiers
```

Constructor Detail

FieldInfo

protected FieldInfo(java.lang.String name,
                    java.lang.String signature,
                    int modifiers)

Method Detail

create

public static FieldInfo create(java.lang.String name,
                               java.lang.String signature,
                               int modifiers)

linkToClass

protected void linkToClass(ClassInfo ci,
                           int idx,
                           int off)

setConstantValue

public void setConstantValue(java.lang.Object constValue)

valueToString

public abstract java.lang.String valueToString(Fields f)

is1SlotField
```
public boolean is1SlotField()
```

is2SlotField
```
public boolean is2SlotField()
```

isBooleanField
```
public boolean isBooleanField()
```

isByteField
```
public boolean isByteField()
```

isCharField
```
public boolean isCharField()
```

isShortField
```
public boolean isShortField()
```

isIntField
```
public boolean isIntField()
```

isLongField
```
public boolean isLongField()
```

isFloatField
```
public boolean isFloatField()
```

isDoubleField
```
public boolean isDoubleField()
```

isNumericField
```
public boolean isNumericField()
```

isFloatingPointField
```
public boolean isFloatingPointField()
```

isReference
```
public boolean isReference()
```

isArrayField
```
public boolean isArrayField()
```

getClassInfo
```
public ClassInfo getClassInfo()
```
Returns the class that this field is associated with.

getConstantValue

public java.lang.Object getConstantValue()

getValueObject

public abstract java.lang.Object getValueObject(Fields data)

getModifiers
```
public int getModifiers()
```

getFieldIndex
```
public int getFieldIndex()
```

isStatic
```
public boolean isStatic()
```
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)

isFinal
```
public boolean isFinal()
```
is this field declared `final'?

isVolatile
```
public boolean isVolatile()
```

isTransient
```
public boolean isTransient()
```

isPublic
```
public boolean isPublic()
```

isPrivate
```
public boolean isPrivate()
```

isProtected
```
public boolean isProtected()
```

isPackagePrivate
```
public boolean isPackagePrivate()
```

getName
```
public java.lang.String getName()
```
Returns the name of the field.

getStorageSize
```
public int getStorageSize()
```
Returns:

the storage size of this field, @see Types.getTypeSize

getType
```
public java.lang.String getType()
```
Returns the type of the field as a fully qualified type name according to JLS 6.7 ("int", "x.Y[]")

getTypeCode
```
public byte getTypeCode()
```

getSignature

public java.lang.String getSignature()

getGenericSignature
```
public java.lang.String getGenericSignature()
```
Specified by:

getGenericSignature in interface GenericSignatureHolder

setGenericSignature
```
public void setGenericSignature(java.lang.String sig)
```
Specified by:

setGenericSignature in interface GenericSignatureHolder

getTypeClassInfo
```
public ClassInfo getTypeClassInfo()
```

getChoiceGeneratorType

public java.lang.Class<? extends ChoiceGenerator<?>> getChoiceGeneratorType()

initialize

public abstract void initialize(ElementInfo ei,
                                ThreadInfo ti)

pushClinit the corresponding data in the provided Fields instance

toString
```
public java.lang.String toString()
```
Returns a string representation of the field.

Overrides:

toString in class java.lang.Object

addAttribute
```
public void addAttribute(int a)
```

getAttributes
```
public int getAttributes()
```

breakShared
```
public boolean breakShared()
```

neverBreak
```
public boolean neverBreak()
```

getStorageOffset
```
public int getStorageOffset()
```

getFullName
```
public java.lang.String getFullName()
```

getInstanceFor
```
public FieldInfo getInstanceFor(ClassInfo ci)
```
Creates a field for a given class, by cloning this FieldInfo and reseting the class that the field belongs to

Class FieldInfo

Field Summary

Fields inherited from class gov.nasa.jpf.vm.InfoObject

Constructor Summary

Method Summary

Methods inherited from class gov.nasa.jpf.vm.InfoObject

Methods inherited from class java.lang.Object

Field Detail

attributes

name

type

signature

storageSize

ci

fieldIndex

storageOffset

cv

genericSignature

modifiers

Constructor Detail

FieldInfo

Method Detail

create

linkToClass

setConstantValue

valueToString

is1SlotField

is2SlotField

isBooleanField

isByteField

isCharField

isShortField

isIntField

isLongField

isFloatField

isDoubleField

isNumericField

isFloatingPointField

isReference

isArrayField

getClassInfo

getConstantValue

getValueObject

getModifiers

getFieldIndex

isStatic

isFinal

isVolatile

isTransient

isPublic

isPrivate

isProtected

isPackagePrivate

getName

getStorageSize

getType

getTypeCode

getSignature

getGenericSignature

setGenericSignature

getTypeClassInfo

getChoiceGeneratorType

initialize

toString

addAttribute

getAttributes

breakShared

neverBreak

getStorageOffset

getFullName

getInstanceFor