Package net.jqwik.engine.facades

Class ArbitraryFacadeImpl

  • public class ArbitraryFacadeImpl
extends net.jqwik.api.Arbitrary.ArbitraryFacade
    Is loaded through reflection in api module

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <T,​A>
      net.jqwik.api.arbitraries.StreamableArbitrary<T,​A>      		 array​(net.jqwik.api.Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)  
      <T> net.jqwik.api.Arbitrary<T> configureEdgeCases​(net.jqwik.api.Arbitrary<T> self, java.util.function.Consumer<net.jqwik.api.EdgeCases.Config<T>> configurator)  
      <T> net.jqwik.api.Arbitrary<T> dontShrink​(net.jqwik.api.Arbitrary<T> self)  
      <T> net.jqwik.api.Arbitrary<T> filter​(net.jqwik.api.Arbitrary<T> self, java.util.function.Predicate<T> filterPredicate)  
      <T,​U>
      net.jqwik.api.Arbitrary<U>      		 flatMap​(net.jqwik.api.Arbitrary<T> self, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper)  
      <T> net.jqwik.api.Arbitrary<T> ignoreException​(net.jqwik.api.Arbitrary<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)  
      <T> net.jqwik.api.Arbitrary<T> injectNull​(net.jqwik.api.Arbitrary<T> self, double nullProbability)  
      <T> net.jqwik.api.arbitraries.IteratorArbitrary<T> iterator​(net.jqwik.api.Arbitrary<T> elementArbitrary)  
      <T> net.jqwik.api.arbitraries.ListArbitrary<T> list​(net.jqwik.api.Arbitrary<T> elementArbitrary)  
      <T,​U>
      net.jqwik.api.Arbitrary<U>      		 map​(net.jqwik.api.Arbitrary<T> self, java.util.function.Function<T,​U> mapper)  
      <T> java.util.stream.Stream<T> sampleStream​(net.jqwik.api.Arbitrary<T> arbitrary)  
      <T> net.jqwik.api.arbitraries.SetArbitrary<T> set​(net.jqwik.api.Arbitrary<T> elementArbitrary)  
      <T> net.jqwik.api.arbitraries.StreamArbitrary<T> stream​(net.jqwik.api.Arbitrary<T> elementArbitrary)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ArbitraryFacadeImpl

        public ArbitraryFacadeImpl()

    • Method Detail

      • list

        public <T> net.jqwik.api.arbitraries.ListArbitrary<T> list​(net.jqwik.api.Arbitrary<T> elementArbitrary)
        Specified by:
        list in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • set

        public <T> net.jqwik.api.arbitraries.SetArbitrary<T> set​(net.jqwik.api.Arbitrary<T> elementArbitrary)
        Specified by:
        set in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • stream

        public <T> net.jqwik.api.arbitraries.StreamArbitrary<T> stream​(net.jqwik.api.Arbitrary<T> elementArbitrary)
        Specified by:
        stream in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • iterator

        public <T> net.jqwik.api.arbitraries.IteratorArbitrary<T> iterator​(net.jqwik.api.Arbitrary<T> elementArbitrary)
        Specified by:
        iterator in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • array

        public <T,​A> net.jqwik.api.arbitraries.StreamableArbitrary<T,​A> array​(net.jqwik.api.Arbitrary<T> elementArbitrary,
                                                                                  java.lang.Class<A> arrayClass)
        Specified by:
        array in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • filter

        public <T> net.jqwik.api.Arbitrary<T> filter​(net.jqwik.api.Arbitrary<T> self,
                                             java.util.function.Predicate<T> filterPredicate)
        Specified by:
        filter in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • map

        public <T,​U> net.jqwik.api.Arbitrary<U> map​(net.jqwik.api.Arbitrary<T> self,
                                                  java.util.function.Function<T,​U> mapper)
        Specified by:
        map in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • flatMap

        public <T,​U> net.jqwik.api.Arbitrary<U> flatMap​(net.jqwik.api.Arbitrary<T> self,
                                                      java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper)
        Specified by:
        flatMap in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • sampleStream

        public <T> java.util.stream.Stream<T> sampleStream​(net.jqwik.api.Arbitrary<T> arbitrary)
        Specified by:
        sampleStream in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • injectNull

        public <T> net.jqwik.api.Arbitrary<T> injectNull​(net.jqwik.api.Arbitrary<T> self,
                                                 double nullProbability)
        Specified by:
        injectNull in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • ignoreException

        public <T> net.jqwik.api.Arbitrary<T> ignoreException​(net.jqwik.api.Arbitrary<T> self,
                                                      java.lang.Class<? extends java.lang.Throwable> exceptionType)
        Specified by:
        ignoreException in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • dontShrink

        public <T> net.jqwik.api.Arbitrary<T> dontShrink​(net.jqwik.api.Arbitrary<T> self)
        Specified by:
        dontShrink in class net.jqwik.api.Arbitrary.ArbitraryFacade

      • configureEdgeCases

        public <T> net.jqwik.api.Arbitrary<T> configureEdgeCases​(net.jqwik.api.Arbitrary<T> self,
                                                         java.util.function.Consumer<net.jqwik.api.EdgeCases.Config<T>> configurator)
        Specified by:
        configureEdgeCases in class net.jqwik.api.Arbitrary.ArbitraryFacade