diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-13 11:15:12 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-13 11:15:12 +0200 |
commit | 9e39671e47b12ef63178715b19d2ab23a9acdc11 (patch) | |
tree | eb941857c11e1156d006e1fb6b885d164fed5f3d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java | |
parent | Cleared up visualisation thread (diff) | |
download | VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.tar.gz VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.tar.zst VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.zip |
Updated partial model representation
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, 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 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; |
6 | 6 | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; | ||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; | 8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; |
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; | 9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; |
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | 10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; |
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; | 11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; |
15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
17 | 14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; | |
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | ||
19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; | ||
20 | import java.util.Collection; | 15 | import java.util.Collection; |
21 | 16 | ||
22 | import org.eclipse.emf.common.notify.Notification; | 17 | import 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 | } |