gov.nasa.jpf.jvm.bytecode

Class JVMStaticFieldInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.FieldInstruction

gov.nasa.jpf.vm.bytecode.StaticFieldInstruction

gov.nasa.jpf.jvm.bytecode.JVMStaticFieldInstruction

All Implemented Interfaces:

JVMFieldInstruction, JVMInstruction, Attributable, InstructionInterface, ReadOrWriteInstruction, java.lang.Cloneable

Direct Known Subclasses:

GETSTATIC, PUTSTATIC

public abstract class JVMStaticFieldInstruction
extends StaticFieldInstruction
implements JVMFieldInstruction

common super type of GETSTATIC and PUTSTATIC

Field Summary

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

className, fi, fname, ftype, 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	JVMStaticFieldInstruction(java.lang.String fieldName, java.lang.String clsDescriptor, java.lang.String fieldDescriptor)

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
Instruction	typeSafeClone(MethodInfo mi) this is overridden by any Instruction that use a cache for class or method to provide a type safe cloning

Methods inherited from class gov.nasa.jpf.vm.bytecode.StaticFieldInstruction

getClassInfo, getElementInfo, getFieldInfo, getLastClassInfo, getLastClassName, getLastElementInfo, initialize, peekElementInfo, toPostExecString

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

getClassName, getFieldName, getFieldSize, getId, getLastValue, getVariableId, isMonitorEnterPrologue, isRead, isReferenceField, setField, toString

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

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, execute, getAttr, getAttr, 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

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.jvm.bytecode.JVMFieldInstruction

getFieldInfo, getFieldName, getLastValue, isReferenceField, peekElementInfo

Methods inherited from interface gov.nasa.jpf.vm.bytecode.InstructionInterface

asInstruction, execute, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, toPostExecString

Methods inherited from interface gov.nasa.jpf.util.Attributable

addAttr, attrIterator, attrIterator, getAttr, getAttr, getNextAttr, hasAttr, hasAttr, removeAttr, replaceAttr, setAttr

Constructor Detail

JVMStaticFieldInstruction

protected JVMStaticFieldInstruction(java.lang.String fieldName,
                                    java.lang.String clsDescriptor,
                                    java.lang.String fieldDescriptor)

Method Detail

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

typeSafeClone

public Instruction typeSafeClone(MethodInfo mi)

Description copied from class: Instruction

this is overridden by any Instruction that use a cache for class or method to provide a type safe cloning

Overrides:

typeSafeClone in class Instruction