net.jqwik.api.statistics

Annotation Type StatisticsReport

@Target(value={ANNOTATION_TYPE,METHOD,TYPE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=EXPERIMENTAL,
     since="1.2.3")
public @interface StatisticsReport

This annotation can be used to influence statistics reporting. You can either annotate a property method to change reporting for this property only or a container class to change reporting for all properties in this class or nested subclasses.

There are three usage scenarios:

• Use @StatisticsReport(STANDARD) to enable the standard reporting. This is the default anyway.
• Use @StatisticsReport(OFF) to disable statistics reporting.
• Use @StatisticsReport(format = YourReportFormat.class) to plug in your own format.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.Class<? extends StatisticsReportFormat>	format The format to be used for publishing statistics reports in the annotated property.
StatisticsReport.StatisticsReportMode	value

Element Detail

value

public abstract StatisticsReport.StatisticsReportMode value

Default:

net.jqwik.api.statistics.StatisticsReport.StatisticsReportMode.PLUG_IN

format

public abstract java.lang.Class<? extends StatisticsReportFormat> format

The format to be used for publishing statistics reports in the annotated property.

Default:

net.jqwik.api.statistics.StatisticsReport.None.class