Package net.jqwik.api.statistics

Annotation Type StatisticsReport

  • @Target({ANNOTATION_TYPE,METHOD,TYPE})
@Retention(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.

      • format

        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