Package net.jqwik.api

Enum Class 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:
  • Enum Constant Details


      public static final GenerationMode RANDOMIZED
      Use randomized value generation.

      public static final GenerationMode EXHAUSTIVE
      Use exhaustive generation. Only possible if all used arbitraries can provide exhaustive generators.

      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:
    • 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.
      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.)
      name - the name of the enum constant to be returned.
      the enum constant with the specified name
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null