Enum Constant and Description |
---|
ASSERT |
ASSIGN |
CALL |
EXCEPT |
IF |
MARK |
RETURN |
TRACE |
Modifier and Type | Method and Description |
---|---|
static Stmt.Kind |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Stmt.Kind[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Stmt.Kind ASSIGN
public static final Stmt.Kind EXCEPT
public static final Stmt.Kind IF
public static final Stmt.Kind MARK
public static final Stmt.Kind TRACE
public static final Stmt.Kind RETURN
public static final Stmt.Kind CALL
public static final Stmt.Kind ASSERT
public static Stmt.Kind[] values()
for (Stmt.Kind c : Stmt.Kind.values()) System.out.println(c);
public static Stmt.Kind 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