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

Modifier and Type	Method	Description
StatisticsCoverage.CoverageChecker	check(Object... values)	Select a specific values set for coverage checking.
StatisticsCoverage.CoverageChecker	checkPattern(String regex)	Match collected values against a regular expression.
StatisticsCoverage.CoverageChecker	checkQuery(Predicate<? extends List<?>> query)	Execute a query for coverage checking.

Method Details

check

StatisticsCoverage.CoverageChecker check(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(Predicate<? extends 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(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