Package net.jqwik.api.statistics
Interface StatisticsCoverage
-
@API(status=MAINTAINED, since="1.4.0") public interface StatisticsCoverage
Intermediate object to provide statistics coverage checking capabilities- See Also:
Statistics.coverage(Consumer)
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
StatisticsCoverage.CoverageChecker
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StatisticsCoverage.CoverageChecker
check(java.lang.Object... values)
Select a specific values set for coverage checking.StatisticsCoverage.CoverageChecker
checkQuery(java.util.function.Predicate<? extends java.util.List<?>> query)
Execute a query for coverage checking.
-
-
-
Method Detail
-
check
StatisticsCoverage.CoverageChecker check(java.lang.Object... values)
Select a specific values set for coverage checking.- Parameters:
values
- Can be anything. Must be equal to the values used in Statistics.collect(Object...)
-
checkQuery
StatisticsCoverage.CoverageChecker checkQuery(java.util.function.Predicate<? extends java.util.List<?>> query)
Execute a query for coverage checking.- Parameters:
query
- APredicate
that takes the collected values as parameter and returns true if the specific values shall be counted.
-
-