Package net.jqwik.engine.properties.arbitraries

Class OneOfArbitrary<T>

  • All Implemented Interfaces:
    net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>
    Direct Known Subclasses:
    DefaultTypeArbitrary
    public class OneOfArbitrary<T>
extends java.lang.Object
implements net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

    • Nested Class Summary

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

        net.jqwik.api.Arbitrary.ArbitraryFacade

    • Constructor Summary

      Constructors 
      Constructor Description
      OneOfArbitrary​(java.util.List<net.jqwik.api.Arbitrary<T>> all)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void addArbitrary​(net.jqwik.api.Arbitrary<T> arbitrary)  
      protected java.util.List<net.jqwik.api.Arbitrary<T>> arbitraries()  
      net.jqwik.api.Arbitrary<T> configure​(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)  
      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)  

      • 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.Arbitrary

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

    • Constructor Detail

      • OneOfArbitrary

        public OneOfArbitrary​(java.util.List<net.jqwik.api.Arbitrary<T>> all)

    • Method Detail

      • generator

        public net.jqwik.api.RandomGenerator<T> generator​(int genSize)
        Specified by:
        generator 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>

      • configure

        public net.jqwik.api.Arbitrary<T> configure​(net.jqwik.api.configurators.ArbitraryConfigurator configurator,
                                            net.jqwik.api.providers.TypeUsage targetType)
        Specified by:
        configure in interface net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

      • arbitraries

        protected java.util.List<net.jqwik.api.Arbitrary<T>> arbitraries()

      • addArbitrary

        protected void addArbitrary​(net.jqwik.api.Arbitrary<T> arbitrary)