Package net.jqwik.api.statistics
Interface StatisticsCoverage
-
@API(status=MAINTAINED, since="1.4.0") public interface StatisticsCoverageIntermediate object to provide statistics coverage checking capabilities- See Also:
Statistics.coverage(Consumer)
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interfaceStatisticsCoverage.CoverageChecker
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StatisticsCoverage.CoverageCheckercheck(java.lang.Object... values)Select a specific values set for coverage checking.StatisticsCoverage.CoverageCheckercheckQuery(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- APredicatethat takes the collected values as parameter and returns true if the specific values shall be counted.
-
-