Package org.xcsp.parser.callbacks
Enum XCallbacks.XCallbacksParameters
- java.lang.Object
-
- java.lang.Enum<XCallbacks.XCallbacksParameters>
-
- org.xcsp.parser.callbacks.XCallbacks.XCallbacksParameters
-
- All Implemented Interfaces:
Serializable
,Comparable<XCallbacks.XCallbacksParameters>
- Enclosing interface:
- XCallbacks
public static enum XCallbacks.XCallbacksParameters extends Enum<XCallbacks.XCallbacksParameters>
The constants that can be used to pilot the parser.
-
-
Enum Constant Summary
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static XCallbacks.XCallbacksParameters
valueOf(String name)
Returns the enum constant of this type with the specified name.static XCallbacks.XCallbacksParameters[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
RECOGNIZE_UNARY_PRIMITIVES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_UNARY_PRIMITIVES
-
RECOGNIZE_BINARY_PRIMITIVES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_BINARY_PRIMITIVES
-
RECOGNIZE_TERNARY_PRIMITIVES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_TERNARY_PRIMITIVES
-
RECOGNIZE_LOGIC_CASES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_LOGIC_CASES
-
RECOGNIZE_EXTREMUM_CASES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_EXTREMUM_CASES
-
RECOGNIZE_SUM_CASES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_SUM_CASES
-
RECOGNIZE_COUNT_CASES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_COUNT_CASES
-
RECOGNIZE_NVALUES_CASES
public static final XCallbacks.XCallbacksParameters RECOGNIZE_NVALUES_CASES
-
CONVERT_INTENSION_TO_EXTENSION_ARITY_LIMIT
public static final XCallbacks.XCallbacksParameters CONVERT_INTENSION_TO_EXTENSION_ARITY_LIMIT
-
CONVERT_INTENSION_TO_EXTENSION_SPACE_LIMIT
public static final XCallbacks.XCallbacksParameters CONVERT_INTENSION_TO_EXTENSION_SPACE_LIMIT
-
RECOGNIZING_BEFORE_CONVERTING
public static final XCallbacks.XCallbacksParameters RECOGNIZING_BEFORE_CONVERTING
-
-
Method Detail
-
values
public static XCallbacks.XCallbacksParameters[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (XCallbacks.XCallbacksParameters c : XCallbacks.XCallbacksParameters.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static XCallbacks.XCallbacksParameters valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
-