| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.2"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.views"> |
| <view |
| category="org.eclipse.ptp.ui.views" |
| class="org.eclipse.ptp.pldt.mpi.analysis.view.MPIErrorView" |
| icon="icons/barrier.gif" |
| id="org.eclipse.ptp.pldt.mpi.analysis.view.MPIErrorView" |
| name="%errorsView.name"> |
| </view> |
| <view |
| name="%barriersView.name" |
| icon="icons/barrier.gif" |
| category="org.eclipse.ptp.ui.views" |
| class="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierView" |
| id="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierTableView"> |
| </view> |
| <view |
| category="org.eclipse.ptp.ui.views" |
| class="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierMatchingSetView" |
| icon="icons/barrier.gif" |
| id="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierMatchingSetTableView" |
| name="%matchesView.name"> |
| </view> |
| </extension> |
| |
| |
| |
| <!-- MPI Barrier markers --> |
| <extension point="org.eclipse.core.resources.markers" |
| id="mpiBarrierMarker" |
| name="%barrier.artifact.marker"> |
| <super type="org.eclipse.core.resources.textmarker"/> |
| <attribute name="fileName"/> |
| <attribute name="theLineNo"/> |
| <attribute name="theNewLineNo"/> |
| <attribute name="columnNo"/> |
| <attribute name="name"/> |
| <attribute name="description"/> |
| <attribute name="constructType"/> |
| <attribute name="uniqueID"/> |
| </extension> |
| <!-- this changes the marker image in the editor marker bar --> |
| <extension |
| point="org.eclipse.ui.editors.annotationTypes"> |
| <type |
| markerType="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierMarker" |
| name="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierMarkerAnnotation"> |
| </type> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierMarkerAnnotation" |
| icon="icons/barrier.gif" |
| |
| presentationLayer="3" |
| label="%barrier.annotation.marker" |
| |
| textPreferenceKey="mpiIndication" |
| textPreferenceValue="true" |
| highlightPreferenceKey="artifactHighlighting" |
| highlightPreferenceValue="false" |
| colorPreferenceKey="artifactIndicationColor" |
| colorPreferenceValue="0,128,192" |
| verticalRulerPreferenceKey="artifactIndicationInVerticalRuler" |
| verticalRulerPreferenceValue="true" |
| showInNextPrevDropdownToolbarActionKey="showPortingInNextPrevDropdownToolbarAction" |
| showInNextPrevDropdownToolbarAction="false" |
| overviewRulerPreferenceKey="artifactIndicationInOverviewRuler" |
| overviewRulerPreferenceValue="true" |
| |
| includeOnPreferencePage="true" |
| isGoToPreviousNavigationTargetKey="isPortingGoToPreviousNavigationTarget" |
| |
| isGoToNextNavigationTargetKey="isPortingRecordGoToNextNavigationTarget" |
| > |
| </specification> |
| </extension> |
| |
| |
| <!-- Matching Set Artifacts --> |
| <extension point="org.eclipse.core.resources.markers" |
| id="mpiBarrierMatchingSetMarker" |
| name="%barrier.matchingset.marker"> |
| <super type="org.eclipse.core.resources.textmarker"/> |
| <attribute name="fileName"/> |
| <attribute name="theLineNo"/> |
| <attribute name="theNewLineNo"/> |
| <attribute name="columnNo"/> |
| <attribute name="name"/> |
| <attribute name="description"/> |
| <attribute name="constructType"/> |
| <attribute name="uniqueID"/> |
| </extension> |
| <!-- this changes the marker image in the editor marker bar --> |
| <extension |
| point="org.eclipse.ui.editors.annotationTypes"> |
| <type |
| markerType="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierMatchingSetMarker" |
| name="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierMatchingSetMarkerAnnotation"> |
| </type> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierMatchingSetMarkerAnnotation" |
| icon="icons/barrier.gif" |
| |
| presentationLayer="3" |
| label="%barrier.matchingset.annotation.marker" |
| |
| textPreferenceKey="mpiIndicationMatch" |
| textPreferenceValue="true" |
| highlightPreferenceKey="artifactHighlightingMatch" |
| highlightPreferenceValue="false" |
| colorPreferenceKey="artifactIndicationColorMatch" |
| colorPreferenceValue="0,128,192" |
| verticalRulerPreferenceKey="artifactIndicationInVerticalRulerMatch" |
| verticalRulerPreferenceValue="true" |
| showInNextPrevDropdownToolbarActionKey="showPortingInNextPrevDropdownToolbarAction" |
| showInNextPrevDropdownToolbarAction="false" |
| overviewRulerPreferenceKey="artifactIndicationInOverviewRulerMatch" |
| overviewRulerPreferenceValue="true" |
| |
| includeOnPreferencePage="true" |
| isGoToPreviousNavigationTargetKey="isPortingGoToPreviousNavigationTarget" |
| |
| isGoToNextNavigationTargetKey="isPortingRecordGoToNextNavigationTarget" |
| > |
| </specification> |
| </extension> |
| |
| <!-- Barrier Error Artifacts --> |
| <extension point="org.eclipse.core.resources.markers" |
| id="mpiErrorMarker" |
| name="%mpi.barrier.error.marker"> |
| <super type="org.eclipse.core.resources.problemmarker"/> |
| <attribute name="fileName"/> |
| <attribute name="theLineNo"/> |
| <attribute name="theNewLineNo"/> |
| <attribute name="columnNo"/> |
| <attribute name="name"/> |
| <attribute name="description"/> |
| <attribute name="constructType"/> |
| <attribute name="uniqueID"/> |
| </extension> |
| <!-- this changes the marker image in the editor marker bar --> |
| <extension |
| point="org.eclipse.ui.editors.annotationTypes"> |
| <type |
| markerSeverity="2" |
| markerType="org.eclipse.ptp.pldt.mpi.analysis.mpiErrorMarker" |
| name="org.eclipse.ptp.pldt.mpi.analysis.mpiErrorMarkerAnnotation"> |
| </type> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.ptp.pldt.mpi.analysis.mpiErrorMarkerAnnotation" |
| icon="icons/barrier.gif" |
| |
| presentationLayer="3" |
| label="%mpi.barrier.error.annotation.marker" |
| |
| textPreferenceKey="mpiIndicationError" |
| textPreferenceValue="true" |
| highlightPreferenceKey="artifactHighlightingError" |
| highlightPreferenceValue="false" |
| colorPreferenceKey="artifactIndicationColorError" |
| colorPreferenceValue="128,0,0" |
| verticalRulerPreferenceKey="artifactIndicationInVerticalRulerError" |
| verticalRulerPreferenceValue="true" |
| showInNextPrevDropdownToolbarActionKey="showPortingInNextPrevDropdownToolbarAction" |
| showInNextPrevDropdownToolbarAction="false" |
| overviewRulerPreferenceKey="artifactIndicationInOverviewRulerError" |
| overviewRulerPreferenceValue="true" |
| |
| includeOnPreferencePage="true" |
| isGoToPreviousNavigationTargetKey="isPortingGoToPreviousNavigationTarget" |
| |
| isGoToNextNavigationTargetKey="isPortingRecordGoToNextNavigationTarget" |
| > |
| </specification> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| defaultHandler="org.eclipse.ptp.pldt.mpi.analysis.actions.RunAnalyseMPIAnalysiscommandHandler" |
| id="org.eclipse.ptp.pldt.mpi.analysis.command2" |
| name="%barrier.analysis.command.name"> |
| </command> |
| </extension> |
| <extension point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="menu:org.eclipse.ptp.pldt.common.toolbar.command1?after=separator4.barrier"> |
| <command |
| commandId="org.eclipse.ptp.pldt.mpi.analysis.command2" |
| icon="icons/barrier.gif" |
| label="%barrier.analysis.command.label" |
| style="push" |
| tooltip="%run.barrier.analysis.command.tooltip"> |
| </command> |
| </menuContribution> |
| |
| </extension> |
| |
| </plugin> |