gov.nasa.jpf.jvm.bytecode

Class NewArrayInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.NewInstruction

gov.nasa.jpf.jvm.bytecode.NewArrayInstruction

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, java.lang.Cloneable

Direct Known Subclasses:

ANEWARRAY, NEWARRAY

public abstract class NewArrayInstruction
extends NewInstruction
implements JVMInstruction

Field Summary

Fields

Modifier and Type	Field and Description
protected int	arrayLength
protected java.lang.String	type
protected java.lang.String	typeName

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
NewArrayInstruction()

Method Summary

Modifier and Type	Method and Description
void	cleanupTransients() this method can be overridden if instruction classes have to store information for instructionExecuted() notifications, and this information should not be stored persistent to avoid memory leaks (e.g.
int	getArrayLength() this only makes sense post-execution since the array dimension is obtained from the operand stack
java.lang.String	getType()
java.lang.String	getTypeName()

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

addAttr, asInstruction, attrIterator, attrIterator, 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.jvm.bytecode.JVMInstruction

accept

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

Field Detail

type

protected java.lang.String type

typeName

protected java.lang.String typeName

arrayLength

protected int arrayLength

Constructor Detail

NewArrayInstruction

public NewArrayInstruction()

Method Detail

getArrayLength

public int getArrayLength()

this only makes sense post-execution since the array dimension is obtained from the operand stack

Returns:

length of allocated array

getType

public java.lang.String getType()

getTypeName

public java.lang.String getTypeName()

cleanupTransients

public void cleanupTransients()

Description copied from class: Instruction

this method can be overridden if instruction classes have to store information for instructionExecuted() notifications, and this information should not be stored persistent to avoid memory leaks (e.g. via traces). Called by ThreadInfo.executeInstruction

Overrides:

cleanupTransients in class Instruction