gov.nasa.jpf.vm

Class DoubleFieldInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.FieldInfo

gov.nasa.jpf.vm.DoubleSlotFieldInfo

gov.nasa.jpf.vm.DoubleFieldInfo

All Implemented Interfaces:

GenericSignatureHolder, Cloneable

public class DoubleFieldInfo
extends DoubleSlotFieldInfo

type, name and attribute information for 'double' 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

Constructor Summary

Constructors

Constructor and Description
DoubleFieldInfo(String name, int modifiers)

Method Summary

Methods

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

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

is2SlotField

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

addAttribute, breakShared, create, getAttributes, getClassInfo, getConstantValue, getFieldIndex, getFullName, getGenericSignature, getInstanceFor, getModifiers, getName, getSignature, getStorageOffset, getType, getTypeClassInfo, getTypeCode, is1SlotField, isArrayField, isBooleanField, isByteField, isCharField, isFinal, isFloatField, isIntField, isLongField, isPublic, isReference, isShortField, isStatic, isTransient, isVolatile, linkToClass, neverBreak, setGenericSignature, toString

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

addAnnotation, addAttr, attrIterator, attrIterator, getAnnotation, getAnnotations, getAttr, getAttr, getDeclaredAnnotations, getNextAttr, hasAnnotations, hasAttr, hasAttr, hasAttrValue, removeAttr, replaceAttr, setAnnotations, setAttr

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DoubleFieldInfo

public DoubleFieldInfo(String name,
               int modifiers)

Method Detail

setConstantValue

public void setConstantValue(Object constValue)

Overrides:

setConstantValue in class FieldInfo

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

getChoiceGeneratorType

public Class<? extends ChoiceGenerator<?>> getChoiceGeneratorType()

Overrides:

getChoiceGeneratorType in class FieldInfo

getStorageSize

public int getStorageSize()

Overrides:

getStorageSize in class FieldInfo

Returns:

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

valueToString

public String valueToString(Fields f)

Specified by:

valueToString in class FieldInfo

getValueObject

public Object getValueObject(Fields f)

Specified by:

getValueObject in class FieldInfo

isDoubleField

public boolean isDoubleField()

Overrides:

isDoubleField in class FieldInfo

isNumericField

public boolean isNumericField()

Overrides:

isNumericField in class FieldInfo

isFloatingPointField

public boolean isFloatingPointField()

Overrides:

isFloatingPointField in class FieldInfo