Package net.jqwik.api.statistics

Interface StatisticsEntry

@API(status=MAINTAINED, since="1.4.0") public interface StatisticsEntry
Describes an entry for a given statistics selector. This is used when plugging in your own statistics report formats.
See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    count()
    The number of times a certain value (set) has been collected
    String
    name()
    The name of an entry usually refers to the collected value(s)
    double
    percentage()
    The percentage of times a certain value (set) has been collected
    List<Object>
    values()
    The values collected during Statistics.collect(Object...)

  • Method Details

    • name

      String name()
      The name of an entry usually refers to the collected value(s)

    • count

      int count()
      The number of times a certain value (set) has been collected

    • percentage

      double percentage()
      The percentage of times a certain value (set) has been collected

    • values

      List<Object> values()
      The values collected during Statistics.collect(Object...)