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.CoverageCheckercheckPattern(java.lang.String regex)Match collected values against a regular expression.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.
-
checkPattern
@API(status=EXPERIMENTAL, since="1.7.1") StatisticsCoverage.CoverageChecker checkPattern(java.lang.String regex)Match collected values against a regular expression. Count all values that match.Values must be instances of type of CharSequence, e.g. String or StringBuffer. Values of other types never match.
- Parameters:
regex- A regular expression
-
-