| 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.
|
| Statistics.StatisticsFacade | |
| StatisticsReport.None |
| Enum | Description |
|---|---|
| StatisticsReport.StatisticsReportMode |
| Annotation Type | Description |
|---|---|
| StatisticsReport |
Use
@StatisticsReport(OFF) to disable statistics reporting. |