Package net.jqwik.engine

Class DefaultJqwikConfiguration

java.lang.Object

net.jqwik.engine.DefaultJqwikConfiguration

All Implemented Interfaces:

JqwikConfiguration

public class DefaultJqwikConfiguration
extends Object
implements JqwikConfiguration

Method Summary

Modifier and Type	Method	Description
PropertyAttributesDefaults	propertyDefaultValues()
boolean	reportOnlyFailures()
TestEngineConfiguration	testEngineConfiguration()
boolean	useJunitPlatformReporter()

Methods inherited from class java.lang.Object

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

Method Details

propertyDefaultValues

public PropertyAttributesDefaults propertyDefaultValues()

Specified by:

propertyDefaultValues in interface JqwikConfiguration

testEngineConfiguration

public TestEngineConfiguration testEngineConfiguration()

Specified by:

testEngineConfiguration in interface JqwikConfiguration

useJunitPlatformReporter

public boolean useJunitPlatformReporter()

Specified by:

useJunitPlatformReporter in interface JqwikConfiguration

reportOnlyFailures

public boolean reportOnlyFailures()

Specified by:

reportOnlyFailures in interface JqwikConfiguration