Package net.jqwik.engine.facades

Class ExhaustiveGeneratorFacadeImpl

  • public class ExhaustiveGeneratorFacadeImpl
extends net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
    Is loaded through reflection in api module

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <T> net.jqwik.api.ExhaustiveGenerator<T> filter​(net.jqwik.api.ExhaustiveGenerator<T> self, java.util.function.Predicate<T> filterPredicate)  
      <T> net.jqwik.api.ExhaustiveGenerator<T> ignoreException​(net.jqwik.api.ExhaustiveGenerator<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)  
      <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, java.util.function.Function<T,​U> mapper)  
      <T> net.jqwik.api.ExhaustiveGenerator<T> unique​(net.jqwik.api.ExhaustiveGenerator<T> self)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ExhaustiveGeneratorFacadeImpl

        public ExhaustiveGeneratorFacadeImpl()

    • Method Detail

      • map

        public <T,​U> net.jqwik.api.ExhaustiveGenerator<U> map​(net.jqwik.api.ExhaustiveGenerator<T> self,
                                                            java.util.function.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,
                                                       java.util.function.Predicate<T> filterPredicate)
        Specified by:
        filter in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

      • unique

        public <T> net.jqwik.api.ExhaustiveGenerator<T> unique​(net.jqwik.api.ExhaustiveGenerator<T> self)
        Specified by:
        unique 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

      • ignoreException

        public <T> net.jqwik.api.ExhaustiveGenerator<T> ignoreException​(net.jqwik.api.ExhaustiveGenerator<T> self,
                                                                java.lang.Class<? extends java.lang.Throwable> exceptionType)
        Specified by:
        ignoreException in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade