Package net.jqwik.engine.execution.reporting

Class ExecutionResultReport

java.lang.Object

net.jqwik.engine.execution.reporting.ExecutionResultReport

public class ExecutionResultReport
extends Object

Constructor Summary

Constructors

Constructor	Description
ExecutionResultReport()

Method Summary

Modifier and Type	Method	Description
static String	from(PropertyMethodDescriptor methodDescriptor, ExtendedPropertyExecutionResult executionResult, Collection<net.jqwik.api.SampleReportingFormat> reportingFormats)

Methods inherited from class java.lang.Object

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

Constructor Details

ExecutionResultReport

public ExecutionResultReport()

Method Details

from

public static String from(PropertyMethodDescriptor methodDescriptor,
 ExtendedPropertyExecutionResult executionResult,
 Collection<net.jqwik.api.SampleReportingFormat> reportingFormats)