Package net.jqwik.engine.facades

Klasse ArbitraryFacadeImpl

java.lang.Object
net.jqwik.api.Arbitrary.ArbitraryFacade
net.jqwik.engine.facades.ArbitraryFacadeImpl
public class ArbitraryFacadeImpl extends net.jqwik.api.Arbitrary.ArbitraryFacade
Is loaded through reflection in api module

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    ArbitraryFacadeImpl()
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    <T extends @Nullable Object, A>
    net.jqwik.api.arbitraries.ArrayArbitrary<T,A>
    array(net.jqwik.api.Arbitrary<T> elementArbitrary, Class<A> arrayClass)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<List<T>>
    collect(net.jqwik.api.Arbitrary<T> self, Predicate<? super List<? extends T>> until)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<T>
    configureEdgeCases(net.jqwik.api.Arbitrary<T> self, Consumer<? super net.jqwik.api.EdgeCases.Config<T>> configurator)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<T>
    dontShrink(net.jqwik.api.Arbitrary<T> self)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<T>
    filter(net.jqwik.api.Arbitrary<T> self, Predicate<? super T> filterPredicate, int maxMisses)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<T>
    fixGenSize(net.jqwik.api.Arbitrary<T> self, int genSize)
     
    <T extends @Nullable Object, U extends @Nullable Object>
    net.jqwik.api.Arbitrary<U>
    flatMap(net.jqwik.api.Arbitrary<T> self, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<T>
    ignoreExceptions(net.jqwik.api.Arbitrary<T> self, int maxThrows, Class<? extends Throwable>[] exceptionTypes)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<@Nullable T>
    injectNull(net.jqwik.api.Arbitrary<T> self, double nullProbability)
     
    <T extends @Nullable Object>
    net.jqwik.api.arbitraries.IteratorArbitrary<T>
    iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T extends @Nullable Object>
    net.jqwik.api.arbitraries.ListArbitrary<T>
    list(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T extends @Nullable Object, U extends @Nullable Object>
    net.jqwik.api.Arbitrary<U>
    map(net.jqwik.api.Arbitrary<T> self, Function<? super T,? extends U> mapper)
     
    <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    memoizedGenerator(net.jqwik.api.Arbitrary<T> self, int genSize, boolean withEdgeCases)
     
    <T extends @Nullable Object>
    Stream<T>
    sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)
     
    <T extends @Nullable Object>
    net.jqwik.api.arbitraries.SetArbitrary<T>
    set(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T extends @Nullable Object>
    net.jqwik.api.arbitraries.StreamArbitrary<T>
    stream(net.jqwik.api.Arbitrary<T> elementArbitrary)
     
    <T extends @Nullable Object>
    net.jqwik.api.Arbitrary<T>
    withoutEdgeCases(net.jqwik.api.Arbitrary<T> self)
     

    Von Klasse geerbte Methoden java.lang.Object

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

  • Konstruktordetails

    • ArbitraryFacadeImpl

      public ArbitraryFacadeImpl()

  • Methodendetails

    • list

      public <T extends @Nullable Object> net.jqwik.api.arbitraries.ListArbitrary<T> list(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Angegeben von:
      list in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • set

      public <T extends @Nullable Object> net.jqwik.api.arbitraries.SetArbitrary<T> set(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Angegeben von:
      set in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • stream

      public <T extends @Nullable Object> net.jqwik.api.arbitraries.StreamArbitrary<T> stream(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Angegeben von:
      stream in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • iterator

      public <T extends @Nullable Object> net.jqwik.api.arbitraries.IteratorArbitrary<T> iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)
      Angegeben von:
      iterator in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • array

      public <T extends @Nullable Object, A> net.jqwik.api.arbitraries.ArrayArbitrary<T,A> array(net.jqwik.api.Arbitrary<T> elementArbitrary, Class<A> arrayClass)
      Angegeben von:
      array in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • filter

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<T> filter(net.jqwik.api.Arbitrary<T> self, Predicate<? super T> filterPredicate, int maxMisses)
      Angegeben von:
      filter in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • map

      public <T extends @Nullable Object, U extends @Nullable Object> net.jqwik.api.Arbitrary<U> map(net.jqwik.api.Arbitrary<T> self, Function<? super T,? extends U> mapper)
      Angegeben von:
      map in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • flatMap

      public <T extends @Nullable Object, U extends @Nullable Object> net.jqwik.api.Arbitrary<U> flatMap(net.jqwik.api.Arbitrary<T> self, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper)
      Angegeben von:
      flatMap in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • sampleStream

      public <T extends @Nullable Object> Stream<T> sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)
      Angegeben von:
      sampleStream in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • injectNull

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<@Nullable T> injectNull(net.jqwik.api.Arbitrary<T> self, double nullProbability)
      Angegeben von:
      injectNull in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • ignoreExceptions

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<T> ignoreExceptions(net.jqwik.api.Arbitrary<T> self, int maxThrows, Class<? extends Throwable>[] exceptionTypes)
      Angegeben von:
      ignoreExceptions in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • dontShrink

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<T> dontShrink(net.jqwik.api.Arbitrary<T> self)
      Angegeben von:
      dontShrink in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • configureEdgeCases

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<T> configureEdgeCases(net.jqwik.api.Arbitrary<T> self, Consumer<? super net.jqwik.api.EdgeCases.Config<T>> configurator)
      Angegeben von:
      configureEdgeCases in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • withoutEdgeCases

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<T> withoutEdgeCases(net.jqwik.api.Arbitrary<T> self)
      Angegeben von:
      withoutEdgeCases in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • fixGenSize

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<T> fixGenSize(net.jqwik.api.Arbitrary<T> self, int genSize)
      Angegeben von:
      fixGenSize in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • collect

      public <T extends @Nullable Object> net.jqwik.api.Arbitrary<List<T>> collect(net.jqwik.api.Arbitrary<T> self, Predicate<? super List<? extends T>> until)
      Angegeben von:
      collect in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade

    • memoizedGenerator

      public <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> memoizedGenerator(net.jqwik.api.Arbitrary<T> self, int genSize, boolean withEdgeCases)
      Angegeben von:
      memoizedGenerator in Klasse net.jqwik.api.Arbitrary.ArbitraryFacade