net.jqwik.engine.properties

Class SourceOfRandomness

java.lang.Object

net.jqwik.engine.properties.SourceOfRandomness

public class SourceOfRandomness
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SourceOfRandomness()

Method Summary

Modifier and Type	Method and Description
static java.util.Random	create(java.lang.String seed)
static java.lang.String	createRandomSeed()
static java.util.Random	current()

Methods inherited from class java.lang.Object

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

Constructor Detail

SourceOfRandomness

public SourceOfRandomness()

Method Detail

createRandomSeed

public static java.lang.String createRandomSeed()

create

public static java.util.Random create(java.lang.String seed)

current

public static java.util.Random current()