Package net.jqwik.engine.hooks.statistics

Class StatisticsCollectorImpl

java.lang.Object
net.jqwik.engine.hooks.statistics.StatisticsCollectorImpl
All Implemented Interfaces:
net.jqwik.api.statistics.StatisticsCollector
public class StatisticsCollectorImpl extends Object implements net.jqwik.api.statistics.StatisticsCollector

  • Field Details

    • COLLECTORS_ID

      public static final Object COLLECTORS_ID

  • Constructor Details

    • StatisticsCollectorImpl

      public StatisticsCollectorImpl(String label)

  • Method Details

    • collect

      public net.jqwik.api.statistics.StatisticsCollector collect(Object... values)
      Specified by:
      collect in interface net.jqwik.api.statistics.StatisticsCollector

    • percentage

      public double percentage(Object... values)

    • countAllCollects

      public int countAllCollects()

    • count

      public int count(Object... values)

    • coverage

      public void coverage(Consumer<net.jqwik.api.statistics.StatisticsCoverage> checker)
      Specified by:
      coverage in interface net.jqwik.api.statistics.StatisticsCollector

    • checkCoverage

      public void checkCoverage()

    • getCounts

      public Map<List<Object>,Integer> getCounts()

    • statisticsEntries

      public List<StatisticsEntryImpl> statisticsEntries()