net.jqwik.api

Class Statistics

java.lang.Object

net.jqwik.api.Statistics

Deprecated.

Use Statistics instead. Will be removed in version 1.3.

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

Method Summary

Modifier and Type	Method and Description
static void	collect(java.lang.Object... values) Deprecated. Use Statistics.collect(Object...) instead. Will be removed in version 1.3.
static StatisticsCollector	label(java.lang.String label) Deprecated. Use Statistics.label(String) instead. Will be removed in version 1.3.

Methods inherited from class java.lang.Object

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

Method Detail

label

@Deprecated
 @API(status=DEPRECATED,
     since="1.2.3")
public static StatisticsCollector label(java.lang.String label)

Deprecated. Use Statistics.label(String) instead. Will be removed in version 1.3.

Call this method to get a labeled instance of StatisticsCollector.

Parameters:

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

collect

@Deprecated
 @API(status=DEPRECATED,
     since="1.2.3")
public static void collect(java.lang.Object... values)

Deprecated. Use Statistics.collect(Object...) instead. Will be removed in version 1.3.

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.