Package net.jqwik.api

Annotation Type Provide

    public @interface Provide
    Used to annotate methods that can provide values for property method parameters. Those methods must return an instance of Arbitrary.

    Methods annotated with Provide can be present:

    • In test container classes to be picked up by ForAll parameters.
    • In subclasses of DomainContextBase where those methods will be used to serve as arbitrary providers for a DomainContext.

    Those methods can have optional parameters of type TypeUsage, of type ArbitraryProvider.SubtypeProvider or with annotation ForAll. The latter will be used to flatMap over them.

    See Also:
    ForAll, DomainContextBase, DomainContext
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.String value
      Used as reference name.
    • Element Detail

      • value

        java.lang.String value
        Used as reference name. If it is not specified, the method's name is used instead.
        A non-empty string if the method should not be referenced by its name