public class StatisticsCollectorImpl
extends java.lang.Object
implements net.jqwik.api.statistics.StatisticsCollector
| Modifier and Type | Field and Description |
|---|---|
static java.lang.Object |
COLLECTORS_ID |
| Constructor and Description |
|---|
StatisticsCollectorImpl(java.lang.String label) |
| Modifier and Type | Method and Description |
|---|---|
void |
checkCoverage() |
net.jqwik.api.statistics.StatisticsCollector |
collect(java.lang.Object... values) |
int |
count(java.lang.Object... values) |
int |
countAllCollects() |
void |
coverage(java.util.function.Consumer<net.jqwik.api.statistics.StatisticsCoverage> checker) |
java.util.Map<java.util.List<java.lang.Object>,java.lang.Integer> |
getCounts() |
double |
percentage(java.lang.Object... values) |
java.util.List<net.jqwik.engine.hooks.statistics.StatisticsEntryImpl> |
statisticsEntries() |
public net.jqwik.api.statistics.StatisticsCollector collect(java.lang.Object... values)
collect in interface net.jqwik.api.statistics.StatisticsCollectorpublic double percentage(java.lang.Object... values)
public int countAllCollects()
public int count(java.lang.Object... values)
public void coverage(java.util.function.Consumer<net.jqwik.api.statistics.StatisticsCoverage> checker)
coverage in interface net.jqwik.api.statistics.StatisticsCollectorpublic void checkCoverage()
public java.util.Map<java.util.List<java.lang.Object>,java.lang.Integer> getCounts()
public java.util.List<net.jqwik.engine.hooks.statistics.StatisticsEntryImpl> statisticsEntries()