net.jqwik.api

Interface StatisticsCollector

@API(status=EXPERIMENTAL,
     since="1.2.0")
public interface StatisticsCollector

This class serves as an interface to collect statistical data about generated values within a property method.

Method Summary

Modifier and Type	Method and Description
void	collect(java.lang.Object... values) Call this method to record an entry for statistical data about generated values.

Method Detail

collect

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.