Package net.jqwik.api.statistics

Class Statistics.StatisticsFacade

java.lang.Object

net.jqwik.api.statistics.Statistics.StatisticsFacade

Enclosing class:

Statistics

public abstract static class Statistics.StatisticsFacade
extends Object

Constructor Summary

Constructors

Constructor	Description
StatisticsFacade()

Method Summary

Modifier and Type	Method	Description
abstract StatisticsCollector	collectorByLabel(String label)
abstract StatisticsCollector	defaultCollector()

Methods inherited from class java.lang.Object

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

Constructor Details

StatisticsFacade

public StatisticsFacade()

Method Details

collectorByLabel

public abstract StatisticsCollector collectorByLabel(String label)

defaultCollector

public abstract StatisticsCollector defaultCollector()