gov.nasa.jpf.jvm.bytecode

Class InstanceFieldInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.FieldInstruction

gov.nasa.jpf.jvm.bytecode.InstanceFieldInstruction

All Implemented Interfaces:

InstructionVisitorAcceptor, VariableAccessor, Cloneable

Direct Known Subclasses:

GETFIELD, PUTFIELD

public abstract class InstanceFieldInstruction
extends FieldInstruction

class abstracting instructions that access instance fields

Field Summary

Fields

Modifier and Type	Field and Description
protected int	lastThis this is required for package external derived GET/PUTFIELDS that replace enter().

Fields inherited from class gov.nasa.jpf.jvm.bytecode.FieldInstruction

className, fi, fname, isReferenceField, lastValue, size, varId

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InstanceFieldInstruction()
protected	InstanceFieldInstruction(String fieldName, String classType, String fieldDescriptor)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
String	getFieldDescriptor()
FieldInfo	getFieldInfo()
ElementInfo	getLastElementInfo() since this is based on getLastThis(), the same context restrictions apply
int	getLastThis() NOTE - the return value is *only* valid in a instructionExecuted() context, since the same instruction can be executed from different threads
protected boolean	isNewPorFieldBoundary(ThreadInfo ti, FieldInfo fi, int objRef)
protected boolean	isSchedulingRelevant(ThreadInfo ti, int objRef)
protected boolean	isSkippedFinalField(ElementInfo ei)
abstract ElementInfo	peekElementInfo(ThreadInfo ti) this one can be used from a choiceGeneratorSet() or executeInstruction() context, since it peeks 'this' from the operand stack (enter didn't pop the value yet) it' less efficient than getLastElementInfo() from a instructionExecuted context

Methods inherited from class gov.nasa.jpf.jvm.bytecode.FieldInstruction

createAndSetSharedFieldAccessCG, createAndSetSharedObjectExposureCG, getClassName, getFieldName, getFieldSize, getId, getLastValue, getVariableId, init, isLockProtected, isMonitorEnterPrologue, isRead, isReferenceField, popOperands1, popOperands2, put, put1, put2, setField

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

addAttr, attrIterator, attrIterator, cleanupTransients, execute, getAttr, getAttr, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toString, typeSafeClone

Methods inherited from class java.lang.Object

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

Field Detail

lastThis

protected int lastThis

this is required for package external derived GET/PUTFIELDS that replace enter(). USE WITH CARE, AND ONLY FROM DERIVED CLASSES

Constructor Detail

InstanceFieldInstruction

protected InstanceFieldInstruction()

InstanceFieldInstruction

protected InstanceFieldInstruction(String fieldName,
                        String classType,
                        String fieldDescriptor)

Method Detail

getFieldInfo

public FieldInfo getFieldInfo()

Specified by:

getFieldInfo in class FieldInstruction

isSkippedFinalField

protected boolean isSkippedFinalField(ElementInfo ei)

Specified by:

isSkippedFinalField in class FieldInstruction

isSchedulingRelevant

protected boolean isSchedulingRelevant(ThreadInfo ti,
                           int objRef)

isNewPorFieldBoundary

protected boolean isNewPorFieldBoundary(ThreadInfo ti,
                            FieldInfo fi,
                            int objRef)

getLastThis

public int getLastThis()

NOTE - the return value is *only* valid in a instructionExecuted() context, since the same instruction can be executed from different threads

getLastElementInfo

public ElementInfo getLastElementInfo()

since this is based on getLastThis(), the same context restrictions apply

Specified by:

getLastElementInfo in class FieldInstruction

peekElementInfo

public abstract ElementInfo peekElementInfo(ThreadInfo ti)

this one can be used from a choiceGeneratorSet() or executeInstruction() context, since it peeks 'this' from the operand stack (enter didn't pop the value yet) it' less efficient than getLastElementInfo() from a instructionExecuted context

Specified by:

peekElementInfo in class FieldInstruction

getFieldDescriptor

public String getFieldDescriptor()

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class FieldInstruction