Package net.jqwik.api

Interface EdgeCases.Config<T>

  • Enclosing interface:
    EdgeCases<T>

    @API(status=EXPERIMENTAL,
         since="1.3.9")
    public static interface EdgeCases.Config<T>
    • Method Detail

      • none

        EdgeCases.Config<T> none()
        Don't use any of the default edge cases
        Returns:
        same configuration instance
      • filter

        EdgeCases.Config<T> filter​(java.util.function.Predicate<T> filter)
        Only include edge cases for which filter(Predicate) returns true
        Parameters:
        filter - A predicate
        Returns:
        same configuration instance
      • add

        EdgeCases.Config<T> add​(T edgeCase)
        Add an unshrinkable additional value as edgeCase. This may even be outside the value range generated by this arbitrary.
        Parameters:
        edgeCase - The edge case to add to default edge cases.
        Returns:
        same configuration instance
      • includeOnly

        EdgeCases.Config<T> includeOnly​(T... includedValues)
        Include the values given if they are in the generated edge cases anyway
        Parameters:
        includedValues - The values to be included
        Returns:
        same configuration instance