net.jqwik.engine.recording

Class TestRun

java.lang.Object

net.jqwik.engine.recording.TestRun

All Implemented Interfaces:

java.io.Serializable

public class TestRun
extends java.lang.Object
implements java.io.Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TestRun(org.junit.platform.engine.UniqueId uniqueId, net.jqwik.api.lifecycle.PropertyExecutionResult.Status status, java.lang.String randomSeed, java.util.List<java.lang.Object> falsifiedSample)

Method Summary

Modifier and Type	Method and Description
java.util.Optional<java.util.List<java.lang.Object>>	falsifiedSample()
net.jqwik.api.lifecycle.PropertyExecutionResult.Status	getStatus()
org.junit.platform.engine.UniqueId	getUniqueId()
boolean	isNotSuccessful()
java.util.Optional<java.lang.String>	randomSeed()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestRun

public TestRun(org.junit.platform.engine.UniqueId uniqueId,
               net.jqwik.api.lifecycle.PropertyExecutionResult.Status status,
               java.lang.String randomSeed,
               java.util.List<java.lang.Object> falsifiedSample)

Method Detail

isNotSuccessful

public boolean isNotSuccessful()

getUniqueId

public org.junit.platform.engine.UniqueId getUniqueId()

getStatus

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

randomSeed

public java.util.Optional<java.lang.String> randomSeed()

falsifiedSample

public java.util.Optional<java.util.List<java.lang.Object>> falsifiedSample()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object