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