aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
diff options
context:
space:
mode:
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')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java412
1 files changed, 364 insertions, 48 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 09690c79..4b7061ce 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
@@ -6,6 +6,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6 6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; 7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
8 8
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; 11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; 12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; 13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
@@ -13,6 +15,8 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 15import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
15 17
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
16import java.util.Collection; 20import java.util.Collection;
17 21
18import org.eclipse.emf.common.notify.Notification; 22import org.eclipse.emf.common.notify.Notification;
@@ -45,8 +49,16 @@ import org.eclipse.emf.ecore.util.InternalEList;
45 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> 49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>
46 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> 50 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li>
47 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> 51 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li>
48 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li> 52 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li>
49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li> 53 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li>
54 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement <em>Stringelement</em>}</li>
55 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements <em>Stringelements</em>}</li>
56 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements <em>Realelements</em>}</li>
57 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements <em>Integerelements</em>}</li>
58 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements <em>Booleanelements</em>}</li>
59 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li>
60 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li>
61 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li>
50 * </ul> 62 * </ul>
51 * 63 *
52 * @generated 64 * @generated
@@ -153,14 +165,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
153 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; 165 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
154 166
155 /** 167 /**
156 * The cached value of the '{@link #getOpenWorldElementPrototype() <em>Open World Element Prototype</em>}' containment reference. 168 * The cached value of the '{@link #getOpenWorldElementPrototypes() <em>Open World Element Prototypes</em>}' containment reference list.
157 * <!-- begin-user-doc --> 169 * <!-- begin-user-doc -->
158 * <!-- end-user-doc --> 170 * <!-- end-user-doc -->
159 * @see #getOpenWorldElementPrototype() 171 * @see #getOpenWorldElementPrototypes()
160 * @generated 172 * @generated
161 * @ordered 173 * @ordered
162 */ 174 */
163 protected DefinedElement openWorldElementPrototype; 175 protected EList<DefinedElement> openWorldElementPrototypes;
164 176
165 /** 177 /**
166 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. 178 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference.
@@ -173,6 +185,116 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
173 protected LogicProblem problemConainer; 185 protected LogicProblem problemConainer;
174 186
175 /** 187 /**
188 * The cached value of the '{@link #getStringelement() <em>Stringelement</em>}' containment reference list.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @see #getStringelement()
192 * @generated
193 * @ordered
194 */
195 protected EList<StringElement> stringelement;
196
197 /**
198 * The cached value of the '{@link #getStringelements() <em>Stringelements</em>}' containment reference list.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @see #getStringelements()
202 * @generated
203 * @ordered
204 */
205 protected EList<StringElement> stringelements;
206
207 /**
208 * The cached value of the '{@link #getRealelements() <em>Realelements</em>}' containment reference list.
209 * <!-- begin-user-doc -->
210 * <!-- end-user-doc -->
211 * @see #getRealelements()
212 * @generated
213 * @ordered
214 */
215 protected EList<RealElement> realelements;
216
217 /**
218 * The cached value of the '{@link #getIntegerelements() <em>Integerelements</em>}' containment reference list.
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @see #getIntegerelements()
222 * @generated
223 * @ordered
224 */
225 protected EList<IntegerElement> integerelements;
226
227 /**
228 * The cached value of the '{@link #getBooleanelements() <em>Booleanelements</em>}' containment reference list.
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @see #getBooleanelements()
232 * @generated
233 * @ordered
234 */
235 protected EList<BooleanElement> booleanelements;
236
237 /**
238 * The default value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.
239 * <!-- begin-user-doc -->
240 * <!-- end-user-doc -->
241 * @see #getMaxNewIntegers()
242 * @generated
243 * @ordered
244 */
245 protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0;
246
247 /**
248 * The cached value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @see #getMaxNewIntegers()
252 * @generated
253 * @ordered
254 */
255 protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT;
256
257 /**
258 * The default value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.
259 * <!-- begin-user-doc -->
260 * <!-- end-user-doc -->
261 * @see #getMaxNewReals()
262 * @generated
263 * @ordered
264 */
265 protected static final int MAX_NEW_REALS_EDEFAULT = 0;
266
267 /**
268 * The cached value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @see #getMaxNewReals()
272 * @generated
273 * @ordered
274 */
275 protected int maxNewReals = MAX_NEW_REALS_EDEFAULT;
276
277 /**
278 * The default value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @see #getMaxNewStrings()
282 * @generated
283 * @ordered
284 */
285 protected static final int MAX_NEW_STRINGS_EDEFAULT = 0;
286
287 /**
288 * The cached value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @see #getMaxNewStrings()
292 * @generated
293 * @ordered
294 */
295 protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT;
296
297 /**
176 * <!-- begin-user-doc --> 298 * <!-- begin-user-doc -->
177 * <!-- end-user-doc --> 299 * <!-- end-user-doc -->
178 * @generated 300 * @generated
@@ -336,8 +458,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
336 * <!-- end-user-doc --> 458 * <!-- end-user-doc -->
337 * @generated 459 * @generated
338 */ 460 */
339 public DefinedElement getOpenWorldElementPrototype() { 461 public EList<DefinedElement> getOpenWorldElementPrototypes() {
340 return openWorldElementPrototype; 462 if (openWorldElementPrototypes == null) {
463 openWorldElementPrototypes = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
464 }
465 return openWorldElementPrototypes;
466 }
467
468 /**
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @generated
472 */
473 public LogicProblem getProblemConainer() {
474 return problemConainer;
341 } 475 }
342 476
343 /** 477 /**
@@ -345,11 +479,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
345 * <!-- end-user-doc --> 479 * <!-- end-user-doc -->
346 * @generated 480 * @generated
347 */ 481 */
348 public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) { 482 public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) {
349 DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype; 483 LogicProblem oldProblemConainer = problemConainer;
350 openWorldElementPrototype = newOpenWorldElementPrototype; 484 problemConainer = newProblemConainer;
351 if (eNotificationRequired()) { 485 if (eNotificationRequired()) {
352 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype); 486 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer);
353 if (msgs == null) msgs = notification; else msgs.add(notification); 487 if (msgs == null) msgs = notification; else msgs.add(notification);
354 } 488 }
355 return msgs; 489 return msgs;
@@ -360,18 +494,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
360 * <!-- end-user-doc --> 494 * <!-- end-user-doc -->
361 * @generated 495 * @generated
362 */ 496 */
363 public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) { 497 public void setProblemConainer(LogicProblem newProblemConainer) {
364 if (newOpenWorldElementPrototype != openWorldElementPrototype) { 498 if (newProblemConainer != problemConainer) {
365 NotificationChain msgs = null; 499 NotificationChain msgs = null;
366 if (openWorldElementPrototype != null) 500 if (problemConainer != null)
367 msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); 501 msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
368 if (newOpenWorldElementPrototype != null) 502 if (newProblemConainer != null)
369 msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); 503 msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
370 msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs); 504 msgs = basicSetProblemConainer(newProblemConainer, msgs);
371 if (msgs != null) msgs.dispatch(); 505 if (msgs != null) msgs.dispatch();
372 } 506 }
373 else if (eNotificationRequired()) 507 else if (eNotificationRequired())
374 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype)); 508 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer));
375 } 509 }
376 510
377 /** 511 /**
@@ -379,8 +513,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
379 * <!-- end-user-doc --> 513 * <!-- end-user-doc -->
380 * @generated 514 * @generated
381 */ 515 */
382 public LogicProblem getProblemConainer() { 516 public EList<StringElement> getStringelement() {
383 return problemConainer; 517 if (stringelement == null) {
518 stringelement = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT);
519 }
520 return stringelement;
384 } 521 }
385 522
386 /** 523 /**
@@ -388,14 +525,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
388 * <!-- end-user-doc --> 525 * <!-- end-user-doc -->
389 * @generated 526 * @generated
390 */ 527 */
391 public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { 528 public EList<StringElement> getStringelements() {
392 LogicProblem oldProblemConainer = problemConainer; 529 if (stringelements == null) {
393 problemConainer = newProblemConainer; 530 stringelements = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS);
394 if (eNotificationRequired()) {
395 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer);
396 if (msgs == null) msgs = notification; else msgs.add(notification);
397 } 531 }
398 return msgs; 532 return stringelements;
399 } 533 }
400 534
401 /** 535 /**
@@ -403,18 +537,98 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
403 * <!-- end-user-doc --> 537 * <!-- end-user-doc -->
404 * @generated 538 * @generated
405 */ 539 */
406 public void setProblemConainer(LogicProblem newProblemConainer) { 540 public EList<RealElement> getRealelements() {
407 if (newProblemConainer != problemConainer) { 541 if (realelements == null) {
408 NotificationChain msgs = null; 542 realelements = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS);
409 if (problemConainer != null)
410 msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
411 if (newProblemConainer != null)
412 msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
413 msgs = basicSetProblemConainer(newProblemConainer, msgs);
414 if (msgs != null) msgs.dispatch();
415 } 543 }
416 else if (eNotificationRequired()) 544 return realelements;
417 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); 545 }
546
547 /**
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 public EList<IntegerElement> getIntegerelements() {
553 if (integerelements == null) {
554 integerelements = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS);
555 }
556 return integerelements;
557 }
558
559 /**
560 * <!-- begin-user-doc -->
561 * <!-- end-user-doc -->
562 * @generated
563 */
564 public EList<BooleanElement> getBooleanelements() {
565 if (booleanelements == null) {
566 booleanelements = new EObjectContainmentEList<BooleanElement>(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
567 }
568 return booleanelements;
569 }
570
571 /**
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 */
576 public int getMaxNewIntegers() {
577 return maxNewIntegers;
578 }
579
580 /**
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @generated
584 */
585 public void setMaxNewIntegers(int newMaxNewIntegers) {
586 int oldMaxNewIntegers = maxNewIntegers;
587 maxNewIntegers = newMaxNewIntegers;
588 if (eNotificationRequired())
589 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers));
590 }
591
592 /**
593 * <!-- begin-user-doc -->
594 * <!-- end-user-doc -->
595 * @generated
596 */
597 public int getMaxNewReals() {
598 return maxNewReals;
599 }
600
601 /**
602 * <!-- begin-user-doc -->
603 * <!-- end-user-doc -->
604 * @generated
605 */
606 public void setMaxNewReals(int newMaxNewReals) {
607 int oldMaxNewReals = maxNewReals;
608 maxNewReals = newMaxNewReals;
609 if (eNotificationRequired())
610 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals));
611 }
612
613 /**
614 * <!-- begin-user-doc -->
615 * <!-- end-user-doc -->
616 * @generated
617 */
618 public int getMaxNewStrings() {
619 return maxNewStrings;
620 }
621
622 /**
623 * <!-- begin-user-doc -->
624 * <!-- end-user-doc -->
625 * @generated
626 */
627 public void setMaxNewStrings(int newMaxNewStrings) {
628 int oldMaxNewStrings = maxNewStrings;
629 maxNewStrings = newMaxNewStrings;
630 if (eNotificationRequired())
631 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings));
418 } 632 }
419 633
420 /** 634 /**
@@ -435,10 +649,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
435 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); 649 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs);
436 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 650 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
437 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); 651 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);
438 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 652 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
439 return basicSetOpenWorldElementPrototype(null, msgs); 653 return ((InternalEList<?>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs);
440 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 654 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
441 return basicSetProblemConainer(null, msgs); 655 return basicSetProblemConainer(null, msgs);
656 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
657 return ((InternalEList<?>)getStringelement()).basicRemove(otherEnd, msgs);
658 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
659 return ((InternalEList<?>)getStringelements()).basicRemove(otherEnd, msgs);
660 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
661 return ((InternalEList<?>)getRealelements()).basicRemove(otherEnd, msgs);
662 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
663 return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs);
664 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
665 return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs);
442 } 666 }
443 return super.eInverseRemove(otherEnd, featureID, msgs); 667 return super.eInverseRemove(otherEnd, featureID, msgs);
444 } 668 }
@@ -468,10 +692,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
468 return getMinNewElements(); 692 return getMinNewElements();
469 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 693 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
470 return getMaxNewElements(); 694 return getMaxNewElements();
471 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 695 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
472 return getOpenWorldElementPrototype(); 696 return getOpenWorldElementPrototypes();
473 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 697 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
474 return getProblemConainer(); 698 return getProblemConainer();
699 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
700 return getStringelement();
701 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
702 return getStringelements();
703 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
704 return getRealelements();
705 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
706 return getIntegerelements();
707 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
708 return getBooleanelements();
709 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
710 return getMaxNewIntegers();
711 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
712 return getMaxNewReals();
713 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
714 return getMaxNewStrings();
475 } 715 }
476 return super.eGet(featureID, resolve, coreType); 716 return super.eGet(featureID, resolve, coreType);
477 } 717 }
@@ -514,12 +754,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
514 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 754 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
515 setMaxNewElements((Integer)newValue); 755 setMaxNewElements((Integer)newValue);
516 return; 756 return;
517 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 757 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
518 setOpenWorldElementPrototype((DefinedElement)newValue); 758 getOpenWorldElementPrototypes().clear();
759 getOpenWorldElementPrototypes().addAll((Collection<? extends DefinedElement>)newValue);
519 return; 760 return;
520 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 761 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
521 setProblemConainer((LogicProblem)newValue); 762 setProblemConainer((LogicProblem)newValue);
522 return; 763 return;
764 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
765 getStringelement().clear();
766 getStringelement().addAll((Collection<? extends StringElement>)newValue);
767 return;
768 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
769 getStringelements().clear();
770 getStringelements().addAll((Collection<? extends StringElement>)newValue);
771 return;
772 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
773 getRealelements().clear();
774 getRealelements().addAll((Collection<? extends RealElement>)newValue);
775 return;
776 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
777 getIntegerelements().clear();
778 getIntegerelements().addAll((Collection<? extends IntegerElement>)newValue);
779 return;
780 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
781 getBooleanelements().clear();
782 getBooleanelements().addAll((Collection<? extends BooleanElement>)newValue);
783 return;
784 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
785 setMaxNewIntegers((Integer)newValue);
786 return;
787 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
788 setMaxNewReals((Integer)newValue);
789 return;
790 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
791 setMaxNewStrings((Integer)newValue);
792 return;
523 } 793 }
524 super.eSet(featureID, newValue); 794 super.eSet(featureID, newValue);
525 } 795 }
@@ -556,12 +826,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
556 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 826 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
557 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); 827 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
558 return; 828 return;
559 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 829 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
560 setOpenWorldElementPrototype((DefinedElement)null); 830 getOpenWorldElementPrototypes().clear();
561 return; 831 return;
562 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 832 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
563 setProblemConainer((LogicProblem)null); 833 setProblemConainer((LogicProblem)null);
564 return; 834 return;
835 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
836 getStringelement().clear();
837 return;
838 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
839 getStringelements().clear();
840 return;
841 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
842 getRealelements().clear();
843 return;
844 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
845 getIntegerelements().clear();
846 return;
847 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
848 getBooleanelements().clear();
849 return;
850 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
851 setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT);
852 return;
853 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
854 setMaxNewReals(MAX_NEW_REALS_EDEFAULT);
855 return;
856 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
857 setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT);
858 return;
565 } 859 }
566 super.eUnset(featureID); 860 super.eUnset(featureID);
567 } 861 }
@@ -590,10 +884,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
590 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; 884 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
591 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 885 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
592 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; 886 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
593 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 887 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
594 return openWorldElementPrototype != null; 888 return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty();
595 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 889 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
596 return problemConainer != null; 890 return problemConainer != null;
891 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
892 return stringelement != null && !stringelement.isEmpty();
893 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
894 return stringelements != null && !stringelements.isEmpty();
895 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
896 return realelements != null && !realelements.isEmpty();
897 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
898 return integerelements != null && !integerelements.isEmpty();
899 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
900 return booleanelements != null && !booleanelements.isEmpty();
901 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
902 return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT;
903 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
904 return maxNewReals != MAX_NEW_REALS_EDEFAULT;
905 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
906 return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT;
597 } 907 }
598 return super.eIsSet(featureID); 908 return super.eIsSet(featureID);
599 } 909 }
@@ -612,6 +922,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
612 result.append(minNewElements); 922 result.append(minNewElements);
613 result.append(", maxNewElements: "); 923 result.append(", maxNewElements: ");
614 result.append(maxNewElements); 924 result.append(maxNewElements);
925 result.append(", maxNewIntegers: ");
926 result.append(maxNewIntegers);
927 result.append(", maxNewReals: ");
928 result.append(maxNewReals);
929 result.append(", maxNewStrings: ");
930 result.append(maxNewStrings);
615 result.append(')'); 931 result.append(')');
616 return result.toString(); 932 return result.toString();
617 } 933 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 22:00:29 +0000