Package net.jqwik.api

Enum Class EdgeCasesMode

java.lang.Object
java.lang.Enum<EdgeCasesMode>
net.jqwik.api.EdgeCasesMode
All Implemented Interfaces:
Serializable, Comparable<EdgeCasesMode>, Constable

@API(status=MAINTAINED, since="1.8.0") public enum EdgeCasesMode extends Enum<EdgeCasesMode>
The edge-cases mode determines if and when combined edge-cases of all parameters will be explicitly generated. It can be set in Property.edgeCases() for any property method.

If it is not set explicitly mode MIXIN will be used unless the property has only a single parameter. Then NONE applies.

See Also:
  • Enum Constant Details

    • FIRST

      public static final EdgeCasesMode FIRST
      Generate edge cases first.
    • MIXIN

      public static final EdgeCasesMode MIXIN
      Mix edge cases into random generation.
    • NONE

      public static final EdgeCasesMode NONE
      Do not _explicitly_ generate edge cases. They might be generated randomly though.
    • NOT_SET

      @API(status=INTERNAL) public static final EdgeCasesMode NOT_SET
  • Method Details

    • values

      public static EdgeCasesMode[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared
    • valueOf

      public static EdgeCasesMode valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null
    • generateFirst

      @API(status=INTERNAL) public boolean generateFirst()
    • mixIn

      @API(status=INTERNAL) public boolean mixIn()
    • activated

      @API(status=INTERNAL) public boolean activated()