public enum OptionCategory extends Enum<OptionCategory>
Enum.EnumDesc<E extends Enum<E>>| Enum Constant and Description |
|---|
EXPERT
An option only relevant in corner cases and for fine-tuning.
|
INTERNAL
An option only relevant when debugging a language implementation or an instrument.
|
USER
An option common for users to apply.
|
| Modifier and Type | Method and Description |
|---|---|
static OptionCategory |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static OptionCategory[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final OptionCategory USER
public static final OptionCategory EXPERT
public static final OptionCategory INTERNAL
public static OptionCategory[] values()
public static OptionCategory valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is null