Package net.jqwik.engine.discovery

Class DefaultPropertyAttributes

java.lang.Object

net.jqwik.engine.discovery.DefaultPropertyAttributes

All Implemented Interfaces:

net.jqwik.api.lifecycle.PropertyAttributes

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

Constructor Summary

Constructors

Constructor	Description
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)

Method Summary

Modifier and Type	Method	Description
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()

Methods inherited from class java.lang.Object

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

Constructor Details

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)

Method Details

from

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

tries

public Optional<Integer> tries()

Specified by:

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

maxDiscardRatio

public Optional<Integer> maxDiscardRatio()

Specified by:

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

shrinking

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

Specified by:

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

generation

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

Specified by:

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

afterFailure

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

Specified by:

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

edgeCases

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

Specified by:

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

stereotype

public Optional<String> stereotype()

Specified by:

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

seed

public Optional<String> seed()

Specified by:

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

whenFixedSeed

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

Specified by:

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

setTries

public void setTries(Integer tries)

Specified by:

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

setMaxDiscardRatio

public void setMaxDiscardRatio(Integer maxDiscardRatio)

Specified by:

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

setShrinking

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

Specified by:

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

setGeneration

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

Specified by:

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

setAfterFailure

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

Specified by:

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

setEdgeCases

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

Specified by:

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

setStereotype

public void setStereotype(String stereotype)

Specified by:

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

setSeed

public void setSeed(String seed)

Specified by:

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

setWhenFixedSeed

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

Specified by:

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