Package net.jqwik.api.lifecycle

Interface PropertyAttributes

@API(status=MAINTAINED,
     since="1.3.4")
public interface PropertyAttributes

Represents a property method's attributes which are set (or not) in attributes of the Property annotation.

This object can be used to query, set or change a property's attribute during the AroundPropertyHook lifecycle hook.

Method Summary

Modifier and Type	Method	Description
Optional<AfterFailureMode>	afterFailure()	The after failure mode of the property at hand.
Optional<EdgeCasesMode>	edgeCases()	The edge cases mode of the property at hand.
Optional<GenerationMode>	generation()	The generation mode of the property at hand.
Optional<Integer>	maxDiscardRatio()	The maximum allowed discard ration in the property at hand.
Optional<String>	seed()	The random seed used when running the property at hand.
void	setAfterFailure(AfterFailureMode afterFailureMode)
void	setEdgeCases(EdgeCasesMode edgeCasesMode)
void	setGeneration(GenerationMode generationMode)
void	setMaxDiscardRatio(Integer maxDiscardRatio)
void	setSeed(String seed)
void	setShrinking(ShrinkingMode shrinkingMode)
void	setStereotype(String stereotype)
void	setTries(Integer tries)
void	setWhenFixedSeed(FixedSeedMode fixedSeedMode)
Optional<ShrinkingMode>	shrinking()	The shrinking mode of the property at hand.
Optional<String>	stereotype()	The stereotype of the property at hand.
Optional<Integer>	tries()	The number of tries to be run in the property at hand.
Optional<FixedSeedMode>	whenFixedSeed()	The fixed seed mode of the property at hand.

Method Details

tries

Optional<Integer> tries()

The number of tries to be run in the property at hand. Only present when set explicitly through Property.tries() or setTries(Integer).

jqwik may override an explicit tries value if exhaustive or data-driven generation is chosen.

Returns:

optional number of tries

maxDiscardRatio

Optional<Integer> maxDiscardRatio()

The maximum allowed discard ration in the property at hand. Only present when set explicitly through Property.maxDiscardRatio() or setMaxDiscardRatio(Integer).

Returns:

optional maximum discard ratio

shrinking

Optional<ShrinkingMode> shrinking()

The shrinking mode of the property at hand. Only present when set explicitly through Property.shrinking() or setShrinking(ShrinkingMode).

Returns:

optional shrinking mode

generation

Optional<GenerationMode> generation()

The generation mode of the property at hand. Only present when set explicitly through Property.generation() or setGeneration(GenerationMode).

Returns:

optional generation mode

afterFailure

Optional<AfterFailureMode> afterFailure()

The after failure mode of the property at hand. Only present when set explicitly through Property.afterFailure() or setAfterFailure(AfterFailureMode).

Returns:

optional after failure mode

edgeCases

Optional<EdgeCasesMode> edgeCases()

The edge cases mode of the property at hand. Only present when set explicitly through Property.edgeCases() or setEdgeCases(EdgeCasesMode).

Returns:

optional edge cases mode

stereotype

Optional<String> stereotype()

The stereotype of the property at hand. Only present when set explicitly through Property.stereotype() or setStereotype(String).

Returns:

optional stereotype

seed

Optional<String> seed()

The random seed used when running the property at hand. Only present when set explicitly through Property.seed() or setSeed(String).

Returns:

optional random seed

whenFixedSeed

@API(status=MAINTAINED,
     since="1.4.0")
Optional<FixedSeedMode> whenFixedSeed()

The fixed seed mode of the property at hand. Only present when set explicitly through Property.whenFixedSeed() ()} or setWhenFixedSeed(FixedSeedMode).

Returns:

optional fixed seed mode

setTries

void setTries(Integer tries)

setMaxDiscardRatio

void setMaxDiscardRatio(Integer maxDiscardRatio)

setShrinking

void setShrinking(ShrinkingMode shrinkingMode)

setGeneration

void setGeneration(GenerationMode generationMode)

setAfterFailure

void setAfterFailure(AfterFailureMode afterFailureMode)

setEdgeCases

void setEdgeCases(EdgeCasesMode edgeCasesMode)

setStereotype

void setStereotype(String stereotype)

setSeed

void setSeed(String seed)

setWhenFixedSeed

void setWhenFixedSeed(FixedSeedMode fixedSeedMode)