net.jqwik.api

Class Statistics

java.lang.Object

net.jqwik.api.Statistics

@API(status=MAINTAINED,
     since="1.0")
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

Constructor Summary

Constructors

Constructor and Description
Statistics()

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 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

Constructor Detail

Statistics

public Statistics()

Method Detail

label

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

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.