|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectprantl.ant.eclipse.SettingsElement
public class SettingsElement
Configures components creating their preference files under under the directory .settings. The attributes name of all elements for components describing preferences must be distinct.
| Constructor Summary | |
|---|---|
SettingsElement()
Creates a new instance of the settings element. |
|
| Method Summary | |
|---|---|
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. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public SettingsElement()
| Method Detail |
|---|
public java.util.Vector getPreferences()
public GeneralPreferencesElement createGeneral()
public OrgEclipseCoreResourcesPreferencesElement createResources()
public OrgEclipseCoreRuntimePreferencesElement createRuntime()
public OrgEclipseJdtCorePreferencesElement createJdtCore()
public OrgEclipseJdtUiPreferencesElement createJdtUi()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||