com.pholser.junit.quickcheck.internal

Class ParameterContext

java.lang.Object

com.pholser.junit.quickcheck.internal.ParameterContext

Deprecated.

@Deprecated
public class ParameterContext
extends Object

Constructor Summary

Constructors

Constructor and Description
ParameterContext(ParameterTypeContext typeContext) Deprecated.

Method Summary

Modifier and Type	Method and Description
ParameterContext	addConstraint(ForAll quantifier) Deprecated.
ParameterContext	addQuantifier(ForAll quantifier) Deprecated.
ParameterContext	annotate(AnnotatedElement element) Deprecated.
String	constraint() Deprecated.
int	discardRatio() Deprecated.
boolean	fixedSeed() Deprecated.
int	sampleSize() Deprecated.
long	seed() Deprecated.
ParameterTypeContext	typeContext() Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

ParameterContext

public ParameterContext(ParameterTypeContext typeContext)

Deprecated.

Method Detail

annotate

public ParameterContext annotate(AnnotatedElement element)

Deprecated.

addQuantifier

public ParameterContext addQuantifier(ForAll quantifier)

Deprecated.

addConstraint

public ParameterContext addConstraint(ForAll quantifier)

Deprecated.

typeContext

public ParameterTypeContext typeContext()

Deprecated.

sampleSize

public int sampleSize()

Deprecated.

discardRatio

public int discardRatio()

Deprecated.

constraint

public String constraint()

Deprecated.

fixedSeed

public boolean fixedSeed()

Deprecated.

seed

public long seed()

Deprecated.