net.jqwik.api

Annotation Type Report

@Target(value={METHOD,ANNOTATION_TYPE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=MAINTAINED,
     since="1.0")
public @interface Report

Use @Report to specify what additional things should be reported when running a property.

See Also:

Property

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Reporting[]	value

Element Detail

value

public abstract Reporting[] value