Package net.jqwik.api

Annotation Interface ForAll


@Target({ANNOTATION_TYPE,PARAMETER}) @Retention(RUNTIME) @Documented @API(status=STABLE, since="1.0") public @interface ForAll
Used to annotate method parameters that will be provided by jqwik. Only works on methods annotated with @Property value is used as reference name to a method annotated with @Provide. If it is not specified, only default providers are considered.
See Also:
  • Field Details

  • Element Details

    • value

      String value
      Default:
      ""
    • supplier

      @API(status=EXPERIMENTAL, since="1.6.3") Class<? extends ArbitrarySupplier<?>> supplier
      Default:
      net.jqwik.api.ArbitrarySupplier.NONE.class