|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| GenerationStatus | Generators are fed instances of this interface on each generation so that, if they choose, the generators
can use these instances to influence the results of a generation for a particular theory parameter. |
| Class Summary | |
|---|---|
| ComponentizedGenerator<T> | Produces values for theory parameters of types that have components that would also need generation, such as arrays, lists, and predicates. |
| Generator<T> | Produces values for theory parameters. |
| Lambdas | Helper class for creating instances of "functional interfaces". |
| Annotation Types Summary | |
|---|---|
| GeneratorConfiguration | Apply this annotation to an annotation that marks theory parameters, in order that the marked annotation can be used to configure generators for values of the theory parameter's type. |
| ValuesOf | Mark a parameter of a Theory method already marked with
ForAll with this annotation to generate all the parameter type's values
in turn, rather than at random. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||