Resource Manager Configuration Wizards
Identifier:
org.eclipse.ptp.ui.rmConfigurationWizards
Since:
2.0
Description:
This extension point allows plug-ins to contribute a resource manager wizard that is used to configure a new resource manager.
Configuration Markup:
<!ELEMENT extension (configurationWizard+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
- point - a fully qualified identifier of the target extension point
- id - an optional identifier of the extension instance
- name - an optional name of the extension instance
<!ELEMENT configurationWizard EMPTY>
<!ATTLIST configurationWizard
class CDATA #REQUIRED
id CDATA #REQUIRED
>
- class - a fully qualified name of the Java class extending org.eclipse.ptp.ui.wizards.RMConfigurationWizardPageFactory.
- id - a unique name that can be used to identify this wizard
Examples:
<extension point="org.eclipse.ptp.ui.rmConfigurations">
<configurationWizard
class="org.eclipse.ptp.rm.mpi.openmpi.ui.wizards.OpenMPIRMConfigurationWizardPageFactory"
id="org.eclipse.ptp.rm.openmpi.ui.configurationWizard">
</configurationWizard>
</extension>
API Information:
The value of the class attribute must represent a class
that extends org.eclipse.ptp.ui.wizards.RMConfigurationWizardPageFactory.