Package net.jqwik.engine.facades

Class ArbitrariesFacadeImpl

  • public class ArbitrariesFacadeImpl
extends net.jqwik.api.Arbitraries.ArbitrariesFacade
    Is loaded through reflection in api module

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.arbitraries.BigDecimalArbitrary bigDecimals()  
      net.jqwik.api.arbitraries.BigIntegerArbitrary bigIntegers()  
      net.jqwik.api.arbitraries.ByteArbitrary bytes()  
      net.jqwik.api.arbitraries.CharacterArbitrary chars()  
      <T> net.jqwik.api.Arbitrary<T> defaultFor​(java.lang.Class<T> type, java.lang.Class<?>[] typeParameters)  
      <T> net.jqwik.api.Arbitrary<T> defaultFor​(net.jqwik.api.providers.TypeUsage typeUsage)  
      net.jqwik.api.arbitraries.DoubleArbitrary doubles()  
      net.jqwik.api.EdgeCases<java.lang.Character> edgeCasesChoose​(char[] characters)  
      <T> net.jqwik.api.EdgeCases<T> edgeCasesChoose​(java.util.List<T> values)  
      net.jqwik.api.arbitraries.EmailArbitrary emails()  
      <K,​V>
      net.jqwik.api.Arbitrary<java.util.Map.Entry<K,​V>>      		 entries​(net.jqwik.api.Arbitrary<K> keysArbitrary, net.jqwik.api.Arbitrary<V> valuesArbitrary)  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>> exhaustiveChoose​(char[] values, long maxNumberOfSamples)  
      <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveChoose​(java.util.List<T> values, long maxNumberOfSamples)  
      <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveCreate​(java.util.function.Supplier<T> supplier, long maxNumberOfSamples)  
      <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>> exhaustiveShuffle​(java.util.List<T> values, long maxNumberOfSamples)  
      net.jqwik.api.arbitraries.FloatArbitrary floats()  
      <T> net.jqwik.api.arbitraries.TypeArbitrary<T> forType​(java.lang.Class<T> targetType)  
      <T> net.jqwik.api.Arbitrary<T> frequencyOf​(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,​net.jqwik.api.Arbitrary<T>>> frequencies)  
      net.jqwik.api.arbitraries.IntegerArbitrary integers()  
      <T> net.jqwik.api.Arbitrary<T> lazy​(java.util.function.Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)  
      <T> net.jqwik.api.Arbitrary<T> lazyOf​(java.util.List<java.util.function.Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)  
      net.jqwik.api.arbitraries.LongArbitrary longs()  
      <K,​V>
      net.jqwik.api.arbitraries.MapArbitrary<K,​V>      		 maps​(net.jqwik.api.Arbitrary<K> keysArbitrary, net.jqwik.api.Arbitrary<V> valuesArbitrary)  
      <T> net.jqwik.api.Arbitrary<T> oneOf​(java.util.List<net.jqwik.api.Arbitrary<T>> all)  
      net.jqwik.api.RandomGenerator<java.lang.Character> randomChoose​(char[] values)  
      <T> net.jqwik.api.RandomGenerator<T> randomChoose​(java.util.List<T> values)  
      <T> net.jqwik.api.RandomGenerator<T> randomFrequency​(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,​T>> frequencies)  
      <T> net.jqwik.api.RandomGenerator<T> randomSamples​(T[] samples)  
      <T> net.jqwik.api.RandomGenerator<java.util.List<T>> randomShuffle​(java.util.List<T> values)  
      <T> net.jqwik.api.Arbitrary<T> recursive​(java.util.function.Supplier<net.jqwik.api.Arbitrary<T>> base, java.util.function.Function<net.jqwik.api.Arbitrary<T>,​net.jqwik.api.Arbitrary<T>> recur, int depth)  
      <M> net.jqwik.api.stateful.ActionSequenceArbitrary<M> sequences​(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)  
      net.jqwik.api.arbitraries.ShortArbitrary shorts()  
      net.jqwik.api.arbitraries.StringArbitrary strings()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ArbitrariesFacadeImpl

        public ArbitrariesFacadeImpl()

    • Method Detail

      • randomChoose

        public <T> net.jqwik.api.RandomGenerator<T> randomChoose​(java.util.List<T> values)
        Specified by:
        randomChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • edgeCasesChoose

        public <T> net.jqwik.api.EdgeCases<T> edgeCasesChoose​(java.util.List<T> values)
        Specified by:
        edgeCasesChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • edgeCasesChoose

        public net.jqwik.api.EdgeCases<java.lang.Character> edgeCasesChoose​(char[] characters)
        Specified by:
        edgeCasesChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • exhaustiveChoose

        public <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveChoose​(java.util.List<T> values,
                                                                                     long maxNumberOfSamples)
        Specified by:
        exhaustiveChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • randomChoose

        public net.jqwik.api.RandomGenerator<java.lang.Character> randomChoose​(char[] values)
        Specified by:
        randomChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • exhaustiveChoose

        public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>> exhaustiveChoose​(char[] values,
                                                                                                   long maxNumberOfSamples)
        Specified by:
        exhaustiveChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • exhaustiveCreate

        public <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveCreate​(java.util.function.Supplier<T> supplier,
                                                                                     long maxNumberOfSamples)
        Specified by:
        exhaustiveCreate in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • oneOf

        public <T> net.jqwik.api.Arbitrary<T> oneOf​(java.util.List<net.jqwik.api.Arbitrary<T>> all)
        Specified by:
        oneOf in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • randomFrequency

        public <T> net.jqwik.api.RandomGenerator<T> randomFrequency​(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,​T>> frequencies)
        Specified by:
        randomFrequency in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • randomSamples

        public <T> net.jqwik.api.RandomGenerator<T> randomSamples​(T[] samples)
        Specified by:
        randomSamples in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • randomShuffle

        public <T> net.jqwik.api.RandomGenerator<java.util.List<T>> randomShuffle​(java.util.List<T> values)
        Specified by:
        randomShuffle in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • exhaustiveShuffle

        public <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>> exhaustiveShuffle​(java.util.List<T> values,
                                                                                                      long maxNumberOfSamples)
        Specified by:
        exhaustiveShuffle in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • sequences

        public <M> net.jqwik.api.stateful.ActionSequenceArbitrary<M> sequences​(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)
        Specified by:
        sequences in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • frequencyOf

        public <T> net.jqwik.api.Arbitrary<T> frequencyOf​(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,​net.jqwik.api.Arbitrary<T>>> frequencies)
        Specified by:
        frequencyOf in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • integers

        public net.jqwik.api.arbitraries.IntegerArbitrary integers()
        Specified by:
        integers in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • longs

        public net.jqwik.api.arbitraries.LongArbitrary longs()
        Specified by:
        longs in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • bigIntegers

        public net.jqwik.api.arbitraries.BigIntegerArbitrary bigIntegers()
        Specified by:
        bigIntegers in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • floats

        public net.jqwik.api.arbitraries.FloatArbitrary floats()
        Specified by:
        floats in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • bigDecimals

        public net.jqwik.api.arbitraries.BigDecimalArbitrary bigDecimals()
        Specified by:
        bigDecimals in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • doubles

        public net.jqwik.api.arbitraries.DoubleArbitrary doubles()
        Specified by:
        doubles in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • bytes

        public net.jqwik.api.arbitraries.ByteArbitrary bytes()
        Specified by:
        bytes in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • shorts

        public net.jqwik.api.arbitraries.ShortArbitrary shorts()
        Specified by:
        shorts in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • strings

        public net.jqwik.api.arbitraries.StringArbitrary strings()
        Specified by:
        strings in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • emails

        public net.jqwik.api.arbitraries.EmailArbitrary emails()
        Specified by:
        emails in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • chars

        public net.jqwik.api.arbitraries.CharacterArbitrary chars()
        Specified by:
        chars in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • lazy

        public <T> net.jqwik.api.Arbitrary<T> lazy​(java.util.function.Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)
        Specified by:
        lazy in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • lazyOf

        public <T> net.jqwik.api.Arbitrary<T> lazyOf​(java.util.List<java.util.function.Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)
        Specified by:
        lazyOf in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • defaultFor

        public <T> net.jqwik.api.Arbitrary<T> defaultFor​(java.lang.Class<T> type,
                                                 java.lang.Class<?>[] typeParameters)
        Specified by:
        defaultFor in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • defaultFor

        public <T> net.jqwik.api.Arbitrary<T> defaultFor​(net.jqwik.api.providers.TypeUsage typeUsage)
        Specified by:
        defaultFor in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • forType

        public <T> net.jqwik.api.arbitraries.TypeArbitrary<T> forType​(java.lang.Class<T> targetType)
        Specified by:
        forType in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • maps

        public <K,​V> net.jqwik.api.arbitraries.MapArbitrary<K,​V> maps​(net.jqwik.api.Arbitrary<K> keysArbitrary,
                                                                          net.jqwik.api.Arbitrary<V> valuesArbitrary)
        Specified by:
        maps in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • entries

        public <K,​V> net.jqwik.api.Arbitrary<java.util.Map.Entry<K,​V>> entries​(net.jqwik.api.Arbitrary<K> keysArbitrary,
                                                                                   net.jqwik.api.Arbitrary<V> valuesArbitrary)
        Specified by:
        entries in class net.jqwik.api.Arbitraries.ArbitrariesFacade

      • recursive

        public <T> net.jqwik.api.Arbitrary<T> recursive​(java.util.function.Supplier<net.jqwik.api.Arbitrary<T>> base,
                                                java.util.function.Function<net.jqwik.api.Arbitrary<T>,​net.jqwik.api.Arbitrary<T>> recur,
                                                int depth)
        Specified by:
        recursive in class net.jqwik.api.Arbitraries.ArbitrariesFacade