public static enum Variables.Phase extends java.lang.Enum<Variables.Phase>
Enum Constant and Description |
---|
CREATED
Default handler phase: newly created and not yet initialised.
|
EXPLORED
Default handler phase: exploration finished and searching paths.
|
EXPLORING
Default handler phase: initialised and running exploration.
|
FINISHED
Default handler phase: repair composed and completely finished.
|
Modifier and Type | Method and Description |
---|---|
static Variables.Phase |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Variables.Phase[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Variables.Phase CREATED
public static final Variables.Phase EXPLORING
public static final Variables.Phase EXPLORED
public static final Variables.Phase FINISHED
public static Variables.Phase[] values()
for (Variables.Phase c : Variables.Phase.values()) System.out.println(c);
public static Variables.Phase valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified namejava.lang.NullPointerException
- if the argument is null