public class JPF_java_lang_Math extends NativePeer
Constructor and Description |
---|
JPF_java_lang_Math() |
Modifier and Type | Method and Description |
---|---|
double |
abs__D__D(MJIEnv env,
int clsObjRef,
double a) |
float |
abs__F__F(MJIEnv env,
int clsObjRef,
float a) |
int |
abs__I__I(MJIEnv env,
int clsObjRef,
int a) |
long |
abs__J__J(MJIEnv env,
int clsObjRef,
long a) |
double |
acos__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
asin__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
atan__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
atan2__DD__D(MJIEnv env,
int clsObjRef,
double a,
double b) |
double |
ceil__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
cos__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
exp__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
floor__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
log__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
log10__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
max__DD__D(MJIEnv env,
int clsObjRef,
double a,
double b) |
float |
max__FF__F(MJIEnv env,
int clsObjRef,
float a,
float b) |
int |
max__II__I(MJIEnv env,
int clsObjRef,
int a,
int b) |
long |
max__JJ__J(MJIEnv env,
int clsObjRef,
long a,
long b) |
double |
min__DD__D(MJIEnv env,
int clsObjRef,
double a,
double b) |
float |
min__FF__F(MJIEnv env,
int clsObjRef,
float a,
float b) |
int |
min__II__I(MJIEnv env,
int clsObjRef,
int a,
int b) |
long |
min__JJ__J(MJIEnv env,
int clsObjRef,
long a,
long b) |
double |
pow__DD__D(MJIEnv env,
int clsObjRef,
double a,
double b) |
double |
random____D(MJIEnv env,
int clsObjRef) |
double |
rint__D__D(MJIEnv env,
int clsObjRef,
double a) |
long |
round__D__J(MJIEnv env,
int clsObjRef,
double a) |
double |
sin__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
sqrt__D__D(MJIEnv env,
int clsObjRef,
double a) |
double |
tan__D__D(MJIEnv env,
int clsObjRef,
double a) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public double abs__D__D(MJIEnv env, int clsObjRef, double a)
public float abs__F__F(MJIEnv env, int clsObjRef, float a)
public int abs__I__I(MJIEnv env, int clsObjRef, int a)
public long abs__J__J(MJIEnv env, int clsObjRef, long a)
public double max__DD__D(MJIEnv env, int clsObjRef, double a, double b)
public float max__FF__F(MJIEnv env, int clsObjRef, float a, float b)
public int max__II__I(MJIEnv env, int clsObjRef, int a, int b)
public long max__JJ__J(MJIEnv env, int clsObjRef, long a, long b)
public double min__DD__D(MJIEnv env, int clsObjRef, double a, double b)
public float min__FF__F(MJIEnv env, int clsObjRef, float a, float b)
public int min__II__I(MJIEnv env, int clsObjRef, int a, int b)
public long min__JJ__J(MJIEnv env, int clsObjRef, long a, long b)
public double pow__DD__D(MJIEnv env, int clsObjRef, double a, double b)
public double sqrt__D__D(MJIEnv env, int clsObjRef, double a)
public double random____D(MJIEnv env, int clsObjRef)
public long round__D__J(MJIEnv env, int clsObjRef, double a)
public double exp__D__D(MJIEnv env, int clsObjRef, double a)
public double asin__D__D(MJIEnv env, int clsObjRef, double a)
public double acos__D__D(MJIEnv env, int clsObjRef, double a)
public double atan__D__D(MJIEnv env, int clsObjRef, double a)
public double atan2__DD__D(MJIEnv env, int clsObjRef, double a, double b)
public double ceil__D__D(MJIEnv env, int clsObjRef, double a)
public double cos__D__D(MJIEnv env, int clsObjRef, double a)
public double floor__D__D(MJIEnv env, int clsObjRef, double a)
public double log10__D__D(MJIEnv env, int clsObjRef, double a)
public double log__D__D(MJIEnv env, int clsObjRef, double a)
public double rint__D__D(MJIEnv env, int clsObjRef, double a)
public double sin__D__D(MJIEnv env, int clsObjRef, double a)
public double tan__D__D(MJIEnv env, int clsObjRef, double a)