gov.nasa.jpf.jvm.bytecode

Class IFLE

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.IfInstruction

gov.nasa.jpf.jvm.bytecode.IFLE

All Implemented Interfaces:

InstructionVisitorAcceptor, 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

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor 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, 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, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Specified by:

getByteCode in class Instruction

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class IfInstruction