public class OrgEclipseJdtUiPreferencesElement extends PreferencesElement
| Constructor and Description |
|---|
OrgEclipseJdtUiPreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for
org.eclipse.jdt.ui.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getCompliance()
Returns the source file encoding for the project (default is inherited from the
workspace settings and not set here in the file).
|
void |
setCompliance(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, setVersionpublic OrgEclipseJdtUiPreferencesElement(SettingsElement parent)
parent - The parent settings element of this preferences one.public java.lang.String getCompliance()
public void setCompliance(java.lang.String value)
value - A valid encoding for the project.public void validate()
validate in class PreferencesElement