net.jqwik.api.domains

Annotation Type Domain

@Target(value={METHOD,TYPE,ANNOTATION_TYPE})
 @Retention(value=RUNTIME)
 @Documented
 @Repeatable(value=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 class

You 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 and Description
static int	PRIORITY_NOT_SET

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.Class<? extends DomainContext>	value

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	priority

Field Detail

PRIORITY_NOT_SET

public static final int PRIORITY_NOT_SET

Element Detail

value

public abstract java.lang.Class<? extends DomainContext> value

priority

public abstract int priority

Default:

-2147483648