Package net.jqwik.engine.execution.lifecycle

Klasse PlainExecutionResult

java.lang.Object

net.jqwik.engine.execution.lifecycle.PlainExecutionResult

Alle implementierten Schnittstellen:

net.jqwik.api.lifecycle.PropertyExecutionResult, ExtendedPropertyExecutionResult

public class PlainExecutionResult
extends Object
implements ExtendedPropertyExecutionResult

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult

ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.lifecycle.PropertyExecutionResult

net.jqwik.api.lifecycle.PropertyExecutionResult.Status

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static ExtendedPropertyExecutionResult	aborted(Throwable throwable, String seed)
static ExtendedPropertyExecutionResult	aborted(Throwable throwable, GenerationInfo generationInfo)
int	countChecks()
int	countTries()
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult	edgeCases()
static ExtendedPropertyExecutionResult	failed(Throwable throwable, @Nullable String seed)
Optional<List<Object>>	falsifiedParameters()
net.jqwik.api.GenerationMode	generation()
GenerationInfo	generationInfo()
boolean	isExtended()
net.jqwik.api.lifecycle.PropertyExecutionResult	mapTo(net.jqwik.api.lifecycle.PropertyExecutionResult.Status newStatus, @Nullable Throwable throwable)
Optional<net.jqwik.api.lifecycle.FalsifiedSample>	originalSample()
Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample>	shrunkSample()
net.jqwik.api.lifecycle.PropertyExecutionResult.Status	status()
static ExtendedPropertyExecutionResult	successful()
Optional<Throwable>	throwable()
String	toString()

Von Klasse geerbte Methoden java.lang.Object

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

Von Schnittstelle geerbte Methoden net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult

seed

Von Schnittstelle geerbte Methoden net.jqwik.api.lifecycle.PropertyExecutionResult

mapToAborted, mapToFailed, mapToFailed, mapToSuccessful

Methodendetails

successful

public static ExtendedPropertyExecutionResult successful()

failed

public static ExtendedPropertyExecutionResult failed(Throwable throwable,
 @Nullable String seed)

aborted

public static ExtendedPropertyExecutionResult aborted(Throwable throwable,
 String seed)

aborted

public static ExtendedPropertyExecutionResult aborted(Throwable throwable,
 GenerationInfo generationInfo)

falsifiedParameters

public Optional<List<Object>> falsifiedParameters()

Angegeben von:

falsifiedParameters in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

status

public net.jqwik.api.lifecycle.PropertyExecutionResult.Status status()

Angegeben von:

status in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

throwable

public Optional<Throwable> throwable()

Angegeben von:

throwable in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

mapTo

public net.jqwik.api.lifecycle.PropertyExecutionResult mapTo(net.jqwik.api.lifecycle.PropertyExecutionResult.Status newStatus,
 @Nullable Throwable throwable)

Angegeben von:

mapTo in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

isExtended

public boolean isExtended()

Angegeben von:

isExtended in Schnittstelle ExtendedPropertyExecutionResult

countChecks

public int countChecks()

Angegeben von:

countChecks in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

countTries

public int countTries()

Angegeben von:

countTries in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

originalSample

public Optional<net.jqwik.api.lifecycle.FalsifiedSample> originalSample()

Angegeben von:

originalSample in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

shrunkSample

public Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample> shrunkSample()

Angegeben von:

shrunkSample in Schnittstelle net.jqwik.api.lifecycle.PropertyExecutionResult

generation

public net.jqwik.api.GenerationMode generation()

Angegeben von:

generation in Schnittstelle ExtendedPropertyExecutionResult

edgeCases

public ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()

Angegeben von:

edgeCases in Schnittstelle ExtendedPropertyExecutionResult

generationInfo

public GenerationInfo generationInfo()

Angegeben von:

generationInfo in Schnittstelle ExtendedPropertyExecutionResult

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object