gov.nasa.jpf.jvm.bytecode

Class DCMPL

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.bytecode.DoubleCompareInstruction

gov.nasa.jpf.jvm.bytecode.DCMPL

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, java.lang.Cloneable

public class DCMPL
extends DoubleCompareInstruction

Compare double ..., value1, value2 => ..., result

Field Summary

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
DCMPL()

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
protected int	conditionValue(double v1, double v2)
int	getByteCode()

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

execute

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

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, 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

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

DCMPL

public DCMPL()

Method Detail

conditionValue

protected int conditionValue(double v1,
                             double v2)

Specified by:

conditionValue in class DoubleCompareInstruction

getByteCode

public int getByteCode()

accept

public void accept(JVMInstructionVisitor insVisitor)