rms/org.eclipse.ptp.rm.slurm.ui/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>

   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            category="org.eclipse.ptp.ui.preferences.rmPreferencesPage"
            class="org.eclipse.ptp.rm.slurm.ui.preferences.SLURMPreferencePage"
            id="org.eclipse.ptp.slurm.ui.preferences.SLURMPreferencePage"
            name="SLURM">
      </page>
   </extension>
   <extension
         point="org.eclipse.ptp.launch.rmLaunchConfigurations">
      <launchConfiguration
            class="org.eclipse.ptp.rm.slurm.ui.rmLaunchConfiguration.SLURMRMLaunchConfigurationFactory"
            id="org.eclipse.ptp.slurm.ui.launchConfiguration"/>
   </extension>
   <extension
         point="org.eclipse.ptp.services.core.providers">
      <provider
            class="org.eclipse.ptp.rm.slurm.ui.SLURMServiceProvider"
            id="org.eclipse.ptp.rm.slurm.SLURMServiceProvider"
            name="SLURM"
            serviceId="org.eclipse.ptp.core.LaunchService">
      </provider>
   </extension>
   <extension
         point="org.eclipse.ptp.services.ui.providerContributors">
      <providerContributor
            class="org.eclipse.ptp.rm.slurm.ui.SLURMProviderContributor"
            id="org.eclipse.ptp.rm.slurm.SLURMServiceProvider">
      </providerContributor>
   </extension>
</plugin>