public static enum Grammar.Builder.Option extends Enum<Grammar.Builder.Option>
| Enum Constant and Description |
|---|
ALLOW_ROOTLESS |
IGNORE_UNUSED_PRODUCTIONS |
| Modifier and Type | Method and Description |
|---|---|
static Grammar.Builder.Option |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Grammar.Builder.Option[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Grammar.Builder.Option IGNORE_UNUSED_PRODUCTIONS
public static final Grammar.Builder.Option ALLOW_ROOTLESS
public static Grammar.Builder.Option[] values()
for (Grammar.Builder.Option c : Grammar.Builder.Option.values()) System.out.println(c);
public static Grammar.Builder.Option 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 nullCopyright © 2019. All rights reserved.