net.jqwik.engine.properties

Class CheckResultReportEntry

java.lang.Object

net.jqwik.engine.properties.CheckResultReportEntry

public class CheckResultReportEntry
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CheckResultReportEntry()

Method Summary

Modifier and Type	Method and Description
static org.junit.platform.engine.reporting.ReportEntry	from(java.lang.String propertyName, PropertyCheckResult checkResult, 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

CheckResultReportEntry

public CheckResultReportEntry()

Method Detail

from

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