Package net.jqwik.api

Enum GenerationMode

java.lang.Object

java.lang.Enum<GenerationMode>

net.jqwik.api.GenerationMode

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<GenerationMode>

@API(status=MAINTAINED,
     since="1.0")
public enum GenerationMode
extends java.lang.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

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(java.lang.String name)	Returns the enum constant of this type with the specified name.
static GenerationMode[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

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 Detail

values

public static GenerationMode[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (GenerationMode c : GenerationMode.values())
    System.out.println(c);

Returns:

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

valueOf

public static GenerationMode valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null