Package com.pholser.junit.quickcheck.internal.generator

Class PropertyParameterGenerationContext

java.lang.Object

com.pholser.junit.quickcheck.internal.generator.AbstractGenerationStatus

com.pholser.junit.quickcheck.internal.generator.PropertyParameterGenerationContext

All Implemented Interfaces:

GenerationStatus

public class PropertyParameterGenerationContext
extends AbstractGenerationStatus

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PropertyParameterGenerationContext.DiscardRatioExceededException

Nested classes/interfaces inherited from interface com.pholser.junit.quickcheck.generator.GenerationStatus

GenerationStatus.Key<T>

Field Summary

Fields

Modifier and Type	Field	Description
private int	discards
private final ConstraintEvaluator	evaluator
private final Generator<?>	generator
private final PropertyParameterContext	parameter
private final int	sampleSize
private int	semiAttempts
private int	successfulEvaluations

Constructor Summary

Constructors

Constructor	Description
PropertyParameterGenerationContext(PropertyParameterContext parameter, GeneratorRepository repository, GeometricDistribution distro, SourceOfRandomness random, ParameterSampler sampler)

Method Summary

Modifier and Type	Method	Description
int	attempts()
long	effectiveSeed()
private boolean	evaluate(Object value)
Object	generate()
private static SourceOfRandomness	initializeRandomness(PropertyParameterContext p, SourceOfRandomness r)
BigDecimal	magnitude(Object value)
String	name()
int	sampleSize()
void	semiAttempt()	Signals part of an attempt to generate a value.
List<Object>	shrink(Object larger)
int	size()
private boolean	tooManyDiscards()

Methods inherited from class com.pholser.junit.quickcheck.internal.generator.AbstractGenerationStatus

random, setValue, valueOf

Methods inherited from class java.lang.Object

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

Field Details

parameter

private final PropertyParameterContext parameter

evaluator

private final ConstraintEvaluator evaluator

generator

private final Generator<?> generator

sampleSize

private final int sampleSize

successfulEvaluations

private int successfulEvaluations

discards

private int discards

semiAttempts

private int semiAttempts

Constructor Details

PropertyParameterGenerationContext

public PropertyParameterGenerationContext(PropertyParameterContext parameter,
 GeneratorRepository repository,
 GeometricDistribution distro,
 SourceOfRandomness random,
 ParameterSampler sampler)

Method Details

initializeRandomness

private static SourceOfRandomness initializeRandomness(PropertyParameterContext p,
 SourceOfRandomness r)

generate

public Object generate()

shrink

public List<Object> shrink(Object larger)

evaluate

private boolean evaluate(Object value)

tooManyDiscards

private boolean tooManyDiscards()

size

public int size()

Specified by:

size in interface GenerationStatus

Overrides:

size in class AbstractGenerationStatus

Returns:

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

attempts

public int attempts()

Returns:

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

semiAttempt

public void semiAttempt()

Description copied from interface: GenerationStatus

Signals part of an attempt to generate a value.

Mostly for use by junit-quickcheck itself; generators can call this to convince the framework that it's doing work to generate a complex value, but doing so is not strictly necessary.

effectiveSeed

public long effectiveSeed()

sampleSize

public int sampleSize()

name

public String name()

magnitude

public BigDecimal magnitude(Object value)