Package net.jqwik.api

Enum Class GenerationMode

java.lang.Object

java.lang.Enum<GenerationMode>

net.jqwik.api.GenerationMode

All Implemented Interfaces:

Serializable, Comparable<GenerationMode>, Constable

@API(status=MAINTAINED,
     since="1.0")
public enum GenerationMode
extends Enum<GenerationMode>

The generation mode defines the generation behaviour of a property. It can be set in Property.generation() for any property method; default is AUTO.

See Also:

• Property
• FromData

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
AUTO	Let jqwik choose which generation mode it prefers: If all arbitraries provide exhaustive generators and if the multiplication of all maxCount() values is ≤ Property.tries() use EXHAUSTIVE If the property has a FromData annotation use DATA_DRIVEN In all other cases use RANDOMIZED
DATA_DRIVEN	Use data specified in FromData annotation
EXHAUSTIVE	Use exhaustive generation.
NOT_SET
RANDOMIZED	Use randomized value generation.

Method Summary

Modifier and Type	Method	Description
static GenerationMode	valueOf(String name)	Returns the enum constant of this class with the specified name.
static GenerationMode[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

RANDOMIZED

public static final GenerationMode RANDOMIZED

Use randomized value generation.

EXHAUSTIVE

public static final GenerationMode EXHAUSTIVE

Use exhaustive generation. Only possible if all used arbitraries can provide exhaustive generators.

DATA_DRIVEN

public static final GenerationMode DATA_DRIVEN

Use data specified in FromData annotation

AUTO

public static final GenerationMode AUTO

Let jqwik choose which generation mode it prefers:

• If all arbitraries provide exhaustive generators and if the multiplication of all maxCount() values is ≤ Property.tries() use EXHAUSTIVE
• If the property has a FromData annotation use DATA_DRIVEN
• In all other cases use RANDOMIZED

NOT_SET

@API(status=INTERNAL)
public static final GenerationMode NOT_SET

Method Details

values

public static GenerationMode[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static GenerationMode valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null