public interface Extension extends UniqueIdentity, PluginElement<Extension>
Extension UID is a combination of declaring plug-in ID and extension ID that is unique within whole set of registered plug-ins.
| Modifier and Type | Interface and Description |
|---|---|
static interface |
Extension.Parameter
This interface abstracts extension parameter according to extension
declaration in manifest.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getExtendedPluginId() |
java.lang.String |
getExtendedPointId() |
Extension.Parameter |
getParameter(java.lang.String id)
Returns top level parameter with given ID or
null if no top
level parameters exist. |
java.util.Collection<Extension.Parameter> |
getParameters()
Returns collection of all top level parameters defined in this extension.
|
java.util.Collection<Extension.Parameter> |
getParameters(java.lang.String id) |
boolean |
isValid() |
getUniqueIdgetDeclaringPluginDescriptor, getDeclaringPluginFragmentgetDocsPath, getDocumentationjava.util.Collection<Extension.Parameter> getParameters()
Extension.Parameter objectsExtension.Parameter getParameter(java.lang.String id)
null if no top
level parameters exist. If more than one top level parameters with given
ID found, the method should throw an IllegalArgumentException.id - ID of parameter to look forjava.util.Collection<Extension.Parameter> getParameters(java.lang.String id)
id - ID of parameter to look forjava.lang.String getExtendedPluginId()
java.lang.String getExtendedPointId()
boolean isValid()
true if extension is considered to be validCopyright © 2004-2007 Dmitry Olshansky. All Rights Reserved.