@Deprecated public class ParameterContext extends Object
| Constructor and Description |
|---|
ParameterContext(ParameterTypeContext typeContext)
Deprecated.
|
| 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.
|
public ParameterContext(ParameterTypeContext typeContext)
public ParameterContext annotate(AnnotatedElement element)
public ParameterContext addQuantifier(ForAll quantifier)
public ParameterContext addConstraint(ForAll quantifier)
public ParameterTypeContext typeContext()
public int sampleSize()
public int discardRatio()
public String constraint()
public boolean fixedSeed()
public long seed()
Copyright © 2016. All rights reserved.