Package com.antithesis.sdk

Class AntithesisRandom

java.lang.Object

java.util.Random

com.antithesis.sdk.AntithesisRandom

All Implemented Interfaces:

Serializable, RandomGenerator

public class AntithesisRandom
extends Random

A subclass of java.util.Random that draws from Random.

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.random.RandomGenerator

RandomGenerator.ArbitrarilyJumpableGenerator, RandomGenerator.JumpableGenerator, RandomGenerator.LeapableGenerator, RandomGenerator.SplittableGenerator, RandomGenerator.StreamableGenerator

Constructor Summary

Constructors

Constructor	Description
AntithesisRandom()

Method Summary

Modifier and Type	Method	Description
protected int	next(int bits)
double	nextGaussian()	Draws a standard-normal value using the Marsaglia-Tsang ziggurat method.
void	setSeed(long seed)

Methods inherited from class java.util.Random

doubles, doubles, doubles, doubles, from, ints, ints, ints, ints, longs, longs, longs, longs, nextBoolean, nextBytes, nextDouble, nextFloat, nextInt, nextInt, nextLong

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.random.RandomGenerator

isDeprecated, nextDouble, nextDouble, nextExponential, nextFloat, nextFloat, nextGaussian, nextInt, nextLong, nextLong

Constructor Details

AntithesisRandom

public AntithesisRandom()

Method Details

next

protected int next(int bits)

Overrides:

next in class Random

setSeed

public void setSeed(long seed)

Overrides:

setSeed in class Random

nextGaussian

public double nextGaussian()

Draws a standard-normal value using the Marsaglia-Tsang ziggurat method. Unlike Random.nextGaussian(), this is stateless to ensure that draws after the Antithesis fuzzer has reseeded randomness reflect that new entropy.

Specified by:

nextGaussian in interface RandomGenerator

Overrides:

nextGaussian in class Random