net.jqwik.engine.hooks.statistics

Class StatisticsPublisher

java.lang.Object

net.jqwik.engine.hooks.statistics.StatisticsPublisher

public class StatisticsPublisher
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StatisticsPublisher(StatisticsCollectorImpl statisticsCollector, net.jqwik.api.statistics.StatisticsReportFormat statisticsReportFormat)

Method Summary

Modifier and Type	Method and Description
void	publish(net.jqwik.api.lifecycle.Reporter reporter, java.lang.String propertyName)

Methods inherited from class java.lang.Object

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

Constructor Detail

StatisticsPublisher

public StatisticsPublisher(StatisticsCollectorImpl statisticsCollector,
                           net.jqwik.api.statistics.StatisticsReportFormat statisticsReportFormat)

Method Detail

publish

public void publish(net.jqwik.api.lifecycle.Reporter reporter,
                    java.lang.String propertyName)