| 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 | Description | 
|---|---|
| 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 | Description | 
|---|---|
| StatisticsReport.StatisticsReportMode | 
| Annotation Type | Description | 
|---|---|
| StatisticsReport | 
 This annotation can be used to influence statistics reporting. 
 |