Modifier and Type | Field and Description |
---|---|
private static java.util.EnumSet<FormatPreferences.Opt> |
FormatPreferences.DEFAULT_OPTS |
private java.util.EnumSet<FormatPreferences.Opt> |
FormatPreferences.options |
Modifier and Type | Method and Description |
---|---|
static FormatPreferences.Opt |
FormatPreferences.Opt.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static FormatPreferences.Opt[] |
FormatPreferences.Opt.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
FormatPreferences.addOption(FormatPreferences.Opt... opts)
Add option flags to these preferences.
|
boolean |
FormatPreferences.hasOption(FormatPreferences.Opt opt)
Determine whether the given option flag is set on these preferences.
|
void |
FormatPreferences.removeOption(FormatPreferences.Opt... opts)
Remove option flags from these preferences.
|