From c1a4e0be69c3b0cf6387e928e04d864183e4feee Mon Sep 17 00:00:00 2001
From: Colin Snook <cfs@ecs.soton.ac.uk>
Date: Tue, 7 Mar 2017 16:39:49 +0000
Subject: [PATCH] declare synchronisor for inclusion extensions (serialised
 extension)

---
 .../META-INF/MANIFEST.MF                      |  3 ++-
 ac.soton.eventb.emf.inclusion.edit/plugin.xml | 20 +++++++++++++++++++
 2 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/ac.soton.eventb.emf.inclusion.edit/META-INF/MANIFEST.MF b/ac.soton.eventb.emf.inclusion.edit/META-INF/MANIFEST.MF
index f4ed994..aa16a64 100644
--- a/ac.soton.eventb.emf.inclusion.edit/META-INF/MANIFEST.MF
+++ b/ac.soton.eventb.emf.inclusion.edit/META-INF/MANIFEST.MF
@@ -14,5 +14,6 @@ Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.emf.ecore;visibility:=reexport,
  org.eclipse.emf.ecore.edit;visibility:=reexport,
  org.eventb.emf.core;visibility:=reexport,
- org.eventb.emf.core.edit;visibility:=reexport
+ org.eventb.emf.core.edit;visibility:=reexport,
+ ac.soton.eventb.emf.core.extension.persistence;bundle-version="[2.1.0,3.0.0)"
 Bundle-ActivationPolicy: lazy
diff --git a/ac.soton.eventb.emf.inclusion.edit/plugin.xml b/ac.soton.eventb.emf.inclusion.edit/plugin.xml
index 4dc17b8..6479796 100644
--- a/ac.soton.eventb.emf.inclusion.edit/plugin.xml
+++ b/ac.soton.eventb.emf.inclusion.edit/plugin.xml
@@ -28,4 +28,24 @@
             class="ac.soton.eventb.emf.inclusion.provider.InclusionItemProviderAdapterFactory$CoreChildCreationExtender"/>
    </extension>
 
+   <extension
+         point="org.eventb.emf.persistence.synchroniser">
+      <emfPackage
+            name="Machine Inclusion Package"
+            nsURI="http://soton.ac.uk/models/eventb/featureinclusion/2017">
+         <synchroniser
+               emf_class="MachineInclusion"
+               name="Machine lncusion Synchroniser"
+               rodin_id="ac.soton.eventb.emf.core.extension.persistence.serialisedExtension"
+               synchroniser_class="ac.soton.eventb.emf.core.extension.persistence.SerialisedExtensionSynchroniser">
+         </synchroniser>
+         <synchroniser
+               emf_class="EventSynchronisation"
+               name="Event Synchronisation Synchroniser"
+               rodin_id="ac.soton.eventb.emf.core.extension.persistence.serialisedExtension"
+               synchroniser_class="ac.soton.eventb.emf.core.extension.persistence.SerialisedExtensionSynchroniser">
+         </synchroniser>
+      </emfPackage>
+   </extension>
+   
 </plugin>