net.jqwik.api.statistics

Interface StatisticsCoverage

@API(status=EXPERIMENTAL,
     since="1.2.3")
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	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.