Package net.jqwik.testing

Annotationsschnittstelle ExpectFailure

@Target({ANNOTATION_TYPE,METHOD})
@Retention(RUNTIME)
@Documented
public @interface ExpectFailure

Used to annotate methods that are expected to fail. Useful for testing jqwik itself

Verschachtelte Klassen - Übersicht

Verschachtelte Klassen

Modifizierer und Typ	Klasse	Beschreibung
static class	ExpectFailure.Hook
static class	ExpectFailure.NoFailure
static class	ExpectFailure.NullChecker

Optionale Elemente - Übersicht

Optionale Elemente

Modifizierer und Typ	Optionales Element	Beschreibung
Class<? extends Consumer<net.jqwik.api.lifecycle.PropertyExecutionResult>>	checkResult	Optionally specify a checker
Class<? extends Throwable>	failureType
String	value

Elementdetails

checkResult

Class<? extends Consumer<net.jqwik.api.lifecycle.PropertyExecutionResult>> checkResult

Optionally specify a checker

Standard:

net.jqwik.testing.ExpectFailure.NullChecker.class

value

String value

Standard:

""

failureType

Class<? extends Throwable> failureType

Standard:

net.jqwik.testing.ExpectFailure.NoFailure.class