Commit 1eb2ba0b authored by Vincent Aravantinos's avatar Vincent Aravantinos
Browse files

introduces ISignalContainer

refs 2717
parent e03542b5
......@@ -49,9 +49,9 @@ Export-Package: org.fortiss.af3.mira,
org.fortiss.af3.mira.utils,
org.fortiss.af3.mira.verification,
test.org.fortiss.af3.mira
Require-Bundle: org.fortiss.af3.msc;bundle-version="2.10.0";visibility:=reexport,
org.fortiss.af3.table;bundle-version="2.10.0";visibility:=reexport,
org.fortiss.af3.safety;bundle-version="2.10.0";visibility:=reexport,
Require-Bundle: org.fortiss.af3.msc;visibility:=reexport;bundle-version="2.10.0",
org.fortiss.af3.table;visibility:=reexport;bundle-version="2.10.0",
org.fortiss.af3.safety;visibility:=reexport;bundle-version="2.10.0",
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
......
......@@ -465,6 +465,16 @@
</eAnnotations>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Signal" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IType"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="input" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ISignalsContainer" abstract="true"
interface="true">
<eStructuralFeatures xsi:type="ecore:EReference" name="signals" upperBound="-1"
eType="#//functional/Signal" containment="true"/>
</eClassifiers>
</eSubpackages>
<eSubpackages name="glossary" nsURI="http://www.fortiss.org/af3/mira/glossary" nsPrefix="org-fortiss-af3-mira-glossary">
<eClassifiers xsi:type="ecore:EClass" name="Glossary" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
......@@ -561,16 +571,7 @@
<eStructuralFeatures xsi:type="ecore:EAttribute" name="telephoneNr" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="mobileNr" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ExternalSystem" eSuperTypes="#//requirementSource/RequirementSourceElement">
<eOperations name="getSignals">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="return ExternalSystemStaticImpl.getSignals(this);"/>
</eAnnotations>
<eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
<eTypeArguments eClassifier="#//requirementSource/Signal"/>
</eGenericType>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ExternalSystem" eSuperTypes="#//requirementSource/RequirementSourceElement #//functional/ISignalsContainer"/>
<eClassifiers xsi:type="ecore:EClass" name="FileItem" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//IExternalDocumentReference">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="version" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isLocal" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
......@@ -585,11 +586,6 @@
</eAnnotations>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Signal" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IType"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="input" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
</eSubpackages>
<eSubpackages name="interfacebehaviour" nsURI="http://www.fortiss.org/af3/mira/interfacebehaviour"
nsPrefix="org-fortiss-af3-mira-interfacebehaviour">
......
......@@ -238,6 +238,13 @@
<genOperations ecoreOperation="mira.ecore#//functional/FormalSpecification/getITypeDefinitions"/>
<genOperations ecoreOperation="mira.ecore#//functional/FormalSpecification/getIFunctionDefinitions"/>
</genClasses>
<genClasses ecoreClass="mira.ecore#//functional/Signal">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference mira.ecore#//functional/Signal/type"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute mira.ecore#//functional/Signal/input"/>
</genClasses>
<genClasses image="false" ecoreClass="mira.ecore#//functional/ISignalsContainer">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference mira.ecore#//functional/ISignalsContainer/signals"/>
</genClasses>
</nestedGenPackages>
<nestedGenPackages prefix="Glossary" basePackage="org.fortiss.af3.mira.model"
disposableProviderFactory="true" ecorePackage="mira.ecore#//glossary">
......@@ -270,9 +277,7 @@
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute mira.ecore#//requirementSource/Person/mobileNr"/>
<genOperations ecoreOperation="mira.ecore#//requirementSource/Person/getStakeholder"/>
</genClasses>
<genClasses ecoreClass="mira.ecore#//requirementSource/ExternalSystem">
<genOperations ecoreOperation="mira.ecore#//requirementSource/ExternalSystem/getSignals"/>
</genClasses>
<genClasses ecoreClass="mira.ecore#//requirementSource/ExternalSystem"/>
<genClasses ecoreClass="mira.ecore#//requirementSource/FileItem">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute mira.ecore#//requirementSource/FileItem/version"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute mira.ecore#//requirementSource/FileItem/isLocal"/>
......@@ -282,11 +287,6 @@
<genClasses image="false" ecoreClass="mira.ecore#//requirementSource/RequirementSourceElement">
<genOperations ecoreOperation="mira.ecore#//requirementSource/RequirementSourceElement/getRequirementSource"/>
</genClasses>
<genClasses ecoreClass="mira.ecore#//requirementSource/Signal">
<genFeatures notify="false" createChild="false" propertySortChoices="true"
ecoreFeature="ecore:EReference mira.ecore#//requirementSource/Signal/type"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute mira.ecore#//requirementSource/Signal/input"/>
</genClasses>
</nestedGenPackages>
<nestedGenPackages prefix="Interfacebehaviour" basePackage="org.fortiss.af3.mira.model"
disposableProviderFactory="true" ecorePackage="mira.ecore#//interfacebehaviour">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment