core/org.eclipse.efm.formalml/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>

<!--
-->

<plugin>



   
   <extension point="org.eclipse.emf.ecore.generated_package">
      <!-- @generated FormalML.profile -->
      <package
            uri="http://org.eclipse.efm.formalml"
            class="org.eclipse.efm.formalml.formalmlPackage"
            genModel="resources/profile/FormalML.profile.genmodel"/>
   </extension>
   <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.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>