Package net.jqwik.api.statistics
Interface StatisticsEntry
-
@API(status=EXPERIMENTAL, since="1.2.3") public interface StatisticsEntry
Describes an entry for a given statistics selector. This is used when plugging in your own statistics report formats.- See Also:
StatisticsReportFormat
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
count()
The number of times a certain value (set) has been collectedjava.lang.String
name()
The name of an entry usually refers to the collected value(s)double
percentage()
The percentage of times a certain value (set) has been collectedjava.util.List<java.lang.Object>
values()
The values collected during Statistics.collect(Object...)
-
-
-
Method Detail
-
name
java.lang.String name()
The name of an entry usually refers to the collected value(s)
-
count
int count()
The number of times a certain value (set) has been collected
-
percentage
double percentage()
The percentage of times a certain value (set) has been collected
-
values
@API(status=EXPERIMENTAL, since="1.3.0") java.util.List<java.lang.Object> values()
The values collected during Statistics.collect(Object...)
-
-