Package net.jqwik.engine

Klasse JqwikProperties

java.lang.Object

net.jqwik.engine.JqwikProperties

public class JqwikProperties
extends Object

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static final int	DEFAULT_TRIES

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
int	boundedShrinkingSeconds()
String	databasePath()
net.jqwik.api.AfterFailureMode	defaultAfterFailure()
net.jqwik.api.EdgeCasesMode	defaultEdgeCases()
net.jqwik.api.GenerationMode	defaultGeneration()
int	defaultMaxDiscardRatio()
net.jqwik.api.ShrinkingMode	defaultShrinking()
int	defaultTries()
net.jqwik.api.FixedSeedMode	fixedSeedMode()
boolean	reportOnlyFailures()
boolean	runFailuresFirst()
boolean	useJunitPlatformReporter()

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

DEFAULT_TRIES

public static final int DEFAULT_TRIES

Siehe auch:

• Konstantenfeldwerte

Methodendetails

databasePath

public String databasePath()

runFailuresFirst

public boolean runFailuresFirst()

defaultTries

public int defaultTries()

defaultMaxDiscardRatio

public int defaultMaxDiscardRatio()

useJunitPlatformReporter

public boolean useJunitPlatformReporter()

defaultAfterFailure

public net.jqwik.api.AfterFailureMode defaultAfterFailure()

reportOnlyFailures

public boolean reportOnlyFailures()

defaultGeneration

public net.jqwik.api.GenerationMode defaultGeneration()

defaultEdgeCases

public net.jqwik.api.EdgeCasesMode defaultEdgeCases()

defaultShrinking

public net.jqwik.api.ShrinkingMode defaultShrinking()

boundedShrinkingSeconds

public int boundedShrinkingSeconds()

fixedSeedMode

public net.jqwik.api.FixedSeedMode fixedSeedMode()