net.jqwik.api.FixedSeedMode 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 fixed seed mode determines how jqwik should behave if a property has an
 * explicit {@link Property#seed()} specified. It can be set in
 * {@linkplain Property#whenFixedSeed()} for any property method. It can be set
 * globally using the property {@code jqwik.seeds.whenfixed}.
 * 
 * This may be useful, for instance, to help prevent a build server from using
 * a fixed seed that may have been accidentally committed.
 * 
 * If it is not set explicitly mode {@linkplain #ALLOW} will be used.
 *
 * @see Property
 */
@API(status = EXPERIMENTAL, since = "1.4.0")
public enum FixedSeedMode {
	ALLOW,
	WARN,
	FAIL,

	@API(status = INTERNAL)
	NOT_SET;
}