This class serves as an interface to collect statistical data about generated values within a property method.
Intermediate object to provide statistics coverage checking capabilities
Describes an entry for a given statistics selector.
An implementation of this interface is responsible for creating a formatted statistics report.
A statistics report format to display collected statistics entries as a histogram
A 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 annotation can be used to influence statistics reporting.