diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
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.genmodel | 44 |
1 files changed, 0 insertions, 44 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 deleted file mode 100644 index 7dcd0ae7..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel +++ /dev/null | |||
@@ -1,44 +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="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#//RandomEvent"> | ||
15 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//RandomEvent/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 | </genClasses> | ||
35 | <genClasses ecoreClass="ft.ecore#//ReliabilityModel"/> | ||
36 | <genClasses ecoreClass="ft.ecore#//ConstantModel"> | ||
37 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantModel/failed"/> | ||
38 | </genClasses> | ||
39 | <genClasses ecoreClass="ft.ecore#//Event"/> | ||
40 | <genClasses ecoreClass="ft.ecore#//ConstantEvent"> | ||
41 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantEvent/failed"/> | ||
42 | </genClasses> | ||
43 | </genPackages> | ||
44 | </genmodel:GenModel> | ||