Package net.jqwik.api.domains

Annotation Interface Domain

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

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Class<? extends DomainContext>
    value
     

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    int
    priority
     

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final int
    PRIORITY_NOT_SET
     

  • Field Details

  • Element Details

    • priority

      int priority
      Default:
      -2147483648