aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore15
1 files changed, 13 insertions, 2 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
index 2fc15d94..a843aeed 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
@@ -38,7 +38,7 @@
38 <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1" 38 <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
39 eType="#//Output"/> 39 eType="#//Output"/>
40 </eClassifiers> 40 </eClassifiers>
41 <eClassifiers xsi:type="ecore:EClass" name="Component"> 41 <eClassifiers xsi:type="ecore:EClass" name="Component" eSuperTypes="#//ModalElement">
42 <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1" 42 <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
43 eType="#//Input" containment="true" eOpposite="#//Input/component"/> 43 eType="#//Input" containment="true" eOpposite="#//Input/component"/>
44 <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1" 44 <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1"
@@ -46,6 +46,8 @@
46 <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1" 46 <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1"
47 eType="#//ComponentDefinition"/> 47 eType="#//ComponentDefinition"/>
48 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> 48 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
49 <eStructuralFeatures xsi:type="ecore:EAttribute" name="multipleAllowed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
50 defaultValueLiteral="false"/>
49 </eClassifiers> 51 </eClassifiers>
50 <eClassifiers xsi:type="ecore:EClass" name="Input"> 52 <eClassifiers xsi:type="ecore:EClass" name="Input">
51 <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1" 53 <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1"
@@ -63,10 +65,19 @@
63 <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1" 65 <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
64 eType="#//Component" eOpposite="#//Component/outputs"/> 66 eType="#//Component" eOpposite="#//Component/outputs"/>
65 </eClassifiers> 67 </eClassifiers>
66 <eClassifiers xsi:type="ecore:EClass" name="Connection"> 68 <eClassifiers xsi:type="ecore:EClass" name="Connection" eSuperTypes="#//ModalElement">
67 <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input" 69 <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input"
68 eOpposite="#//Input/incomingConnections"/> 70 eOpposite="#//Input/incomingConnections"/>
69 <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1" 71 <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
70 eType="#//Output" eOpposite="#//Output/outgoingConnections"/> 72 eType="#//Output" eOpposite="#//Output/outgoingConnections"/>
71 </eClassifiers> 73 </eClassifiers>
74 <eClassifiers xsi:type="ecore:EEnum" name="Modality">
75 <eLiterals name="MAY"/>
76 <eLiterals name="CURRENT" value="1"/>
77 <eLiterals name="MUST" value="2"/>
78 </eClassifiers>
79 <eClassifiers xsi:type="ecore:EClass" name="ModalElement" abstract="true" interface="true">
80 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exists" eType="#//Modality"
81 defaultValueLiteral="MUST"/>
82 </eClassifiers>
72</ecore:EPackage> 83</ecore:EPackage>