blob: 0522fa1ad55f517365daba3c5ebd2242cc927349 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<!-- Toolbar Commands -->
<extension
point="org.eclipse.ui.commands">
<category
id="org.eclipse.ptp.gig.commands.category"
name="GIG Commands Category">
</category>
<command
categoryId="org.eclipse.ptp.gig.commands.category"
id="org.eclipse.ptp.gig.commands.sourceToolbar"
name="Formally Verify CUDA Program">
</command>
<command
categoryId="org.eclipse.ptp.gig.commands.category"
id="org.eclipse.ptp.gig.commands.sourcePopup"
name="Formally Verify CUDA Program">
</command>
<command
categoryId="org.eclipse.ptp.gig.commands.category"
id="org.eclipse.ptp.gig.commands.sendSourceToServer"
name="Send Files and Folders to Server">
</command>
</extension>
<!-- Command Handlers -->
<extension
point="org.eclipse.ui.handlers">
<handler
class="org.eclipse.ptp.internal.gig.handlers.ToolbarHandler"
commandId="org.eclipse.ptp.gig.commands.sourceToolbar">
</handler>
<handler
class="org.eclipse.ptp.internal.gig.handlers.PopupHandler"
commandId="org.eclipse.ptp.gig.commands.sourcePopup">
</handler>
<handler
class="org.eclipse.ptp.internal.gig.handlers.PopupHandler"
commandId="org.eclipse.ptp.gig.commands.sendSourceToServer">
</handler>
</extension>
<!-- Menus -->
<extension
point="org.eclipse.ui.menus">
<menuContribution
locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
<toolbar id="org.eclipse.ptp.gig.toolbar">
<command
commandId="org.eclipse.ptp.gig.commands.sourceToolbar"
icon="icons/trident.png"
id="org.eclipse.ptp.gig.toolbar.refCommand"
style="pulldown"
tooltip="Formally Verify CUDA Program">
<visibleWhen
checkEnabled="false">
<or>
<with
variable="activeWorkbenchWindow.activePerspective">
<equals
value="org.eclipse.cdt.ui.CPerspective">
</equals>
</with>
<with
variable="activeWorkbenchWindow.activePerspective">
<equals
value="org.eclipse.ptp.rdt.ui.remoteCPerspective">
</equals>
</with>
</or>
</visibleWhen>
</command>
</toolbar>
</menuContribution>
<menuContribution
allPopups="false"
locationURI="popup:org.eclipse.ui.popup.any?after=additions">
<menu
id="org.eclipse.ptp.gig.menus.popupMenu"
label="GIG"
mnemonic="G">
<command
commandId="org.eclipse.ptp.gig.commands.sourcePopup"
icon="icons/trident.png"
id="org.eclipse.ptp.gig.sourcePopupMenu"
mnemonic="F"
style="push">
</command>
<command
commandId="org.eclipse.ptp.gig.commands.sendSourceToServer"
icon="icons/trident.png"
id="org.eclipse.ptp.gig.sendSourceToServerPopupMenu"
mnemonic="S"
style="push">
</command>
</menu>
</menuContribution>
</extension>
<!-- Preference Page -->
<extension
point="org.eclipse.ui.preferencePages">
<page
category="org.eclipse.ptp.ui.preferences.ptpPreferencesPage"
class="org.eclipse.ptp.internal.gig.preferences.GIGPreferencePage"
id="org.eclipse.ptp.gig.preferences.GIGPreferences"
name="GIG">
</page>
</extension>
<!-- Preference Initializer -->
<extension
point="org.eclipse.core.runtime.preferences">
<initializer
class="org.eclipse.ptp.internal.gig.preferences.PreferenceInitializer">
</initializer>
</extension>
<!-- Views -->
<extension
point="org.eclipse.ui.views">
<category
name="GIG"
id="org.eclipse.ptp.gig">
</category>
<view
name="GIG"
icon="icons/trident.png"
category="org.eclipse.ptp.gig"
class="org.eclipse.ptp.internal.gig.views.GIGView"
id="org.eclipse.ptp.gig.views.GIGView">
</view>
<view
name="GIGServer"
icon="icons/trident.png"
category="org.eclipse.ptp.gig"
class="org.eclipse.ptp.internal.gig.views.ServerView"
id="org.eclipse.ptp.gig.views.ServerView">
</view>
</extension>
<!-- Views Perspective -->
<extension
point="org.eclipse.ui.perspectiveExtensions">
<perspectiveExtension
targetID="org.eclipse.cdt.ui.CPerspective">
<view
ratio="0.5"
relative="org.eclipse.ui.console.ConsoleView"
relationship="stack"
id="org.eclipse.ptp.gig.views.GIGView">
</view>
<view
ratio="0.5"
relative="org.eclipse.ui.views.ContentOutline"
relationship="stack"
id="org.eclipse.ptp.gig.views.ServerView">
</view>
</perspectiveExtension>
</extension>
<!-- Help -->
<extension
point="org.eclipse.help.contexts">
<contexts
file="contexts.xml">
</contexts>
</extension>
</plugin>