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 DomainUse@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 SummaryFields Modifier and Type Fields Description static intPRIORITY_NOT_SET
 - 
Required Element SummaryRequired Elements Modifier and Type Required Element Description java.lang.Class<? extends DomainContext>value
 - 
Optional Element SummaryOptional Elements Modifier and Type Optional Element Description intpriority
 
- 
- 
- 
Element Detail- 
valuejava.lang.Class<? extends DomainContext> value 
 
- 
 
-