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 and Description
static interface	StatisticsCoverage.CoverageChecker

Method Summary

Modifier and Type	Method and Description
StatisticsCoverage.CoverageChecker	check(java.lang.Object... values) Select a specific values set for coverage checking.
StatisticsCoverage.CoverageChecker	checkPattern(java.lang.String regex) Match collected values against a regular expression.
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 - A Predicate that 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