gov.nasa.jpf.vm

Class DoubleSlotFieldInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.FieldInfo

gov.nasa.jpf.vm.DoubleSlotFieldInfo

All Implemented Interfaces:

GenericSignatureHolder, java.lang.Cloneable

Direct Known Subclasses:

DoubleFieldInfo, LongFieldInfo

public abstract class DoubleSlotFieldInfo
extends FieldInfo

a double or long field

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

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

Method Summary

Modifier and Type	Method and Description
boolean	is2SlotField()

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

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

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

DoubleSlotFieldInfo

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

Method Detail

is2SlotField

public boolean is2SlotField()

Overrides:

is2SlotField in class FieldInfo