Package net.jqwik.engine.facades

Class 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

  • Constructor Summary

    Constructors
    Constructor
    Description
    ExhaustiveGeneratorFacadeImpl()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> net.jqwik.api.ExhaustiveGenerator<T>
    filter(net.jqwik.api.ExhaustiveGenerator<T> self, Predicate<T> filterPredicate, int maxMisses)
     
    <T> net.jqwik.api.ExhaustiveGenerator<T>
    ignoreExceptions(net.jqwik.api.ExhaustiveGenerator<T> self, Class<? extends Throwable>[] exceptionTypes, int maxThrows)
     
    <T> net.jqwik.api.ExhaustiveGenerator<T>
    injectNull(net.jqwik.api.ExhaustiveGenerator<T> self)
     
    <T, U> net.jqwik.api.ExhaustiveGenerator<U>
    map(net.jqwik.api.ExhaustiveGenerator<T> self, Function<T,U> mapper)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ExhaustiveGeneratorFacadeImpl

      public ExhaustiveGeneratorFacadeImpl()

  • Method Details

    • map

      public <T, U> net.jqwik.api.ExhaustiveGenerator<U> map(net.jqwik.api.ExhaustiveGenerator<T> self, Function<T,U> mapper)
      Specified by:
      map in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

    • filter

      public <T> net.jqwik.api.ExhaustiveGenerator<T> filter(net.jqwik.api.ExhaustiveGenerator<T> self, Predicate<T> filterPredicate, int maxMisses)
      Specified by:
      filter in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

    • injectNull

      public <T> net.jqwik.api.ExhaustiveGenerator<T> injectNull(net.jqwik.api.ExhaustiveGenerator<T> self)
      Specified by:
      injectNull in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

    • ignoreExceptions

      public <T> net.jqwik.api.ExhaustiveGenerator<T> ignoreExceptions(net.jqwik.api.ExhaustiveGenerator<T> self, Class<? extends Throwable>[] exceptionTypes, int maxThrows)
      Specified by:
      ignoreExceptions in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade