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() |
getUniqueId
getDeclaringPluginDescriptor, getDeclaringPluginFragment
getDocsPath, getDocumentation
java.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.