com.pholser.junit.quickcheck.internal.generator

Class GenerationContext

java.lang.Object

com.pholser.junit.quickcheck.internal.generator.GenerationContext

All Implemented Interfaces:

GenerationStatus

Deprecated.

@Deprecated
public class GenerationContext
extends Object
implements GenerationStatus

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GenerationContext.DiscardRatioExceededException Deprecated.

Constructor Summary

Constructors

Constructor and Description
GenerationContext(ParameterContext parameter, GeneratorRepository repository, GeometricDistribution distro, SourceOfRandomness random) Deprecated.

Method Summary

Modifier and Type	Method and Description
int	attempts() Deprecated.
Object	generate(SourceOfRandomness random) Deprecated.
boolean	shouldContinue() Deprecated.
int	size() Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

GenerationContext

public GenerationContext(ParameterContext parameter,
                         GeneratorRepository repository,
                         GeometricDistribution distro,
                         SourceOfRandomness random)

Deprecated.

Method Detail

generate

public Object generate(SourceOfRandomness random)

Deprecated.

shouldContinue

public boolean shouldContinue()

Deprecated.

size

public int size()

Deprecated.

Specified by:

size in interface GenerationStatus

Returns:

an arbitrary "size" parameter; this value (probabilistically) increases for every successful generation

attempts

public int attempts()

Deprecated.

Specified by:

attempts in interface GenerationStatus

Returns:

how many attempts have been made to generate a value for a property parameter