PTP Resource Managers

Identifier:
org.eclipse.ptp.core.resourceManagers

Since:
2.0

Description:
This extension point allows plug-ins to contribute a resource manager factory for creating new instances of a resource manager.

Configuration Markup:

<!ELEMENT extension (resourceManager* , resourceManagerControl* , resourceManagerMonitor*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED

>


<!ELEMENT resourceManager (resourceManagerControl , resourceManagerMonitor)>

<!ATTLIST resourceManager

class CDATA #REQUIRED

id    CDATA #REQUIRED

>


<!ELEMENT resourceManagerControl EMPTY>

<!ATTLIST resourceManagerControl

class CDATA #IMPLIED

id    CDATA #REQUIRED

>


<!ELEMENT resourceManagerMonitor EMPTY>

<!ATTLIST resourceManagerMonitor

class CDATA #IMPLIED

id    CDATA #REQUIRED

>


Examples:
[Enter extension point usage example here.]

API Information:
[Enter API information here.]

Supplied Implementation:
[Enter information about supplied implementation of this extension point.]