Package net.jqwik.engine.execution.lifecycle

Schnittstelle ExtendedPropertyExecutionResult

Alle Superschnittstellen:

net.jqwik.api.lifecycle.PropertyExecutionResult

Alle bekannten Implementierungsklassen:

PlainExecutionResult, PropertyCheckResult

public interface ExtendedPropertyExecutionResult
extends net.jqwik.api.lifecycle.PropertyExecutionResult

Verschachtelte Klassen - Übersicht

Verschachtelte Klassen

Modifizierer und Typ	Schnittstelle	Beschreibung
static class	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
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult	edgeCases()
net.jqwik.api.GenerationMode	generation()
GenerationInfo	generationInfo()
boolean	isExtended()
default Optional<String>	seed()

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

countChecks, countTries, falsifiedParameters, mapTo, mapToAborted, mapToFailed, mapToFailed, mapToSuccessful, originalSample, shrunkSample, status, throwable

Methodendetails

isExtended

boolean isExtended()

seed

default Optional<String> seed()

Angegeben von:

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

generationInfo

GenerationInfo generationInfo()

generation

net.jqwik.api.GenerationMode generation()

edgeCases

ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()