gov.nasa.jpf.jvm.bytecode

Class IFNONNULL

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.bytecode.IfInstruction

gov.nasa.jpf.jvm.bytecode.IFNONNULL

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, java.lang.Cloneable

public class IFNONNULL
extends IfInstruction

Branch if reference not null ..., value => ..., result

Field Summary

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

conditionValue, target, targetPosition

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
IFNONNULL(int targetPc)

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
int	getByteCode()
boolean	popConditionValue(StackFrame frame) retrieve value of jump condition from operand stack (not ideal to have this public, but some listeners might need it for skipping the insn, plus we require it for subclass factorization)

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

execute, executeBothBranches, getConditionValue, getLength, getTarget, isBackJump, toString, typeSafeClone

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

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, getAttr, getAttr, getFileLocation, getFilePos, getInstructionIndex, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isCompleted, isExtendedInstruction, isFirstInstruction, isMonitorEnterPrologue, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toPostExecString

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

asInstruction, getFileLocation, getFilePos, getInstructionIndex, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, 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

IFNONNULL

public IFNONNULL(int targetPc)

Method Detail

popConditionValue

public boolean popConditionValue(StackFrame frame)

Description copied from class: IfInstruction

retrieve value of jump condition from operand stack (not ideal to have this public, but some listeners might need it for skipping the insn, plus we require it for subclass factorization)

Specified by:

popConditionValue in class IfInstruction

getByteCode

public int getByteCode()

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class IfInstruction