Package net.jqwik.api

Annotationsschnittstelle Report

@Target({METHOD,ANNOTATION_TYPE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.0") public @interface Report
Use @Report to specify what additional things should be reported when running a property.
Siehe auch:

  • Erforderliche Elemente - Übersicht

    Erforderliche Elemente
    Modifizierer und Typ
    Erforderliches Element
    Beschreibung
    Reporting[]
    value