Package net.jqwik.api.domains

Annotation Type DomainList

  • @Target({METHOD,TYPE,ANNOTATION_TYPE})
@Retention(RUNTIME)
@Documented
@API(status=MAINTAINED,
     since="1.2.0")
public @interface DomainList

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      Domain[] value