Enum Class CommandOutcome
- All Implemented Interfaces:
Serializable, Comparable<CommandOutcome>, Constable
Result category of an
EditorCommand execution.- Author:
- posenato
-
Nested Class Summary
Nested classes/interfaces inherited from class Enum
Enum.EnumDesc<E> -
Enum Constant Summary
Enum ConstantsEnum ConstantDescriptionThe user cancelled the running command before it completed.The command raised an exception while running.The command cannot run with the current settings (e.g. a CSTN algorithm/semantics combination for which there is no checker).The command determined that the network is not consistent.The command determined that the network is not (dynamically) controllable.The command completed successfully; this also covers commands (init, dispatchability transformations, one-step commands not yet finished, ...) that have no consistency/ controllability verdict of their own.The command did not complete within the configured check timeout. -
Method Summary
Modifier and TypeMethodDescriptionstatic CommandOutcomeReturns the enum constant of this class with the specified name.static CommandOutcome[]values()Returns an array containing the constants of this enum class, in the order they are declared.
-
Enum Constant Details
-
OK
The command completed successfully; this also covers commands (init, dispatchability transformations, one-step commands not yet finished, ...) that have no consistency/ controllability verdict of their own. -
NOT_CONSISTENT
The command determined that the network is not consistent. -
NOT_CONTROLLABLE
The command determined that the network is not (dynamically) controllable. -
TIMEOUT
The command did not complete within the configured check timeout. -
CANCELLED
The user cancelled the running command before it completed. -
ERROR
The command raised an exception while running. -
NOT_APPLICABLE
The command cannot run with the current settings (e.g. a CSTN algorithm/semantics combination for which there is no checker).
-
-
Method Details
-
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
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 nameNullPointerException- if the argument is null
-