| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| |
| <plugin> |
| |
| <!-- Managed Build Verification Menu Group --> |
| <extension |
| point="org.eclipse.ui.popupMenus"> |
| |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.c") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.verificationPopUpMenuC" |
| nameFilter="*.c" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="verificationMenu"> |
| <separator name="verificationGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.VerificationPopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.verificationPopupC" |
| label="Formally Verify MPI Program" |
| menubarPath="verificationMenu/verificationGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.cpp") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.verificationPopUpMenuCpp" |
| nameFilter="*.cpp" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="verificationMenu"> |
| <separator name="verificationGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.VerificationPopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.verificationPopupCpp" |
| label="Formally Verify MPI Program" |
| menubarPath="verificationMenu/verificationGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.c++") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.verificationPopUpMenuC++" |
| nameFilter="*.c++" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="verificationMenu"> |
| <separator name="verificationGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.VerificationPopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.verificationPopupC++" |
| label="Formally Verify MPI Program" |
| menubarPath="verificationMenu/verificationGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.cp") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.verificationPopUpMenuCp" |
| nameFilter="*.cp" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="verificationMenu"> |
| <separator name="verificationGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.VerificationPopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.verificationPopupCp" |
| label="Formally Verify MPI Program" |
| menubarPath="verificationMenu/verificationGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.cc") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.verificationPopUpMenuCc" |
| nameFilter="*.cc" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="verificationMenu"> |
| <separator name="verificationGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.VerificationPopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.verificationPopupCc" |
| label="Formally Verify MPI Program" |
| menubarPath="verificationMenu/verificationGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| |
| <!-- Logfile Menu Group --> |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.log") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.logFilePopupMenu" |
| nameFilter="*.log" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="logFileMenu"> |
| <separator name="logFileGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.HbvLogFilePopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.hbvLogPopup" |
| label="Launch Happens Before Viewer" |
| menubarPath="logFileMenu/logFileGroup" |
| icon="icons/hbv-trident.gif"> |
| </action> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.ProcessLogFilePopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.LogFilePopUpAction" |
| label="Process GEM Log File" |
| menubarPath="logFileMenu/logFileGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| |
| <!-- Makefile Verification Menu Group --> |
| <!-- PopUpMenus extension point and contributions (nameFilter="*.gem") --> |
| <objectContribution |
| adaptable="true" |
| id="org.eclipse.ptp.gem.makefilePopupMenu" |
| nameFilter="*.gem" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <menu |
| label="GEM" |
| path="additions" |
| id="executableMenu"> |
| <separator name="executableGroup"/> |
| </menu> |
| <action |
| class="org.eclipse.ptp.internal.gem.popup.actions.VerificationPopUpAction" |
| enablesFor="1" |
| id="org.eclipse.ptp.gem.executablePopup" |
| label="Formally Verify Profiled MPI Executable" |
| menubarPath="executableMenu/executableGroup" |
| icon="icons/trident.gif"> |
| </action> |
| </objectContribution> |
| </extension> |
| |
| |
| <!-- Preferences extension point and Initializer --> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.ptp.ui.preferences.ptpPreferencesPage" |
| class="org.eclipse.ptp.internal.gem.preferences.GemPreferencePage" |
| id="org.eclipse.ptp.gem.preferences.GemPreferences" |
| name="GEM"> |
| </page> |
| <page |
| category="org.eclipse.ptp.gem.preferences.GemPreferences" |
| class="org.eclipse.ptp.internal.gem.preferences.IspPreferencePage" |
| id="org.eclipse.ptp.gem.preferences.IspPreferences" |
| name="ISP Settings"> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="org.eclipse.ptp.internal.gem.preferences.PreferenceInitializer"> |
| </initializer> |
| </extension> |
| |
| |
| <!-- Commands extension point and contributions (for toolbar buttons) --> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <category |
| id="org.eclipse.ptp.gem.commands.category" |
| name="GEM Commands Category"> |
| </category> |
| <command |
| categoryId="org.eclipse.ptp.gem.commands.category" |
| id="org.eclipse.ptp.gem.commands.numprocsCommand" |
| name="Set Number of Processes"> |
| </command> |
| <command |
| categoryId="org.eclipse.ptp.gem.commands.category" |
| id="org.eclipse.ptp.gem.commands.gemCommand" |
| name="Formally Verify MPI Program"> |
| </command> |
| </extension> |
| |
| |
| <!-- Handlers extension point --> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.ptp.internal.gem.handlers.GemHandler" |
| commandId="org.eclipse.ptp.gem.commands.numprocsCommand"> |
| </handler> |
| <handler |
| class="org.eclipse.ptp.internal.gem.handlers.GemHandler" |
| commandId="org.eclipse.ptp.gem.commands.gemCommand"> |
| </handler> |
| </extension> |
| |
| |
| <!-- Menus extension point and contributions (toolbar buttons) --> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions"> |
| <toolbar id="org.eclipse.ptp.gem.toolbar" |
| label="%menulabel"> |
| <command |
| commandId="org.eclipse.ptp.gem.commands.gemCommand" |
| icon="icons/trident.gif" |
| id="org.eclipse.ptp.gem.toolbar.refCommand" |
| style="pulldown" |
| tooltip="Formally Verify MPI Program"> |
| <visibleWhen |
| checkEnabled="false"> |
| <with |
| variable="activeWorkbenchWindow.activePerspective"> |
| <equals |
| value="org.eclipse.cdt.ui.CPerspective"> |
| </equals> |
| </with> |
| </visibleWhen> |
| </command> |
| </toolbar> |
| </menuContribution> |
| <menuContribution locationURI="menu:org.eclipse.ptp.gem.toolbar.refCommand?after=additions"> |
| <command |
| commandId="org.eclipse.ptp.gem.commands.numprocsCommand" |
| icon="icons/triple-trident.gif" |
| id="org.eclipse.ptp.gem.toolbar.menu.numprocsCommand"> |
| </command> |
| <command |
| commandId="org.eclipse.ptp.gem.commands.gemCommand" |
| icon="icons/trident.gif" |
| id="org.eclipse.ptp.gem.toolbar.menu.gemCommand"> |
| </command> |
| </menuContribution> |
| </extension> |
| |
| |
| <!-- Views extension point --> |
| <extension |
| point="org.eclipse.ui.views"> |
| <view |
| name="GEM Console" |
| icon="icons/magnified-trident.gif" |
| category="org.eclipse.ptp.ui.views" |
| class="org.eclipse.ptp.internal.gem.views.GemConsole" |
| id="org.eclipse.ptp.gem.views.GemConsole"> |
| </view> |
| <view |
| name="GEM Analyzer" |
| icon="icons/trident.gif" |
| category="org.eclipse.ptp.ui.views" |
| class="org.eclipse.ptp.internal.gem.views.GemAnalyzer" |
| id="org.eclipse.ptp.gem.views.GemAnalyzer"> |
| </view> |
| <view |
| name="GEM Browser" |
| icon="icons/trident.gif" |
| category="org.eclipse.ptp.ui.views" |
| class="org.eclipse.ptp.internal.gem.views.GemBrowser" |
| id="org.eclipse.ptp.gem.views.GemBrowser"> |
| </view> |
| </extension> |
| |
| </plugin> |
