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