Bug 510636

Corrected formalML Profile Extension configuration
in org.eclipse.efm.formalml

Change-Id: I913bb20942e7c0a0337290f41f7774c048ddd1c8

Change-Id: I913bb20942e7c0a0337290f41f7774c048ddd1c8
Signed-off-by: Erwan Mahe <erwan.mahe@cea.fr>
diff --git a/core/org.eclipse.efm.formalml/plugin.xml b/core/org.eclipse.efm.formalml/plugin.xml
index 3ba7565..9c7ba7b 100644
--- a/core/org.eclipse.efm.formalml/plugin.xml
+++ b/core/org.eclipse.efm.formalml/plugin.xml
@@ -16,19 +16,20 @@
             class="org.eclipse.efm.formalml.formalmlPackage"

             genModel="resources/profile/FormalML.profile.genmodel"/>

    </extension>

-   <extension point="org.eclipse.emf.ecore.generated_package">

-      <!-- @generated FormalML-Standard-Library -->

-      <package

-            uri="http:///FormalMLStandardLibrary/DataType.ecore"

-            class="FormalMLStandardLibrary.DataType.DataTypePackage"

-            genModel="resources/library/FormalML-Standard-Library.genmodel"/>

+   <extension

+         point="org.eclipse.papyrus.uml.extensionpoints.UMLProfile">

+      <profile

+            iconpath="platform:/plugin/org.eclipse.efm.runconfiguration/resources/icons/diversity.png"

+            name="EFM Profile"

+            path="platform:/plugin/org.eclipse.efm.formalml/resources/profile/FormalML.profile.uml">

+      </profile>

    </extension>

-

-   <extension point="org.eclipse.emf.ecore.generated_package">

-      <!-- @generated FormalML-Standard-Library -->

-      <package

-            uri="http:///FormalMLStandardLibrary/Class.ecore"

-            class="FormalMLStandardLibrary.Class.ClassPackage"

-            genModel="resources/library/FormalML-Standard-Library.genmodel"/>

+   <extension

+         point="org.eclipse.uml2.uml.generated_package">

+      <profile

+            location="platform:/plugin/org.eclipse.efm.formalml/resources/profile/FormalML.profile.uml#_Lh5xUDQ7EeWbQMVBWJmGrA"

+            uri="http://org.eclipse.efm.formalml">

+      </profile>

    </extension>

+
 </plugin>