Package net.jqwik.engine

Klasse DefaultJqwikConfiguration

java.lang.Object

net.jqwik.engine.DefaultJqwikConfiguration

Alle implementierten Schnittstellen:

JqwikConfiguration

public class DefaultJqwikConfiguration
extends Object
implements JqwikConfiguration

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
PropertyAttributesDefaults	propertyDefaultValues()
boolean	reportOnlyFailures()
TestEngineConfiguration	testEngineConfiguration()
boolean	useJunitPlatformReporter()

Von Klasse geerbte Methoden java.lang.Object

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

Methodendetails

propertyDefaultValues

public PropertyAttributesDefaults propertyDefaultValues()

Angegeben von:

propertyDefaultValues in Schnittstelle JqwikConfiguration

testEngineConfiguration

public TestEngineConfiguration testEngineConfiguration()

Angegeben von:

testEngineConfiguration in Schnittstelle JqwikConfiguration

useJunitPlatformReporter

public boolean useJunitPlatformReporter()

Angegeben von:

useJunitPlatformReporter in Schnittstelle JqwikConfiguration

reportOnlyFailures

public boolean reportOnlyFailures()

Angegeben von:

reportOnlyFailures in Schnittstelle JqwikConfiguration