|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Annotation Types Summary | |
|---|---|
| ForAll | Mark a parameter of a Theory method with this annotation to have
random values supplied to it. |
| From | Mark a parameter of a Theory method already marked with ForAll
with this annotation to have random values supplied to it via one of the specified Generators, chosen at
random with equal probability. |
| SuchThat | Mark a parameter of a Theory method already marked with ForAll
with this annotation to constrain the values generated for it. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||