Package net.jqwik.api
Enum-Klasse EdgeCasesMode
- Alle implementierten Schnittstellen:
Serializable
,Comparable<EdgeCasesMode>
,Constable
The edge-cases mode determines if and when combined edge-cases of all parameters will be explicitly generated.
It can be set in Property.edgeCases() for any property method.
If it is not set explicitly mode MIXIN will be used unless the property has only a single parameter. Then NONE applies.
- Siehe auch:
-
Verschachtelte Klassen - Übersicht
Von Klasse geerbte verschachtelte Klassen/Schnittstellen java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum-Konstanten - Übersicht
-
Methodenübersicht
Modifizierer und TypMethodeBeschreibungboolean
boolean
boolean
mixIn()
static EdgeCasesMode
Gibt die Enum-Konstante dieser Klasse mit dem angegebenen Namen zurück.static EdgeCasesMode[]
values()
Gibt ein Array mit den Konstanten dieser Enum-Klasse in der Reihenfolge ihrer Deklaration zurück.
-
Enum-Konstanten - Details
-
FIRST
Generate edge cases first. -
MIXIN
Mix edge cases into random generation. -
NONE
Do not _explicitly_ generate edge cases. They might be generated randomly though. -
NOT_SET
-
-
Methodendetails
-
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
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ältNullPointerException
- wenn das Argument nicht angegeben wird
-
generateFirst
@API(status=INTERNAL) public boolean generateFirst() -
mixIn
@API(status=INTERNAL) public boolean mixIn() -
activated
@API(status=INTERNAL) public boolean activated()
-