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:
    StatisticsReportFormat

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      int count()
      The number of times a certain value (set) has been collected
      java.lang.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
      java.util.List<java.lang.Object> values()
      The values collected during Statistics.collect(Object...)

    • Method Detail

      • name

        java.lang.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