Package net.jqwik.engine.properties.arbitraries

Class GenericEdgeCasesConfiguration<T>

java.lang.Object
net.jqwik.engine.properties.arbitraries.GenericEdgeCasesConfiguration<T>
All Implemented Interfaces:
net.jqwik.api.EdgeCases.Config<T>
public class GenericEdgeCasesConfiguration<T> extends Object implements net.jqwik.api.EdgeCases.Config<T>

  • Constructor Details

    • GenericEdgeCasesConfiguration

      public GenericEdgeCasesConfiguration()

  • Method Details

    • none

      public net.jqwik.api.EdgeCases.Config<T> none()
      Specified by:
      none in interface net.jqwik.api.EdgeCases.Config<T>

    • filter

      public net.jqwik.api.EdgeCases.Config<T> filter(Predicate<T> filter)
      Specified by:
      filter in interface net.jqwik.api.EdgeCases.Config<T>

    • add

      @SafeVarargs public final net.jqwik.api.EdgeCases.Config<T> add(T... edgeCases)
      Specified by:
      add in interface net.jqwik.api.EdgeCases.Config<T>

    • checkEdgeCaseIsValid

      protected void checkEdgeCaseIsValid(T edgeCase)

    • includeOnly

      @SafeVarargs public final net.jqwik.api.EdgeCases.Config<T> includeOnly(T... includedValues)
      Specified by:
      includeOnly in interface net.jqwik.api.EdgeCases.Config<T>

    • configure

      public net.jqwik.api.EdgeCases<T> configure(Consumer<net.jqwik.api.EdgeCases.Config<T>> configurator, Function<Integer,net.jqwik.api.EdgeCases<T>> edgeCasesCreator, int maxEdgeCases)

    • createShrinkable

      protected net.jqwik.api.Shrinkable<T> createShrinkable(T additionalEdgeCase)