Package net.jqwik.engine.properties.arbitraries.randomized

Class FrequencyOfGenerator<T>

  • All Implemented Interfaces:
    net.jqwik.api.RandomGenerator<T>
    public class FrequencyOfGenerator<T>
extends java.lang.Object
implements net.jqwik.api.RandomGenerator<T>

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface net.jqwik.api.RandomGenerator

        net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • Constructor Summary

      Constructors 
      Constructor Description
      FrequencyOfGenerator​(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,​net.jqwik.api.Arbitrary<T>>> frequencies, int genSize)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.Shrinkable<T> next​(java.util.Random random)  

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface net.jqwik.api.RandomGenerator

        collect, dontShrink, filter, flatMap, flatMap, ignoreException, injectDuplicates, map, mapShrinkable, stream, unique, withEdgeCases

    • Constructor Detail

      • FrequencyOfGenerator

        public FrequencyOfGenerator​(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,​net.jqwik.api.Arbitrary<T>>> frequencies,
                            int genSize)

    • Method Detail

      • next

        public net.jqwik.api.Shrinkable<T> next​(java.util.Random random)
        Specified by:
        next in interface net.jqwik.api.RandomGenerator<T>