Package net.jqwik.engine.execution.lifecycle

Class ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

java.lang.Object

net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

Enclosing interface:

ExtendedPropertyExecutionResult

public static class ExtendedPropertyExecutionResult.EdgeCasesExecutionResult
extends Object

Constructor Summary

Constructors

Constructor	Description
EdgeCasesExecutionResult(net.jqwik.api.EdgeCasesMode mode, int total, int tried)

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.EdgeCasesMode	mode()
int	total()
int	tried()

Methods inherited from class java.lang.Object

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

Constructor Details

EdgeCasesExecutionResult

public EdgeCasesExecutionResult(net.jqwik.api.EdgeCasesMode mode,
 int total,
 int tried)

Method Details

mode

public net.jqwik.api.EdgeCasesMode mode()

total

public int total()

tried

public int tried()