Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/infra/services/org.eclipse.papyrus.infra.services.validation/plugin.xml')
-rw-r--r--plugins/infra/services/org.eclipse.papyrus.infra.services.validation/plugin.xml20
1 files changed, 18 insertions, 2 deletions
diff --git a/plugins/infra/services/org.eclipse.papyrus.infra.services.validation/plugin.xml b/plugins/infra/services/org.eclipse.papyrus.infra.services.validation/plugin.xml
index 8e66ac2ee45..c7d0648a2ec 100644
--- a/plugins/infra/services/org.eclipse.papyrus.infra.services.validation/plugin.xml
+++ b/plugins/infra/services/org.eclipse.papyrus.infra.services.validation/plugin.xml
@@ -2,13 +2,13 @@
<?eclipse version="3.4"?>
<plugin>
- <extension-point id="diagnosticians" name="Registered diagnostician" schema="schema/diagnostician.exsd"/>
+ <extension-point id="diagnosticians" name="Registered diagnostician" schema="schema/diagnosticians.exsd"/>
<extension
point="org.eclipse.ui.preferencePages">
<page
category="org.eclipse.papyrus.infra.core.sasheditor.preferences.generalcategory"
class="org.eclipse.papyrus.infra.services.validation.preferences.PreferencePage"
- id="org.eclipse.papyrus.infra.gmfdiag.preferences.validation"
+ id="org.eclipse.papyrus.infra.services.validation.preferences"
name="Validation preferences">
</page>
</extension>
@@ -143,4 +143,20 @@
decorationType="org.eclipse.emf.ecore.diagnostic">
</client>
</extension>
+ <extension
+ point="org.eclipse.papyrus.infra.core.service">
+ <service
+ classname="org.eclipse.papyrus.infra.services.validation.internal.ValidationMarkersService"
+ description="Validation markers tracking service for the Model Validation View."
+ id="org.eclipse.papyrus.infra.services.validation.IValidationMarkersService"
+ priority="1"
+ startKind="startup">
+ </service>
+ </extension>
+ <extension
+ point="org.eclipse.papyrus.infra.services.markerlistener.markereventlistener">
+ <listener
+ class="org.eclipse.papyrus.infra.services.validation.IValidationMarkersService">
+ </listener>
+ </extension>
</plugin>

Back to the top