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/cft.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/cft.genmodel')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel | 69 |
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> | ||