Package net.jqwik.api.statistics

Schnittstelle StatisticsCoverage

@API(status=MAINTAINED,
     since="1.4.0")
public interface StatisticsCoverage

Intermediate object to provide statistics coverage checking capabilities

Siehe auch:

• Statistics.coverage(Consumer)

Verschachtelte Klassen - Übersicht

Verschachtelte Klassen

Modifizierer und Typ	Schnittstelle	Beschreibung
static interface	StatisticsCoverage.CoverageChecker

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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<? super List<?>> query)	Execute a query for coverage checking.

Methodendetails

check

StatisticsCoverage.CoverageChecker check(Object... values)

Select a specific values set for coverage checking.

Parameter:

values - Can be anything. Must be equal to the values used in Statistics.collect(Object...)

checkQuery

StatisticsCoverage.CoverageChecker checkQuery(Predicate<? super List<?>> query)

Execute a query for coverage checking.

Parameter:

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.

Parameter:

regex - A regular expression