| <?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> |