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