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.java619
1 files changed, 619 insertions, 0 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
new file mode 100644
index 00000000..09690c79
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
@@ -0,0 +1,619 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
8
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
15
16import java.util.Collection;
17
18import org.eclipse.emf.common.notify.Notification;
19import org.eclipse.emf.common.notify.NotificationChain;
20
21import org.eclipse.emf.common.util.EList;
22
23import org.eclipse.emf.ecore.EClass;
24import org.eclipse.emf.ecore.InternalEObject;
25
26import org.eclipse.emf.ecore.impl.ENotificationImpl;
27import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
28
29import org.eclipse.emf.ecore.util.EObjectContainmentEList;
30import org.eclipse.emf.ecore.util.InternalEList;
31
32/**
33 * <!-- begin-user-doc -->
34 * An implementation of the model object '<em><b>Partial Interpretation</b></em>'.
35 * <!-- end-user-doc -->
36 * <p>
37 * The following features are implemented:
38 * </p>
39 * <ul>
40 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblem <em>Problem</em>}</li>
41 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}</li>
42 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}</li>
43 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li>
44 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements <em>New Elements</em>}</li>
45 * <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>
47 * <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>
49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li>
50 * </ul>
51 *
52 * @generated
53 */
54public class PartialInterpretationImpl extends MinimalEObjectImpl.Container implements PartialInterpretation {
55 /**
56 * The cached value of the '{@link #getProblem() <em>Problem</em>}' reference.
57 * <!-- begin-user-doc -->
58 * <!-- end-user-doc -->
59 * @see #getProblem()
60 * @generated
61 * @ordered
62 */
63 protected LogicProblem problem;
64
65 /**
66 * The cached value of the '{@link #getPartialconstantinterpretation() <em>Partialconstantinterpretation</em>}' containment reference list.
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @see #getPartialconstantinterpretation()
70 * @generated
71 * @ordered
72 */
73 protected EList<PartialConstantInterpretation> partialconstantinterpretation;
74
75 /**
76 * The cached value of the '{@link #getPartialrelationinterpretation() <em>Partialrelationinterpretation</em>}' containment reference list.
77 * <!-- begin-user-doc -->
78 * <!-- end-user-doc -->
79 * @see #getPartialrelationinterpretation()
80 * @generated
81 * @ordered
82 */
83 protected EList<PartialRelationInterpretation> partialrelationinterpretation;
84
85 /**
86 * The cached value of the '{@link #getPartialfunctioninterpretation() <em>Partialfunctioninterpretation</em>}' containment reference list.
87 * <!-- begin-user-doc -->
88 * <!-- end-user-doc -->
89 * @see #getPartialfunctioninterpretation()
90 * @generated
91 * @ordered
92 */
93 protected EList<PartialFunctionInterpretation> partialfunctioninterpretation;
94
95 /**
96 * The cached value of the '{@link #getNewElements() <em>New Elements</em>}' containment reference list.
97 * <!-- begin-user-doc -->
98 * <!-- end-user-doc -->
99 * @see #getNewElements()
100 * @generated
101 * @ordered
102 */
103 protected EList<DefinedElement> newElements;
104
105 /**
106 * The cached value of the '{@link #getPartialtypeinterpratation() <em>Partialtypeinterpratation</em>}' containment reference list.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @see #getPartialtypeinterpratation()
110 * @generated
111 * @ordered
112 */
113 protected EList<PartialTypeInterpratation> partialtypeinterpratation;
114
115 /**
116 * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @see #getMinNewElements()
120 * @generated
121 * @ordered
122 */
123 protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
124
125 /**
126 * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @see #getMinNewElements()
130 * @generated
131 * @ordered
132 */
133 protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
134
135 /**
136 * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.
137 * <!-- begin-user-doc -->
138 * <!-- end-user-doc -->
139 * @see #getMaxNewElements()
140 * @generated
141 * @ordered
142 */
143 protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0;
144
145 /**
146 * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @see #getMaxNewElements()
150 * @generated
151 * @ordered
152 */
153 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
154
155 /**
156 * The cached value of the '{@link #getOpenWorldElementPrototype() <em>Open World Element Prototype</em>}' containment reference.
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @see #getOpenWorldElementPrototype()
160 * @generated
161 * @ordered
162 */
163 protected DefinedElement openWorldElementPrototype;
164
165 /**
166 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference.
167 * <!-- begin-user-doc -->
168 * <!-- end-user-doc -->
169 * @see #getProblemConainer()
170 * @generated
171 * @ordered
172 */
173 protected LogicProblem problemConainer;
174
175 /**
176 * <!-- begin-user-doc -->
177 * <!-- end-user-doc -->
178 * @generated
179 */
180 protected PartialInterpretationImpl() {
181 super();
182 }
183
184 /**
185 * <!-- begin-user-doc -->
186 * <!-- end-user-doc -->
187 * @generated
188 */
189 @Override
190 protected EClass eStaticClass() {
191 return PartialinterpretationPackage.Literals.PARTIAL_INTERPRETATION;
192 }
193
194 /**
195 * <!-- begin-user-doc -->
196 * <!-- end-user-doc -->
197 * @generated
198 */
199 public LogicProblem getProblem() {
200 if (problem != null && problem.eIsProxy()) {
201 InternalEObject oldProblem = (InternalEObject)problem;
202 problem = (LogicProblem)eResolveProxy(oldProblem);
203 if (problem != oldProblem) {
204 if (eNotificationRequired())
205 eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM, oldProblem, problem));
206 }
207 }
208 return problem;
209 }
210
211 /**
212 * <!-- begin-user-doc -->
213 * <!-- end-user-doc -->
214 * @generated
215 */
216 public LogicProblem basicGetProblem() {
217 return problem;
218 }
219
220 /**
221 * <!-- begin-user-doc -->
222 * <!-- end-user-doc -->
223 * @generated
224 */
225 public void setProblem(LogicProblem newProblem) {
226 LogicProblem oldProblem = problem;
227 problem = newProblem;
228 if (eNotificationRequired())
229 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM, oldProblem, problem));
230 }
231
232 /**
233 * <!-- begin-user-doc -->
234 * <!-- end-user-doc -->
235 * @generated
236 */
237 public EList<PartialConstantInterpretation> getPartialconstantinterpretation() {
238 if (partialconstantinterpretation == null) {
239 partialconstantinterpretation = new EObjectContainmentEList<PartialConstantInterpretation>(PartialConstantInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION);
240 }
241 return partialconstantinterpretation;
242 }
243
244 /**
245 * <!-- begin-user-doc -->
246 * <!-- end-user-doc -->
247 * @generated
248 */
249 public EList<PartialRelationInterpretation> getPartialrelationinterpretation() {
250 if (partialrelationinterpretation == null) {
251 partialrelationinterpretation = new EObjectContainmentEList<PartialRelationInterpretation>(PartialRelationInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION);
252 }
253 return partialrelationinterpretation;
254 }
255
256 /**
257 * <!-- begin-user-doc -->
258 * <!-- end-user-doc -->
259 * @generated
260 */
261 public EList<PartialFunctionInterpretation> getPartialfunctioninterpretation() {
262 if (partialfunctioninterpretation == null) {
263 partialfunctioninterpretation = new EObjectContainmentEList<PartialFunctionInterpretation>(PartialFunctionInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION);
264 }
265 return partialfunctioninterpretation;
266 }
267
268 /**
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @generated
272 */
273 public EList<DefinedElement> getNewElements() {
274 if (newElements == null) {
275 newElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS);
276 }
277 return newElements;
278 }
279
280 /**
281 * <!-- begin-user-doc -->
282 * <!-- end-user-doc -->
283 * @generated
284 */
285 public EList<PartialTypeInterpratation> getPartialtypeinterpratation() {
286 if (partialtypeinterpratation == null) {
287 partialtypeinterpratation = new EObjectContainmentEList<PartialTypeInterpratation>(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);
288 }
289 return partialtypeinterpratation;
290 }
291
292 /**
293 * <!-- begin-user-doc -->
294 * <!-- end-user-doc -->
295 * @generated
296 */
297 public int getMinNewElements() {
298 return minNewElements;
299 }
300
301 /**
302 * <!-- begin-user-doc -->
303 * <!-- end-user-doc -->
304 * @generated
305 */
306 public void setMinNewElements(int newMinNewElements) {
307 int oldMinNewElements = minNewElements;
308 minNewElements = newMinNewElements;
309 if (eNotificationRequired())
310 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
311 }
312
313 /**
314 * <!-- begin-user-doc -->
315 * <!-- end-user-doc -->
316 * @generated
317 */
318 public int getMaxNewElements() {
319 return maxNewElements;
320 }
321
322 /**
323 * <!-- begin-user-doc -->
324 * <!-- end-user-doc -->
325 * @generated
326 */
327 public void setMaxNewElements(int newMaxNewElements) {
328 int oldMaxNewElements = maxNewElements;
329 maxNewElements = newMaxNewElements;
330 if (eNotificationRequired())
331 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
332 }
333
334 /**
335 * <!-- begin-user-doc -->
336 * <!-- end-user-doc -->
337 * @generated
338 */
339 public DefinedElement getOpenWorldElementPrototype() {
340 return openWorldElementPrototype;
341 }
342
343 /**
344 * <!-- begin-user-doc -->
345 * <!-- end-user-doc -->
346 * @generated
347 */
348 public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) {
349 DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype;
350 openWorldElementPrototype = newOpenWorldElementPrototype;
351 if (eNotificationRequired()) {
352 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype);
353 if (msgs == null) msgs = notification; else msgs.add(notification);
354 }
355 return msgs;
356 }
357
358 /**
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @generated
362 */
363 public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) {
364 if (newOpenWorldElementPrototype != openWorldElementPrototype) {
365 NotificationChain msgs = null;
366 if (openWorldElementPrototype != null)
367 msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs);
368 if (newOpenWorldElementPrototype != null)
369 msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs);
370 msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs);
371 if (msgs != null) msgs.dispatch();
372 }
373 else if (eNotificationRequired())
374 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype));
375 }
376
377 /**
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @generated
381 */
382 public LogicProblem getProblemConainer() {
383 return problemConainer;
384 }
385
386 /**
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @generated
390 */
391 public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) {
392 LogicProblem oldProblemConainer = problemConainer;
393 problemConainer = newProblemConainer;
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 }
398 return msgs;
399 }
400
401 /**
402 * <!-- begin-user-doc -->
403 * <!-- end-user-doc -->
404 * @generated
405 */
406 public void setProblemConainer(LogicProblem newProblemConainer) {
407 if (newProblemConainer != problemConainer) {
408 NotificationChain msgs = null;
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 }
416 else if (eNotificationRequired())
417 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer));
418 }
419
420 /**
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 */
425 @Override
426 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
427 switch (featureID) {
428 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:
429 return ((InternalEList<?>)getPartialconstantinterpretation()).basicRemove(otherEnd, msgs);
430 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:
431 return ((InternalEList<?>)getPartialrelationinterpretation()).basicRemove(otherEnd, msgs);
432 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:
433 return ((InternalEList<?>)getPartialfunctioninterpretation()).basicRemove(otherEnd, msgs);
434 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:
435 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs);
436 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
437 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);
438 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE:
439 return basicSetOpenWorldElementPrototype(null, msgs);
440 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
441 return basicSetProblemConainer(null, msgs);
442 }
443 return super.eInverseRemove(otherEnd, featureID, msgs);
444 }
445
446 /**
447 * <!-- begin-user-doc -->
448 * <!-- end-user-doc -->
449 * @generated
450 */
451 @Override
452 public Object eGet(int featureID, boolean resolve, boolean coreType) {
453 switch (featureID) {
454 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:
455 if (resolve) return getProblem();
456 return basicGetProblem();
457 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:
458 return getPartialconstantinterpretation();
459 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:
460 return getPartialrelationinterpretation();
461 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:
462 return getPartialfunctioninterpretation();
463 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:
464 return getNewElements();
465 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
466 return getPartialtypeinterpratation();
467 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
468 return getMinNewElements();
469 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
470 return getMaxNewElements();
471 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE:
472 return getOpenWorldElementPrototype();
473 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
474 return getProblemConainer();
475 }
476 return super.eGet(featureID, resolve, coreType);
477 }
478
479 /**
480 * <!-- begin-user-doc -->
481 * <!-- end-user-doc -->
482 * @generated
483 */
484 @SuppressWarnings("unchecked")
485 @Override
486 public void eSet(int featureID, Object newValue) {
487 switch (featureID) {
488 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:
489 setProblem((LogicProblem)newValue);
490 return;
491 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:
492 getPartialconstantinterpretation().clear();
493 getPartialconstantinterpretation().addAll((Collection<? extends PartialConstantInterpretation>)newValue);
494 return;
495 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:
496 getPartialrelationinterpretation().clear();
497 getPartialrelationinterpretation().addAll((Collection<? extends PartialRelationInterpretation>)newValue);
498 return;
499 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:
500 getPartialfunctioninterpretation().clear();
501 getPartialfunctioninterpretation().addAll((Collection<? extends PartialFunctionInterpretation>)newValue);
502 return;
503 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:
504 getNewElements().clear();
505 getNewElements().addAll((Collection<? extends DefinedElement>)newValue);
506 return;
507 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
508 getPartialtypeinterpratation().clear();
509 getPartialtypeinterpratation().addAll((Collection<? extends PartialTypeInterpratation>)newValue);
510 return;
511 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
512 setMinNewElements((Integer)newValue);
513 return;
514 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
515 setMaxNewElements((Integer)newValue);
516 return;
517 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE:
518 setOpenWorldElementPrototype((DefinedElement)newValue);
519 return;
520 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
521 setProblemConainer((LogicProblem)newValue);
522 return;
523 }
524 super.eSet(featureID, newValue);
525 }
526
527 /**
528 * <!-- begin-user-doc -->
529 * <!-- end-user-doc -->
530 * @generated
531 */
532 @Override
533 public void eUnset(int featureID) {
534 switch (featureID) {
535 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:
536 setProblem((LogicProblem)null);
537 return;
538 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:
539 getPartialconstantinterpretation().clear();
540 return;
541 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:
542 getPartialrelationinterpretation().clear();
543 return;
544 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:
545 getPartialfunctioninterpretation().clear();
546 return;
547 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:
548 getNewElements().clear();
549 return;
550 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
551 getPartialtypeinterpratation().clear();
552 return;
553 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
554 setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
555 return;
556 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
557 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
558 return;
559 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE:
560 setOpenWorldElementPrototype((DefinedElement)null);
561 return;
562 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
563 setProblemConainer((LogicProblem)null);
564 return;
565 }
566 super.eUnset(featureID);
567 }
568
569 /**
570 * <!-- begin-user-doc -->
571 * <!-- end-user-doc -->
572 * @generated
573 */
574 @Override
575 public boolean eIsSet(int featureID) {
576 switch (featureID) {
577 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:
578 return problem != null;
579 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:
580 return partialconstantinterpretation != null && !partialconstantinterpretation.isEmpty();
581 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:
582 return partialrelationinterpretation != null && !partialrelationinterpretation.isEmpty();
583 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:
584 return partialfunctioninterpretation != null && !partialfunctioninterpretation.isEmpty();
585 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:
586 return newElements != null && !newElements.isEmpty();
587 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
588 return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty();
589 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
590 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
591 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
592 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
593 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE:
594 return openWorldElementPrototype != null;
595 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
596 return problemConainer != null;
597 }
598 return super.eIsSet(featureID);
599 }
600
601 /**
602 * <!-- begin-user-doc -->
603 * <!-- end-user-doc -->
604 * @generated
605 */
606 @Override
607 public String toString() {
608 if (eIsProxy()) return super.toString();
609
610 StringBuffer result = new StringBuffer(super.toString());
611 result.append(" (minNewElements: ");
612 result.append(minNewElements);
613 result.append(", maxNewElements: ");
614 result.append(maxNewElements);
615 result.append(')');
616 return result.toString();
617 }
618
619} //PartialInterpretationImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 12:36:45 +0000