This project is a demonstrator of pattern instanciation on system engineering model (pseim), made by the MOISE project. It contains the metamodel of the pseim, graphical and textual editors, formal verification models (event-B) and examples.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

64 lines
4.5 KiB

6 years ago
<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/com.irtsaintexupery.pseim/src-gen" creationIcons="false"
editDirectory="/com.irtsaintexupery.pseim.edit/src-gen" editorDirectory="/com.irtsaintexupery.pseim.editor/src-gen"
modelPluginID="com.irtsaintexupery.pseim" modelName="Seim" editPluginClass="com.irtsaintexupery.pseim.seim.provider.SeimEditPlugin"
editorPluginClass="com.irtsaintexupery.pseim.seim.presentation.SeimEditorPlugin"
rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true"
testsDirectory="/com.irtsaintexupery.pseim.tests/src" testSuiteClass="com.irtsaintexupery.pseim.seim.tests.SeimAllTests"
importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
editPluginID="com.irtsaintexupery.pseim.edit" editorPluginID="com.irtsaintexupery.pseim.editor"
operationReflection="true" importOrganizing="true">
<foreignModel>seim.ecore</foreignModel>
<genPackages prefix="Seim" basePackage="com.irtsaintexupery.pseim" disposableProviderFactory="true"
ecorePackage="seim.ecore#/">
<genEnums typeSafeEnumCompatible="false" ecoreEnum="seim.ecore#//PortDirection">
<genEnumLiterals ecoreEnumLiteral="seim.ecore#//PortDirection/UNSPECIFIED"/>
<genEnumLiterals ecoreEnumLiteral="seim.ecore#//PortDirection/IN"/>
<genEnumLiterals ecoreEnumLiteral="seim.ecore#//PortDirection/OUT"/>
<genEnumLiterals ecoreEnumLiteral="seim.ecore#//PortDirection/INOUT"/>
</genEnums>
<genClasses ecoreClass="seim.ecore#//Component">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference seim.ecore#//Component/content"/>
</genClasses>
<genClasses ecoreClass="seim.ecore#//Port">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//Port/direction"/>
</genClasses>
<genClasses ecoreClass="seim.ecore#//Link">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference seim.ecore#//Link/src"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference seim.ecore#//Link/dst"/>
</genClasses>
<genClasses image="false" ecoreClass="seim.ecore#//GraphElement"/>
<genClasses image="false" ecoreClass="seim.ecore#//Property">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//Property/key"/>
</genClasses>
<genClasses image="false" ecoreClass="seim.ecore#//BasicProperty"/>
<genClasses ecoreClass="seim.ecore#//IntegerProperty">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//IntegerProperty/value"/>
</genClasses>
<genClasses ecoreClass="seim.ecore#//StringProperty">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//StringProperty/value"/>
</genClasses>
<genClasses ecoreClass="seim.ecore#//BooleanProperty">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//BooleanProperty/value"/>
</genClasses>
<genClasses ecoreClass="seim.ecore#//ReferenceProperty">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference seim.ecore#//ReferenceProperty/ref"/>
</genClasses>
<genClasses image="false" ecoreClass="seim.ecore#//PropertyHolder">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference seim.ecore#//PropertyHolder/properties"/>
</genClasses>
<genClasses image="false" ecoreClass="seim.ecore#//NamedElement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//NamedElement/name"/>
</genClasses>
<genClasses image="false" ecoreClass="seim.ecore#//IdentifiedElement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute seim.ecore#//IdentifiedElement/uid"/>
</genClasses>
<genClasses ecoreClass="seim.ecore#//Model">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference seim.ecore#//Model/modelElements"/>
</genClasses>
<genClasses image="false" ecoreClass="seim.ecore#//BorderElement"/>
<genClasses image="false" ecoreClass="seim.ecore#//Element"/>
</genPackages>
</genmodel:GenModel>