Package net.jqwik.api.constraints

Annotation Interface UseType

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.2") public @interface UseType
Generate a value from the annotated class' or type's constructors or factory methods.

Applies to any parameter that is annotated with @ForAll. Only the raw type of a parameter is considered. Parameterized and generic types are forbidden.

If no value is given, the default is to use public constructors and factory methods from the annotated type.

See Also:

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    enableRecursion
    When true then type information is also used to generate embedded types if (and only if) there's no other arbitrary available for this type.
    UseTypeMode[]
    value
     

  • Element Details

    • value

      UseTypeMode[] value
      Default:
      {}

    • enableRecursion

      @API(status=EXPERIMENTAL, since="1.6.1") boolean enableRecursion
      When true then type information is also used to generate embedded types if (and only if) there's no other arbitrary available for this type.
      Default:
      true