gov.nasa.jpf.jvm.bytecode

Class AASTORE

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.ArrayInstruction

gov.nasa.jpf.jvm.bytecode.ArrayElementInstruction

gov.nasa.jpf.jvm.bytecode.ArrayStoreInstruction

gov.nasa.jpf.jvm.bytecode.AASTORE

All Implemented Interfaces:

InstructionVisitorAcceptor, StoreInstruction, Cloneable

public class AASTORE
extends ArrayStoreInstruction

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

Field Summary

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

index

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

arrayRef

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
AASTORE()

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
protected Instruction	checkArrayStoreException(ThreadInfo ti, ElementInfo ei)
int	getByteCode()
protected void	popValue(StackFrame frame)
protected void	setField(ElementInfo ei, int index)

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

execute, isRead, peekArrayRef, peekIndex

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

createAndSetArrayCG, getElementSize, getIndex

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

getArrayRef

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

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

Constructor Detail

AASTORE

public AASTORE()

Method Detail

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

checkArrayStoreException

protected Instruction checkArrayStoreException(ThreadInfo ti,
                                   ElementInfo ei)

Overrides:

checkArrayStoreException in class ArrayStoreInstruction

getByteCode

public int getByteCode()

Specified by:

getByteCode in class Instruction

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class ArrayStoreInstruction