Package net.jqwik.api

Enum-Klasse ShrinkingMode

java.lang.Object

java.lang.Enum<ShrinkingMode>

net.jqwik.api.ShrinkingMode

Alle implementierten Schnittstellen:

Serializable, Comparable<ShrinkingMode>, Constable

@API(status=MAINTAINED,
     since="1.0")
public enum ShrinkingMode
extends Enum<ShrinkingMode>

The shrinking mode defines the shrinking behaviour of a property. It can be set in Property.shrinking() for any property method; default is BOUNDED.

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
BOUNDED	Shrinking is tried to a depth of 1000 steps maximum per value.
FULL	Shrinking continues until no smaller value can be found that also falsifies the property.
NOT_SET
OFF	No shrinking for falsified values.

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static ShrinkingMode	valueOf(String name)	Gibt die Enum-Konstante dieser Klasse mit dem angegebenen Namen zurück.
static ShrinkingMode[]	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

OFF

public static final ShrinkingMode OFF

No shrinking for falsified values.

BOUNDED

public static final ShrinkingMode BOUNDED

Shrinking is tried to a depth of 1000 steps maximum per value. If shrinking has not finished by then, the best found value is taken and bounded shrinking is reported through JUnit's reporting mechanism.

FULL

public static final ShrinkingMode FULL

Shrinking continues until no smaller value can be found that also falsifies the property. This might take very long or not end at all in rare cases.

NOT_SET

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

Methodendetails

values

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