| java.lang.Object org.jpox.plugin.Extension
Extension | public class Extension (Code) | | Extension declared in a plug-in. Represents the XML element
version: $Revision: 1.6 $ |
addConfigurationElement | public void addConfigurationElement(ConfigurationElement element)(Code) | | Add a new child ConfigurationElement (declared nested in the extension XML element)
Parameters: element - the ConfigurationElement |
getConfigurationElements | public ConfigurationElement[] getConfigurationElements()(Code) | | Acessor for all ConfigurationElements declared in the Extension
array of ConfigurationElement |
getExtensionPointId | public String getExtensionPointId()(Code) | | Acessor to the extension point id
extension point id |
getPlugin | public Bundle getPlugin()(Code) | | Accessor for the Plug-in that declared this Extension
the Plug-in |
getPoint | public ExtensionPoint getPoint()(Code) | | Acessor for the ExtensionPoint that this Extension implements
the ExtensionPoint |
setExtensionPoint | public void setExtensionPoint(ExtensionPoint point)(Code) | | Assign the ExtensionPoint to this Extension
Parameters: point - |
|
|