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.java571
1 files changed, 76 insertions, 495 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 dd744606..bce3e2e0 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
@@ -5,18 +5,13 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.pa
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; 5import 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
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; 8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; 9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; 10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; 11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
15import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
17 14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
20import java.util.Collection; 15import java.util.Collection;
21 16
22import org.eclipse.emf.common.notify.Notification; 17import org.eclipse.emf.common.notify.Notification;
@@ -47,21 +42,11 @@ import org.eclipse.emf.ecore.util.InternalEList;
47 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li> 42 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li>
48 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements <em>New Elements</em>}</li> 43 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements <em>New Elements</em>}</li>
49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> 44 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>
45 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElements <em>Open World Elements</em>}</li>
46 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li>
47 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes <em>Scopes</em>}</li>
50 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> 48 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li>
51 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> 49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li>
52 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes <em>Open World Element Prototypes</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>
62 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings <em>New Strings</em>}</li>
63 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals <em>New Reals</em>}</li>
64 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers <em>New Integers</em>}</li>
65 * </ul> 50 * </ul>
66 * 51 *
67 * @generated 52 * @generated
@@ -128,54 +113,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
128 protected EList<PartialTypeInterpratation> partialtypeinterpratation; 113 protected EList<PartialTypeInterpratation> partialtypeinterpratation;
129 114
130 /** 115 /**
131 * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute. 116 * The cached value of the '{@link #getOpenWorldElements() <em>Open World Elements</em>}' containment reference list.
132 * <!-- begin-user-doc -->
133 * <!-- end-user-doc -->
134 * @see #getMinNewElements()
135 * @generated
136 * @ordered
137 */
138 protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
139
140 /**
141 * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @see #getMinNewElements()
145 * @generated
146 * @ordered
147 */
148 protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
149
150 /**
151 * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.
152 * <!-- begin-user-doc -->
153 * <!-- end-user-doc -->
154 * @see #getMaxNewElements()
155 * @generated
156 * @ordered
157 */
158 protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0;
159
160 /**
161 * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @see #getMaxNewElements()
165 * @generated
166 * @ordered
167 */
168 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
169
170 /**
171 * The cached value of the '{@link #getOpenWorldElementPrototypes() <em>Open World Element Prototypes</em>}' containment reference list.
172 * <!-- begin-user-doc --> 117 * <!-- begin-user-doc -->
173 * <!-- end-user-doc --> 118 * <!-- end-user-doc -->
174 * @see #getOpenWorldElementPrototypes() 119 * @see #getOpenWorldElements()
175 * @generated 120 * @generated
176 * @ordered 121 * @ordered
177 */ 122 */
178 protected EList<DefinedElement> openWorldElementPrototypes; 123 protected EList<DefinedElement> openWorldElements;
179 124
180 /** 125 /**
181 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. 126 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference.
@@ -188,144 +133,54 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
188 protected LogicProblem problemConainer; 133 protected LogicProblem problemConainer;
189 134
190 /** 135 /**
191 * The cached value of the '{@link #getStringelement() <em>Stringelement</em>}' containment reference list. 136 * The cached value of the '{@link #getScopes() <em>Scopes</em>}' containment reference list.
192 * <!-- begin-user-doc -->
193 * <!-- end-user-doc -->
194 * @see #getStringelement()
195 * @generated
196 * @ordered
197 */
198 protected EList<StringElement> stringelement;
199
200 /**
201 * The cached value of the '{@link #getStringelements() <em>Stringelements</em>}' containment reference list.
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @see #getStringelements()
205 * @generated
206 * @ordered
207 */
208 protected EList<StringElement> stringelements;
209
210 /**
211 * The cached value of the '{@link #getRealelements() <em>Realelements</em>}' containment reference list.
212 * <!-- begin-user-doc -->
213 * <!-- end-user-doc -->
214 * @see #getRealelements()
215 * @generated
216 * @ordered
217 */
218 protected EList<RealElement> realelements;
219
220 /**
221 * The cached value of the '{@link #getIntegerelements() <em>Integerelements</em>}' containment reference list.
222 * <!-- begin-user-doc --> 137 * <!-- begin-user-doc -->
223 * <!-- end-user-doc --> 138 * <!-- end-user-doc -->
224 * @see #getIntegerelements() 139 * @see #getScopes()
225 * @generated 140 * @generated
226 * @ordered 141 * @ordered
227 */ 142 */
228 protected EList<IntegerElement> integerelements; 143 protected EList<Scope> scopes;
229 144
230 /** 145 /**
231 * The cached value of the '{@link #getBooleanelements() <em>Booleanelements</em>}' containment reference list. 146 * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.
232 * <!-- begin-user-doc -->
233 * <!-- end-user-doc -->
234 * @see #getBooleanelements()
235 * @generated
236 * @ordered
237 */
238 protected EList<BooleanElement> booleanelements;
239
240 /**
241 * The default value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.
242 * <!-- begin-user-doc -->
243 * <!-- end-user-doc -->
244 * @see #getMaxNewIntegers()
245 * @generated
246 * @ordered
247 */
248 protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0;
249
250 /**
251 * The cached value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @see #getMaxNewIntegers()
255 * @generated
256 * @ordered
257 */
258 protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT;
259
260 /**
261 * The default value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @see #getMaxNewReals()
265 * @generated
266 * @ordered
267 */
268 protected static final int MAX_NEW_REALS_EDEFAULT = 0;
269
270 /**
271 * The cached value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.
272 * <!-- begin-user-doc -->
273 * <!-- end-user-doc -->
274 * @see #getMaxNewReals()
275 * @generated
276 * @ordered
277 */
278 protected int maxNewReals = MAX_NEW_REALS_EDEFAULT;
279
280 /**
281 * The default value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.
282 * <!-- begin-user-doc -->
283 * <!-- end-user-doc -->
284 * @see #getMaxNewStrings()
285 * @generated
286 * @ordered
287 */
288 protected static final int MAX_NEW_STRINGS_EDEFAULT = 0;
289
290 /**
291 * The cached value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.
292 * <!-- begin-user-doc --> 147 * <!-- begin-user-doc -->
293 * <!-- end-user-doc --> 148 * <!-- end-user-doc -->
294 * @see #getMaxNewStrings() 149 * @see #getMinNewElements()
295 * @generated 150 * @generated
296 * @ordered 151 * @ordered
297 */ 152 */
298 protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; 153 protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
299 154
300 /** 155 /**
301 * The cached value of the '{@link #getNewStrings() <em>New Strings</em>}' containment reference list. 156 * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.
302 * <!-- begin-user-doc --> 157 * <!-- begin-user-doc -->
303 * <!-- end-user-doc --> 158 * <!-- end-user-doc -->
304 * @see #getNewStrings() 159 * @see #getMinNewElements()
305 * @generated 160 * @generated
306 * @ordered 161 * @ordered
307 */ 162 */
308 protected EList<StringElement> newStrings; 163 protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
309 164
310 /** 165 /**
311 * The cached value of the '{@link #getNewReals() <em>New Reals</em>}' containment reference list. 166 * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.
312 * <!-- begin-user-doc --> 167 * <!-- begin-user-doc -->
313 * <!-- end-user-doc --> 168 * <!-- end-user-doc -->
314 * @see #getNewReals() 169 * @see #getMaxNewElements()
315 * @generated 170 * @generated
316 * @ordered 171 * @ordered
317 */ 172 */
318 protected EList<RealElement> newReals; 173 protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;
319 174
320 /** 175 /**
321 * The cached value of the '{@link #getNewIntegers() <em>New Integers</em>}' containment reference list. 176 * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.
322 * <!-- begin-user-doc --> 177 * <!-- begin-user-doc -->
323 * <!-- end-user-doc --> 178 * <!-- end-user-doc -->
324 * @see #getNewIntegers() 179 * @see #getMaxNewElements()
325 * @generated 180 * @generated
326 * @ordered 181 * @ordered
327 */ 182 */
328 protected EList<IntegerElement> newIntegers; 183 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
329 184
330 /** 185 /**
331 * <!-- begin-user-doc --> 186 * <!-- begin-user-doc -->
@@ -449,53 +304,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
449 * <!-- end-user-doc --> 304 * <!-- end-user-doc -->
450 * @generated 305 * @generated
451 */ 306 */
452 public int getMinNewElements() { 307 public EList<DefinedElement> getOpenWorldElements() {
453 return minNewElements; 308 if (openWorldElements == null) {
454 } 309 openWorldElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);
455
456 /**
457 * <!-- begin-user-doc -->
458 * <!-- end-user-doc -->
459 * @generated
460 */
461 public void setMinNewElements(int newMinNewElements) {
462 int oldMinNewElements = minNewElements;
463 minNewElements = newMinNewElements;
464 if (eNotificationRequired())
465 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
466 }
467
468 /**
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @generated
472 */
473 public int getMaxNewElements() {
474 return maxNewElements;
475 }
476
477 /**
478 * <!-- begin-user-doc -->
479 * <!-- end-user-doc -->
480 * @generated
481 */
482 public void setMaxNewElements(int newMaxNewElements) {
483 int oldMaxNewElements = maxNewElements;
484 maxNewElements = newMaxNewElements;
485 if (eNotificationRequired())
486 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
487 }
488
489 /**
490 * <!-- begin-user-doc -->
491 * <!-- end-user-doc -->
492 * @generated
493 */
494 public EList<DefinedElement> getOpenWorldElementPrototypes() {
495 if (openWorldElementPrototypes == null) {
496 openWorldElementPrototypes = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
497 } 310 }
498 return openWorldElementPrototypes; 311 return openWorldElements;
499 } 312 }
500 313
501 /** 314 /**
@@ -546,80 +359,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
546 * <!-- end-user-doc --> 359 * <!-- end-user-doc -->
547 * @generated 360 * @generated
548 */ 361 */
549 public EList<StringElement> getStringelement() { 362 public EList<Scope> getScopes() {
550 if (stringelement == null) { 363 if (scopes == null) {
551 stringelement = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT); 364 scopes = new EObjectContainmentEList<Scope>(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES);
552 }
553 return stringelement;
554 }
555
556 /**
557 * <!-- begin-user-doc -->
558 * <!-- end-user-doc -->
559 * @generated
560 */
561 public EList<StringElement> getStringelements() {
562 if (stringelements == null) {
563 stringelements = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS);
564 }
565 return stringelements;
566 }
567
568 /**
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 */
573 public EList<RealElement> getRealelements() {
574 if (realelements == null) {
575 realelements = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS);
576 }
577 return realelements;
578 }
579
580 /**
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @generated
584 */
585 public EList<IntegerElement> getIntegerelements() {
586 if (integerelements == null) {
587 integerelements = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS);
588 }
589 return integerelements;
590 }
591
592 /**
593 * <!-- begin-user-doc -->
594 * <!-- end-user-doc -->
595 * @generated
596 */
597 public EList<BooleanElement> getBooleanelements() {
598 if (booleanelements == null) {
599 booleanelements = new EObjectContainmentEList<BooleanElement>(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
600 } 365 }
601 return booleanelements; 366 return scopes;
602 }
603
604 /**
605 * <!-- begin-user-doc -->
606 * <!-- end-user-doc -->
607 * @generated
608 */
609 public int getMaxNewIntegers() {
610 return maxNewIntegers;
611 }
612
613 /**
614 * <!-- begin-user-doc -->
615 * <!-- end-user-doc -->
616 * @generated
617 */
618 public void setMaxNewIntegers(int newMaxNewIntegers) {
619 int oldMaxNewIntegers = maxNewIntegers;
620 maxNewIntegers = newMaxNewIntegers;
621 if (eNotificationRequired())
622 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers));
623 } 367 }
624 368
625 /** 369 /**
@@ -627,8 +371,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
627 * <!-- end-user-doc --> 371 * <!-- end-user-doc -->
628 * @generated 372 * @generated
629 */ 373 */
630 public int getMaxNewReals() { 374 public int getMinNewElements() {
631 return maxNewReals; 375 return minNewElements;
632 } 376 }
633 377
634 /** 378 /**
@@ -636,11 +380,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
636 * <!-- end-user-doc --> 380 * <!-- end-user-doc -->
637 * @generated 381 * @generated
638 */ 382 */
639 public void setMaxNewReals(int newMaxNewReals) { 383 public void setMinNewElements(int newMinNewElements) {
640 int oldMaxNewReals = maxNewReals; 384 int oldMinNewElements = minNewElements;
641 maxNewReals = newMaxNewReals; 385 minNewElements = newMinNewElements;
642 if (eNotificationRequired()) 386 if (eNotificationRequired())
643 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals)); 387 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
644 } 388 }
645 389
646 /** 390 /**
@@ -648,8 +392,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
648 * <!-- end-user-doc --> 392 * <!-- end-user-doc -->
649 * @generated 393 * @generated
650 */ 394 */
651 public int getMaxNewStrings() { 395 public int getMaxNewElements() {
652 return maxNewStrings; 396 return maxNewElements;
653 } 397 }
654 398
655 /** 399 /**
@@ -657,47 +401,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
657 * <!-- end-user-doc --> 401 * <!-- end-user-doc -->
658 * @generated 402 * @generated
659 */ 403 */
660 public void setMaxNewStrings(int newMaxNewStrings) { 404 public void setMaxNewElements(int newMaxNewElements) {
661 int oldMaxNewStrings = maxNewStrings; 405 int oldMaxNewElements = maxNewElements;
662 maxNewStrings = newMaxNewStrings; 406 maxNewElements = newMaxNewElements;
663 if (eNotificationRequired()) 407 if (eNotificationRequired())
664 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings)); 408 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
665 }
666
667 /**
668 * <!-- begin-user-doc -->
669 * <!-- end-user-doc -->
670 * @generated
671 */
672 public EList<StringElement> getNewStrings() {
673 if (newStrings == null) {
674 newStrings = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS);
675 }
676 return newStrings;
677 }
678
679 /**
680 * <!-- begin-user-doc -->
681 * <!-- end-user-doc -->
682 * @generated
683 */
684 public EList<RealElement> getNewReals() {
685 if (newReals == null) {
686 newReals = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS);
687 }
688 return newReals;
689 }
690
691 /**
692 * <!-- begin-user-doc -->
693 * <!-- end-user-doc -->
694 * @generated
695 */
696 public EList<IntegerElement> getNewIntegers() {
697 if (newIntegers == null) {
698 newIntegers = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS);
699 }
700 return newIntegers;
701 } 409 }
702 410
703 /** 411 /**
@@ -718,26 +426,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
718 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); 426 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs);
719 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 427 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
720 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); 428 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);
721 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: 429 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
722 return ((InternalEList<?>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs); 430 return ((InternalEList<?>)getOpenWorldElements()).basicRemove(otherEnd, msgs);
723 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 431 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
724 return basicSetProblemConainer(null, msgs); 432 return basicSetProblemConainer(null, msgs);
725 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: 433 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
726 return ((InternalEList<?>)getStringelement()).basicRemove(otherEnd, msgs); 434 return ((InternalEList<?>)getScopes()).basicRemove(otherEnd, msgs);
727 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
728 return ((InternalEList<?>)getStringelements()).basicRemove(otherEnd, msgs);
729 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
730 return ((InternalEList<?>)getRealelements()).basicRemove(otherEnd, msgs);
731 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
732 return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs);
733 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
734 return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs);
735 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
736 return ((InternalEList<?>)getNewStrings()).basicRemove(otherEnd, msgs);
737 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
738 return ((InternalEList<?>)getNewReals()).basicRemove(otherEnd, msgs);
739 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
740 return ((InternalEList<?>)getNewIntegers()).basicRemove(otherEnd, msgs);
741 } 435 }
742 return super.eInverseRemove(otherEnd, featureID, msgs); 436 return super.eInverseRemove(otherEnd, featureID, msgs);
743 } 437 }
@@ -763,36 +457,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
763 return getNewElements(); 457 return getNewElements();
764 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 458 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
765 return getPartialtypeinterpratation(); 459 return getPartialtypeinterpratation();
460 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
461 return getOpenWorldElements();
462 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
463 return getProblemConainer();
464 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
465 return getScopes();
766 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: 466 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
767 return getMinNewElements(); 467 return getMinNewElements();
768 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 468 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
769 return getMaxNewElements(); 469 return getMaxNewElements();
770 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
771 return getOpenWorldElementPrototypes();
772 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
773 return getProblemConainer();
774 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
775 return getStringelement();
776 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
777 return getStringelements();
778 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
779 return getRealelements();
780 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
781 return getIntegerelements();
782 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
783 return getBooleanelements();
784 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
785 return getMaxNewIntegers();
786 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
787 return getMaxNewReals();
788 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
789 return getMaxNewStrings();
790 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
791 return getNewStrings();
792 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
793 return getNewReals();
794 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
795 return getNewIntegers();
796 } 470 }
797 return super.eGet(featureID, resolve, coreType); 471 return super.eGet(featureID, resolve, coreType);
798 } 472 }
@@ -829,59 +503,22 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
829 getPartialtypeinterpratation().clear(); 503 getPartialtypeinterpratation().clear();
830 getPartialtypeinterpratation().addAll((Collection<? extends PartialTypeInterpratation>)newValue); 504 getPartialtypeinterpratation().addAll((Collection<? extends PartialTypeInterpratation>)newValue);
831 return; 505 return;
832 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: 506 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
833 setMinNewElements((Integer)newValue); 507 getOpenWorldElements().clear();
834 return; 508 getOpenWorldElements().addAll((Collection<? extends DefinedElement>)newValue);
835 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
836 setMaxNewElements((Integer)newValue);
837 return;
838 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
839 getOpenWorldElementPrototypes().clear();
840 getOpenWorldElementPrototypes().addAll((Collection<? extends DefinedElement>)newValue);
841 return; 509 return;
842 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 510 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
843 setProblemConainer((LogicProblem)newValue); 511 setProblemConainer((LogicProblem)newValue);
844 return; 512 return;
845 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: 513 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
846 getStringelement().clear(); 514 getScopes().clear();
847 getStringelement().addAll((Collection<? extends StringElement>)newValue); 515 getScopes().addAll((Collection<? extends Scope>)newValue);
848 return;
849 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
850 getStringelements().clear();
851 getStringelements().addAll((Collection<? extends StringElement>)newValue);
852 return;
853 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
854 getRealelements().clear();
855 getRealelements().addAll((Collection<? extends RealElement>)newValue);
856 return;
857 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
858 getIntegerelements().clear();
859 getIntegerelements().addAll((Collection<? extends IntegerElement>)newValue);
860 return;
861 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
862 getBooleanelements().clear();
863 getBooleanelements().addAll((Collection<? extends BooleanElement>)newValue);
864 return;
865 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
866 setMaxNewIntegers((Integer)newValue);
867 return;
868 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
869 setMaxNewReals((Integer)newValue);
870 return;
871 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
872 setMaxNewStrings((Integer)newValue);
873 return;
874 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
875 getNewStrings().clear();
876 getNewStrings().addAll((Collection<? extends StringElement>)newValue);
877 return; 516 return;
878 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: 517 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
879 getNewReals().clear(); 518 setMinNewElements((Integer)newValue);
880 getNewReals().addAll((Collection<? extends RealElement>)newValue);
881 return; 519 return;
882 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: 520 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
883 getNewIntegers().clear(); 521 setMaxNewElements((Integer)newValue);
884 getNewIntegers().addAll((Collection<? extends IntegerElement>)newValue);
885 return; 522 return;
886 } 523 }
887 super.eSet(featureID, newValue); 524 super.eSet(featureID, newValue);
@@ -913,50 +550,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
913 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 550 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
914 getPartialtypeinterpratation().clear(); 551 getPartialtypeinterpratation().clear();
915 return; 552 return;
916 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: 553 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
917 setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); 554 getOpenWorldElements().clear();
918 return;
919 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
920 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
921 return;
922 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
923 getOpenWorldElementPrototypes().clear();
924 return; 555 return;
925 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 556 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
926 setProblemConainer((LogicProblem)null); 557 setProblemConainer((LogicProblem)null);
927 return; 558 return;
928 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: 559 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
929 getStringelement().clear(); 560 getScopes().clear();
930 return;
931 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
932 getStringelements().clear();
933 return;
934 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
935 getRealelements().clear();
936 return;
937 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
938 getIntegerelements().clear();
939 return;
940 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
941 getBooleanelements().clear();
942 return;
943 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
944 setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT);
945 return;
946 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
947 setMaxNewReals(MAX_NEW_REALS_EDEFAULT);
948 return;
949 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
950 setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT);
951 return;
952 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
953 getNewStrings().clear();
954 return; 561 return;
955 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: 562 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
956 getNewReals().clear(); 563 setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
957 return; 564 return;
958 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: 565 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
959 getNewIntegers().clear(); 566 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
960 return; 567 return;
961 } 568 }
962 super.eUnset(featureID); 569 super.eUnset(featureID);
@@ -982,36 +589,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
982 return newElements != null && !newElements.isEmpty(); 589 return newElements != null && !newElements.isEmpty();
983 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 590 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
984 return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty(); 591 return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty();
592 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
593 return openWorldElements != null && !openWorldElements.isEmpty();
594 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
595 return problemConainer != null;
596 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
597 return scopes != null && !scopes.isEmpty();
985 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: 598 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
986 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; 599 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
987 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 600 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
988 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; 601 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
989 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
990 return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty();
991 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
992 return problemConainer != null;
993 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
994 return stringelement != null && !stringelement.isEmpty();
995 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
996 return stringelements != null && !stringelements.isEmpty();
997 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
998 return realelements != null && !realelements.isEmpty();
999 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
1000 return integerelements != null && !integerelements.isEmpty();
1001 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
1002 return booleanelements != null && !booleanelements.isEmpty();
1003 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
1004 return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT;
1005 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
1006 return maxNewReals != MAX_NEW_REALS_EDEFAULT;
1007 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
1008 return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT;
1009 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
1010 return newStrings != null && !newStrings.isEmpty();
1011 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
1012 return newReals != null && !newReals.isEmpty();
1013 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
1014 return newIntegers != null && !newIntegers.isEmpty();
1015 } 602 }
1016 return super.eIsSet(featureID); 603 return super.eIsSet(featureID);
1017 } 604 }
@@ -1030,12 +617,6 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
1030 result.append(minNewElements); 617 result.append(minNewElements);
1031 result.append(", maxNewElements: "); 618 result.append(", maxNewElements: ");
1032 result.append(maxNewElements); 619 result.append(maxNewElements);
1033 result.append(", maxNewIntegers: ");
1034 result.append(maxNewIntegers);
1035 result.append(", maxNewReals: ");
1036 result.append(maxNewReals);
1037 result.append(", maxNewStrings: ");
1038 result.append(maxNewStrings);
1039 result.append(')'); 620 result.append(')');
1040 return result.toString(); 621 return result.toString();
1041 } 622 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:26:35 +0000