| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.2"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.views"> |
| <category |
| name="PTP MPI Views" |
| id="org.eclipse.ptp.pldt.mpi"> |
| </category> |
| <view |
| name="MPI Barriers" |
| icon="icons/barrier.gif" |
| category="org.eclipse.ptp.pldt.mpi" |
| class="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierView" |
| id="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierTableView"> |
| </view> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.views"> |
| <category |
| name="PTP MPI Views" |
| id="org.eclipse.ptp.pldt.mpi"> |
| </category> |
| <view |
| name="Barrier Matches" |
| icon="icons/barrier.gif" |
| category="org.eclipse.ptp.pldt.mpi" |
| class="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierMatchingSetView" |
| id="org.eclipse.ptp.pldt.mpi.analysis.view.MPIBarrierMatchingSetTableView"> |
| </view> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.views"> |
| <category |
| name="PTP MPI Views" |
| id="org.eclipse.ptp.pldt.mpi"> |
| </category> |
| <view |
| name="Barrier Errors" |
| icon="icons/barrier.gif" |
| category="org.eclipse.ptp.pldt.mpi" |
| class="org.eclipse.ptp.pldt.mpi.analysis.view.MPIErrorView" |
| id="org.eclipse.ptp.pldt.mpi.analysis.view.MPIErrorView"> |
| </view> |
| </extension> |
| |
| <!-- MPI Barrier markers --> |
| <extension point="org.eclipse.core.resources.markers" |
| id="mpiBarrierMarker" |
| name="MPI 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="MPI 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="MPI Barrier Matching Set 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="MPI Barrier Matching Set 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> |
| |
| <!-- Barrier Error Artifacts --> |
| <extension point="org.eclipse.core.resources.markers" |
| id="mpiErrorMarker" |
| name="MPI Barrier Error 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.mpiBarrierErrorMarker" |
| name="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierErrorMarkerAnnotation"> |
| </type> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.ptp.pldt.mpi.analysis.mpiBarrierErrorMarkerAnnotation" |
| icon="icons/barrier.gif" |
| |
| presentationLayer="3" |
| label="MPI Barrier Error 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> |
| |
| <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="MPI Barrier Analysis"> |
| </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="MPI Barrier Analysis" |
| style="push" |
| tooltip="Run MPI Barrier Analysis on selected project, folder, or file"> |
| </command> |
| </menuContribution> |
| |
| </extension> |
| |
| </plugin> |