diff options
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore | 15 | ||||
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel | 9 |
2 files changed, 22 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> |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel index 635a2f46..3cdc93c4 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel | |||
@@ -7,6 +7,11 @@ | |||
7 | <foreignModel>cft.ecore</foreignModel> | 7 | <foreignModel>cft.ecore</foreignModel> |
8 | <genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model" | 8 | <genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model" |
9 | disposableProviderFactory="true" ecorePackage="cft.ecore#/"> | 9 | disposableProviderFactory="true" ecorePackage="cft.ecore#/"> |
10 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="cft.ecore#//Modality"> | ||
11 | <genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/MAY"/> | ||
12 | <genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/CURRENT"/> | ||
13 | <genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/MUST"/> | ||
14 | </genEnums> | ||
10 | <genClasses ecoreClass="cft.ecore#//ComponentDefinition"> | 15 | <genClasses ecoreClass="cft.ecore#//ComponentDefinition"> |
11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/> | 16 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/> |
12 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/> | 17 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/> |
@@ -41,6 +46,7 @@ | |||
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/> | 46 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/> |
42 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/> | 47 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/> |
43 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/name"/> | 48 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/name"/> |
49 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/multipleAllowed"/> | ||
44 | </genClasses> | 50 | </genClasses> |
45 | <genClasses ecoreClass="cft.ecore#//Input"> | 51 | <genClasses ecoreClass="cft.ecore#//Input"> |
46 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/inputEvent"/> | 52 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/inputEvent"/> |
@@ -56,5 +62,8 @@ | |||
56 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/> | 62 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/> |
57 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/> | 63 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/> |
58 | </genClasses> | 64 | </genClasses> |
65 | <genClasses ecoreClass="cft.ecore#//ModalElement"> | ||
66 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ModalElement/exists"/> | ||
67 | </genClasses> | ||
59 | </genPackages> | 68 | </genPackages> |
60 | </genmodel:GenModel> | 69 | </genmodel:GenModel> |