public class FormatterPreferenceKeys
extends java.lang.Object
General preference keys used by this formatting infrastructure. Formatters based on this infrastructure should honor these keys as well.
To set a values for one of these keys, use FormatterRequest.setPreferences(ITypedPreferenceValues)
.
To access a value for one of these keys, use AbstractFormatter2.getPreference(TypedPreferenceKey)
.
To introduce new keys, subclass this class (see also PreferenceKeysProvider.allConstantKeys(Class...)
.
TypedPreferenceValues
Modifier and Type | Field and Description |
---|---|
static StringKey |
indentation
The characters used for one level of indentation.
|
static IntegerKey |
indentationLength
The width of one level of indentation counted in characters.
|
static StringKey |
lineSeparator
The characters used to wrap lines.
|
static IntegerKey |
maxLineWidth
The maximum of characters that may fit into one line.
|
Constructor and Description |
---|
FormatterPreferenceKeys() |
public static StringKey lineSeparator
\n
or \r\n
.public static StringKey indentation
public static IntegerKey indentationLength
indentation
is \t
and the
display-width of one tab is fours, then this values should be four. The formatter uses this value to compute when
maxLineWidth
has been exceeded.public static IntegerKey maxLineWidth