diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
commit | 3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 (patch) | |
tree | bef27ef38448443d5342fa5ea25700fc1b40ea1f /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java | |
parent | Fixed misformalization of (may/must)(X!=Y) for abstract objects (diff) | |
download | VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.gz VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.zst VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.zip |
Added aggregate expressions to logic language on the model level
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java | 41 |
1 files changed, 36 insertions, 5 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java index 8b0e0605..e67784d2 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java | |||
@@ -151,7 +151,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
151 | 151 | ||
152 | /** | 152 | /** |
153 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | 153 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. |
154 | * | 154 | * |
155 | * <p>This method is used to initialize {@link LogicresultPackage#eINSTANCE} when that field is accessed. | 155 | * <p>This method is used to initialize {@link LogicresultPackage#eINSTANCE} when that field is accessed. |
156 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | 156 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. |
157 | * <!-- begin-user-doc --> | 157 | * <!-- begin-user-doc --> |
@@ -165,13 +165,16 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
165 | if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); | 165 | if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); |
166 | 166 | ||
167 | // Obtain or create and register package | 167 | // Obtain or create and register package |
168 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicresultPackageImpl()); | 168 | Object registeredLogicresultPackage = EPackage.Registry.INSTANCE.get(eNS_URI); |
169 | LogicresultPackageImpl theLogicresultPackage = registeredLogicresultPackage instanceof LogicresultPackageImpl ? (LogicresultPackageImpl)registeredLogicresultPackage : new LogicresultPackageImpl(); | ||
169 | 170 | ||
170 | isInited = true; | 171 | isInited = true; |
171 | 172 | ||
172 | // Obtain or create and register interdependencies | 173 | // Obtain or create and register interdependencies |
173 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE); | 174 | Object registeredPackage = EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); |
174 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE); | 175 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(registeredPackage instanceof LogiclanguagePackageImpl ? registeredPackage : LogiclanguagePackage.eINSTANCE); |
176 | registeredPackage = EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
177 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(registeredPackage instanceof LogicproblemPackageImpl ? registeredPackage : LogicproblemPackage.eINSTANCE); | ||
175 | 178 | ||
176 | // Create package meta-data objects | 179 | // Create package meta-data objects |
177 | theLogicresultPackage.createPackageContents(); | 180 | theLogicresultPackage.createPackageContents(); |
@@ -186,7 +189,6 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
186 | // Mark meta-data to indicate it can't be changed | 189 | // Mark meta-data to indicate it can't be changed |
187 | theLogicresultPackage.freeze(); | 190 | theLogicresultPackage.freeze(); |
188 | 191 | ||
189 | |||
190 | // Update the registry and return the package | 192 | // Update the registry and return the package |
191 | EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage); | 193 | EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage); |
192 | return theLogicresultPackage; | 194 | return theLogicresultPackage; |
@@ -197,6 +199,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
197 | * <!-- end-user-doc --> | 199 | * <!-- end-user-doc --> |
198 | * @generated | 200 | * @generated |
199 | */ | 201 | */ |
202 | @Override | ||
200 | public EClass getLogicResult() { | 203 | public EClass getLogicResult() { |
201 | return logicResultEClass; | 204 | return logicResultEClass; |
202 | } | 205 | } |
@@ -206,6 +209,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
206 | * <!-- end-user-doc --> | 209 | * <!-- end-user-doc --> |
207 | * @generated | 210 | * @generated |
208 | */ | 211 | */ |
212 | @Override | ||
209 | public EReference getLogicResult_Problem() { | 213 | public EReference getLogicResult_Problem() { |
210 | return (EReference)logicResultEClass.getEStructuralFeatures().get(0); | 214 | return (EReference)logicResultEClass.getEStructuralFeatures().get(0); |
211 | } | 215 | } |
@@ -215,6 +219,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
215 | * <!-- end-user-doc --> | 219 | * <!-- end-user-doc --> |
216 | * @generated | 220 | * @generated |
217 | */ | 221 | */ |
222 | @Override | ||
218 | public EReference getLogicResult_Statistics() { | 223 | public EReference getLogicResult_Statistics() { |
219 | return (EReference)logicResultEClass.getEStructuralFeatures().get(1); | 224 | return (EReference)logicResultEClass.getEStructuralFeatures().get(1); |
220 | } | 225 | } |
@@ -224,6 +229,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
224 | * <!-- end-user-doc --> | 229 | * <!-- end-user-doc --> |
225 | * @generated | 230 | * @generated |
226 | */ | 231 | */ |
232 | @Override | ||
227 | public EAttribute getLogicResult_Trace() { | 233 | public EAttribute getLogicResult_Trace() { |
228 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2); | 234 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2); |
229 | } | 235 | } |
@@ -233,6 +239,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
233 | * <!-- end-user-doc --> | 239 | * <!-- end-user-doc --> |
234 | * @generated | 240 | * @generated |
235 | */ | 241 | */ |
242 | @Override | ||
236 | public EAttribute getLogicResult_Representation() { | 243 | public EAttribute getLogicResult_Representation() { |
237 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3); | 244 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3); |
238 | } | 245 | } |
@@ -242,6 +249,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
242 | * <!-- end-user-doc --> | 249 | * <!-- end-user-doc --> |
243 | * @generated | 250 | * @generated |
244 | */ | 251 | */ |
252 | @Override | ||
245 | public EClass getModelResult() { | 253 | public EClass getModelResult() { |
246 | return modelResultEClass; | 254 | return modelResultEClass; |
247 | } | 255 | } |
@@ -251,6 +259,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
251 | * <!-- end-user-doc --> | 259 | * <!-- end-user-doc --> |
252 | * @generated | 260 | * @generated |
253 | */ | 261 | */ |
262 | @Override | ||
254 | public EAttribute getModelResult_MaxInteger() { | 263 | public EAttribute getModelResult_MaxInteger() { |
255 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0); | 264 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0); |
256 | } | 265 | } |
@@ -260,6 +269,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
260 | * <!-- end-user-doc --> | 269 | * <!-- end-user-doc --> |
261 | * @generated | 270 | * @generated |
262 | */ | 271 | */ |
272 | @Override | ||
263 | public EAttribute getModelResult_MinInteger() { | 273 | public EAttribute getModelResult_MinInteger() { |
264 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1); | 274 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1); |
265 | } | 275 | } |
@@ -269,6 +279,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
269 | * <!-- end-user-doc --> | 279 | * <!-- end-user-doc --> |
270 | * @generated | 280 | * @generated |
271 | */ | 281 | */ |
282 | @Override | ||
272 | public EClass getInconsistencyResult() { | 283 | public EClass getInconsistencyResult() { |
273 | return inconsistencyResultEClass; | 284 | return inconsistencyResultEClass; |
274 | } | 285 | } |
@@ -278,6 +289,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
278 | * <!-- end-user-doc --> | 289 | * <!-- end-user-doc --> |
279 | * @generated | 290 | * @generated |
280 | */ | 291 | */ |
292 | @Override | ||
281 | public EClass getUnknownResult() { | 293 | public EClass getUnknownResult() { |
282 | return unknownResultEClass; | 294 | return unknownResultEClass; |
283 | } | 295 | } |
@@ -287,6 +299,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
287 | * <!-- end-user-doc --> | 299 | * <!-- end-user-doc --> |
288 | * @generated | 300 | * @generated |
289 | */ | 301 | */ |
302 | @Override | ||
290 | public EClass getInsuficientResourcesResult() { | 303 | public EClass getInsuficientResourcesResult() { |
291 | return insuficientResourcesResultEClass; | 304 | return insuficientResourcesResultEClass; |
292 | } | 305 | } |
@@ -296,6 +309,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
296 | * <!-- end-user-doc --> | 309 | * <!-- end-user-doc --> |
297 | * @generated | 310 | * @generated |
298 | */ | 311 | */ |
312 | @Override | ||
299 | public EAttribute getInsuficientResourcesResult_ResourceName() { | 313 | public EAttribute getInsuficientResourcesResult_ResourceName() { |
300 | return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0); | 314 | return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0); |
301 | } | 315 | } |
@@ -305,6 +319,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
305 | * <!-- end-user-doc --> | 319 | * <!-- end-user-doc --> |
306 | * @generated | 320 | * @generated |
307 | */ | 321 | */ |
322 | @Override | ||
308 | public EClass getErrorResult() { | 323 | public EClass getErrorResult() { |
309 | return errorResultEClass; | 324 | return errorResultEClass; |
310 | } | 325 | } |
@@ -314,6 +329,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
314 | * <!-- end-user-doc --> | 329 | * <!-- end-user-doc --> |
315 | * @generated | 330 | * @generated |
316 | */ | 331 | */ |
332 | @Override | ||
317 | public EAttribute getErrorResult_Message() { | 333 | public EAttribute getErrorResult_Message() { |
318 | return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0); | 334 | return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0); |
319 | } | 335 | } |
@@ -323,6 +339,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
323 | * <!-- end-user-doc --> | 339 | * <!-- end-user-doc --> |
324 | * @generated | 340 | * @generated |
325 | */ | 341 | */ |
342 | @Override | ||
326 | public EClass getStatistics() { | 343 | public EClass getStatistics() { |
327 | return statisticsEClass; | 344 | return statisticsEClass; |
328 | } | 345 | } |
@@ -332,6 +349,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
332 | * <!-- end-user-doc --> | 349 | * <!-- end-user-doc --> |
333 | * @generated | 350 | * @generated |
334 | */ | 351 | */ |
352 | @Override | ||
335 | public EReference getStatistics_Entries() { | 353 | public EReference getStatistics_Entries() { |
336 | return (EReference)statisticsEClass.getEStructuralFeatures().get(0); | 354 | return (EReference)statisticsEClass.getEStructuralFeatures().get(0); |
337 | } | 355 | } |
@@ -341,6 +359,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
341 | * <!-- end-user-doc --> | 359 | * <!-- end-user-doc --> |
342 | * @generated | 360 | * @generated |
343 | */ | 361 | */ |
362 | @Override | ||
344 | public EAttribute getStatistics_TransformationTime() { | 363 | public EAttribute getStatistics_TransformationTime() { |
345 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1); | 364 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1); |
346 | } | 365 | } |
@@ -350,6 +369,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
350 | * <!-- end-user-doc --> | 369 | * <!-- end-user-doc --> |
351 | * @generated | 370 | * @generated |
352 | */ | 371 | */ |
372 | @Override | ||
353 | public EAttribute getStatistics_SolverTime() { | 373 | public EAttribute getStatistics_SolverTime() { |
354 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2); | 374 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2); |
355 | } | 375 | } |
@@ -359,6 +379,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
359 | * <!-- end-user-doc --> | 379 | * <!-- end-user-doc --> |
360 | * @generated | 380 | * @generated |
361 | */ | 381 | */ |
382 | @Override | ||
362 | public EAttribute getStatistics_SolverMemory() { | 383 | public EAttribute getStatistics_SolverMemory() { |
363 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3); | 384 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3); |
364 | } | 385 | } |
@@ -368,6 +389,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
368 | * <!-- end-user-doc --> | 389 | * <!-- end-user-doc --> |
369 | * @generated | 390 | * @generated |
370 | */ | 391 | */ |
392 | @Override | ||
371 | public EClass getStatisticEntry() { | 393 | public EClass getStatisticEntry() { |
372 | return statisticEntryEClass; | 394 | return statisticEntryEClass; |
373 | } | 395 | } |
@@ -377,6 +399,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
377 | * <!-- end-user-doc --> | 399 | * <!-- end-user-doc --> |
378 | * @generated | 400 | * @generated |
379 | */ | 401 | */ |
402 | @Override | ||
380 | public EAttribute getStatisticEntry_Name() { | 403 | public EAttribute getStatisticEntry_Name() { |
381 | return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0); | 404 | return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0); |
382 | } | 405 | } |
@@ -386,6 +409,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
386 | * <!-- end-user-doc --> | 409 | * <!-- end-user-doc --> |
387 | * @generated | 410 | * @generated |
388 | */ | 411 | */ |
412 | @Override | ||
389 | public EClass getUndecidableResult() { | 413 | public EClass getUndecidableResult() { |
390 | return undecidableResultEClass; | 414 | return undecidableResultEClass; |
391 | } | 415 | } |
@@ -395,6 +419,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
395 | * <!-- end-user-doc --> | 419 | * <!-- end-user-doc --> |
396 | * @generated | 420 | * @generated |
397 | */ | 421 | */ |
422 | @Override | ||
398 | public EClass getIntStatisticEntry() { | 423 | public EClass getIntStatisticEntry() { |
399 | return intStatisticEntryEClass; | 424 | return intStatisticEntryEClass; |
400 | } | 425 | } |
@@ -404,6 +429,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
404 | * <!-- end-user-doc --> | 429 | * <!-- end-user-doc --> |
405 | * @generated | 430 | * @generated |
406 | */ | 431 | */ |
432 | @Override | ||
407 | public EAttribute getIntStatisticEntry_Value() { | 433 | public EAttribute getIntStatisticEntry_Value() { |
408 | return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0); | 434 | return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0); |
409 | } | 435 | } |
@@ -413,6 +439,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
413 | * <!-- end-user-doc --> | 439 | * <!-- end-user-doc --> |
414 | * @generated | 440 | * @generated |
415 | */ | 441 | */ |
442 | @Override | ||
416 | public EClass getRealStatisticEntry() { | 443 | public EClass getRealStatisticEntry() { |
417 | return realStatisticEntryEClass; | 444 | return realStatisticEntryEClass; |
418 | } | 445 | } |
@@ -422,6 +449,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
422 | * <!-- end-user-doc --> | 449 | * <!-- end-user-doc --> |
423 | * @generated | 450 | * @generated |
424 | */ | 451 | */ |
452 | @Override | ||
425 | public EAttribute getRealStatisticEntry_Value() { | 453 | public EAttribute getRealStatisticEntry_Value() { |
426 | return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0); | 454 | return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0); |
427 | } | 455 | } |
@@ -431,6 +459,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
431 | * <!-- end-user-doc --> | 459 | * <!-- end-user-doc --> |
432 | * @generated | 460 | * @generated |
433 | */ | 461 | */ |
462 | @Override | ||
434 | public EClass getStringStatisticEntry() { | 463 | public EClass getStringStatisticEntry() { |
435 | return stringStatisticEntryEClass; | 464 | return stringStatisticEntryEClass; |
436 | } | 465 | } |
@@ -440,6 +469,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
440 | * <!-- end-user-doc --> | 469 | * <!-- end-user-doc --> |
441 | * @generated | 470 | * @generated |
442 | */ | 471 | */ |
472 | @Override | ||
443 | public EAttribute getStringStatisticEntry_Value() { | 473 | public EAttribute getStringStatisticEntry_Value() { |
444 | return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0); | 474 | return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0); |
445 | } | 475 | } |
@@ -449,6 +479,7 @@ public class LogicresultPackageImpl extends EPackageImpl implements LogicresultP | |||
449 | * <!-- end-user-doc --> | 479 | * <!-- end-user-doc --> |
450 | * @generated | 480 | * @generated |
451 | */ | 481 | */ |
482 | @Override | ||
452 | public LogicresultFactory getLogicresultFactory() { | 483 | public LogicresultFactory getLogicresultFactory() { |
453 | return (LogicresultFactory)getEFactoryInstance(); | 484 | return (LogicresultFactory)getEFactoryInstance(); |
454 | } | 485 | } |