Package net.jqwik.api.domains
Annotation Type Domain
-
@Target({METHOD,TYPE,ANNOTATION_TYPE}) @Retention(RUNTIME) @Documented @Repeatable(DomainList.class) @API(status=MAINTAINED, since="1.2.0") public @interface Domain
Use@Domain(MyDomainContext.class)
to use only arbitrary providers and arbitrary configurators defined in given context classYou can have many domains on the same element. Providers and configurators from all domains will be considered.
The priority of ArbitraryProviders and ArbitraryConfigurators can be changed using
priority
-
-
Field Summary
Fields Modifier and Type Fields Description static int
PRIORITY_NOT_SET
-
Required Element Summary
Required Elements Modifier and Type Required Element Description java.lang.Class<? extends DomainContext>
value
-
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description int
priority
-
-
-
Element Detail
-
value
java.lang.Class<? extends DomainContext> value
-
-