net.jqwik.api.statistics

Interface StatisticsEntry

@API(status=EXPERIMENTAL,
     since="1.2.3")
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
java.util.List<java.lang.Object>	values() The values collected during Statistics.collect(Object...)

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

values

@API(status=EXPERIMENTAL,
     since="1.3.0")
java.util.List<java.lang.Object> values()

The values collected during Statistics.collect(Object...)