Package net.jqwik.api.domains

Annotationsschnittstelle 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

  • Erforderliche Elemente - Übersicht

    Erforderliche Elemente
    Modifizierer und Typ
    Erforderliches Element
    Beschreibung
    Class<? extends DomainContext>
    value
     

  • Optionale Elemente - Übersicht

    Optionale Elemente
    Modifizierer und Typ
    Optionales Element
    Beschreibung
    int
    priority
     

  • Feldübersicht

    Felder
    Modifizierer und Typ
    Feld
    Beschreibung
    static final int
    PRIORITY_NOT_SET
     

  • Felddetails

  • Elementdetails

    • value

      Class<? extends DomainContext> value

    • priority

      int priority
      Standard:
      -2147483648