net.jqwik.api.statistics

Annotation Type StatisticsReport

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

Use @StatisticsReport(OFF) to disable statistics reporting.

Use @StatisticsReport(STANDARD) to enable the standard reporting. This is the default anyway.

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