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