aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel69
1 files changed, 0 insertions, 69 deletions
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
deleted file mode 100644
index 3cdc93c4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
+++ /dev/null
@@ -1,69 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3 xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
4 modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Cft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
5 importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
6 usedGenPackages="ft.genmodel#//ft" operationReflection="true" importOrganizing="true">
7 <foreignModel>cft.ecore</foreignModel>
8 <genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
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>
15 <genClasses ecoreClass="cft.ecore#//ComponentDefinition">
16 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/>
17 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/>
18 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/outputEvents"/>
19 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ComponentDefinition/name"/>
20 </genClasses>
21 <genClasses image="false" ecoreClass="cft.ecore#//EventDefinition"/>
22 <genClasses image="false" ecoreClass="cft.ecore#//GateDefinition">
23 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//GateDefinition/inputEvents"/>
24 </genClasses>
25 <genClasses ecoreClass="cft.ecore#//BasicEventDefinition">
26 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//BasicEventDefinition/distribution"/>
27 </genClasses>
28 <genClasses ecoreClass="cft.ecore#//InputEvent">
29 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//InputEvent/multiple"/>
30 </genClasses>
31 <genClasses image="false" ecoreClass="cft.ecore#//EventDeclaration">
32 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//EventDeclaration/name"/>
33 </genClasses>
34 <genClasses ecoreClass="cft.ecore#//AndGateDefinition"/>
35 <genClasses ecoreClass="cft.ecore#//OrGateDefinition"/>
36 <genClasses ecoreClass="cft.ecore#//KOfMGateDefinition">
37 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/k"/>
38 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/m"/>
39 </genClasses>
40 <genClasses ecoreClass="cft.ecore#//ComponentFaultTree">
41 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/components"/>
42 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/topEvent"/>
43 </genClasses>
44 <genClasses ecoreClass="cft.ecore#//Component">
45 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/inputs"/>
46 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/>
47 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/>
48 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/name"/>
49 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/multipleAllowed"/>
50 </genClasses>
51 <genClasses ecoreClass="cft.ecore#//Input">
52 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/inputEvent"/>
53 <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Input/component"/>
54 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Input/incomingConnections"/>
55 </genClasses>
56 <genClasses ecoreClass="cft.ecore#//Output">
57 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/eventDeclaration"/>
58 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/outgoingConnections"/>
59 <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Output/component"/>
60 </genClasses>
61 <genClasses ecoreClass="cft.ecore#//Connection">
62 <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/>
63 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/>
64 </genClasses>
65 <genClasses ecoreClass="cft.ecore#//ModalElement">
66 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ModalElement/exists"/>
67 </genClasses>
68 </genPackages>
69</genmodel:GenModel>