aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
diff options
context:
space:
mode:
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.ecore55
1 files changed, 48 insertions, 7 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 094e78ae..24cd9148 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
@@ -121,13 +121,30 @@
121 eType="#//TypeScope" containment="true"/> 121 eType="#//TypeScope" containment="true"/>
122 </eClassifiers> 122 </eClassifiers>
123 <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> 123 <eClassifiers xsi:type="ecore:EClass" name="TypeScope">
124 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeReference"
125 containment="true"/>
126 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 124 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
127 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 125 <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
128 <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 126 <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification"
129 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> 127 containment="true"/>
130 <eStructuralFeatures xsi:type="ecore:EAttribute" name="max" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 128 </eClassifiers>
129 <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope">
130 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference"
131 containment="true"/>
132 </eClassifiers>
133 <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope">
134 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference"
135 containment="true"/>
136 </eClassifiers>
137 <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope">
138 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference"
139 containment="true"/>
140 </eClassifiers>
141 <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope">
142 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference"
143 containment="true"/>
144 </eClassifiers>
145 <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope">
146 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference"
147 containment="true"/>
131 </eClassifiers> 148 </eClassifiers>
132 <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> 149 <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/>
133 <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> 150 <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference">
@@ -138,6 +155,28 @@
138 <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> 155 <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/>
139 <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> 156 <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/>
140 <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> 157 <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/>
158 <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/>
159 <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification">
160 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
161 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
162 </eClassifiers>
163 <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification">
164 <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
165 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
166 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
167 </eClassifiers>
168 <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification">
169 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1"
170 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
171 </eClassifiers>
172 <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification">
173 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1"
174 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
175 </eClassifiers>
176 <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification">
177 <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1"
178 eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
179 </eClassifiers>
141 <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> 180 <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration">
142 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" 181 <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification"
143 containment="true"/> 182 containment="true"/>
@@ -156,19 +195,21 @@
156 containment="true"/> 195 containment="true"/>
157 <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" 196 <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope"
158 containment="true"/> 197 containment="true"/>
198 <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
159 <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 199 <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
200 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>
160 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> 201 <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
161 <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> 202 <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/>
162 <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" 203 <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config"
163 containment="true"/> 204 containment="true"/>
164 <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File"
165 containment="true"/>
166 <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" 205 <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File"
167 containment="true"/> 206 containment="true"/>
168 <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" 207 <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File"
169 containment="true"/> 208 containment="true"/>
170 <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" 209 <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File"
171 containment="true"/> 210 containment="true"/>
211 <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File"
212 containment="true"/>
172 </eClassifiers> 213 </eClassifiers>
173 <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> 214 <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/>
174 <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> 215 <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/>