diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java')
1 files changed, 72 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java index bce3e2e0..9afdd8d2 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java | |||
@@ -47,6 +47,7 @@ import org.eclipse.emf.ecore.util.InternalEList; | |||
47 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes <em>Scopes</em>}</li> | 47 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes <em>Scopes</em>}</li> |
48 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> | 48 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> |
49 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> | 49 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> |
50 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElementsHeuristic <em>Min New Elements Heuristic</em>}</li> | ||
50 | * </ul> | 51 | * </ul> |
51 | * | 52 | * |
52 | * @generated | 53 | * @generated |
@@ -183,6 +184,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
183 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; | 184 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; |
184 | 185 | ||
185 | /** | 186 | /** |
187 | * The default value of the '{@link #getMinNewElementsHeuristic() <em>Min New Elements Heuristic</em>}' attribute. | ||
188 | * <!-- begin-user-doc --> | ||
189 | * <!-- end-user-doc --> | ||
190 | * @see #getMinNewElementsHeuristic() | ||
191 | * @generated | ||
192 | * @ordered | ||
193 | */ | ||
194 | protected static final int MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT = 0; | ||
195 | |||
196 | /** | ||
197 | * The cached value of the '{@link #getMinNewElementsHeuristic() <em>Min New Elements Heuristic</em>}' attribute. | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @see #getMinNewElementsHeuristic() | ||
201 | * @generated | ||
202 | * @ordered | ||
203 | */ | ||
204 | protected int minNewElementsHeuristic = MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT; | ||
205 | |||
206 | /** | ||
186 | * <!-- begin-user-doc --> | 207 | * <!-- begin-user-doc --> |
187 | * <!-- end-user-doc --> | 208 | * <!-- end-user-doc --> |
188 | * @generated | 209 | * @generated |
@@ -206,6 +227,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
206 | * <!-- end-user-doc --> | 227 | * <!-- end-user-doc --> |
207 | * @generated | 228 | * @generated |
208 | */ | 229 | */ |
230 | @Override | ||
209 | public LogicProblem getProblem() { | 231 | public LogicProblem getProblem() { |
210 | if (problem != null && problem.eIsProxy()) { | 232 | if (problem != null && problem.eIsProxy()) { |
211 | InternalEObject oldProblem = (InternalEObject)problem; | 233 | InternalEObject oldProblem = (InternalEObject)problem; |
@@ -232,6 +254,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
232 | * <!-- end-user-doc --> | 254 | * <!-- end-user-doc --> |
233 | * @generated | 255 | * @generated |
234 | */ | 256 | */ |
257 | @Override | ||
235 | public void setProblem(LogicProblem newProblem) { | 258 | public void setProblem(LogicProblem newProblem) { |
236 | LogicProblem oldProblem = problem; | 259 | LogicProblem oldProblem = problem; |
237 | problem = newProblem; | 260 | problem = newProblem; |
@@ -244,6 +267,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
244 | * <!-- end-user-doc --> | 267 | * <!-- end-user-doc --> |
245 | * @generated | 268 | * @generated |
246 | */ | 269 | */ |
270 | @Override | ||
247 | public EList<PartialConstantInterpretation> getPartialconstantinterpretation() { | 271 | public EList<PartialConstantInterpretation> getPartialconstantinterpretation() { |
248 | if (partialconstantinterpretation == null) { | 272 | if (partialconstantinterpretation == null) { |
249 | partialconstantinterpretation = new EObjectContainmentEList<PartialConstantInterpretation>(PartialConstantInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION); | 273 | partialconstantinterpretation = new EObjectContainmentEList<PartialConstantInterpretation>(PartialConstantInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION); |
@@ -256,6 +280,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
256 | * <!-- end-user-doc --> | 280 | * <!-- end-user-doc --> |
257 | * @generated | 281 | * @generated |
258 | */ | 282 | */ |
283 | @Override | ||
259 | public EList<PartialRelationInterpretation> getPartialrelationinterpretation() { | 284 | public EList<PartialRelationInterpretation> getPartialrelationinterpretation() { |
260 | if (partialrelationinterpretation == null) { | 285 | if (partialrelationinterpretation == null) { |
261 | partialrelationinterpretation = new EObjectContainmentEList<PartialRelationInterpretation>(PartialRelationInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION); | 286 | partialrelationinterpretation = new EObjectContainmentEList<PartialRelationInterpretation>(PartialRelationInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION); |
@@ -268,6 +293,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
268 | * <!-- end-user-doc --> | 293 | * <!-- end-user-doc --> |
269 | * @generated | 294 | * @generated |
270 | */ | 295 | */ |
296 | @Override | ||
271 | public EList<PartialFunctionInterpretation> getPartialfunctioninterpretation() { | 297 | public EList<PartialFunctionInterpretation> getPartialfunctioninterpretation() { |
272 | if (partialfunctioninterpretation == null) { | 298 | if (partialfunctioninterpretation == null) { |
273 | partialfunctioninterpretation = new EObjectContainmentEList<PartialFunctionInterpretation>(PartialFunctionInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION); | 299 | partialfunctioninterpretation = new EObjectContainmentEList<PartialFunctionInterpretation>(PartialFunctionInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION); |
@@ -280,6 +306,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
280 | * <!-- end-user-doc --> | 306 | * <!-- end-user-doc --> |
281 | * @generated | 307 | * @generated |
282 | */ | 308 | */ |
309 | @Override | ||
283 | public EList<DefinedElement> getNewElements() { | 310 | public EList<DefinedElement> getNewElements() { |
284 | if (newElements == null) { | 311 | if (newElements == null) { |
285 | newElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS); | 312 | newElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS); |
@@ -292,6 +319,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
292 | * <!-- end-user-doc --> | 319 | * <!-- end-user-doc --> |
293 | * @generated | 320 | * @generated |
294 | */ | 321 | */ |
322 | @Override | ||
295 | public EList<PartialTypeInterpratation> getPartialtypeinterpratation() { | 323 | public EList<PartialTypeInterpratation> getPartialtypeinterpratation() { |
296 | if (partialtypeinterpratation == null) { | 324 | if (partialtypeinterpratation == null) { |
297 | partialtypeinterpratation = new EObjectContainmentEList<PartialTypeInterpratation>(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); | 325 | partialtypeinterpratation = new EObjectContainmentEList<PartialTypeInterpratation>(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); |
@@ -304,6 +332,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
304 | * <!-- end-user-doc --> | 332 | * <!-- end-user-doc --> |
305 | * @generated | 333 | * @generated |
306 | */ | 334 | */ |
335 | @Override | ||
307 | public EList<DefinedElement> getOpenWorldElements() { | 336 | public EList<DefinedElement> getOpenWorldElements() { |
308 | if (openWorldElements == null) { | 337 | if (openWorldElements == null) { |
309 | openWorldElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS); | 338 | openWorldElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS); |
@@ -316,6 +345,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
316 | * <!-- end-user-doc --> | 345 | * <!-- end-user-doc --> |
317 | * @generated | 346 | * @generated |
318 | */ | 347 | */ |
348 | @Override | ||
319 | public LogicProblem getProblemConainer() { | 349 | public LogicProblem getProblemConainer() { |
320 | return problemConainer; | 350 | return problemConainer; |
321 | } | 351 | } |
@@ -340,6 +370,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
340 | * <!-- end-user-doc --> | 370 | * <!-- end-user-doc --> |
341 | * @generated | 371 | * @generated |
342 | */ | 372 | */ |
373 | @Override | ||
343 | public void setProblemConainer(LogicProblem newProblemConainer) { | 374 | public void setProblemConainer(LogicProblem newProblemConainer) { |
344 | if (newProblemConainer != problemConainer) { | 375 | if (newProblemConainer != problemConainer) { |
345 | NotificationChain msgs = null; | 376 | NotificationChain msgs = null; |
@@ -359,6 +390,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
359 | * <!-- end-user-doc --> | 390 | * <!-- end-user-doc --> |
360 | * @generated | 391 | * @generated |
361 | */ | 392 | */ |
393 | @Override | ||
362 | public EList<Scope> getScopes() { | 394 | public EList<Scope> getScopes() { |
363 | if (scopes == null) { | 395 | if (scopes == null) { |
364 | scopes = new EObjectContainmentEList<Scope>(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES); | 396 | scopes = new EObjectContainmentEList<Scope>(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES); |
@@ -371,6 +403,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
371 | * <!-- end-user-doc --> | 403 | * <!-- end-user-doc --> |
372 | * @generated | 404 | * @generated |
373 | */ | 405 | */ |
406 | @Override | ||
374 | public int getMinNewElements() { | 407 | public int getMinNewElements() { |
375 | return minNewElements; | 408 | return minNewElements; |
376 | } | 409 | } |
@@ -380,6 +413,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
380 | * <!-- end-user-doc --> | 413 | * <!-- end-user-doc --> |
381 | * @generated | 414 | * @generated |
382 | */ | 415 | */ |
416 | @Override | ||
383 | public void setMinNewElements(int newMinNewElements) { | 417 | public void setMinNewElements(int newMinNewElements) { |
384 | int oldMinNewElements = minNewElements; | 418 | int oldMinNewElements = minNewElements; |
385 | minNewElements = newMinNewElements; | 419 | minNewElements = newMinNewElements; |
@@ -392,6 +426,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
392 | * <!-- end-user-doc --> | 426 | * <!-- end-user-doc --> |
393 | * @generated | 427 | * @generated |
394 | */ | 428 | */ |
429 | @Override | ||
395 | public int getMaxNewElements() { | 430 | public int getMaxNewElements() { |
396 | return maxNewElements; | 431 | return maxNewElements; |
397 | } | 432 | } |
@@ -401,6 +436,7 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
401 | * <!-- end-user-doc --> | 436 | * <!-- end-user-doc --> |
402 | * @generated | 437 | * @generated |
403 | */ | 438 | */ |
439 | @Override | ||
404 | public void setMaxNewElements(int newMaxNewElements) { | 440 | public void setMaxNewElements(int newMaxNewElements) { |
405 | int oldMaxNewElements = maxNewElements; | 441 | int oldMaxNewElements = maxNewElements; |
406 | maxNewElements = newMaxNewElements; | 442 | maxNewElements = newMaxNewElements; |
@@ -414,6 +450,29 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
414 | * @generated | 450 | * @generated |
415 | */ | 451 | */ |
416 | @Override | 452 | @Override |
453 | public int getMinNewElementsHeuristic() { | ||
454 | return minNewElementsHeuristic; | ||
455 | } | ||
456 | |||
457 | /** | ||
458 | * <!-- begin-user-doc --> | ||
459 | * <!-- end-user-doc --> | ||
460 | * @generated | ||
461 | */ | ||
462 | @Override | ||
463 | public void setMinNewElementsHeuristic(int newMinNewElementsHeuristic) { | ||
464 | int oldMinNewElementsHeuristic = minNewElementsHeuristic; | ||
465 | minNewElementsHeuristic = newMinNewElementsHeuristic; | ||
466 | if (eNotificationRequired()) | ||
467 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS_HEURISTIC, oldMinNewElementsHeuristic, minNewElementsHeuristic)); | ||
468 | } | ||
469 | |||
470 | /** | ||
471 | * <!-- begin-user-doc --> | ||
472 | * <!-- end-user-doc --> | ||
473 | * @generated | ||
474 | */ | ||
475 | @Override | ||
417 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | 476 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { |
418 | switch (featureID) { | 477 | switch (featureID) { |
419 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: | 478 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: |
@@ -467,6 +526,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
467 | return getMinNewElements(); | 526 | return getMinNewElements(); |
468 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 527 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
469 | return getMaxNewElements(); | 528 | return getMaxNewElements(); |
529 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS_HEURISTIC: | ||
530 | return getMinNewElementsHeuristic(); | ||
470 | } | 531 | } |
471 | return super.eGet(featureID, resolve, coreType); | 532 | return super.eGet(featureID, resolve, coreType); |
472 | } | 533 | } |
@@ -520,6 +581,9 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
520 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 581 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
521 | setMaxNewElements((Integer)newValue); | 582 | setMaxNewElements((Integer)newValue); |
522 | return; | 583 | return; |
584 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS_HEURISTIC: | ||
585 | setMinNewElementsHeuristic((Integer)newValue); | ||
586 | return; | ||
523 | } | 587 | } |
524 | super.eSet(featureID, newValue); | 588 | super.eSet(featureID, newValue); |
525 | } | 589 | } |
@@ -565,6 +629,9 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
565 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 629 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
566 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); | 630 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); |
567 | return; | 631 | return; |
632 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS_HEURISTIC: | ||
633 | setMinNewElementsHeuristic(MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT); | ||
634 | return; | ||
568 | } | 635 | } |
569 | super.eUnset(featureID); | 636 | super.eUnset(featureID); |
570 | } | 637 | } |
@@ -599,6 +666,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
599 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; | 666 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; |
600 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 667 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
601 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; | 668 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; |
669 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS_HEURISTIC: | ||
670 | return minNewElementsHeuristic != MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT; | ||
602 | } | 671 | } |
603 | return super.eIsSet(featureID); | 672 | return super.eIsSet(featureID); |
604 | } | 673 | } |
@@ -612,11 +681,13 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
612 | public String toString() { | 681 | public String toString() { |
613 | if (eIsProxy()) return super.toString(); | 682 | if (eIsProxy()) return super.toString(); |
614 | 683 | ||
615 | StringBuffer result = new StringBuffer(super.toString()); | 684 | StringBuilder result = new StringBuilder(super.toString()); |
616 | result.append(" (minNewElements: "); | 685 | result.append(" (minNewElements: "); |
617 | result.append(minNewElements); | 686 | result.append(minNewElements); |
618 | result.append(", maxNewElements: "); | 687 | result.append(", maxNewElements: "); |
619 | result.append(maxNewElements); | 688 | result.append(maxNewElements); |
689 | result.append(", minNewElementsHeuristic: "); | ||
690 | result.append(minNewElementsHeuristic); | ||
620 | result.append(')'); | 691 | result.append(')'); |
621 | return result.toString(); | 692 | return result.toString(); |
622 | } | 693 | } |