Package net.jqwik.api.statistics
package net.jqwik.api.statistics
-
ClassDescriptionA statistics report format to display collected statistics entries as a histogramA specialized type of Histogram to divide collected numbers into range-based clusters for display in a histogram.This class serves as a container for static methods to collect statistical data about generated values within a property method and to check coverage of that data.This class serves as an interface to collect statistical data about generated values within a property method.Intermediate object to provide statistics coverage checking capabilitiesDescribes an entry for a given statistics selector.This annotation can be used to influence statistics reporting.An implementation of this interface is responsible for creating a formatted statistics report.