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() |
getUniqueId
getDeclaringPluginDescriptor, getDeclaringPluginFragment
getDocsPath, getDocumentation
Collection<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 © 2015. All rights reserved.