Package net.jqwik.engine.hooks.statistics

Class StatisticsPublisher

java.lang.Object

net.jqwik.engine.hooks.statistics.StatisticsPublisher

public class StatisticsPublisher
extends Object

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

StatisticsPublisher

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

Method Details

publish

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