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, 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; | ||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | ||
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; | ||
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | ||
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
15 | |||
16 | import java.util.Collection; | ||
17 | |||
18 | import org.eclipse.emf.common.notify.Notification; | ||
19 | import org.eclipse.emf.common.notify.NotificationChain; | ||
20 | |||
21 | import org.eclipse.emf.common.util.EList; | ||
22 | |||
23 | import org.eclipse.emf.ecore.EClass; | ||
24 | import org.eclipse.emf.ecore.InternalEObject; | ||
25 | |||
26 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
27 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
28 | |||
29 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
30 | import 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 | */ | ||
54 | public 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 | ||