Package net.jqwik.engine.facades

Klasse RandomGeneratorFacadeImpl

java.lang.Object
net.jqwik.api.RandomGenerator.RandomGeneratorFacade
net.jqwik.engine.facades.RandomGeneratorFacadeImpl
public class RandomGeneratorFacadeImpl extends net.jqwik.api.RandomGenerator.RandomGeneratorFacade
Is loaded through reflection in api module

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    RandomGeneratorFacadeImpl()
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<List<T>>
    collect(net.jqwik.api.RandomGenerator<T> self, Predicate<? super List<? extends T>> until)
     
    <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    filter(net.jqwik.api.RandomGenerator<T> self, Predicate<? super T> filterPredicate, int maxMisses)
     
    <T extends @Nullable Object, U extends @Nullable Object>
    net.jqwik.api.Shrinkable<U>
    flatMap(net.jqwik.api.Shrinkable<T> self, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper, int genSize, long nextLong, boolean withEmbeddedEdgeCases)
     
    <T extends @Nullable Object, U extends @Nullable Object>
    net.jqwik.api.Shrinkable<U>
    flatMap(net.jqwik.api.Shrinkable<T> self, Function<? super T,? extends net.jqwik.api.RandomGenerator<U>> mapper, long nextLong)
     
    <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    ignoreExceptions(net.jqwik.api.RandomGenerator<T> self, Class<? extends Throwable>[] exceptionTypes, int maxThrows)
     
    <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    injectDuplicates(net.jqwik.api.RandomGenerator<T> self, double duplicateProbability)
     
    <T extends @Nullable Object>
    net.jqwik.api.RandomGenerator<T>
    withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)
     

    Von Klasse geerbte Methoden java.lang.Object

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

  • Konstruktordetails

    • RandomGeneratorFacadeImpl

      public RandomGeneratorFacadeImpl()

  • Methodendetails

    • flatMap

      public <T extends @Nullable Object, U extends @Nullable Object> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self, Function<? super T,? extends net.jqwik.api.RandomGenerator<U>> mapper, long nextLong)
      Angegeben von:
      flatMap in Klasse net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • flatMap

      public <T extends @Nullable Object, U extends @Nullable Object> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper, int genSize, long nextLong, boolean withEmbeddedEdgeCases)
      Angegeben von:
      flatMap in Klasse net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • filter

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

    • withEdgeCases

      public <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)
      Angegeben von:
      withEdgeCases in Klasse net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • collect

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

    • injectDuplicates

      public <T extends @Nullable Object> net.jqwik.api.RandomGenerator<T> injectDuplicates(net.jqwik.api.RandomGenerator<T> self, double duplicateProbability)
      Angegeben von:
      injectDuplicates in Klasse net.jqwik.api.RandomGenerator.RandomGeneratorFacade

    • ignoreExceptions

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