net.jqwik.api.AfterFailureMode Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-api Show documentation

Jqwik API module

There is a newer version: 1.9.2

package net.jqwik.api;

import org.apiguardian.api.*;

import static org.apiguardian.api.API.Status.*;

/**
 * The after-failure mode determines how a property behaves after it has been falsified.
 * It can be set in {@linkplain Property#afterFailure()} for any property method; default is {@linkplain #PREVIOUS_SEED}.
 *
 * @see Property
 */
@API(status = MAINTAINED, since = "1.0")
public enum AfterFailureMode {

	/**
	 * Use new random seed.
	 */
	RANDOM_SEED,

	/**
	 * Use the previous random seed that already detected a failure.
	 */
	PREVIOUS_SEED,

	/**
	 * 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_ONLY,

	/**
	 * 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.
	 */
	SAMPLE_FIRST,

	@API(status = INTERNAL)
	NOT_SET

}