|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||
@Target(value=ANNOTATION_TYPE) @Retention(value=RUNTIME) @Documented public @interface 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.
If a generator has a public instance method named configure, with a single parameter whose type is
an annotation that has this annotation applied, then when a theory method has a
ForAll parameter also marked with that annotation, when the theory is executed
the generator that generates the value for that parameter will have its configure method called with
the annotation as the argument.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||