blob: c4507a37665d6c301a0c4fb57f4699b085b78185 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<extension
point = "org.eclipse.ui.preferencePages">
<page
id="org.eclipse.m2m.qvt.oml.tools.coverage.preferences"
class="org.eclipse.m2m.internal.qvt.oml.tools.coverage.ui.QVTOCoveragePreferencePage"
name="%page.name"
>
</page>
</extension>
<extension point="org.eclipse.ui.views">
<view
class="org.eclipse.m2m.internal.qvt.oml.tools.coverage.ui.CoverageView"
icon="icons/pr-Model_to_model.gif"
id="org.eclipse.m2m.qvt.oml.tools.coverage.ui.coverageView"
name="%view.name"/>
</extension>
<extension
id="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touchedMarker"
name="%extension.name"
point="org.eclipse.core.resources.markers">
<super
type="org.eclipse.core.resources.textmarker">
</super>
</extension>
<extension
point="org.eclipse.ui.editors.annotationTypes">
<type
markerType="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touchedMarker"
name="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touchedMarker">
</type>
</extension>
<extension
point="org.eclipse.ui.editors.markerAnnotationSpecification">
<specification
annotationType="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touchedMarker"
colorPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touched.color"
colorPreferenceValue="152,251,152"
contributesToHeader="false"
highlightPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touched.highlight"
highlightPreferenceValue="true"
includeOnPreferencePage="true"
label="%specification.label"
overviewRulerPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touched.overview"
overviewRulerPreferenceValue="true"
presentationLayer="0"
textPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touched.text"
textPreferenceValue="true"
textStylePreferenceValue="BOX"
verticalRulerPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.touched.ruler"
verticalRulerPreferenceValue="true">
</specification>
</extension>
<extension
id="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouchedMarker"
name="%extension.name.0"
point="org.eclipse.core.resources.markers">
<super
type="org.eclipse.core.resources.textmarker">
</super>
</extension>
<extension
point="org.eclipse.ui.editors.annotationTypes">
<type
markerType="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouchedMarker"
name="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouchedMarker">
</type>
</extension>
<extension
point="org.eclipse.ui.editors.markerAnnotationSpecification">
<specification
annotationType="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouchedMarker"
colorPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouched.color"
colorPreferenceValue="255,192,203"
contributesToHeader="false"
highlightPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouched.highlight"
highlightPreferenceValue="true"
includeOnPreferencePage="true"
label="%specification.label.0"
overviewRulerPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouched.overview"
overviewRulerPreferenceValue="true"
presentationLayer="0"
textPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouched.text"
textPreferenceValue="true"
textStylePreferenceValue="BOX"
verticalRulerPreferenceKey="org.eclipse.m2m.qvt.oml.tools.coverage.markers.untouched.ruler"
verticalRulerPreferenceValue="true">
</specification>
</extension>
<extension
point="org.eclipse.debug.core.launchDelegates">
<launchDelegate
delegate="org.eclipse.m2m.internal.qvt.oml.tools.coverage.ui.launching.QvtLaunchConfigurationCoverageDelegate"
delegateDescription="%launchDelegate.description"
id="org.eclipse.m2m.qvt.oml.tools.coverage.ui.launchDelegate"
modes="run"
name="%launchDelegate.name"
type="org.eclipse.m2m.qvt.oml.QvtTransformation">
</launchDelegate>
</extension>
<extension
point="org.eclipse.ui.menus">
<menuContribution
allPopups="false"
locationURI="toolbar:org.eclipse.m2m.qvt.oml.tools.coverage.ui.coverageView">
</menuContribution>
</extension>
<extension
point="org.eclipse.ui.commands">
<command
id="org.eclipse.m2m.qvt.oml.tools.coverage.ui.commands.clearCoverageDataCommand"
name="Clear coverage data">
</command>
</extension>
<extension
point="org.eclipse.ui.handlers">
<handler
class="org.eclipse.m2m.internal.qvt.oml.tools.coverage.ui.handlers.ClearCoverageDataCommandHandler"
commandId="org.eclipse.m2m.qvt.oml.tools.coverage.ui.commands.clearCoverageDataCommand">
</handler>
</extension>
<extension
point="org.eclipse.ui.menus">
<menuContribution
allPopups="false"
locationURI="toolbar:org.eclipse.m2m.qvt.oml.tools.coverage.ui.coverageView">
<command
commandId="org.eclipse.m2m.qvt.oml.tools.coverage.ui.commands.clearCoverageDataCommand"
icon="icons/clear_data.gif"
style="push">
</command>
</menuContribution>
</extension>
</plugin>