Skip to content

Enum Class ValueType

Javadoc 27 generates this reference during each site build from the exported packages and the annotation processor. The Java guide shows the API in use.

java.lang.Object
java.lang.Enum<ValueType>
dev.gecode.iris.ValueType
All Implemented Interfaces:
Serializable, Comparable<ValueType>, Constable
public enum ValueType extends Enum<ValueType>
The type of the leaves of a value.
  • Enum Constant Details

    • INT

      public static final ValueType INT
      A 64-bit integer.
    • FLOAT

      public static final ValueType FLOAT
      A 64-bit float.
    • STRING

      public static final ValueType STRING
      A string.
  • Method Details

    • values

      public static ValueType[] 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 ValueType 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
    • text

      public String text()
      Returns the name of this type in canonical JSON, such as int.
      Returns:
      the name of this type in canonical JSON, such as int