Package net.jqwik.engine.execution

Class GenerationInfo

java.lang.Object

net.jqwik.engine.execution.GenerationInfo

All Implemented Interfaces:

Serializable

public class GenerationInfo
extends Object
implements Serializable

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static final GenerationInfo	NULL

Constructor Summary

Constructors

Constructor	Description
GenerationInfo(String randomSeed)
GenerationInfo(String randomSeed, int generationIndex)

Method Summary

Modifier and Type	Method	Description
GenerationInfo	appendShrinkingSequence(List<net.jqwik.api.lifecycle.TryExecutionResult.Status> toAppend)
boolean	equals(Object o)
Optional<List<net.jqwik.api.Shrinkable<Object>>>	generateOn(ParametersGenerator generator, net.jqwik.api.lifecycle.TryLifecycleContext context)
int	generationIndex()
int	hashCode()
Optional<String>	randomSeed()
List<List<net.jqwik.api.lifecycle.TryExecutionResult.Status>>	shrinkingSequences()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

NULL

public static final GenerationInfo NULL

Constructor Details

GenerationInfo

public GenerationInfo(String randomSeed)

GenerationInfo

public GenerationInfo(String randomSeed,
 int generationIndex)

Method Details

appendShrinkingSequence

public GenerationInfo appendShrinkingSequence(List<net.jqwik.api.lifecycle.TryExecutionResult.Status> toAppend)

randomSeed

public Optional<String> randomSeed()

generationIndex

public int generationIndex()

generateOn

public Optional<List<net.jqwik.api.Shrinkable<Object>>> generateOn(ParametersGenerator generator,
 net.jqwik.api.lifecycle.TryLifecycleContext context)

shrinkingSequences

public List<List<net.jqwik.api.lifecycle.TryExecutionResult.Status>> shrinkingSequences()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object