public static enum SimpleDomain.markings extends java.lang.Enum<SimpleDomain.markings>
| Enum Constant and Description |
|---|
COND_CURRENT_UNJUSTIFIED |
COND_UNJUSTIFIED |
DIRTY |
IGNORE |
IMPOSSIBLE |
JUSTIFIED |
OBSERVED_JUST |
OBSERVED_UNJ |
PERMANENT |
PLANNED |
STATIC |
UNJUSTIFIED |
UNPLANNED |
| Modifier and Type | Method and Description |
|---|---|
static SimpleDomain.markings |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SimpleDomain.markings[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SimpleDomain.markings UNJUSTIFIED
public static final SimpleDomain.markings JUSTIFIED
public static final SimpleDomain.markings DIRTY
public static final SimpleDomain.markings STATIC
public static final SimpleDomain.markings IGNORE
public static final SimpleDomain.markings PLANNED
public static final SimpleDomain.markings UNPLANNED
public static final SimpleDomain.markings PERMANENT
public static final SimpleDomain.markings OBSERVED_UNJ
public static final SimpleDomain.markings OBSERVED_JUST
public static final SimpleDomain.markings IMPOSSIBLE
public static final SimpleDomain.markings COND_UNJUSTIFIED
public static final SimpleDomain.markings COND_CURRENT_UNJUSTIFIED
public static SimpleDomain.markings[] values()
for (SimpleDomain.markings c : SimpleDomain.markings.values()) System.out.println(c);
public static SimpleDomain.markings 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