Package net.jqwik.engine.facades

Class ShrinkableFacadeImpl

java.lang.Object
net.jqwik.api.Shrinkable.ShrinkableFacade
net.jqwik.engine.facades.ShrinkableFacadeImpl
public class ShrinkableFacadeImpl extends net.jqwik.api.Shrinkable.ShrinkableFacade
Is loaded through reflection in api module

  • Constructor Summary

    Constructors
    Constructor
    Description
    ShrinkableFacadeImpl()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> net.jqwik.api.Shrinkable<T>
    filter(net.jqwik.api.Shrinkable<T> self, Predicate<T> filter)
     
    <T, U> net.jqwik.api.Shrinkable<U>
    flatMap(net.jqwik.api.Shrinkable<T> self, Function<T,net.jqwik.api.Arbitrary<U>> flatMapper, int tries, long randomSeed)
     
    <T, U> net.jqwik.api.Shrinkable<U>
    map(net.jqwik.api.Shrinkable<T> self, Function<T,U> mapper)
     
    <T> net.jqwik.api.Shrinkable<T>
    unshrinkable(Supplier<T> valueSupplier, net.jqwik.api.ShrinkingDistance distance)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ShrinkableFacadeImpl

      public ShrinkableFacadeImpl()

  • Method Details

    • unshrinkable

      public <T> net.jqwik.api.Shrinkable<T> unshrinkable(Supplier<T> valueSupplier, net.jqwik.api.ShrinkingDistance distance)
      Specified by:
      unshrinkable in class net.jqwik.api.Shrinkable.ShrinkableFacade

    • map

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

    • filter

      public <T> net.jqwik.api.Shrinkable<T> filter(net.jqwik.api.Shrinkable<T> self, Predicate<T> filter)
      Specified by:
      filter in class net.jqwik.api.Shrinkable.ShrinkableFacade

    • flatMap

      public <T, U> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self, Function<T,net.jqwik.api.Arbitrary<U>> flatMapper, int tries, long randomSeed)
      Specified by:
      flatMap in class net.jqwik.api.Shrinkable.ShrinkableFacade