com.intellij.openapi.extensions
Interface ExtensionsArea
- All Known Implementing Classes:
- ExtensionsAreaImpl
public interface ExtensionsArea
|
Method Summary |
void |
addAvailabilityListener(java.lang.String epName,
ExtensionPointAvailabilityListener listener)
|
java.lang.String |
getAreaClass()
|
ExtensionPoint |
getExtensionPoint(java.lang.String extensionPointName)
|
ExtensionPoint[] |
getExtensionPoints()
|
AreaPicoContainer |
getPicoContainer()
|
org.picocontainer.PicoContainer |
getPluginContainer(java.lang.String pluginName)
|
boolean |
hasExtensionPoint(java.lang.String extensionPointName)
|
void |
killPendingInteractions()
|
void |
registerExtension(PluginDescriptor pluginDescriptor,
org.jdom.Element extensionElement)
|
void |
registerExtension(java.lang.String pluginName,
org.jdom.Element extensionElement)
|
void |
registerExtensionPoint(PluginDescriptor pluginDescriptor,
org.jdom.Element extensionPointElement)
|
void |
registerExtensionPoint(java.lang.String pluginName,
org.jdom.Element extensionPointElement)
|
void |
registerExtensionPoint(java.lang.String extensionPointName,
java.lang.String extensionPointBeanClass)
|
void |
registerExtensionPoint(java.lang.String extensionPointName,
java.lang.String extensionPointBeanClass,
PluginDescriptor descriptor)
|
void |
resumeInteractions()
|
void |
suspendInteractions()
|
void |
unregisterExtension(java.lang.String pluginName,
org.jdom.Element extensionElement)
|
void |
unregisterExtensionPoint(java.lang.String extensionPointName)
|
void |
unregisterExtensionPoint(java.lang.String pluginName,
org.jdom.Element extensionPointElement)
|
registerExtensionPoint
void registerExtensionPoint(java.lang.String extensionPointName,
java.lang.String extensionPointBeanClass)
unregisterExtensionPoint
void unregisterExtensionPoint(java.lang.String extensionPointName)
hasExtensionPoint
boolean hasExtensionPoint(java.lang.String extensionPointName)
getExtensionPoint
ExtensionPoint getExtensionPoint(java.lang.String extensionPointName)
getExtensionPoints
ExtensionPoint[] getExtensionPoints()
suspendInteractions
void suspendInteractions()
resumeInteractions
void resumeInteractions()
killPendingInteractions
void killPendingInteractions()
addAvailabilityListener
void addAvailabilityListener(java.lang.String epName,
ExtensionPointAvailabilityListener listener)
getPicoContainer
AreaPicoContainer getPicoContainer()
registerExtensionPoint
void registerExtensionPoint(java.lang.String pluginName,
org.jdom.Element extensionPointElement)
registerExtensionPoint
void registerExtensionPoint(PluginDescriptor pluginDescriptor,
org.jdom.Element extensionPointElement)
registerExtension
void registerExtension(java.lang.String pluginName,
org.jdom.Element extensionElement)
registerExtension
void registerExtension(PluginDescriptor pluginDescriptor,
org.jdom.Element extensionElement)
unregisterExtensionPoint
void unregisterExtensionPoint(java.lang.String pluginName,
org.jdom.Element extensionPointElement)
unregisterExtension
void unregisterExtension(java.lang.String pluginName,
org.jdom.Element extensionElement)
getPluginContainer
org.picocontainer.PicoContainer getPluginContainer(java.lang.String pluginName)
getAreaClass
java.lang.String getAreaClass()
registerExtensionPoint
void registerExtensionPoint(java.lang.String extensionPointName,
java.lang.String extensionPointBeanClass,
PluginDescriptor descriptor)