blob: 703b5a4edf2e415847ade573dc46b28bd6e7bf50 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>
<extension
point="org.eclipse.ui.popupMenus">
<viewerContribution
id="org.eclipse.ptp.pldt.openmp.analysis.CEditorContribution"
targetID="#CEditorContext">
<action
class="org.eclipse.ptp.pldt.openmp.analysis.textview.ShowConcurrencyAction"
id="org.eclipse.ptp.pldt.openmp.analysis.showConcurrency"
label="%action.label"
menubarPath="additions"/>
</viewerContribution>
</extension>
<extension
id="openMPConcurrencyMarker"
name="%extension.name"
point="org.eclipse.ui.editors.markerAnnotationSpecification">
<specification
annotationType="org.eclipse.ptp.pldt.openmp.analysis.concurrency"
colorPreferenceKey="concurrencyIndicationColor"
colorPreferenceValue="250,230,110"
contributesToHeader="false"
highlightPreferenceKey="concurrencyHighlighting"
highlightPreferenceValue="true"
includeOnPreferencePage="true"
isGoToNextNavigationTarget="false"
isGoToNextNavigationTargetKey="isConcurrencyRecordGoToNextNavigationTarget"
label="%specification.label"
overviewRulerPreferenceKey="concurrencyIndicationInOverviewRuler"
overviewRulerPreferenceValue="false"
presentationLayer="5"
showInNextPrevDropdownToolbarAction="false"
showInNextPrevDropdownToolbarActionKey="showConcurrencyInNextPrevDropdownToolbarAction"
textPreferenceKey="concurrencyIndication"
textPreferenceValue="true"
verticalRulerPreferenceKey="concurrencyIndicationInVerticalRuler"
verticalRulerPreferenceValue="false"/>
<specification
annotationType="org.eclipse.ptp.pldt.openmp.analysis.nonconcurrency"
colorPreferenceKey="nonConcurrencyIndicationColor"
colorPreferenceValue="250,150,140"
contributesToHeader="false"
highlightPreferenceKey="nonConcurrencyHighlighting"
highlightPreferenceValue="true"
includeOnPreferencePage="true"
isGoToNextNavigationTarget="false"
label="%specification.label.0"
overviewRulerPreferenceKey="nonConcurrencyIndicationInOverviewRuler"
overviewRulerPreferenceValue="false"
presentationLayer="5"
showInNextPrevDropdownToolbarAction="false"
textPreferenceKey="nonConcurrencyIndication"
textPreferenceValue="true"
verticalRulerPreferenceKey="nonConcurrencyIndicationInVerticalRuler"
verticalRulerPreferenceValue="false"/>
</extension>
<extension
point="org.eclipse.ui.editors.annotationTypes">
<type
markerType="org.eclipse.core.resources.problemmarker"
name="org.eclipse.ptp.pldt.openmp.analysis.concurrency"/>
<type
markerType="org.eclipse.core.resources.problemmarker"
name="org.eclipse.ptp.pldt.openmp.analysis.nonconcurrency"/>
</extension>
</plugin>