Package net.jqwik.api

Enum-Klasse GenerationMode

java.lang.Object

java.lang.Enum<GenerationMode>

net.jqwik.api.GenerationMode

Alle implementierten Schnittstellen:

Serializable, Comparable<GenerationMode>, Constable

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

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

Siehe auch:

• Property
• FromData

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
AUTO	Let jqwik choose which generation mode it prefers: If all arbitraries provide exhaustive generators and if the multiplication of all maxCount() values is ≤ Property.tries() use EXHAUSTIVE If the property has a FromData annotation use DATA_DRIVEN In all other cases use RANDOMIZED
DATA_DRIVEN	Use data specified in FromData annotation
EXHAUSTIVE	Use exhaustive generation.
NOT_SET
RANDOMIZED	Use randomized value generation.

Methodenübersicht

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

RANDOMIZED

public static final GenerationMode RANDOMIZED

Use randomized value generation.

EXHAUSTIVE

public static final GenerationMode EXHAUSTIVE

Use exhaustive generation. Only possible if all used arbitraries can provide exhaustive generators.

DATA_DRIVEN

public static final GenerationMode DATA_DRIVEN

Use data specified in FromData annotation

AUTO

public static final GenerationMode AUTO

Let jqwik choose which generation mode it prefers:

• If all arbitraries provide exhaustive generators and if the multiplication of all maxCount() values is ≤ Property.tries() use EXHAUSTIVE
• If the property has a FromData annotation use DATA_DRIVEN
• In all other cases use RANDOMIZED

NOT_SET

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

Methodendetails

values

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