gov.nasa.jpf.vm

Class JPF_java_lang_Double

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_Double

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_Double
extends NativePeer

MJI NativePeer class for java.lang.Double library abstraction

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_Double()

Method Summary

Methods

Modifier and Type	Method and Description
long	doubleToLongBits__D__J(MJIEnv env, int rcls, double v0)
long	doubleToRawLongBits__D__J(MJIEnv env, int rcls, double v0)
boolean	isInfinite__D__Z(MJIEnv env, int rcls, double v)
boolean	isNaN__D__Z(MJIEnv env, int rcls, double v)
double	longBitsToDouble__J__D(MJIEnv env, int rcls, long v0)
int	toString__D__Ljava_lang_String_2(MJIEnv env, int objref, double d)

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

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

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

Constructor Detail

JPF_java_lang_Double

public JPF_java_lang_Double()

Method Detail

doubleToLongBits__D__J

public long doubleToLongBits__D__J(MJIEnv env,
                          int rcls,
                          double v0)

doubleToRawLongBits__D__J

public long doubleToRawLongBits__D__J(MJIEnv env,
                             int rcls,
                             double v0)

longBitsToDouble__J__D

public double longBitsToDouble__J__D(MJIEnv env,
                            int rcls,
                            long v0)

toString__D__Ljava_lang_String_2

public int toString__D__Ljava_lang_String_2(MJIEnv env,
                                   int objref,
                                   double d)

isInfinite__D__Z

public boolean isInfinite__D__Z(MJIEnv env,
                       int rcls,
                       double v)

isNaN__D__Z

public boolean isNaN__D__Z(MJIEnv env,
                  int rcls,
                  double v)