Package ch.so.agi.mcp.model

Enum Class IliAuthoringResult.Status

java.lang.Object

java.lang.Enum<IliAuthoringResult.Status>

ch.so.agi.mcp.model.IliAuthoringResult.Status

All Implemented Interfaces:

Serializable, Comparable<IliAuthoringResult.Status>, Constable

Enclosing class:

IliAuthoringResult

public static enum IliAuthoringResult.Status
extends Enum<IliAuthoringResult.Status>

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
APPLIED
AST_ROUND_TRIP_FAILED
BEFORE_MODEL_INVALID
BREAKING_CHANGE_REQUIRES_CONFIRMATION
CANDIDATE_MODEL_INVALID
EXTERNAL_FUNCTION_SEMANTICS_REQUIRED
GENERATED
INVALID_SPEC
NEEDS_INPUT
PROOF_FAILED
PROOF_INCOMPLETE
UNEXPECTED_SEMANTIC_CHANGE
VERIFIED

Method Summary

Modifier and Type	Method	Description
static IliAuthoringResult.Status	valueOf(String name)	Returns the enum constant of this class with the specified name.
static IliAuthoringResult.Status[]	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

VERIFIED

public static final IliAuthoringResult.Status VERIFIED

GENERATED

public static final IliAuthoringResult.Status GENERATED

APPLIED

public static final IliAuthoringResult.Status APPLIED

BREAKING_CHANGE_REQUIRES_CONFIRMATION

public static final IliAuthoringResult.Status BREAKING_CHANGE_REQUIRES_CONFIRMATION

NEEDS_INPUT

public static final IliAuthoringResult.Status NEEDS_INPUT

INVALID_SPEC

public static final IliAuthoringResult.Status INVALID_SPEC

BEFORE_MODEL_INVALID

public static final IliAuthoringResult.Status BEFORE_MODEL_INVALID

CANDIDATE_MODEL_INVALID

public static final IliAuthoringResult.Status CANDIDATE_MODEL_INVALID

AST_ROUND_TRIP_FAILED

public static final IliAuthoringResult.Status AST_ROUND_TRIP_FAILED

PROOF_INCOMPLETE

public static final IliAuthoringResult.Status PROOF_INCOMPLETE

PROOF_FAILED

public static final IliAuthoringResult.Status PROOF_FAILED

EXTERNAL_FUNCTION_SEMANTICS_REQUIRED

public static final IliAuthoringResult.Status EXTERNAL_FUNCTION_SEMANTICS_REQUIRED

UNEXPECTED_SEMANTIC_CHANGE

public static final IliAuthoringResult.Status UNEXPECTED_SEMANTIC_CHANGE

Method Details

values

public static IliAuthoringResult.Status[] 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 IliAuthoringResult.Status 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