Enum Class BuildException.Kind

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<BuildException.Kind>

dev.gecode.iris.build.BuildException.Kind

All Implemented Interfaces:

Serializable, Comparable<BuildException.Kind>, Constable

Enclosing class:

BuildException

public static enum BuildException.Kind extends Enum<BuildException.Kind>

The check that failed.

• Nested Class Summary

  Nested classes/interfaces inherited from class Enum

  Enum.EnumDesc<E>

• Enum Constant Summary

  Enum Constants

  Enum Constant

  Description

  BINDING

  A definition that does not have its handle's type, depth or presence, or a missing one.

  PROVENANCE

  A handle or type from another builder.

  REDEFINITION

  Two handles declare one name.

  SCOPE

  A statement went to a block that does not take it, such as an arm outside sections.

  SPEC

  The language rejected the emitted text; BuildException.failure() gives its error.

  UNPRINTABLE

  Something that has no spelling in Iris text, such as a name that is not an Iris name.

• Method Summary

  Modifier and Type

  Method

  Description

  static BuildException.Kind

  valueOf(String name)

  Returns the enum constant of this class with the specified name.

  static BuildException.Kind[]

  values()

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

  Methods inherited from class Enum

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

  Methods inherited from class Object

  getClass, notify, notifyAll, wait, wait, wait

• Enum Constant Details

  • SCOPE

    public static final BuildException.Kind SCOPE

    A statement went to a block that does not take it, such as an arm outside sections.

  • PROVENANCE

    public static final BuildException.Kind PROVENANCE

    A handle or type from another builder.

  • REDEFINITION

    public static final BuildException.Kind REDEFINITION

    Two handles declare one name.

  • UNPRINTABLE

    public static final BuildException.Kind UNPRINTABLE

    Something that has no spelling in Iris text, such as a name that is not an Iris name.

  • BINDING

    public static final BuildException.Kind BINDING

    A definition that does not have its handle's type, depth or presence, or a missing one.

  • SPEC

    public static final BuildException.Kind SPEC

    The language rejected the emitted text; BuildException.failure() gives its error.

• Method Details

  • values

    public static BuildException.Kind[] 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 BuildException.Kind 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