Package net.jqwik.api

Enum-Klasse AfterFailureMode

java.lang.Object

java.lang.Enum<AfterFailureMode>

net.jqwik.api.AfterFailureMode

Alle implementierten Schnittstellen:

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.

Siehe auch:

• Property

Verschachtelte Klassen - Übersicht

Von Klasse geerbte verschachtelte Klassen/Schnittstellen java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum-Konstanten - Übersicht

Enum-Konstanten

Enum-Konstante	Beschreibung
NOT_SET
PREVIOUS_SEED	Use the previous random seed that already detected a failure.
RANDOM_SEED	Use new random seed.
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.
SAMPLE_ONLY	Run the property with just the previous falsified and shrunk sample.

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static AfterFailureMode	valueOf(String name)	Gibt die Enum-Konstante dieser Klasse mit dem angegebenen Namen zurück.
static AfterFailureMode[]	values()	Gibt ein Array mit den Konstanten dieser Enum-Klasse in der Reihenfolge ihrer Deklaration zurück.

Von Klasse geerbte Methoden java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Von Klasse geerbte Methoden java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum-Konstanten - 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

Methodendetails

values

public static AfterFailureMode[] values()

Gibt ein Array mit den Konstanten dieser Enum-Klasse in der Reihenfolge ihrer Deklaration zurück.

Gibt zurück:

ein Array mit den Konstanten dieser Enum-Klasse in der Reihenfolge ihrer Deklaration

valueOf

public static AfterFailureMode valueOf(String name)

Gibt die Enum-Konstante dieser Klasse mit dem angegebenen Namen zurück. Die Zeichenfolge muss exakt mit einer ID übereinstimmen, mit der eine Enum-Konstante in dieser Klasse deklariert wird. (Zusätzliche Leerzeichen sind nicht zulässig.)

Parameter:

name - Name der zurückzugebenden Enumerationskonstante.

Gibt zurück:

Enumerationskonstante mit dem angegebenen Namen

Löst aus:

IllegalArgumentException - wenn diese Enum-Klasse keine Konstante mit dem angegebenen Namen enthält

NullPointerException - wenn das Argument nicht angegeben wird