aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-06 18:28:18 +0100
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-19 19:18:25 +0100
commit615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 (patch)
tree1c9fe0f4ae152d84152c8ff1cfb6366ec8b277e9 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
parent[Stochastic] Fault tree transformation langauge (diff)
downloadVIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip
Extract component fault tree model
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel37
1 files changed, 37 insertions, 0 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
new file mode 100644
index 00000000..b5f63c34
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
@@ -0,0 +1,37 @@
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="Ft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
5 importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
6 operationReflection="true" importOrganizing="true">
7 <foreignModel>ft.ecore</foreignModel>
8 <genPackages prefix="Ft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
9 disposableProviderFactory="true" ecorePackage="ft.ecore#/">
10 <genClasses ecoreClass="ft.ecore#//FaultTree">
11 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/>
12 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/>
13 </genClasses>
14 <genClasses image="false" ecoreClass="ft.ecore#//Event">
15 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//Event/name"/>
16 </genClasses>
17 <genClasses ecoreClass="ft.ecore#//BasicEvent">
18 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/>
19 </genClasses>
20 <genClasses image="false" ecoreClass="ft.ecore#//Gate">
21 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//Gate/inputEvents"/>
22 </genClasses>
23 <genClasses image="false" ecoreClass="ft.ecore#//Distribution"/>
24 <genClasses ecoreClass="ft.ecore#//ConstantDistribution">
25 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantDistribution/p"/>
26 </genClasses>
27 <genClasses ecoreClass="ft.ecore#//ExponentialDistribution">
28 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ExponentialDistribution/lambda"/>
29 </genClasses>
30 <genClasses ecoreClass="ft.ecore#//AndGate"/>
31 <genClasses ecoreClass="ft.ecore#//OrGate"/>
32 <genClasses ecoreClass="ft.ecore#//KOfMGate">
33 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/>
34 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/m"/>
35 </genClasses>
36 </genPackages>
37</genmodel:GenModel>