net.jqwik.api

Class Statistics.StatisticsFacade

java.lang.Object

net.jqwik.api.Statistics.StatisticsFacade

Enclosing class:

Statistics

public abstract static class Statistics.StatisticsFacade
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StatisticsFacade()

Method Summary

Modifier and Type	Method and Description
abstract void	collect(java.lang.Object... values)

Methods inherited from class java.lang.Object

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

Constructor Detail

StatisticsFacade

public StatisticsFacade()

Method Detail

collect

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