aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/model/generated
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
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')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore505
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel441
2 files changed, 512 insertions, 434 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>
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
index fd7f0686..4a3c33fe 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
@@ -1,202 +1,239 @@
1<?xml version="1.0" encoding="UTF-8"?> 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" 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.12.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.application/src-gen" 3 xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.16.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.application/src-gen"
4 modelPluginID="hu.bme.mit.inf.dslreasoner.application" forceOverwrite="true" modelName="ApplicationConfiguration" 4 modelPluginID="hu.bme.mit.inf.dslreasoner.application" forceOverwrite="true" modelName="ApplicationConfiguration"
5 updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" 5 updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
6 complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.13" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.genmodel#//vql"> 6 complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.16" usedGenPackages="platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.genmodel#//cftLanguage 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="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application" 7 <genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application"
8 disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/"> 8 disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/">
9 <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//DocumentLevelSpecification"> 9 <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//OptimizationDirection">
10 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/none"/> 10 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//OptimizationDirection/MINIMIZE"/>
11 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/normal"/> 11 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//OptimizationDirection/MAXIMIZE"/>
12 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/full"/> 12 </genEnums>
13 </genEnums> 13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//ComparisonOperator">
14 <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//Solver"> 14 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//ComparisonOperator/LESS_EQUALS"/>
15 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/> 15 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//ComparisonOperator/GREATER_EQUALS"/>
16 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/> 16 </genEnums>
17 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/ViatraSolver"/> 17 <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//DocumentLevelSpecification">
18 </genEnums> 18 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/none"/>
19 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigurationScript"> 19 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/normal"/>
20 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/imports"/> 20 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/full"/>
21 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/commands"/> 21 </genEnums>
22 </genClasses> 22 <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//Solver">
23 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Command"/> 23 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/>
24 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Import"/> 24 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/>
25 <genClasses ecoreClass="ApplicationConfiguration.ecore#//EPackageImport"> 25 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/ViatraSolver"/>
26 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//EPackageImport/importedPackage"/> 26 </genEnums>
27 </genClasses> 27 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigurationScript">
28 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport"> 28 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/imports"/>
29 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/> 29 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/commands"/>
30 </genClasses> 30 </genClasses>
31 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration"> 31 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Command"/>
32 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//Declaration/name"/> 32 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Import"/>
33 </genClasses> 33 <genClasses ecoreClass="ApplicationConfiguration.ecore#//EPackageImport">
34 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileSpecification"> 34 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//EPackageImport/importedPackage"/>
35 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//FileSpecification/path"/> 35 </genClasses>
36 </genClasses> 36 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport">
37 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileDeclaration"> 37 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/>
38 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileDeclaration/specification"/> 38 </genClasses>
39 </genClasses> 39 <genClasses ecoreClass="ApplicationConfiguration.ecore#//CftImport">
40 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileReference"> 40 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//CftImport/importedCft"/>
41 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileReference/referred"/> 41 </genClasses>
42 </genClasses> 42 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration">
43 <genClasses ecoreClass="ApplicationConfiguration.ecore#//File"/> 43 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//Declaration/name"/>
44 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelSpecification"> 44 </genClasses>
45 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelSpecification/entries"/> 45 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileSpecification">
46 </genClasses> 46 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//FileSpecification/path"/>
47 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelEntry"> 47 </genClasses>
48 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelEntry/package"/> 48 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileDeclaration">
49 </genClasses> 49 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileDeclaration/specification"/>
50 <genClasses ecoreClass="ApplicationConfiguration.ecore#//AllPackageEntry"> 50 </genClasses>
51 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//AllPackageEntry/exclusion"/> 51 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileReference">
52 </genClasses> 52 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileReference/referred"/>
53 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelElement"> 53 </genClasses>
54 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/classifier"/> 54 <genClasses ecoreClass="ApplicationConfiguration.ecore#//File"/>
55 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/feature"/> 55 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelSpecification">
56 </genClasses> 56 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelSpecification/entries"/>
57 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelDeclaration"> 57 </genClasses>
58 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelDeclaration/specification"/> 58 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelEntry">
59 </genClasses> 59 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelEntry/package"/>
60 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelReference"> 60 </genClasses>
61 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelReference/referred"/> 61 <genClasses ecoreClass="ApplicationConfiguration.ecore#//AllPackageEntry">
62 </genClasses> 62 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//AllPackageEntry/exclusion"/>
63 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Metamodel"/> 63 </genClasses>
64 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelSpecification"> 64 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelElement">
65 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelSpecification/entry"/> 65 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/classifier"/>
66 </genClasses> 66 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/feature"/>
67 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelEntry"> 67 </genClasses>
68 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelEntry/path"/> 68 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelDeclaration">
69 </genClasses> 69 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelDeclaration/specification"/>
70 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ModelEntry"/> 70 </genClasses>
71 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FolderEntry"> 71 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelReference">
72 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FolderEntry/exclusion"/> 72 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelReference/referred"/>
73 </genClasses> 73 </genClasses>
74 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelDeclaration"> 74 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Metamodel"/>
75 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelDeclaration/specification"/> 75 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelSpecification">
76 </genClasses> 76 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelSpecification/entry"/>
77 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelReference"> 77 </genClasses>
78 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelReference/referred"/> 78 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelEntry">
79 </genClasses> 79 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelEntry/path"/>
80 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModel"/> 80 </genClasses>
81 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternSpecification"> 81 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ModelEntry"/>
82 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternSpecification/entries"/> 82 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FolderEntry">
83 </genClasses> 83 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FolderEntry/exclusion"/>
84 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternEntry"> 84 </genClasses>
85 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternEntry/package"/> 85 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelDeclaration">
86 </genClasses> 86 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelDeclaration/specification"/>
87 <genClasses ecoreClass="ApplicationConfiguration.ecore#//AllPatternEntry"> 87 </genClasses>
88 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//AllPatternEntry/exclusuion"/> 88 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelReference">
89 </genClasses> 89 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelReference/referred"/>
90 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternElement"> 90 </genClasses>
91 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternElement/pattern"/> 91 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModel"/>
92 </genClasses> 92 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternSpecification">
93 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternDeclaration"> 93 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternSpecification/entries"/>
94 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternDeclaration/specification"/> 94 </genClasses>
95 </genClasses> 95 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternEntry">
96 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternReference"> 96 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternEntry/package"/>
97 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternReference/referred"/> 97 </genClasses>
98 </genClasses> 98 <genClasses ecoreClass="ApplicationConfiguration.ecore#//AllPatternEntry">
99 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPattern"/> 99 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//AllPatternEntry/exclusuion"/>
100 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigSpecification"> 100 </genClasses>
101 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigSpecification/entries"/> 101 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternElement">
102 </genClasses> 102 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternElement/pattern"/>
103 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigDeclaration"> 103 </genClasses>
104 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigDeclaration/specification"/> 104 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternDeclaration">
105 </genClasses> 105 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternDeclaration/specification"/>
106 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry"/> 106 </genClasses>
107 <genClasses ecoreClass="ApplicationConfiguration.ecore#//DocumentationEntry"> 107 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternReference">
108 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//DocumentationEntry/level"/> 108 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternReference/referred"/>
109 </genClasses> 109 </genClasses>
110 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RuntimeEntry"> 110 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPattern"/>
111 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//RuntimeEntry/millisecLimit"/> 111 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveSpecification">
112 </genClasses> 112 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectiveSpecification/entries"/>
113 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MemoryEntry"> 113 </genClasses>
114 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//MemoryEntry/megabyteLimit"/> 114 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveEntry">
115 </genClasses> 115 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectiveEntry/function"/>
116 <genClasses ecoreClass="ApplicationConfiguration.ecore#//CustomEntry"> 116 </genClasses>
117 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CustomEntry/key"/> 117 <genClasses ecoreClass="ApplicationConfiguration.ecore#//OptimizationEntry">
118 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CustomEntry/value"/> 118 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//OptimizationEntry/direction"/>
119 </genClasses> 119 </genClasses>
120 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigReference"> 120 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ThresholdEntry">
121 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigReference/config"/> 121 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ThresholdEntry/operator"/>
122 </genClasses> 122 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ThresholdEntry/threshold"/>
123 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Config"/> 123 </genClasses>
124 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeSpecification"> 124 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveFunction"/>
125 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeSpecification/scopes"/> 125 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ReliabiltiyFunction">
126 </genClasses> 126 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ReliabiltiyFunction/package"/>
127 <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeScope"> 127 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ReliabiltiyFunction/transformation"/>
128 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/setsNew"/> 128 </genClasses>
129 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/setsSum"/> 129 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveDeclaration">
130 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//TypeScope/number"/> 130 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectiveDeclaration/specification"/>
131 </genClasses> 131 </genClasses>
132 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ClassTypeScope"> 132 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveReference">
133 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ClassTypeScope/type"/> 133 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectiveReference/referred"/>
134 </genClasses> 134 </genClasses>
135 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectTypeScope"> 135 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Objective"/>
136 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectTypeScope/type"/> 136 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigSpecification">
137 </genClasses> 137 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigSpecification/entries"/>
138 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerTypeScope"> 138 </genClasses>
139 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//IntegerTypeScope/type"/> 139 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigDeclaration">
140 </genClasses> 140 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigDeclaration/specification"/>
141 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealTypeScope"> 141 </genClasses>
142 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//RealTypeScope/type"/> 142 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry"/>
143 </genClasses> 143 <genClasses ecoreClass="ApplicationConfiguration.ecore#//DocumentationEntry">
144 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringTypeScope"> 144 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//DocumentationEntry/level"/>
145 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//StringTypeScope/type"/> 145 </genClasses>
146 </genClasses> 146 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RuntimeEntry">
147 <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeReference"/> 147 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//RuntimeEntry/millisecLimit"/>
148 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ClassReference"> 148 </genClasses>
149 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ClassReference/element"/> 149 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MemoryEntry">
150 </genClasses> 150 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//MemoryEntry/megabyteLimit"/>
151 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectReference"/> 151 </genClasses>
152 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerReference"/> 152 <genClasses ecoreClass="ApplicationConfiguration.ecore#//CustomEntry">
153 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealReference"/> 153 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CustomEntry/key"/>
154 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringReference"/> 154 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CustomEntry/value"/>
155 <genClasses ecoreClass="ApplicationConfiguration.ecore#//NumberSpecification"/> 155 </genClasses>
156 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ExactNumber"> 156 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigReference">
157 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ExactNumber/exactNumber"/> 157 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigReference/config"/>
158 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ExactNumber/exactUnlimited"/> 158 </genClasses>
159 </genClasses> 159 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Config"/>
160 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntervallNumber"> 160 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeSpecification">
161 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntervallNumber/min"/> 161 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeSpecification/scopes"/>
162 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntervallNumber/maxNumber"/> 162 </genClasses>
163 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntervallNumber/maxUnlimited"/> 163 <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeScope">
164 </genClasses> 164 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/setsNew"/>
165 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntEnumberation"> 165 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/setsSum"/>
166 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntEnumberation/entry"/> 166 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//TypeScope/number"/>
167 </genClasses> 167 </genClasses>
168 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealEnumeration"> 168 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ClassTypeScope">
169 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//RealEnumeration/entry"/> 169 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ClassTypeScope/type"/>
170 </genClasses> 170 </genClasses>
171 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringEnumeration"> 171 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectTypeScope">
172 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//StringEnumeration/entry"/> 172 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectTypeScope/type"/>
173 </genClasses> 173 </genClasses>
174 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeDeclaration"> 174 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerTypeScope">
175 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeDeclaration/specification"/> 175 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//IntegerTypeScope/type"/>
176 </genClasses> 176 </genClasses>
177 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeReference"> 177 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealTypeScope">
178 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeReference/referred"/> 178 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//RealTypeScope/type"/>
179 </genClasses> 179 </genClasses>
180 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Scope"/> 180 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringTypeScope">
181 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Task"/> 181 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//StringTypeScope/type"/>
182 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GenerationTask"> 182 </genClasses>
183 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/metamodel"/> 183 <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeReference"/>
184 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/partialModel"/> 184 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ClassReference">
185 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/patterns"/> 185 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ClassReference/element"/>
186 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/scope"/> 186 </genClasses>
187 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/numberSpecified"/> 187 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectReference"/>
188 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/number"/> 188 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerReference"/>
189 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/runSpecified"/> 189 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealReference"/>
190 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/runs"/> 190 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringReference"/>
191 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/solver"/> 191 <genClasses ecoreClass="ApplicationConfiguration.ecore#//NumberSpecification"/>
192 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/config"/> 192 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ExactNumber">
193 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/debugFolder"/> 193 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ExactNumber/exactNumber"/>
194 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetLogFile"/> 194 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ExactNumber/exactUnlimited"/>
195 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetStatisticsFile"/> 195 </genClasses>
196 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/tagetFolder"/> 196 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntervallNumber">
197 </genClasses> 197 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntervallNumber/min"/>
198 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerScope"/> 198 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntervallNumber/maxNumber"/>
199 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealScope"/> 199 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntervallNumber/maxUnlimited"/>
200 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringScope"/> 200 </genClasses>
201 </genPackages> 201 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntEnumberation">
202</genmodel:GenModel> 202 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//IntEnumberation/entry"/>
203 </genClasses>
204 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealEnumeration">
205 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//RealEnumeration/entry"/>
206 </genClasses>
207 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringEnumeration">
208 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//StringEnumeration/entry"/>
209 </genClasses>
210 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeDeclaration">
211 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeDeclaration/specification"/>
212 </genClasses>
213 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeReference">
214 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeReference/referred"/>
215 </genClasses>
216 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Scope"/>
217 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Task"/>
218 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GenerationTask">
219 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/metamodel"/>
220 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/partialModel"/>
221 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/patterns"/>
222 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/objectives"/>
223 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/scope"/>
224 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/numberSpecified"/>
225 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/number"/>
226 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/runSpecified"/>
227 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/runs"/>
228 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/solver"/>
229 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/config"/>
230 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/debugFolder"/>
231 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetLogFile"/>
232 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetStatisticsFile"/>
233 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/tagetFolder"/>
234 </genClasses>
235 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerScope"/>
236 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealScope"/>
237 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringScope"/>
238 </genPackages>
239</genmodel:GenModel>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 17:06:51 +0000