net.jqwik.engine.execution

Class ExecutionResultReportEntry

java.lang.Object

net.jqwik.engine.execution.ExecutionResultReportEntry

public class ExecutionResultReportEntry
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExecutionResultReportEntry()

Method Summary

Modifier and Type	Method and Description
static org.junit.platform.engine.reporting.ReportEntry	from(java.lang.String propertyName, ExtendedPropertyExecutionResult executionResult, net.jqwik.api.AfterFailureMode afterFailureMode)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExecutionResultReportEntry

public ExecutionResultReportEntry()

Method Detail

from

public static org.junit.platform.engine.reporting.ReportEntry from(java.lang.String propertyName,
                                                                   ExtendedPropertyExecutionResult executionResult,
                                                                   net.jqwik.api.AfterFailureMode afterFailureMode)