public enum DefiniteAssignmentStatus extends java.lang.Enum<DefiniteAssignmentStatus>
| Enum Constant and Description |
|---|
ASSIGNED_AFTER_FALSE_EXPRESSION
The variable is definitely assigned iff the expression results in the value
false. |
ASSIGNED_AFTER_TRUE_EXPRESSION
The variable is definitely assigned iff the expression results in the value
true. |
CODE_UNREACHABLE
The code is unreachable.
|
DEFINITELY_ASSIGNED
The variable is definitely assigned.
|
DEFINITELY_NOT_ASSIGNED
The variable is definitely not assigned.
|
POTENTIALLY_ASSIGNED
The variable might be assigned or unassigned.
|
| Modifier and Type | Method and Description |
|---|---|
static DefiniteAssignmentStatus |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DefiniteAssignmentStatus[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DefiniteAssignmentStatus DEFINITELY_NOT_ASSIGNED
public static final DefiniteAssignmentStatus POTENTIALLY_ASSIGNED
public static final DefiniteAssignmentStatus DEFINITELY_ASSIGNED
public static final DefiniteAssignmentStatus ASSIGNED_AFTER_TRUE_EXPRESSION
true.public static final DefiniteAssignmentStatus ASSIGNED_AFTER_FALSE_EXPRESSION
false.public static final DefiniteAssignmentStatus CODE_UNREACHABLE
public static DefiniteAssignmentStatus[] values()
for (DefiniteAssignmentStatus c : DefiniteAssignmentStatus.values()) System.out.println(c);
public static DefiniteAssignmentStatus 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