Package net.jqwik.api

Annotation Interface From


@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.3.0") public @interface From
Used to annotate type parameters within property parameters annotated with ForAll . 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=MAINTAINED, since="1.8.0") Class<? extends ArbitrarySupplier<?>> supplier
      Default:
      net.jqwik.api.ArbitrarySupplier.NONE.class