public class OrgEclipseJdtCorePreferencesElement extends PreferencesElement
Constructor and Description |
---|
OrgEclipseJdtCorePreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for
org.eclipse.jdt.core.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getCompilerCompliance()
Returns the line separator (default is inherited from the workspace settings and
not set here in the file).
|
void |
setCompilerCompliance(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 OrgEclipseJdtCorePreferencesElement(SettingsElement parent)
parent
- The parent settings element of this preferences one.public java.lang.String getCompilerCompliance()
public void setCompilerCompliance(java.lang.String value)
value
- A valid line separator.public void validate()
validate
in class PreferencesElement