gov.nasa.jpf.vm.bytecode

Class NewInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.NewInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, java.lang.Cloneable

Direct Known Subclasses:

NEW, NewArrayInstruction

public abstract class NewInstruction
extends Instruction

abstract base for all allocating instructions

Field Summary

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
NewInstruction()

Method Summary

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.InstructionInterface

getByteCode

Constructor Detail

NewInstruction

public NewInstruction()