Package net.jqwik.engine.facades

Class ArbitrariesFacadeImpl

java.lang.Object
net.jqwik.api.Arbitraries.ArbitrariesFacade
net.jqwik.engine.facades.ArbitrariesFacadeImpl
public class ArbitrariesFacadeImpl extends net.jqwik.api.Arbitraries.ArbitrariesFacade
Is loaded through reflection in api module

  • Constructor Summary

    Constructors
    Constructor
    Description
    ArbitrariesFacadeImpl()
     

  • Method Summary

    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>
    create(Supplier<T> supplier)
     
    <T> net.jqwik.api.Arbitrary<T>
    defaultFor(Class<T> type, Class<?>[] typeParameters)
     
    <T> net.jqwik.api.Arbitrary<T>
    defaultFor(net.jqwik.api.providers.TypeUsage typeUsage, Function<net.jqwik.api.providers.TypeUsage,net.jqwik.api.Arbitrary<Object>> noDefaultResolver)
     
    net.jqwik.api.arbitraries.DoubleArbitrary
    doubles()
     
    <K, V> net.jqwik.api.Arbitrary<Map.Entry<K,V>>
    entries(net.jqwik.api.Arbitrary<K> keysArbitrary, net.jqwik.api.Arbitrary<V> valuesArbitrary)
     
    net.jqwik.api.arbitraries.FloatArbitrary
    floats()
     
    <T> net.jqwik.api.arbitraries.TypeArbitrary<T>
    forType(Class<T> targetType)
     
    <T> net.jqwik.api.Arbitrary<T>
    frequency(List<net.jqwik.api.Tuple.Tuple2<Integer,T>> frequencies)
     
    <T> net.jqwik.api.Arbitrary<T>
    frequencyOf(List<net.jqwik.api.Tuple.Tuple2<Integer,net.jqwik.api.Arbitrary<T>>> frequencies)
     
    <T> net.jqwik.api.Arbitrary<T>
    fromGenerator(net.jqwik.api.RandomGenerator<T> generator)
     
    net.jqwik.api.arbitraries.IntegerArbitrary
    integers()
     
    <T> net.jqwik.api.Arbitrary<T>
    just(T value)
     
    <T> net.jqwik.api.Arbitrary<T>
    lazy(Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)
     
    <T> net.jqwik.api.Arbitrary<T>
    lazyOf(List<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)
     
    net.jqwik.api.Arbitrary<Character>
    of(char[] chars)
     
    <T> net.jqwik.api.Arbitrary<T>
    of(Collection<T> values)
     
    <T> net.jqwik.api.Arbitrary<T>
    oneOf(Collection<net.jqwik.api.Arbitrary<? extends T>> choices)
     
    <T> net.jqwik.api.Arbitrary<T>
    recursive(Supplier<net.jqwik.api.Arbitrary<T>> base, Function<net.jqwik.api.Arbitrary<T>,net.jqwik.api.Arbitrary<T>> recur, int minDepth, int maxDepth)
     
    <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()
     
    <T> net.jqwik.api.Arbitrary<List<T>>
    shuffle(List<T> values)
     
    net.jqwik.api.arbitraries.StringArbitrary
    strings()
     
    <T> net.jqwik.api.arbitraries.TraverseArbitrary<T>
    traverse(Class<T> targetType, net.jqwik.api.arbitraries.TraverseArbitrary.Traverser traverser)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ArbitrariesFacadeImpl

      public ArbitrariesFacadeImpl()

  • Method Details

    • just

      public <T> net.jqwik.api.Arbitrary<T> just(T value)
      Specified by:
      just in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • oneOf

      public <T> net.jqwik.api.Arbitrary<T> oneOf(Collection<net.jqwik.api.Arbitrary<? extends T>> choices)
      Specified by:
      oneOf 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(List<net.jqwik.api.Tuple.Tuple2<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

    • 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(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(List<Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)
      Specified by:
      lazyOf in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • traverse

      public <T> net.jqwik.api.arbitraries.TraverseArbitrary<T> traverse(Class<T> targetType, net.jqwik.api.arbitraries.TraverseArbitrary.Traverser traverser)
      Specified by:
      traverse in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • of

      public net.jqwik.api.Arbitrary<Character> of(char[] chars)
      Specified by:
      of in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • of

      public <T> net.jqwik.api.Arbitrary<T> of(Collection<T> values)
      Specified by:
      of in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • create

      public <T> net.jqwik.api.Arbitrary<T> create(Supplier<T> supplier)
      Specified by:
      create in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • shuffle

      public <T> net.jqwik.api.Arbitrary<List<T>> shuffle(List<T> values)
      Specified by:
      shuffle in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • fromGenerator

      public <T> net.jqwik.api.Arbitrary<T> fromGenerator(net.jqwik.api.RandomGenerator<T> generator)
      Specified by:
      fromGenerator in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • frequency

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

    • defaultFor

      public <T> net.jqwik.api.Arbitrary<T> defaultFor(Class<T> type, 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, Function<net.jqwik.api.providers.TypeUsage,net.jqwik.api.Arbitrary<Object>> noDefaultResolver)
      Specified by:
      defaultFor in class net.jqwik.api.Arbitraries.ArbitrariesFacade

    • forType

      public <T> net.jqwik.api.arbitraries.TypeArbitrary<T> forType(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<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(Supplier<net.jqwik.api.Arbitrary<T>> base, Function<net.jqwik.api.Arbitrary<T>,net.jqwik.api.Arbitrary<T>> recur, int minDepth, int maxDepth)
      Specified by:
      recursive in class net.jqwik.api.Arbitraries.ArbitrariesFacade