gov.nasa.jpf.vm

Class SingleSlotFieldInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.FieldInfo

gov.nasa.jpf.vm.SingleSlotFieldInfo

All Implemented Interfaces:

GenericSignatureHolder, java.lang.Cloneable

Direct Known Subclasses:

BooleanFieldInfo, ByteFieldInfo, CharFieldInfo, FloatFieldInfo, IntegerFieldInfo, ReferenceFieldInfo, ShortFieldInfo

public abstract class SingleSlotFieldInfo
extends FieldInfo

field type that requires a single slot (all but long and double)

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	SingleSlotFieldInfo(java.lang.String name, java.lang.String signature, int modifiers)

Method Summary

Modifier and Type	Method and Description
boolean	is1SlotField()

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, is2SlotField, 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

SingleSlotFieldInfo

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

Method Detail

is1SlotField

public boolean is1SlotField()

Overrides:

is1SlotField in class FieldInfo