Class DevRandom

java.lang.Object

java.util.Random

net.sf.colossus.util.DevRandom

All Implemented Interfaces:

Serializable, RandomGenerator

public class DevRandom
extends Random

Class DevRandom generates random bits (same interface as class Random). Which random data source to use can be specified by providing a property called "net.sf.colossus.randomFile" (see randomPropertyName) or as argument to the constructor. If no special source is specified or the specified source is unreachable then it falls back on the regular java Random class.

Author:

Romain Dolbeau, David Ripton

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface RandomGenerator

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

Field Summary

Fields

Modifier and Type	Field	Description
private static final Logger	LOGGER
private static final String	PRNG
private static final String	randomPropertyName
private static String	randomPropertySource
private File	randomSource
private FileInputStream	randStream
private String	source

Constructor Summary

Constructors

Constructor	Description
DevRandom()
DevRandom(String sourcename)

Method Summary

Modifier and Type	Method	Description
private String	getRandomSourceFromProperties()
private void	init()
protected int	next(int bits)
private boolean	tryOneSource(String src)

Methods inherited from class Random

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

Methods inherited from class Object

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

Methods inherited from interface RandomGenerator

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

Field Details

LOGGER

private static final Logger LOGGER

PRNG

private static final String PRNG

See Also:

• Constant Field Values

source

private String source

randomSource

private File randomSource

randStream

private FileInputStream randStream

randomPropertyName

private static final String randomPropertyName

See Also:

• Constant Field Values

randomPropertySource

private static String randomPropertySource

Constructor Details

DevRandom

public DevRandom()

DevRandom

public DevRandom(String sourcename)

Method Details

getRandomSourceFromProperties

private String getRandomSourceFromProperties()

tryOneSource

private boolean tryOneSource(String src)

init

private void init()

next

protected int next(int bits)

Overrides:

next in class Random