Package net.jqwik.api

Enum-Klasse Reporting

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

@API(status=MAINTAINED, since="1.0") public enum Reporting extends Enum<Reporting>
  • Enum-Konstanten - Details

    • GENERATED

      public static final Reporting GENERATED
      GENERATED will report each generated set of the parameters. This means that after each property test, summary table will be printed.
    • FALSIFIED

      public static final Reporting FALSIFIED
      FALSIFIED will report each set of parameters that is falsified during shrinking. i.e., report "table" will be printed only when some test fails.
  • Methodendetails

    • values

      public static Reporting[] 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 Reporting 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
    • containedIn

      public boolean containedIn(Reporting[] reporting)