public static enum Expr.internalFunction extends java.lang.Enum<Expr.internalFunction>
Enum Constant and Description |
---|
CONTENT |
ELTYPE |
EMPTY |
FORALL |
FORSOME |
IF |
INDEX |
INDEXA |
LOCATION |
LOCTYPE |
MOVE |
NEXTPLAYER |
OWNER |
PLAYER |
SCORE |
SETOWNER |
SETSTATE |
SETZINDEX |
STATE |
UNINDEX |
UNKNOWN |
ZINDEX |
Modifier and Type | Method and Description |
---|---|
static Expr.internalFunction |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Expr.internalFunction[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Expr.internalFunction IF
public static final Expr.internalFunction FORALL
public static final Expr.internalFunction FORSOME
public static final Expr.internalFunction LOCTYPE
public static final Expr.internalFunction ELTYPE
public static final Expr.internalFunction STATE
public static final Expr.internalFunction LOCATION
public static final Expr.internalFunction CONTENT
public static final Expr.internalFunction EMPTY
public static final Expr.internalFunction INDEX
public static final Expr.internalFunction INDEXA
public static final Expr.internalFunction UNINDEX
public static final Expr.internalFunction OWNER
public static final Expr.internalFunction PLAYER
public static final Expr.internalFunction SCORE
public static final Expr.internalFunction ZINDEX
public static final Expr.internalFunction MOVE
public static final Expr.internalFunction SETOWNER
public static final Expr.internalFunction SETSTATE
public static final Expr.internalFunction SETZINDEX
public static final Expr.internalFunction NEXTPLAYER
public static final Expr.internalFunction UNKNOWN
public static Expr.internalFunction[] values()
for (Expr.internalFunction c : Expr.internalFunction.values()) System.out.println(c);
public static Expr.internalFunction 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