net.jqwik.api

Annotation Type Property

@Target(value={METHOD,ANNOTATION_TYPE})
 @Retention(value=RUNTIME)
 @Documented
public @interface Property

Use @Property to mark methods that serve as properties. Those methods usually have or more parameters annotated with ForAll. They are executed (tried) several times, either until they fail or until the configured number of tries() has been reached. Just like methods annotated with Example example, annotated methods must not be private. They can either return Boolean, boolean or void.

See Also:

Example, ShrinkingMode, GenerationMode, AfterFailureMode, Data

Field Summary

Fields

Modifier and Type	Fields and Description
static java.lang.String	DEFAULT_STEREOTYPE
static int	MAX_DISCARD_RATIO_NOT_SET
static java.lang.String	SEED_NOT_SET
static int	TRIES_NOT_SET

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
AfterFailureMode	afterFailure
GenerationMode	generation
int	maxDiscardRatio
Reporting[]	reporting Deprecated. Use annotation Report instead
java.lang.String	seed
ShrinkingMode	shrinking
java.lang.String	stereotype
int	tries

Field Detail

TRIES_NOT_SET

public static final int TRIES_NOT_SET

MAX_DISCARD_RATIO_NOT_SET

public static final int MAX_DISCARD_RATIO_NOT_SET

SEED_NOT_SET

public static final java.lang.String SEED_NOT_SET

DEFAULT_STEREOTYPE

public static final java.lang.String DEFAULT_STEREOTYPE

Element Detail

tries

public abstract int tries

Default:

0

maxDiscardRatio

public abstract int maxDiscardRatio

Default:

0

seed

public abstract java.lang.String seed

Default:

""

shrinking

public abstract ShrinkingMode shrinking

Default:

net.jqwik.api.ShrinkingMode.BOUNDED

reporting

@Deprecated
public abstract Reporting[] reporting

Deprecated. Use annotation Report instead

Default:

{}

stereotype

public abstract java.lang.String stereotype

Default:

"Property"

generation

public abstract GenerationMode generation

Default:

net.jqwik.api.GenerationMode.AUTO

afterFailure

public abstract AfterFailureMode afterFailure

Default:

net.jqwik.api.AfterFailureMode.NOT_SET