Class ArbitraryDecorator<T>

    • Nested Class Summary

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

        net.jqwik.api.Arbitrary.ArbitraryFacade
    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      protected abstract net.jqwik.api.Arbitrary<T> arbitrary()  
      net.jqwik.api.EdgeCases<T> edgeCases()  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<T> generator​(int genSize)  
      boolean isUnique()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface net.jqwik.api.Arbitrary

        allValues, array, asGeneric, collect, dontShrink, edgeCases, exhaustive, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique
    • Constructor Detail

      • ArbitraryDecorator

        public ArbitraryDecorator()
    • Method Detail

      • arbitrary

        protected abstract net.jqwik.api.Arbitrary<T> arbitrary()
      • generator

        public net.jqwik.api.RandomGenerator<T> generator​(int genSize)
        Specified by:
        generator in interface net.jqwik.api.Arbitrary<T>
      • isUnique

        public boolean isUnique()
        Specified by:
        isUnique in interface net.jqwik.api.Arbitrary<T>
      • exhaustive

        public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive​(long maxNumberOfSamples)
        Specified by:
        exhaustive in interface net.jqwik.api.Arbitrary<T>
      • edgeCases

        public net.jqwik.api.EdgeCases<T> edgeCases()
        Specified by:
        edgeCases in interface net.jqwik.api.Arbitrary<T>
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object