public class SettingsElement extends java.lang.Object
Constructor and Description |
---|
SettingsElement()
Creates a new instance of the settings element.
|
Modifier and Type | Method and Description |
---|---|
GeneralPreferencesElement |
createGeneral()
Adds a definition of the general preferences element.
|
OrgEclipseJdtCorePreferencesElement |
createJdtCore()
Adds a definition of the convenience preferences element specific for the package
org.eclipse.jdt.core.
|
OrgEclipseJdtUiPreferencesElement |
createJdtUi()
Adds a definition of the convenience preferences element specific for the package
org.eclipse.jdt.ui.
|
OrgEclipseCoreResourcesPreferencesElement |
createResources()
Adds a definition of the convenience preferences element specific for the package
org.eclipse.core.resources.
|
OrgEclipseCoreRuntimePreferencesElement |
createRuntime()
Adds a definition of the convenience preferences element specific for the package
org.eclipse.core.runtime.
|
java.util.Vector |
getPreferences()
Returns a list with instances of the descendants of the class PreferencesElement
describing files <full qualified class
name> under the directory
.settings.
|
public SettingsElement()
public java.util.Vector getPreferences()
public GeneralPreferencesElement createGeneral()
public OrgEclipseCoreResourcesPreferencesElement createResources()
public OrgEclipseCoreRuntimePreferencesElement createRuntime()
public OrgEclipseJdtCorePreferencesElement createJdtCore()
public OrgEclipseJdtUiPreferencesElement createJdtUi()