net.jqwik.engine.properties

Class StatisticsCollectorImpl

java.lang.Object

net.jqwik.engine.properties.StatisticsCollectorImpl

All Implemented Interfaces:

net.jqwik.api.StatisticsCollector

public class StatisticsCollectorImpl
extends java.lang.Object
implements net.jqwik.api.StatisticsCollector

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DEFAULT_LABEL

Constructor Summary

Constructors

Constructor and Description
StatisticsCollectorImpl(java.lang.String label)

Method Summary

Modifier and Type	Method and Description
static void	clearAll()
void	collect(java.lang.Object... values)
org.junit.platform.engine.reporting.ReportEntry	createReportEntry(java.lang.String propertyName)
static StatisticsCollectorImpl	get()
static StatisticsCollectorImpl	get(java.lang.String label)
java.util.Map<java.util.List<java.lang.Object>,java.lang.Integer>	getCounts()
static void	report(java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> reporter, java.lang.String propertyName)

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_LABEL

public static final java.lang.String DEFAULT_LABEL

See Also:

Constant Field Values

Constructor Detail

StatisticsCollectorImpl

public StatisticsCollectorImpl(java.lang.String label)

Method Detail

clearAll

public static void clearAll()

get

public static StatisticsCollectorImpl get()

get

public static StatisticsCollectorImpl get(java.lang.String label)

report

public static void report(java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> reporter,
                          java.lang.String propertyName)

collect

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

Specified by:

collect in interface net.jqwik.api.StatisticsCollector

getCounts

public java.util.Map<java.util.List<java.lang.Object>,java.lang.Integer> getCounts()

createReportEntry

public org.junit.platform.engine.reporting.ReportEntry createReportEntry(java.lang.String propertyName)