Package net.jqwik.engine.properties.arbitraries

Class DefaultTypeArbitrary<T>

  • All Implemented Interfaces:
    net.jqwik.api.arbitraries.TypeArbitrary<T>, net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>
    public class DefaultTypeArbitrary<T>
extends OneOfArbitrary<T>
implements net.jqwik.api.arbitraries.TypeArbitrary<T>

    • Nested Class Summary

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

        net.jqwik.api.Arbitrary.ArbitraryFacade

    • Constructor Summary

      Constructors 
      Constructor Description
      DefaultTypeArbitrary​(java.lang.Class<T> targetType)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int countCreators()  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<T> generator​(int genSize)  
      java.lang.String toString()  
      net.jqwik.api.arbitraries.TypeArbitrary<T> use​(java.lang.reflect.Executable creator)  
      net.jqwik.api.arbitraries.TypeArbitrary<T> useAllConstructors()  
      net.jqwik.api.arbitraries.TypeArbitrary<T> useAllFactoryMethods()  
      net.jqwik.api.arbitraries.TypeArbitrary<T> useConstructors​(java.util.function.Predicate<? super java.lang.reflect.Constructor<?>> filter)  
      net.jqwik.api.arbitraries.TypeArbitrary<T> useDefaults()  
      net.jqwik.api.arbitraries.TypeArbitrary<T> useFactoryMethods​(java.util.function.Predicate<java.lang.reflect.Method> filter)  
      net.jqwik.api.arbitraries.TypeArbitrary<T> usePublicConstructors()  
      net.jqwik.api.arbitraries.TypeArbitrary<T> usePublicFactoryMethods()  

      • 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, 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

      • DefaultTypeArbitrary

        public DefaultTypeArbitrary​(java.lang.Class<T> targetType)

    • Method Detail

      • useDefaults

        public net.jqwik.api.arbitraries.TypeArbitrary<T> useDefaults()

      • use

        public net.jqwik.api.arbitraries.TypeArbitrary<T> use​(java.lang.reflect.Executable creator)
        Specified by:
        use in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • useConstructors

        public net.jqwik.api.arbitraries.TypeArbitrary<T> useConstructors​(java.util.function.Predicate<? super java.lang.reflect.Constructor<?>> filter)
        Specified by:
        useConstructors in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • usePublicConstructors

        public net.jqwik.api.arbitraries.TypeArbitrary<T> usePublicConstructors()
        Specified by:
        usePublicConstructors in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • useAllConstructors

        public net.jqwik.api.arbitraries.TypeArbitrary<T> useAllConstructors()
        Specified by:
        useAllConstructors in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • useFactoryMethods

        public net.jqwik.api.arbitraries.TypeArbitrary<T> useFactoryMethods​(java.util.function.Predicate<java.lang.reflect.Method> filter)
        Specified by:
        useFactoryMethods in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • usePublicFactoryMethods

        public net.jqwik.api.arbitraries.TypeArbitrary<T> usePublicFactoryMethods()
        Specified by:
        usePublicFactoryMethods in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • useAllFactoryMethods

        public net.jqwik.api.arbitraries.TypeArbitrary<T> useAllFactoryMethods()
        Specified by:
        useAllFactoryMethods in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

      • generator

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

      • exhaustive

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

      • toString

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

      • countCreators

        public int countCreators()