| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Double
JPF_java_lang_Double | public class JPF_java_lang_Double (Code) | | MJI NativePeer class for java.lang.Double library abstraction
|
Method Summary | |
public static long | doubleToLongBits(MJIEnv env, int rcls, double v0) | public static long | doubleToRawLongBits(MJIEnv env, int rcls, double v0) | public static boolean | isInfinite__D(MJIEnv env, int rcls, double v) | public static boolean | isNaN__D(MJIEnv env, int rcls, double v) | public static double | longBitsToDouble(MJIEnv env, int rcls, long v0) | public static int | toString__D(MJIEnv env, int objref, double d) |
doubleToLongBits | public static long doubleToLongBits(MJIEnv env, int rcls, double v0)(Code) | | |
doubleToRawLongBits | public static long doubleToRawLongBits(MJIEnv env, int rcls, double v0)(Code) | | |
isInfinite__D | public static boolean isInfinite__D(MJIEnv env, int rcls, double v)(Code) | | |
isNaN__D | public static boolean isNaN__D(MJIEnv env, int rcls, double v)(Code) | | |
longBitsToDouble | public static double longBitsToDouble(MJIEnv env, int rcls, long v0)(Code) | | |
toString__D | public static int toString__D(MJIEnv env, int objref, double d)(Code) | | |
|
|