com.pholser.junit.quickcheck.internal
Class ParameterContext

java.lang.Object
  com.pholser.junit.quickcheck.internal.ParameterContext

public class ParameterContext
extends Object

Constructor Summary

ParameterContext(Type parameterType)

Method Summary

void	addConfiguration(Class<? extends Annotation> annotationType, Annotation configuration)
ParameterContext	addConfigurations(List<Annotation> generatorConfigurations)
ParameterContext	addConstraint(SuchThat expression)
ParameterContext	addGenerators(From generators)
ParameterContext	addQuantifier(ForAll quantifier)
Map<Class<? extends Annotation>,Annotation>	configurations()
String	constraint()
int	discardRatio()
Generator<?>	explicitGenerator()
Type	parameterType()
int	sampleSize()

Methods inherited from class java.lang.Object

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

Constructor Detail

ParameterContext

public ParameterContext(Type parameterType)

Method Detail

addQuantifier

public ParameterContext addQuantifier(ForAll quantifier)

addConstraint

public ParameterContext addConstraint(SuchThat expression)

addGenerators

public ParameterContext addGenerators(From generators)

addConfigurations

public ParameterContext addConfigurations(List<Annotation> generatorConfigurations)

addConfiguration

public void addConfiguration(Class<? extends Annotation> annotationType,
                             Annotation configuration)

parameterType

public Type parameterType()

sampleSize

public int sampleSize()

discardRatio

public int discardRatio()

constraint

public String constraint()

explicitGenerator

public Generator<?> explicitGenerator()

configurations

public Map<Class<? extends Annotation>,Annotation> configurations()