gov.nasa.jpf.vm.bytecode

Class ArrayElementInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.ArrayElementInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction, java.lang.Cloneable

Direct Known Subclasses:

JVMArrayElementInstruction

public abstract class ArrayElementInstruction
extends Instruction
implements ReadOrWriteInstruction

abstract base for all array element access instructions

Field Summary

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
ArrayElementInstruction()

Method Summary

Modifier and Type	Method and Description
abstract ElementInfo	peekArrayElementInfo(ThreadInfo ti)
abstract int	peekIndex(ThreadInfo ti)

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, 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.ReadOrWriteInstruction

getElementInfo, isRead

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

ArrayElementInstruction

public ArrayElementInstruction()

Method Detail

peekArrayElementInfo

public abstract ElementInfo peekArrayElementInfo(ThreadInfo ti)

peekIndex

public abstract int peekIndex(ThreadInfo ti)