Package edu.berkeley.cs.jqf.fuzz.junit.quickcheck

Class FastSourceOfRandomness

java.lang.Object

com.pholser.junit.quickcheck.random.SourceOfRandomness

edu.berkeley.cs.jqf.fuzz.junit.quickcheck.FastSourceOfRandomness

public class FastSourceOfRandomness
extends SourceOfRandomness

A source of randomness with better performance but looser statistical guarantees. This class is meant for use with guided fuzzing, where the Random delegate is usually a StreamBackedRandom. In this case, the random source does not have to give any statistical guarantees such as uniformity or independentness, and therefore is amenable to several optimizations, which are implemented in this class.

Author:

Rohan Padhye

Constructor Summary

Constructors

Constructor	Description
FastSourceOfRandomness(StreamBackedRandom delegate)

Method Summary

Modifier and Type	Method	Description
byte	nextByte(byte min, byte max)
char	nextChar(char min, char max)
int	nextInt(int min, int max)
long	nextLong(long min, long max)
short	nextShort(short min, short max)
Random	toJDKRandom()

Methods inherited from class com.pholser.junit.quickcheck.random.SourceOfRandomness

choose, choose, delegate, nextBigInteger, nextBoolean, nextBytes, nextBytes, nextDouble, nextDouble, nextDuration, nextFloat, nextFloat, nextGaussian, nextInstant, nextInt, nextInt, nextLong, seed, setSeed

Methods inherited from class java.lang.Object

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

Constructor Detail

FastSourceOfRandomness

public FastSourceOfRandomness(StreamBackedRandom delegate)

Method Detail

toJDKRandom

public Random toJDKRandom()

Overrides:

toJDKRandom in class SourceOfRandomness

nextByte

public byte nextByte(byte min,
                     byte max)

Overrides:

nextByte in class SourceOfRandomness

nextShort

public short nextShort(short min,
                       short max)

Overrides:

nextShort in class SourceOfRandomness

nextChar

public char nextChar(char min,
                     char max)

Overrides:

nextChar in class SourceOfRandomness

nextInt

public int nextInt(int min,
                   int max)

Overrides:

nextInt in class SourceOfRandomness

nextLong

public long nextLong(long min,
                     long max)

Overrides:

nextLong in class SourceOfRandomness