Resource Manager Launch Configuration

Identifier:
org.eclipse.ptp.launch.rmLaunchConfigurations

Since:
2.0

Description:
This extension point allows plug-ins to contribute resource manager specific launch configuration information to the Resources launch tab.

Configuration Markup:

<!ELEMENT extension (launchConfiguration)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED

>


<!ELEMENT launchConfiguration EMPTY>

<!ATTLIST launchConfiguration

name  CDATA #IMPLIED

class CDATA #REQUIRED

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.]