gov.nasa.jpf.jvm.bytecode

Class NewArrayInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.NewArrayInstruction

All Implemented Interfaces:

InstructionVisitorAcceptor, AllocInstruction, Cloneable

Direct Known Subclasses:

ANEWARRAY, NEWARRAY

public abstract class NewArrayInstruction
extends JVMInstruction
implements AllocInstruction

Field Summary

Fields

Modifier and Type	Field and Description
protected int	arrayLength
protected String	type
protected String	typeName

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
NewArrayInstruction()

Method Summary

Methods

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
String	getType()
String	getTypeName()

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

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

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

accept

Field Detail

type

protected String type

typeName

protected 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 String getType()

getTypeName

public 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