Package net.jqwik.api

Enum-Klasse EdgeCasesMode

java.lang.Object
java.lang.Enum<EdgeCasesMode>
net.jqwik.api.EdgeCasesMode
Alle implementierten Schnittstellen:
Serializable, Comparable<EdgeCasesMode>, Constable

@API(status=MAINTAINED, since="1.8.0") public enum EdgeCasesMode extends Enum<EdgeCasesMode>
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:
  • Enum-Konstanten - Details

    • FIRST

      public static final EdgeCasesMode FIRST
      Generate edge cases first.
    • MIXIN

      public static final EdgeCasesMode MIXIN
      Mix edge cases into random generation.
    • NONE

      public static final EdgeCasesMode NONE
      Do not _explicitly_ generate edge cases. They might be generated randomly though.
    • NOT_SET

      @API(status=INTERNAL) public static final EdgeCasesMode NOT_SET
  • Methodendetails

    • values

      public static EdgeCasesMode[] 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 EdgeCasesMode 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
    • generateFirst

      @API(status=INTERNAL) public boolean generateFirst()
    • mixIn

      @API(status=INTERNAL) public boolean mixIn()
    • activated

      @API(status=INTERNAL) public boolean activated()