Package net.jqwik.engine.hooks.statistics

Klasse StatisticsPublisher

java.lang.Object

net.jqwik.engine.hooks.statistics.StatisticsPublisher

public class StatisticsPublisher
extends Object

Konstruktorübersicht

Konstruktoren

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

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
void	publish(net.jqwik.api.Reporter reporter, String propertyName)

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

StatisticsPublisher

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

Methodendetails

publish

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