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.
 
 - 
 
 -