public static enum VariableAssignments.VarType extends java.lang.Enum<VariableAssignments.VarType>
Enum Constant and Description |
---|
ANY |
BOOL |
FIELD |
FORMULA |
HEAP |
INT |
INT_ARRAY |
LOCSET |
OBJECT |
SEQ |
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
declPrefix |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getKeYDeclarationPrefix() |
static VariableAssignments.VarType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static VariableAssignments.VarType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final VariableAssignments.VarType INT
public static final VariableAssignments.VarType BOOL
public static final VariableAssignments.VarType ANY
public static final VariableAssignments.VarType INT_ARRAY
public static final VariableAssignments.VarType OBJECT
public static final VariableAssignments.VarType HEAP
public static final VariableAssignments.VarType FIELD
public static final VariableAssignments.VarType LOCSET
public static final VariableAssignments.VarType FORMULA
public static final VariableAssignments.VarType SEQ
public static VariableAssignments.VarType[] values()
for (VariableAssignments.VarType c : VariableAssignments.VarType.values()) System.out.println(c);
public static VariableAssignments.VarType 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 nullpublic java.lang.String getKeYDeclarationPrefix()