Package net.jqwik.engine.execution.lifecycle

Klasse ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

java.lang.Object

net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

Umschließende Schnittstelle:

ExtendedPropertyExecutionResult

public static class ExtendedPropertyExecutionResult.EdgeCasesExecutionResult
extends Object

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
EdgeCasesExecutionResult(net.jqwik.api.EdgeCasesMode mode, int total, int tried)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.EdgeCasesMode	mode()
int	total()
int	tried()

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Konstruktordetails

EdgeCasesExecutionResult

public EdgeCasesExecutionResult(net.jqwik.api.EdgeCasesMode mode,
 int total,
 int tried)

Methodendetails

mode

public net.jqwik.api.EdgeCasesMode mode()

total

public int total()

tried

public int tried()