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 |
|---|---|
String |
getExtendedPluginId() |
String |
getExtendedPointId() |
Extension.Parameter |
getParameter(String id)
Returns top level parameter with given ID or
null if no top
level parameters exist. |
Collection<Extension.Parameter> |
getParameters()
Returns collection of all top level parameters defined in this extension.
|
Collection<Extension.Parameter> |
getParameters(String id) |
boolean |
isValid() |
getUniqueIdgetDeclaringPluginDescriptor, getDeclaringPluginFragmentgetDocsPath, getDocumentationCollection<Extension.Parameter> getParameters()
Extension.Parameter objectsExtension.Parameter getParameter(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 forCollection<Extension.Parameter> getParameters(String id)
id - ID of parameter to look forString getExtendedPluginId()
String getExtendedPointId()
boolean isValid()
true if extension is considered to be validCopyright © 2016. All rights reserved.