gov.nasa.jpf.vm

Class IntegerFieldInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.FieldInfo

gov.nasa.jpf.vm.SingleSlotFieldInfo

gov.nasa.jpf.vm.IntegerFieldInfo

All Implemented Interfaces:

GenericSignatureHolder, java.lang.Cloneable

public class IntegerFieldInfo
extends SingleSlotFieldInfo

type, name, mod info about integer fields

Field Summary

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

attributes, ci, cv, fieldIndex, genericSignature, modifiers, name, signature, storageOffset, storageSize, type

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

annotations, attr, typeAnnotations

Constructor Summary

Constructors

Constructor and Description
IntegerFieldInfo(java.lang.String name, int modifiers)

Method Summary

Modifier and Type	Method and Description
java.lang.Class<? extends ChoiceGenerator<?>>	getChoiceGeneratorType()
java.lang.Object	getValueObject(Fields f)
void	initialize(ElementInfo ei, ThreadInfo ti) pushClinit the corresponding data in the provided Fields instance
boolean	isIntField()
boolean	isNumericField()
void	setConstantValue(java.lang.Object constValue)
java.lang.String	valueToString(Fields f)

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

is1SlotField

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

addAttribute, breakShared, create, getAttributes, getClassInfo, getConstantValue, getFieldIndex, getFullName, getGenericSignature, getInstanceFor, getModifiers, getName, getSignature, getStorageOffset, getStorageSize, getType, getTypeClassInfo, getTypeCode, is2SlotField, isArrayField, isBooleanField, isByteField, isCharField, isDoubleField, isFinal, isFloatField, isFloatingPointField, isLongField, isPackagePrivate, isPrivate, isProtected, isPublic, isReference, isShortField, isStatic, isTransient, isVolatile, linkToClass, neverBreak, setGenericSignature, toString

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

Constructor Detail

IntegerFieldInfo

public IntegerFieldInfo(java.lang.String name,
                        int modifiers)

Method Detail

initialize

public void initialize(ElementInfo ei,
                       ThreadInfo ti)

Description copied from class: FieldInfo

pushClinit the corresponding data in the provided Fields instance

Specified by:

initialize in class FieldInfo

setConstantValue

public void setConstantValue(java.lang.Object constValue)

Overrides:

setConstantValue in class FieldInfo

getChoiceGeneratorType

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

Overrides:

getChoiceGeneratorType in class FieldInfo

valueToString

public java.lang.String valueToString(Fields f)

Specified by:

valueToString in class FieldInfo

getValueObject

public java.lang.Object getValueObject(Fields f)

Specified by:

getValueObject in class FieldInfo

isIntField

public boolean isIntField()

Overrides:

isIntField in class FieldInfo

isNumericField

public boolean isNumericField()

Overrides:

isNumericField in class FieldInfo