Package net.jqwik.api.statistics

Interface Summary

Interface	Description
StatisticsCollector	This class serves as an interface to collect statistical data about generated values within a property method.
StatisticsCoverage	Intermediate object to provide statistics coverage checking capabilities
StatisticsCoverage.CoverageChecker
StatisticsEntry	Describes an entry for a given statistics selector.
StatisticsReportFormat	An implementation of this interface is responsible for creating a formatted statistics report.

Class Summary

Class	Description
Histogram	A statistics report format to display collected statistics entries as a histogram
Histogram.Bucket
NumberRangeHistogram	A specialized type of Histogram to divide collected numbers into range-based clusters for display in a histogram.
Statistics	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.
Statistics.StatisticsFacade
StatisticsReport.None

Enum Summary

Enum	Description
StatisticsReport.StatisticsReportMode

Annotation Types Summary

Annotation Type	Description
StatisticsReport	This annotation can be used to influence statistics reporting.
StatisticsReportList