Package com.pholser.junit.quickcheck.internal

Class PropertyParameterContext

java.lang.Object

com.pholser.junit.quickcheck.internal.PropertyParameterContext

public class PropertyParameterContext
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private String	constraint
private static final long	DEFAULT_SEED
private int	discardRatio
private long	seed
private final ParameterTypeContext	typeContext

Constructor Summary

Constructors

Constructor	Description
PropertyParameterContext(ParameterTypeContext typeContext)

Method Summary

Modifier and Type	Method	Description
PropertyParameterContext	addConstraint(When quantifier)
PropertyParameterContext	addQuantifier(When quantifier)
PropertyParameterContext	annotate(AnnotatedElement element)
String	constraint()
int	discardRatio()
private int	ensurePositiveDiscardRatio(When quantifier)
boolean	fixedSeed()
long	seed()
ParameterTypeContext	typeContext()

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_SEED

private static final long DEFAULT_SEED

typeContext

private final ParameterTypeContext typeContext

discardRatio

private int discardRatio

constraint

private String constraint

seed

private long seed

Constructor Details

PropertyParameterContext

public PropertyParameterContext(ParameterTypeContext typeContext)

Method Details

annotate

public PropertyParameterContext annotate(AnnotatedElement element)

addQuantifier

public PropertyParameterContext addQuantifier(When quantifier)

addConstraint

public PropertyParameterContext addConstraint(When quantifier)

typeContext

public ParameterTypeContext typeContext()

discardRatio

public int discardRatio()

constraint

public String constraint()

fixedSeed

public boolean fixedSeed()

seed

public long seed()

ensurePositiveDiscardRatio

private int ensurePositiveDiscardRatio(When quantifier)