Package net.jqwik.engine.discovery

Klasse DefaultPropertyAttributes

java.lang.Object

net.jqwik.engine.discovery.DefaultPropertyAttributes

Alle implementierten Schnittstellen:

net.jqwik.api.lifecycle.PropertyAttributes

public class DefaultPropertyAttributes
extends Object
implements net.jqwik.api.lifecycle.PropertyAttributes

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DefaultPropertyAttributes(Integer tries, Integer maxDiscardRatio, net.jqwik.api.ShrinkingMode shrinkingMode, net.jqwik.api.GenerationMode generationMode, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.EdgeCasesMode edgeCasesMode, String stereotype, String seed, net.jqwik.api.FixedSeedMode whenFixedSeed)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
Optional<net.jqwik.api.AfterFailureMode>	afterFailure()
Optional<net.jqwik.api.EdgeCasesMode>	edgeCases()
static net.jqwik.api.lifecycle.PropertyAttributes	from(net.jqwik.api.Property property)
Optional<net.jqwik.api.GenerationMode>	generation()
Optional<Integer>	maxDiscardRatio()
Optional<String>	seed()
void	setAfterFailure(net.jqwik.api.AfterFailureMode afterFailureMode)
void	setEdgeCases(net.jqwik.api.EdgeCasesMode edgeCasesMode)
void	setGeneration(net.jqwik.api.GenerationMode generationMode)
void	setMaxDiscardRatio(Integer maxDiscardRatio)
void	setSeed(String seed)
void	setShrinking(net.jqwik.api.ShrinkingMode shrinkingMode)
void	setStereotype(String stereotype)
void	setTries(Integer tries)
void	setWhenFixedSeed(net.jqwik.api.FixedSeedMode fixedSeedMode)
Optional<net.jqwik.api.ShrinkingMode>	shrinking()
Optional<String>	stereotype()
Optional<Integer>	tries()
Optional<net.jqwik.api.FixedSeedMode>	whenFixedSeed()

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

DefaultPropertyAttributes

public DefaultPropertyAttributes(Integer tries,
 Integer maxDiscardRatio,
 net.jqwik.api.ShrinkingMode shrinkingMode,
 net.jqwik.api.GenerationMode generationMode,
 net.jqwik.api.AfterFailureMode afterFailureMode,
 net.jqwik.api.EdgeCasesMode edgeCasesMode,
 String stereotype,
 String seed,
 net.jqwik.api.FixedSeedMode whenFixedSeed)

Methodendetails

from

public static net.jqwik.api.lifecycle.PropertyAttributes from(net.jqwik.api.Property property)

tries

public Optional<Integer> tries()

Angegeben von:

tries in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

maxDiscardRatio

public Optional<Integer> maxDiscardRatio()

Angegeben von:

maxDiscardRatio in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

shrinking

public Optional<net.jqwik.api.ShrinkingMode> shrinking()

Angegeben von:

shrinking in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

generation

public Optional<net.jqwik.api.GenerationMode> generation()

Angegeben von:

generation in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

afterFailure

public Optional<net.jqwik.api.AfterFailureMode> afterFailure()

Angegeben von:

afterFailure in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

edgeCases

public Optional<net.jqwik.api.EdgeCasesMode> edgeCases()

Angegeben von:

edgeCases in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

stereotype

public Optional<String> stereotype()

Angegeben von:

stereotype in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

seed

public Optional<String> seed()

Angegeben von:

seed in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

whenFixedSeed

public Optional<net.jqwik.api.FixedSeedMode> whenFixedSeed()

Angegeben von:

whenFixedSeed in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setTries

public void setTries(Integer tries)

Angegeben von:

setTries in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setMaxDiscardRatio

public void setMaxDiscardRatio(Integer maxDiscardRatio)

Angegeben von:

setMaxDiscardRatio in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setShrinking

public void setShrinking(net.jqwik.api.ShrinkingMode shrinkingMode)

Angegeben von:

setShrinking in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setGeneration

public void setGeneration(net.jqwik.api.GenerationMode generationMode)

Angegeben von:

setGeneration in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setAfterFailure

public void setAfterFailure(net.jqwik.api.AfterFailureMode afterFailureMode)

Angegeben von:

setAfterFailure in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setEdgeCases

public void setEdgeCases(net.jqwik.api.EdgeCasesMode edgeCasesMode)

Angegeben von:

setEdgeCases in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setStereotype

public void setStereotype(String stereotype)

Angegeben von:

setStereotype in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setSeed

public void setSeed(String seed)

Angegeben von:

setSeed in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes

setWhenFixedSeed

public void setWhenFixedSeed(net.jqwik.api.FixedSeedMode fixedSeedMode)

Angegeben von:

setWhenFixedSeed in Schnittstelle net.jqwik.api.lifecycle.PropertyAttributes