Package net.jqwik.engine.properties

Klasse PropertyCheckResult

java.lang.Object

net.jqwik.engine.properties.PropertyCheckResult

Alle implementierten Schnittstellen:

net.jqwik.api.lifecycle.PropertyExecutionResult, ExtendedPropertyExecutionResult

public class PropertyCheckResult
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
net.jqwik.engine.properties.PropertyCheckResult.CheckStatus	checkStatus()
int	countChecks()
int	countTries()
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult	edgeCases()
static PropertyCheckResult	exhausted(String stereotype, String propertyName, int tries, int checks, String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried, Throwable throwable)
static PropertyCheckResult	failed(String stereotype, String propertyName, int tries, int checks, GenerationInfo generationInfo, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried, @Nullable net.jqwik.api.lifecycle.FalsifiedSample originalSample, @Nullable net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrunkSample, @Nullable Throwable throwable)
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()
String	propertyName()
Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample>	shrunkSample()
static PropertyCheckResult	skipExample(String stereotype, String propertyName, String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried, Throwable throwable)
net.jqwik.api.lifecycle.PropertyExecutionResult.Status	status()
static PropertyCheckResult	successful(String stereotype, String propertyName, int tries, int checks, String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried)
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 PropertyCheckResult successful(String stereotype,
 String propertyName,
 int tries,
 int checks,
 String randomSeed,
 net.jqwik.api.GenerationMode generation,
 net.jqwik.api.EdgeCasesMode edgeCasesMode,
 int edgeCasesTotal,
 int edgeCasesTried)

failed

public static PropertyCheckResult failed(String stereotype,
 String propertyName,
 int tries,
 int checks,
 GenerationInfo generationInfo,
 net.jqwik.api.GenerationMode generation,
 net.jqwik.api.EdgeCasesMode edgeCasesMode,
 int edgeCasesTotal,
 int edgeCasesTried,
 @Nullable net.jqwik.api.lifecycle.FalsifiedSample originalSample,
 @Nullable net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrunkSample,
 @Nullable Throwable throwable)

skipExample

public static PropertyCheckResult skipExample(String stereotype,
 String propertyName,
 String randomSeed,
 net.jqwik.api.GenerationMode generation,
 net.jqwik.api.EdgeCasesMode edgeCasesMode,
 int edgeCasesTotal,
 int edgeCasesTried,
 Throwable throwable)

exhausted

public static PropertyCheckResult exhausted(String stereotype,
 String propertyName,
 int tries,
 int checks,
 String randomSeed,
 net.jqwik.api.GenerationMode generation,
 net.jqwik.api.EdgeCasesMode edgeCasesMode,
 int edgeCasesTotal,
 int edgeCasesTried,
 Throwable throwable)

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

propertyName

public String propertyName()

checkStatus

public net.jqwik.engine.properties.PropertyCheckResult.CheckStatus checkStatus()

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

generationInfo

public GenerationInfo generationInfo()

Angegeben von:

generationInfo in Schnittstelle ExtendedPropertyExecutionResult

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

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object