net.jqwik.api.statistics

Class Statistics

java.lang.Object

net.jqwik.api.statistics.Statistics

@API(status=MAINTAINED,
     since="1.2.3")
public class Statistics
extends java.lang.Object

This class serves as a container for static methods to collect statistical data about generated values within a property method.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Statistics.StatisticsFacade

Method Summary

Modifier and Type	Method and Description
static void	collect(java.lang.Object... values) Call this method to record an entry for statistical data about generated values.
static void	coverage(java.util.function.Consumer<StatisticsCoverage> checker) Perform coverage checking for successful property on statistics for values collected with collect(Object...)
static void	coverageOf(java.lang.String label, java.util.function.Consumer<StatisticsCoverage> checker) Perform coverage checking for successful property on labelled statistics for values collected with collect(Object...)
static StatisticsCollector	label(java.lang.String label) Call this method to get a labeled instance of StatisticsCollector.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

collect

public static void collect(java.lang.Object... values)

Call this method to record an entry for statistical data about generated values. As soon as this method is called at least once in a property method, the statistical data will be reported after the property has finished.

Parameters:

values - Can be anything. The list of these values is considered a key for the reported table of frequencies. Constraints:

• There must be at least one value
• The number of values must always be the same in a single property
• Values can be null

Throws:

java.lang.IllegalArgumentException - if one of the constraints on values is violated

label

public static StatisticsCollector label(java.lang.String label)

Call this method to get a labeled instance of StatisticsCollector.

Parameters:

label - The label will be used for reporting the collected statistical values

coverage

@API(status=EXPERIMENTAL,
     since="1.2.3")
public static void coverage(java.util.function.Consumer<StatisticsCoverage> checker)

Perform coverage checking for successful property on statistics for values collected with collect(Object...)

Parameters:

checker - Code that consumes a StatisticsCoverage object

coverageOf

@API(status=EXPERIMENTAL,
     since="1.2.3")
public static void coverageOf(java.lang.String label,
                                                                            java.util.function.Consumer<StatisticsCoverage> checker)

Perform coverage checking for successful property on labelled statistics for values collected with collect(Object...)

Parameters:

label - The label that was used for reporting the collected statistical values

checker - Code that consumes a StatisticsCoverage object