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