net.jqwik.api.statistics

Interface StatisticsEntry

public interface StatisticsEntry

Describes an entry for a given statistics selector. This is used when plugging in your own statistics report formats.

See Also:

StatisticsReportFormat

Method Summary

Modifier and Type	Method and Description
int	count() The number of times a certain value (set) has been collected
java.lang.String	name() The name of an entry usually refers to the collected value(s)
double	percentage() The percentage of times a certain value (set) has been collected

Method Detail

name

java.lang.String name()

The name of an entry usually refers to the collected value(s)

count

int count()

The number of times a certain value (set) has been collected

percentage

double percentage()

The percentage of times a certain value (set) has been collected