Package net.jqwik.api
Annotation Type Provide
- 
@Target({ANNOTATION_TYPE,METHOD}) @Retention(RUNTIME) @Documented @API(status=STABLE, since="1.0") public @interface ProvideUsed to annotate methods that can provide values for property method parameters. Those methods must return an instance of Arbitrary.Methods annotated with Provide can be present:
- In test container classes to be picked up by ForAll parameters.
 - In subclasses of DomainContextBase where those methods will be used to serve as arbitrary providers for a DomainContext.
 
Those methods can have optional parameters of type TypeUsage, of type ArbitraryProvider.SubtypeProvider or with annotation ForAll. The latter will be used to flatMap over them.
- See Also:
 ForAll,DomainContextBase,DomainContext
 
- 
- 
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description java.lang.StringvalueUsed as reference name. 
 -