Package net.jqwik.engine.recording

Class TestRun

java.lang.Object

net.jqwik.engine.recording.TestRun

All Implemented Interfaces:

Serializable

public class TestRun
extends Object
implements Serializable

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TestRun(org.junit.platform.engine.UniqueId uniqueId, net.jqwik.api.lifecycle.PropertyExecutionResult.Status status, GenerationInfo generationInfo)

Method Summary

Modifier and Type	Method	Description
GenerationInfo	generationInfo()
net.jqwik.api.lifecycle.PropertyExecutionResult.Status	getStatus()
org.junit.platform.engine.UniqueId	getUniqueId()
boolean	isNotSuccessful()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

TestRun

public TestRun(org.junit.platform.engine.UniqueId uniqueId,
 net.jqwik.api.lifecycle.PropertyExecutionResult.Status status,
 GenerationInfo generationInfo)

Method Details

isNotSuccessful

public boolean isNotSuccessful()

getUniqueId

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

getStatus

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

generationInfo

public GenerationInfo generationInfo()

toString

public String toString()

Overrides:

toString in class Object