gov.nasa.jpf.jvm.bytecode

Class IFLE

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.bytecode.IfInstruction

gov.nasa.jpf.jvm.bytecode.IFLE

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, java.lang.Cloneable

public class IFLE
extends IfInstruction

Branch if int comparison with zero succeeds ..., value => ...

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
IFLE(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

IFLE

public IFLE(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