aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-03-20 16:09:09 +0100
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-03-20 16:09:09 +0100
commit3f5aaab5025b8eb243f414b1c789085327df04f4 (patch)
tree156d9d95888fce6b003d73f509b9155e6b24555f /Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
parentFix ParseUtil to avoid breaking the .vql editor in Eclipse (diff)
downloadVIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.gz
VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.zst
VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.zip
Fault tree transformation for partial models WIP
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore505
1 files changed, 273 insertions, 232 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
index 6b321279..7b842399 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
@@ -1,232 +1,273 @@
1<?xml version="1.0" encoding="UTF-8"?> 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" 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="applicationConfiguration" nsURI="http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration" 3 xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="applicationConfiguration" nsURI="http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration"
4 nsPrefix="applicationConfiguration"> 4 nsPrefix="applicationConfiguration">
5 <eClassifiers xsi:type="ecore:EClass" name="ConfigurationScript"> 5 <eClassifiers xsi:type="ecore:EClass" name="ConfigurationScript">
6 <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1" 6 <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1"
7 eType="#//Import" containment="true"/> 7 eType="#//Import" containment="true"/>
8 <eStructuralFeatures xsi:type="ecore:EReference" name="commands" upperBound="-1" 8 <eStructuralFeatures xsi:type="ecore:EReference" name="commands" upperBound="-1"
9 eType="#//Command" containment="true"/> 9 eType="#//Command" containment="true"/>
10 </eClassifiers> 10 </eClassifiers>
11 <eClassifiers xsi:type="ecore:EClass" name="Command"/> 11 <eClassifiers xsi:type="ecore:EClass" name="Command"/>
12 <eClassifiers xsi:type="ecore:EClass" name="Import"/> 12 <eClassifiers xsi:type="ecore:EClass" name="Import"/>
13 <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import"> 13 <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import">
14 <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> 14 <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/>
15 </eClassifiers> 15 </eClassifiers>
16 <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> 16 <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import">
17 <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> 17 <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/>
18 </eClassifiers> 18 </eClassifiers>
19 <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> 19 <eClassifiers xsi:type="ecore:EClass" name="CftImport" eSuperTypes="#//Import">
20 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> 20 <eStructuralFeatures xsi:type="ecore:EReference" name="importedCft" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//CftModel"/>
21 </eClassifiers> 21 </eClassifiers>
22 <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File"> 22 <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command">
23 <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> 23 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
24 </eClassifiers> 24 </eClassifiers>
25 <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration"> 25 <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File">
26 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification" 26 <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
27 containment="true"/> 27 </eClassifiers>
28 </eClassifiers> 28 <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration">
29 <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File"> 29 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification"
30 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/> 30 containment="true"/>
31 </eClassifiers> 31 </eClassifiers>
32 <eClassifiers xsi:type="ecore:EClass" name="File"/> 32 <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File">
33 <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> 33 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/>
34 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" 34 </eClassifiers>
35 eType="#//MetamodelEntry" containment="true"/> 35 <eClassifiers xsi:type="ecore:EClass" name="File"/>
36 </eClassifiers> 36 <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel">
37 <eClassifiers xsi:type="ecore:EClass" name="MetamodelEntry"> 37 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"
38 <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> 38 eType="#//MetamodelEntry" containment="true"/>
39 </eClassifiers> 39 </eClassifiers>
40 <eClassifiers xsi:type="ecore:EClass" name="AllPackageEntry" eSuperTypes="#//MetamodelEntry"> 40 <eClassifiers xsi:type="ecore:EClass" name="MetamodelEntry">
41 <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" 41 <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/>
42 eType="#//MetamodelElement" containment="true"/> 42 </eClassifiers>
43 </eClassifiers> 43 <eClassifiers xsi:type="ecore:EClass" name="AllPackageEntry" eSuperTypes="#//MetamodelEntry">
44 <eClassifiers xsi:type="ecore:EClass" name="MetamodelElement" eSuperTypes="#//MetamodelEntry"> 44 <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1"
45 <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> 45 eType="#//MetamodelElement" containment="true"/>
46 <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> 46 </eClassifiers>
47 </eClassifiers> 47 <eClassifiers xsi:type="ecore:EClass" name="MetamodelElement" eSuperTypes="#//MetamodelEntry">
48 <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> 48 <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/>
49 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" 49 <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/>
50 containment="true"/> 50 </eClassifiers>
51 </eClassifiers> 51 <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration">
52 <eClassifiers xsi:type="ecore:EClass" name="MetamodelReference" eSuperTypes="#//Metamodel"> 52 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification"
53 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> 53 containment="true"/>
54 </eClassifiers> 54 </eClassifiers>
55 <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> 55 <eClassifiers xsi:type="ecore:EClass" name="MetamodelReference" eSuperTypes="#//Metamodel">
56 <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel"> 56 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/>
57 <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1" 57 </eClassifiers>
58 eType="#//PartialModelEntry" containment="true"/> 58 <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/>
59 </eClassifiers> 59 <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel">
60 <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry"> 60 <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1"
61 <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/> 61 eType="#//PartialModelEntry" containment="true"/>
62 </eClassifiers> 62 </eClassifiers>
63 <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/> 63 <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry">
64 <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry"> 64 <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/>
65 <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" 65 </eClassifiers>
66 eType="#//ModelEntry" containment="true"/> 66 <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/>
67 </eClassifiers> 67 <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry">
68 <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration"> 68 <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1"
69 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification" 69 eType="#//ModelEntry" containment="true"/>
70 containment="true"/> 70 </eClassifiers>
71 </eClassifiers> 71 <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration">
72 <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel"> 72 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification"
73 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/> 73 containment="true"/>
74 </eClassifiers> 74 </eClassifiers>
75 <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/> 75 <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel">
76 <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern"> 76 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/>
77 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" 77 </eClassifiers>
78 eType="#//PatternEntry" containment="true"/> 78 <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/>
79 </eClassifiers> 79 <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern">
80 <eClassifiers xsi:type="ecore:EClass" name="PatternEntry"> 80 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"
81 <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> 81 eType="#//PatternEntry" containment="true"/>
82 </eClassifiers> 82 </eClassifiers>
83 <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry"> 83 <eClassifiers xsi:type="ecore:EClass" name="PatternEntry">
84 <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1" 84 <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/>
85 eType="#//PatternElement" containment="true"/> 85 </eClassifiers>
86 </eClassifiers> 86 <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry">
87 <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry"> 87 <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1"
88 <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/> 88 eType="#//PatternElement" containment="true"/>
89 </eClassifiers> 89 </eClassifiers>
90 <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration"> 90 <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry">
91 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification" 91 <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/>
92 containment="true"/> 92 </eClassifiers>
93 </eClassifiers> 93 <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration">
94 <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern"> 94 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification"
95 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/> 95 containment="true"/>
96 </eClassifiers> 96 </eClassifiers>
97 <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/> 97 <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern">
98 <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config"> 98 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/>
99 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" 99 </eClassifiers>
100 eType="#//ConfigEntry" containment="true"/> 100 <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/>
101 </eClassifiers> 101 <eClassifiers xsi:type="ecore:EClass" name="ObjectiveSpecification" eSuperTypes="#//Objective">
102 <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration"> 102 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"
103 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification" 103 eType="#//ObjectiveEntry" containment="true"/>
104 containment="true"/> 104 </eClassifiers>
105 </eClassifiers> 105 <eClassifiers xsi:type="ecore:EClass" name="ObjectiveEntry">
106 <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/> 106 <eStructuralFeatures xsi:type="ecore:EReference" name="function" eType="#//ObjectiveFunction"
107 <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry"> 107 containment="true"/>
108 <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/> 108 </eClassifiers>
109 </eClassifiers> 109 <eClassifiers xsi:type="ecore:EEnum" name="OptimizationDirection">
110 <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification"> 110 <eLiterals name="MINIMIZE" literal="minimize"/>
111 <eLiterals name="none" literal="none"/> 111 <eLiterals name="MAXIMIZE" value="1" literal="maximize"/>
112 <eLiterals name="normal" value="1" literal="normal"/> 112 </eClassifiers>
113 <eLiterals name="full" value="2" literal="full"/> 113 <eClassifiers xsi:type="ecore:EClass" name="OptimizationEntry" eSuperTypes="#//ObjectiveEntry">
114 </eClassifiers> 114 <eStructuralFeatures xsi:type="ecore:EAttribute" name="direction" eType="#//OptimizationDirection"/>
115 <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry"> 115 </eClassifiers>
116 <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 116 <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOperator">
117 </eClassifiers> 117 <eLiterals name="LESS_EQUALS" literal="&lt;="/>
118 <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry"> 118 <eLiterals name="GREATER_EQUALS" value="1" literal=">="/>
119 <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 119 </eClassifiers>
120 </eClassifiers> 120 <eClassifiers xsi:type="ecore:EClass" name="ThresholdEntry" eSuperTypes="#//ObjectiveEntry">
121 <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry"> 121 <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="#//ComparisonOperator"/>
122 <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> 122 <eStructuralFeatures xsi:type="ecore:EAttribute" name="threshold" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/>
123 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> 123 </eClassifiers>
124 </eClassifiers> 124 <eClassifiers xsi:type="ecore:EClass" name="ObjectiveFunction"/>
125 <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config"> 125 <eClassifiers xsi:type="ecore:EClass" name="ReliabiltiyFunction" eSuperTypes="#//ObjectiveFunction">
126 <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/> 126 <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//CftModel"/>
127 </eClassifiers> 127 <eStructuralFeatures xsi:type="ecore:EReference" name="transformation" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//TransformationDefinition"/>
128 <eClassifiers xsi:type="ecore:EClass" name="Config"/> 128 </eClassifiers>
129 <eClassifiers xsi:type="ecore:EEnum" name="Solver"> 129 <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDeclaration" eSuperTypes="#//Declaration">
130 <eLiterals name="SMTSolver" literal="SMTSolver"/> 130 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ObjectiveSpecification"
131 <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/> 131 containment="true"/>
132 <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/> 132 </eClassifiers>
133 </eClassifiers> 133 <eClassifiers xsi:type="ecore:EClass" name="ObjectiveReference" eSuperTypes="#//Objective">
134 <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope"> 134 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ObjectiveDeclaration"/>
135 <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" 135 </eClassifiers>
136 eType="#//TypeScope" containment="true"/> 136 <eClassifiers xsi:type="ecore:EClass" name="Objective"/>
137 </eClassifiers> 137 <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config">
138 <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> 138 <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"
139 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 139 eType="#//ConfigEntry" containment="true"/>
140 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 140 </eClassifiers>
141 <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification" 141 <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration">
142 containment="true"/> 142 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification"
143 </eClassifiers> 143 containment="true"/>
144 <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope"> 144 </eClassifiers>
145 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference" 145 <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/>
146 containment="true"/> 146 <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry">
147 </eClassifiers> 147 <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/>
148 <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope"> 148 </eClassifiers>
149 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference" 149 <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification">
150 containment="true"/> 150 <eLiterals name="none" literal="none"/>
151 </eClassifiers> 151 <eLiterals name="normal" value="1" literal="normal"/>
152 <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope"> 152 <eLiterals name="full" value="2" literal="full"/>
153 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference" 153 </eClassifiers>
154 containment="true"/> 154 <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry">
155 </eClassifiers> 155 <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
156 <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope"> 156 </eClassifiers>
157 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference" 157 <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry">
158 containment="true"/> 158 <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
159 </eClassifiers> 159 </eClassifiers>
160 <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope"> 160 <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry">
161 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference" 161 <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
162 containment="true"/> 162 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
163 </eClassifiers> 163 </eClassifiers>
164 <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> 164 <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config">
165 <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> 165 <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/>
166 <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement" 166 </eClassifiers>
167 containment="true"/> 167 <eClassifiers xsi:type="ecore:EClass" name="Config"/>
168 </eClassifiers> 168 <eClassifiers xsi:type="ecore:EEnum" name="Solver">
169 <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/> 169 <eLiterals name="SMTSolver" literal="SMTSolver"/>
170 <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> 170 <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/>
171 <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> 171 <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/>
172 <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> 172 </eClassifiers>
173 <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/> 173 <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope">
174 <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification"> 174 <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"
175 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 175 eType="#//TypeScope" containment="true"/>
176 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 176 </eClassifiers>
177 </eClassifiers> 177 <eClassifiers xsi:type="ecore:EClass" name="TypeScope">
178 <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification"> 178 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
179 <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 179 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
180 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 180 <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification"
181 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 181 containment="true"/>
182 </eClassifiers> 182 </eClassifiers>
183 <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification"> 183 <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope">
184 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" 184 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference"
185 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 185 containment="true"/>
186 </eClassifiers> 186 </eClassifiers>
187 <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification"> 187 <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope">
188 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" 188 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference"
189 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> 189 containment="true"/>
190 </eClassifiers> 190 </eClassifiers>
191 <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification"> 191 <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope">
192 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" 192 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference"
193 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> 193 containment="true"/>
194 </eClassifiers> 194 </eClassifiers>
195 <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> 195 <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope">
196 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" 196 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference"
197 containment="true"/> 197 containment="true"/>
198 </eClassifiers> 198 </eClassifiers>
199 <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope"> 199 <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope">
200 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/> 200 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference"
201 </eClassifiers> 201 containment="true"/>
202 <eClassifiers xsi:type="ecore:EClass" name="Scope"/> 202 </eClassifiers>
203 <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/> 203 <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/>
204 <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task"> 204 <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference">
205 <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel" 205 <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement"
206 containment="true"/> 206 containment="true"/>
207 <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel" 207 </eClassifiers>
208 containment="true"/> 208 <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/>
209 <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern" 209 <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/>
210 containment="true"/> 210 <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/>
211 <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" 211 <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/>
212 containment="true"/> 212 <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/>
213 <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 213 <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification">
214 <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 214 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
215 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 215 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
216 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 216 </eClassifiers>
217 <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> 217 <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification">
218 <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" 218 <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
219 containment="true"/> 219 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
220 <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" 220 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
221 containment="true"/> 221 </eClassifiers>
222 <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" 222 <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification">
223 containment="true"/> 223 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1"
224 <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" 224 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
225 containment="true"/> 225 </eClassifiers>
226 <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" 226 <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification">
227 containment="true"/> 227 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1"
228 </eClassifiers> 228 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/>
229 <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> 229 </eClassifiers>
230 <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> 230 <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification">
231 <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/> 231 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1"
232</ecore:EPackage> 232 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
233 </eClassifiers>
234 <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration">
235 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification"
236 containment="true"/>
237 </eClassifiers>
238 <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope">
239 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/>
240 </eClassifiers>
241 <eClassifiers xsi:type="ecore:EClass" name="Scope"/>
242 <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/>
243 <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task">
244 <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel"
245 containment="true"/>
246 <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel"
247 containment="true"/>
248 <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern"
249 containment="true"/>
250 <eStructuralFeatures xsi:type="ecore:EReference" name="objectives" eType="#//Objective"
251 containment="true"/>
252 <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope"
253 containment="true"/>
254 <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
255 <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
256 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
257 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
258 <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/>
259 <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config"
260 containment="true"/>
261 <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File"
262 containment="true"/>
263 <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File"
264 containment="true"/>
265 <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File"
266 containment="true"/>
267 <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File"
268 containment="true"/>
269 </eClassifiers>
270 <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/>
271 <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/>
272 <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/>
273</ecore:EPackage>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 13:24:24 +0000