T
- the type of the managed extensionspublic interface ExtensionPoint<T>
Modifier and Type | Method and Description |
---|---|
void |
addExtension(String id,
String pluginName,
String featureName,
Configuration configuration)
Add an extension to this point.
|
T |
getExtension(String id)
Returns the named extension
|
Set<String> |
getExtensionsIds()
Returns a Set containing the ids of all known extensions
|
boolean |
hasExtension(String id)
Returns true if the named extension exists
|
void |
initializeExtensions()
Finalize the initialization of the extensions.
This method is called after all addExtension() calls.This is the last step before the actual startup of the application. |
void addExtension(String id, String pluginName, String featureName, Configuration configuration) throws ConfigurationException
id
- the unique identifier of the extension.pluginName
- Unique identifier for the plugin hosting the extensionfeatureName
- Unique feature identifier (unique for a given pluginName)configuration
- the information about the extension to be addedConfigurationException
- when a configuration problem occursvoid initializeExtensions() throws Exception
addExtension()
calls.Exception
- if something wrong occursboolean hasExtension(String id)
id
- the unique id of the extensionT getExtension(String id)
id
- the unique id of the extensionSet<String> getExtensionsIds()