public class DevRandom
extends java.util.Random
Modifier and Type | Field and Description |
---|---|
private static java.util.logging.Logger |
LOGGER |
private static java.lang.String |
PRNG |
private static java.lang.String |
randomPropertyName |
private static java.lang.String |
randomPropertySource |
private java.io.File |
randomSource |
private java.io.FileInputStream |
randStream |
private java.lang.String |
source |
Constructor and Description |
---|
DevRandom() |
DevRandom(java.lang.String sourcename) |
Modifier and Type | Method and Description |
---|---|
private java.lang.String |
getRandomSourceFromProperties() |
private void |
init() |
protected int |
next(int bits) |
private boolean |
tryOneSource(java.lang.String src) |
private static final java.util.logging.Logger LOGGER
private static final java.lang.String PRNG
private java.lang.String source
private java.io.File randomSource
private java.io.FileInputStream randStream
private static final java.lang.String randomPropertyName
private static java.lang.String randomPropertySource