public class OrgEclipseCoreRuntimePreferencesElement extends PreferencesElement
Constructor and Description |
---|
OrgEclipseCoreRuntimePreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for
org.eclipse.core.runtime.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getLineSeparator()
Returns the line separator (default is inherited from the workspace settings and
not set here in the file).
|
void |
setLineSeparator(java.lang.String value)
Sets the version of the Eclipse preferences.
|
void |
validate()
Performs the validation of the element at the time when the whole build file was
parsed checking the content of the element and possibly adding mandatory variables
with default settings.
|
getName, getVariables, getVersion, setVersion
public OrgEclipseCoreRuntimePreferencesElement(SettingsElement parent)
parent
- The parent settings element of this preferences one.public java.lang.String getLineSeparator()
public void setLineSeparator(java.lang.String value)
value
- A valid line separator.public void validate()
validate
in class PreferencesElement