Uses of Class
prantl.ant.eclipse.SettingsElement

Uses of SettingsElement in prantl.ant.eclipse
 

Methods in prantl.ant.eclipse that return SettingsElement
 SettingsElement EclipseTask.createSettings()
          Adds a definition of the settings element.
 SettingsElement EclipseElement.getSettings()
           
 

Methods in prantl.ant.eclipse with parameters of type SettingsElement
 void EclipseElement.setSettings(SettingsElement element)
           
 

Constructors in prantl.ant.eclipse with parameters of type SettingsElement
GeneralPreferencesElement(SettingsElement parent)
          Creates a new instance of the element for a general preferences under the settings element.
OrgEclipseCoreResourcesPreferencesElement(SettingsElement parent)
          Creates a new instance of the element for the file with preferences for org.eclipse.core.resources.
OrgEclipseCoreRuntimePreferencesElement(SettingsElement parent)
          Creates a new instance of the element for the file with preferences for org.eclipse.core.runtime.
OrgEclipseJdtCorePreferencesElement(SettingsElement parent)
          Creates a new instance of the element for the file with preferences for org.eclipse.jdt.core.
OrgEclipseJdtUiPreferencesElement(SettingsElement parent)
          Creates a new instance of the element for the file with preferences for org.eclipse.jdt.ui.