Package net.jqwik.api

Annotation Type 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:
    ForAll, Provide

    • Field Summary

      Fields 
      Modifier and Type Fields Description
      static java.lang.String NO_VALUE  

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.Class<? extends ArbitrarySupplier<?>> supplier  
      java.lang.String value  

    • Field Detail

      • NO_VALUE

        @API(status=INTERNAL,
     since="1.6.3")
static final java.lang.String NO_VALUE

    • Element Detail

      • value

        java.lang.String value
        Default:
        ""

      • supplier

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