Package net.jqwik.api

Enum Class AfterFailureMode

java.lang.Object
java.lang.Enum<AfterFailureMode>
net.jqwik.api.AfterFailureMode
All Implemented Interfaces:
Serializable, Comparable<AfterFailureMode>, Constable
@API(status=MAINTAINED, since="1.0") public enum AfterFailureMode extends Enum<AfterFailureMode>
The after-failure mode determines how a property behaves after it has been falsified. It can be set in Property.afterFailure() for any property method; default is PREVIOUS_SEED.
See Also:

  • Enum Constant Details

    • RANDOM_SEED

      public static final AfterFailureMode RANDOM_SEED
      Use new random seed.

    • PREVIOUS_SEED

      public static final AfterFailureMode PREVIOUS_SEED
      Use the previous random seed that already detected a failure.

    • SAMPLE_ONLY

      public static final AfterFailureMode SAMPLE_ONLY
      Run the property with just the previous falsified and shrunk sample. Only works if sample data could be serialized. Will use previous seed otherwise.

    • SAMPLE_FIRST

      public static final AfterFailureMode SAMPLE_FIRST
      Run the property with just the previous falsified and shrunk sample first, if that succeeds run property default behaviour, i.e. data-driven or random seed. Only works if sample data could be serialized. Will use previous seed otherwise.

    • NOT_SET

      @API(status=INTERNAL) public static final AfterFailureMode NOT_SET

  • Method Details

    • values

      public static AfterFailureMode[] 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 AfterFailureMode 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