public class JPF_java_util_Random extends NativePeer
Constructor and Description |
---|
JPF_java_util_Random(Config conf) |
Modifier and Type | Method and Description |
---|---|
void |
$init____V(MJIEnv env,
int objRef) |
void |
$init__J__V(MJIEnv env,
int objRef,
long seedStarter) |
int |
next__I__I(MJIEnv env,
int objRef,
int nBits) |
boolean |
nextBoolean____Z(MJIEnv env,
int objRef) |
void |
nextBytes___3B__V(MJIEnv env,
int objRef,
int dataRef) |
double |
nextDouble____D(MJIEnv env,
int objRef) |
float |
nextFloat____F(MJIEnv env,
int objRef) |
double |
nextGaussian____D(MJIEnv env,
int objRef) |
int |
nextInt____I(MJIEnv env,
int objRef) |
int |
nextInt__I__I(MJIEnv env,
int objRef,
int n) |
long |
nextLong____J(MJIEnv env,
int objRef) |
void |
setSeed__J__V(MJIEnv env,
int objRef,
long seedStarter) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_java_util_Random(Config conf)
public void $init____V(MJIEnv env, int objRef)
public void $init__J__V(MJIEnv env, int objRef, long seedStarter)
public void setSeed__J__V(MJIEnv env, int objRef, long seedStarter)
public boolean nextBoolean____Z(MJIEnv env, int objRef)
public int nextInt__I__I(MJIEnv env, int objRef, int n)
public int nextInt____I(MJIEnv env, int objRef)
public int next__I__I(MJIEnv env, int objRef, int nBits)
public void nextBytes___3B__V(MJIEnv env, int objRef, int dataRef)
public long nextLong____J(MJIEnv env, int objRef)
public float nextFloat____F(MJIEnv env, int objRef)
public double nextDouble____D(MJIEnv env, int objRef)
public double nextGaussian____D(MJIEnv env, int objRef)