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

      • noConfig

        static <T> java.util.function.Consumer<EdgeCases.Config<T>> noConfig()
      • 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 default edge cases for which filter(Predicate) returns true
        Parameters:
        filter - A predicate
        Returns:
        same configuration instance
      • add

        EdgeCases.Config<T> add​(T... edgeCases)
        Add one or more unshrinkable additional values as edge cases.

        Some arbitraries may allow those values to be outside the value range generated by this arbitrary; this is mainly due to implementation issues. In general you should not add "forbidden" values since it will weaken the semantics of built-in constraints.

        Parameters:
        edgeCases - The edge cases to add to default edge cases.
        Returns:
        same configuration instance
      • includeOnly

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