diff options
author | 2019-02-05 23:54:03 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | 7f7f934fe6ad11df96906d009eec68583fd46660 (patch) | |
tree | 17828b0e833bc89b2b796fcc7da6cb74d6ec3e9c /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model | |
parent | Generated files change (diff) | |
download | VIATRA-Generator-7f7f934fe6ad11df96906d009eec68583fd46660.tar.gz VIATRA-Generator-7f7f934fe6ad11df96906d009eec68583fd46660.tar.zst VIATRA-Generator-7f7f934fe6ad11df96906d009eec68583fd46660.zip |
[Stochastic] Fault tree transformation langauge
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model')
2 files changed, 158 insertions, 0 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore new file mode 100644 index 00000000..a86e503e --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore | |||
@@ -0,0 +1,84 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cftLanguage" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/components/CftLanguage" | ||
4 | nsPrefix="cftLanguage"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="CftModel"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="packageName" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
7 | <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1" | ||
8 | eType="#//ImportDeclaration" containment="true"/> | ||
9 | <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinitions" upperBound="-1" | ||
10 | eType="#//ComponentDefinition" containment="true"/> | ||
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="transformationDefinitions" | ||
12 | upperBound="-1" eType="#//TransformationDefinition" containment="true"/> | ||
13 | </eClassifiers> | ||
14 | <eClassifiers xsi:type="ecore:EClass" name="ImportDeclaration"> | ||
15 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="importedNamespace" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
16 | </eClassifiers> | ||
17 | <eClassifiers xsi:type="ecore:EClass" name="ComponentDefinition"> | ||
18 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
19 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1" | ||
20 | eType="#//InputEvent" containment="true"/> | ||
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="outputEvents" unique="false" | ||
22 | upperBound="-1" eType="#//EventDeclaration"/> | ||
23 | <eStructuralFeatures xsi:type="ecore:EReference" name="eventDefinitions" upperBound="-1" | ||
24 | eType="#//EventDefinition" containment="true"/> | ||
25 | </eClassifiers> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="EventDeclaration"> | ||
27 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
28 | </eClassifiers> | ||
29 | <eClassifiers xsi:type="ecore:EClass" name="InputEvent" eSuperTypes="#//EventDeclaration"> | ||
30 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiple" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
31 | </eClassifiers> | ||
32 | <eClassifiers xsi:type="ecore:EClass" name="EventDefinition" eSuperTypes="#//EventDeclaration"/> | ||
33 | <eClassifiers xsi:type="ecore:EClass" name="BasicEventDefinition" eSuperTypes="#//EventDefinition"> | ||
34 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="rate" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EDouble"/> | ||
35 | </eClassifiers> | ||
36 | <eClassifiers xsi:type="ecore:EClass" name="GateDefinition" eSuperTypes="#//EventDefinition"> | ||
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" unique="false" | ||
38 | upperBound="-1" eType="#//EventDeclaration"/> | ||
39 | </eClassifiers> | ||
40 | <eClassifiers xsi:type="ecore:EClass" name="AndGate" eSuperTypes="#//GateDefinition"/> | ||
41 | <eClassifiers xsi:type="ecore:EClass" name="OrGate" eSuperTypes="#//GateDefinition"/> | ||
42 | <eClassifiers xsi:type="ecore:EClass" name="TransformationDefinition"> | ||
43 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="mappingDefinitions" upperBound="-1" | ||
45 | eType="#//MappingDefinition" containment="true"/> | ||
46 | </eClassifiers> | ||
47 | <eClassifiers xsi:type="ecore:EClass" name="MappingDefinition"> | ||
48 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="topLevel" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/> | ||
50 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1" | ||
51 | eType="#//MappingParameter" containment="true"/> | ||
52 | <eStructuralFeatures xsi:type="ecore:EReference" name="componentInstance" eType="#//ComponentInstance" | ||
53 | containment="true"/> | ||
54 | <eStructuralFeatures xsi:type="ecore:EReference" name="lookupDefinitions" upperBound="-1" | ||
55 | eType="#//LookupDefinition" containment="true"/> | ||
56 | <eStructuralFeatures xsi:type="ecore:EReference" name="assignments" upperBound="-1" | ||
57 | eType="#//Assignment" containment="true"/> | ||
58 | </eClassifiers> | ||
59 | <eClassifiers xsi:type="ecore:EClass" name="MappingParameter"> | ||
60 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
61 | </eClassifiers> | ||
62 | <eClassifiers xsi:type="ecore:EClass" name="LookupDefinition" eSuperTypes="#//Variable"> | ||
63 | <eStructuralFeatures xsi:type="ecore:EReference" name="mapping" eType="#//MappingDefinition"/> | ||
64 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" unique="false" | ||
65 | upperBound="-1" eType="#//MappingParameter"/> | ||
66 | </eClassifiers> | ||
67 | <eClassifiers xsi:type="ecore:EClass" name="Variable"> | ||
68 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
69 | </eClassifiers> | ||
70 | <eClassifiers xsi:type="ecore:EClass" name="Assignment"> | ||
71 | <eStructuralFeatures xsi:type="ecore:EReference" name="input" eType="#//EventReference" | ||
72 | containment="true"/> | ||
73 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiple" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
74 | <eStructuralFeatures xsi:type="ecore:EReference" name="output" eType="#//EventReference" | ||
75 | containment="true"/> | ||
76 | </eClassifiers> | ||
77 | <eClassifiers xsi:type="ecore:EClass" name="EventReference"> | ||
78 | <eStructuralFeatures xsi:type="ecore:EReference" name="component" eType="#//Variable"/> | ||
79 | <eStructuralFeatures xsi:type="ecore:EReference" name="event" eType="#//EventDeclaration"/> | ||
80 | </eClassifiers> | ||
81 | <eClassifiers xsi:type="ecore:EClass" name="ComponentInstance" eSuperTypes="#//Variable"> | ||
82 | <eStructuralFeatures xsi:type="ecore:EReference" name="componentType" eType="#//ComponentDefinition"/> | ||
83 | </eClassifiers> | ||
84 | </ecore:EPackage> | ||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.genmodel new file mode 100644 index 00000000..c2208adc --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.genmodel | |||
@@ -0,0 +1,74 @@ | |||
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" copyrightText="generated by Xtext 2.16.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen" | ||
4 | modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.components" forceOverwrite="true" | ||
5 | modelName="CftLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
6 | complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.16" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.genmodel#//vql"> | ||
7 | <genPackages prefix="CftLanguage" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.components" | ||
8 | disposableProviderFactory="true" fileExtensions="cft" ecorePackage="CftLanguage.ecore#/"> | ||
9 | <genClasses ecoreClass="CftLanguage.ecore#//CftModel"> | ||
10 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//CftModel/packageName"/> | ||
11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//CftModel/imports"/> | ||
12 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//CftModel/componentDefinitions"/> | ||
13 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//CftModel/transformationDefinitions"/> | ||
14 | </genClasses> | ||
15 | <genClasses ecoreClass="CftLanguage.ecore#//ImportDeclaration"> | ||
16 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//ImportDeclaration/importedNamespace"/> | ||
17 | </genClasses> | ||
18 | <genClasses ecoreClass="CftLanguage.ecore#//ComponentDefinition"> | ||
19 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//ComponentDefinition/name"/> | ||
20 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//ComponentDefinition/inputEvents"/> | ||
21 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//ComponentDefinition/outputEvents"/> | ||
22 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//ComponentDefinition/eventDefinitions"/> | ||
23 | </genClasses> | ||
24 | <genClasses ecoreClass="CftLanguage.ecore#//EventDeclaration"> | ||
25 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//EventDeclaration/name"/> | ||
26 | </genClasses> | ||
27 | <genClasses ecoreClass="CftLanguage.ecore#//InputEvent"> | ||
28 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//InputEvent/multiple"/> | ||
29 | </genClasses> | ||
30 | <genClasses ecoreClass="CftLanguage.ecore#//EventDefinition"/> | ||
31 | <genClasses ecoreClass="CftLanguage.ecore#//BasicEventDefinition"> | ||
32 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//BasicEventDefinition/rate"/> | ||
33 | </genClasses> | ||
34 | <genClasses ecoreClass="CftLanguage.ecore#//GateDefinition"> | ||
35 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//GateDefinition/inputEvents"/> | ||
36 | </genClasses> | ||
37 | <genClasses ecoreClass="CftLanguage.ecore#//AndGate"/> | ||
38 | <genClasses ecoreClass="CftLanguage.ecore#//OrGate"/> | ||
39 | <genClasses ecoreClass="CftLanguage.ecore#//TransformationDefinition"> | ||
40 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//TransformationDefinition/name"/> | ||
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//TransformationDefinition/mappingDefinitions"/> | ||
42 | </genClasses> | ||
43 | <genClasses ecoreClass="CftLanguage.ecore#//MappingDefinition"> | ||
44 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//MappingDefinition/topLevel"/> | ||
45 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//MappingDefinition/pattern"/> | ||
46 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//MappingDefinition/parameters"/> | ||
47 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//MappingDefinition/componentInstance"/> | ||
48 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//MappingDefinition/lookupDefinitions"/> | ||
49 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//MappingDefinition/assignments"/> | ||
50 | </genClasses> | ||
51 | <genClasses ecoreClass="CftLanguage.ecore#//MappingParameter"> | ||
52 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//MappingParameter/name"/> | ||
53 | </genClasses> | ||
54 | <genClasses ecoreClass="CftLanguage.ecore#//LookupDefinition"> | ||
55 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//LookupDefinition/mapping"/> | ||
56 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//LookupDefinition/arguments"/> | ||
57 | </genClasses> | ||
58 | <genClasses ecoreClass="CftLanguage.ecore#//Variable"> | ||
59 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//Variable/name"/> | ||
60 | </genClasses> | ||
61 | <genClasses ecoreClass="CftLanguage.ecore#//Assignment"> | ||
62 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//Assignment/input"/> | ||
63 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute CftLanguage.ecore#//Assignment/multiple"/> | ||
64 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//Assignment/output"/> | ||
65 | </genClasses> | ||
66 | <genClasses ecoreClass="CftLanguage.ecore#//EventReference"> | ||
67 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//EventReference/component"/> | ||
68 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//EventReference/event"/> | ||
69 | </genClasses> | ||
70 | <genClasses ecoreClass="CftLanguage.ecore#//ComponentInstance"> | ||
71 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference CftLanguage.ecore#//ComponentInstance/componentType"/> | ||
72 | </genClasses> | ||
73 | </genPackages> | ||
74 | </genmodel:GenModel> | ||