gov.nasa.jpf.jvm.bytecode

Class AASTORE

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.ArrayElementInstruction

gov.nasa.jpf.jvm.bytecode.JVMArrayElementInstruction

gov.nasa.jpf.jvm.bytecode.ArrayStoreInstruction

gov.nasa.jpf.jvm.bytecode.AASTORE

All Implemented Interfaces:

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

public class AASTORE
extends ArrayStoreInstruction

Store into reference array ..., arrayref, index, value => ...

Field Summary

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

arrayOperandAttr, arrayRef, index, indexOperandAttr

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
AASTORE()

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
protected Instruction	checkArrayStoreException(ThreadInfo ti, StackFrame frame, ElementInfo ei)
Instruction	execute(ThreadInfo ti) overridden because AASTORE can cause ArrayStoreExceptions and exposure CGs
int	getByteCode()
boolean	isReferenceArray()
protected void	popValue(StackFrame frame)
protected void	setField(ElementInfo ei, int index)

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

isRead, peekArrayAttr, peekArrayRef, peekIndex, peekIndexAttr, setArrayElement

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

getArrayOperandAttr, getArrayRef, getElementInfo, getElementSize, getIndex, getIndexOperandAttr, peekArrayElementInfo

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

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

Methods inherited from class java.lang.Object

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

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

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

AASTORE

public AASTORE()

Method Detail

isReferenceArray

public boolean isReferenceArray()

Overrides:

isReferenceArray in class JVMArrayElementInstruction

popValue

protected void popValue(StackFrame frame)

Specified by:

popValue in class ArrayStoreInstruction

setField

protected void setField(ElementInfo ei,
                        int index)
                 throws ArrayIndexOutOfBoundsExecutiveException

Specified by:

setField in class ArrayStoreInstruction

Throws:

ArrayIndexOutOfBoundsExecutiveException

execute

public Instruction execute(ThreadInfo ti)

overridden because AASTORE can cause ArrayStoreExceptions and exposure CGs

Specified by:

execute in interface InstructionInterface

Overrides:

execute in class ArrayStoreInstruction

checkArrayStoreException

protected Instruction checkArrayStoreException(ThreadInfo ti,
                                               StackFrame frame,
                                               ElementInfo ei)

getByteCode

public int getByteCode()

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class ArrayStoreInstruction