public class JPF_java_lang_Float extends NativePeer
Constructor and Description |
---|
JPF_java_lang_Float() |
Modifier and Type | Method and Description |
---|---|
int |
floatToIntBits__F__I(MJIEnv env,
int rcls,
float v0) |
int |
floatToRawIntBits__F__I(MJIEnv env,
int rcls,
float v0) |
float |
intBitsToFloat__I__F(MJIEnv env,
int rcls,
int v0) |
boolean |
isInfinite__F__Z(MJIEnv env,
int rcls,
float v) |
boolean |
isNaN__F__Z(MJIEnv env,
int rcls,
float v) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int floatToIntBits__F__I(MJIEnv env, int rcls, float v0)
public int floatToRawIntBits__F__I(MJIEnv env, int rcls, float v0)
public float intBitsToFloat__I__F(MJIEnv env, int rcls, int v0)
public boolean isInfinite__F__Z(MJIEnv env, int rcls, float v)
public boolean isNaN__F__Z(MJIEnv env, int rcls, float v)