Package net.jqwik.engine.facades

Klasse ExhaustiveGeneratorFacadeImpl

java.lang.Object
net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
net.jqwik.engine.facades.ExhaustiveGeneratorFacadeImpl
public class ExhaustiveGeneratorFacadeImpl extends net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
Is loaded through reflection in api module

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    ExhaustiveGeneratorFacadeImpl()
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    <T extends @Nullable Object>
    net.jqwik.api.ExhaustiveGenerator<T>
    filter(net.jqwik.api.ExhaustiveGenerator<T> self, Predicate<? super T> filterPredicate, int maxMisses)
     
    <T extends @Nullable Object>
    net.jqwik.api.ExhaustiveGenerator<T>
    ignoreExceptions(net.jqwik.api.ExhaustiveGenerator<T> self, Class<? extends Throwable>[] exceptionTypes, int maxThrows)
     
    <T extends @Nullable Object>
    net.jqwik.api.ExhaustiveGenerator<@Nullable T>
    injectNull(net.jqwik.api.ExhaustiveGenerator<T> self)
     
    <T extends @Nullable Object, U extends @Nullable Object>
    net.jqwik.api.ExhaustiveGenerator<U>
    map(net.jqwik.api.ExhaustiveGenerator<T> self, Function<? super T,? extends U> mapper)
     

    Von Klasse geerbte Methoden java.lang.Object

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

  • Konstruktordetails

    • ExhaustiveGeneratorFacadeImpl

      public ExhaustiveGeneratorFacadeImpl()

  • Methodendetails

    • map

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

    • filter

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

    • injectNull

      public <T extends @Nullable Object> net.jqwik.api.ExhaustiveGenerator<@Nullable T> injectNull(net.jqwik.api.ExhaustiveGenerator<T> self)
      Angegeben von:
      injectNull in Klasse net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

    • ignoreExceptions

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