Package net.jqwik.engine.properties.arbitraries

Class EdgeCasesSupport

java.lang.Object
net.jqwik.engine.properties.arbitraries.EdgeCasesSupport
public class EdgeCasesSupport extends Object

  • Constructor Summary

    Constructors
    Constructor
    Description
    EdgeCasesSupport()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static <T> net.jqwik.api.EdgeCases<T>
    choose(List<T> values, int maxEdgeCases)
     
    static <T> net.jqwik.api.EdgeCases<T>
    combine(List<net.jqwik.api.Arbitrary<Object>> arbitraries, Function<List<Object>,T> combineFunction, int maxEdgeCases)
     
    static <T> net.jqwik.api.EdgeCases<T>
    concat(List<net.jqwik.api.EdgeCases<T>> edgeCases, int maxEdgeCases)
     
    static <T> net.jqwik.api.EdgeCases<T>
    concatFrom(List<net.jqwik.api.Arbitrary<T>> arbitraries, int maxEdgeCases)
     
    static <T> net.jqwik.api.EdgeCases<T>
    dontShrink(net.jqwik.api.EdgeCases<T> self)
     
    static <T> net.jqwik.api.EdgeCases<T>
    filter(net.jqwik.api.EdgeCases<T> self, Predicate<T> filterPredicate)
     
    static <T, U> net.jqwik.api.EdgeCases<U>
    flatMapArbitrary(net.jqwik.api.EdgeCases<T> self, Function<T,net.jqwik.api.Arbitrary<U>> mapper, int maxEdgeCases)
     
    static <T> net.jqwik.api.EdgeCases<T>
    fromShrinkables(List<net.jqwik.api.Shrinkable<T>> shrinkables)
     
    static <T> net.jqwik.api.EdgeCases<T>
    fromSuppliers(List<Supplier<net.jqwik.api.Shrinkable<T>>> suppliers)
     
    static <T> net.jqwik.api.EdgeCases<T>
    ignoreException(net.jqwik.api.EdgeCases<T> self, Class<? extends Throwable> exceptionType)
     
    static <T, U> net.jqwik.api.EdgeCases<U>
    map(net.jqwik.api.EdgeCases<T> self, Function<T,U> mapper)
     
    static <T, U> net.jqwik.api.EdgeCases<U>
    mapShrinkable(net.jqwik.api.EdgeCases<T> self, Function<net.jqwik.api.Shrinkable<T>,net.jqwik.api.Shrinkable<U>> mapper)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • EdgeCasesSupport

      public EdgeCasesSupport()

  • Method Details

    • fromSuppliers

      public static <T> net.jqwik.api.EdgeCases<T> fromSuppliers(List<Supplier<net.jqwik.api.Shrinkable<T>>> suppliers)

    • choose

      public static <T> net.jqwik.api.EdgeCases<T> choose(List<T> values, int maxEdgeCases)

    • concatFrom

      public static <T> net.jqwik.api.EdgeCases<T> concatFrom(List<net.jqwik.api.Arbitrary<T>> arbitraries, int maxEdgeCases)

    • concat

      public static <T> net.jqwik.api.EdgeCases<T> concat(List<net.jqwik.api.EdgeCases<T>> edgeCases, int maxEdgeCases)

    • fromShrinkables

      public static <T> net.jqwik.api.EdgeCases<T> fromShrinkables(List<net.jqwik.api.Shrinkable<T>> shrinkables)

    • map

      public static <T, U> net.jqwik.api.EdgeCases<U> map(net.jqwik.api.EdgeCases<T> self, Function<T,U> mapper)

    • mapShrinkable

      public static <T, U> net.jqwik.api.EdgeCases<U> mapShrinkable(net.jqwik.api.EdgeCases<T> self, Function<net.jqwik.api.Shrinkable<T>,net.jqwik.api.Shrinkable<U>> mapper)

    • filter

      public static <T> net.jqwik.api.EdgeCases<T> filter(net.jqwik.api.EdgeCases<T> self, Predicate<T> filterPredicate)

    • ignoreException

      public static <T> net.jqwik.api.EdgeCases<T> ignoreException(net.jqwik.api.EdgeCases<T> self, Class<? extends Throwable> exceptionType)

    • dontShrink

      public static <T> net.jqwik.api.EdgeCases<T> dontShrink(net.jqwik.api.EdgeCases<T> self)

    • flatMapArbitrary

      public static <T, U> net.jqwik.api.EdgeCases<U> flatMapArbitrary(net.jqwik.api.EdgeCases<T> self, Function<T,net.jqwik.api.Arbitrary<U>> mapper, int maxEdgeCases)

    • combine

      public static <T> net.jqwik.api.EdgeCases<T> combine(List<net.jqwik.api.Arbitrary<Object>> arbitraries, Function<List<Object>,T> combineFunction, int maxEdgeCases)