com.pholser.junit.quickcheck.internal.generator

Class PropertyParameterGenerationContext

java.lang.Object

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

All Implemented Interfaces:

GenerationStatus

public class PropertyParameterGenerationContext
extends Object
implements GenerationStatus

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PropertyParameterGenerationContext.DiscardRatioExceededException

Constructor Summary

Constructors

Constructor and Description
PropertyParameterGenerationContext(PropertyParameterContext parameter, GeneratorRepository repository, GeometricDistribution distro, SourceOfRandomness random, org.slf4j.Logger seedLog)

Method Summary

Modifier and Type	Method and Description
int	attempts()
Object	generate()
List<Object>	shrink(Object larger)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyParameterGenerationContext

public PropertyParameterGenerationContext(PropertyParameterContext parameter,
                                          GeneratorRepository repository,
                                          GeometricDistribution distro,
                                          SourceOfRandomness random,
                                          org.slf4j.Logger seedLog)

Method Detail

generate

public Object generate()

shrink

public List<Object> shrink(Object larger)

size

public int size()

Specified by:

size in interface GenerationStatus

Returns:

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

attempts

public int attempts()

Specified by:

attempts in interface GenerationStatus

Returns:

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