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')
3 files changed, 664 insertions, 51 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java index 09690c79..4b7061ce 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java | |||
@@ -6,6 +6,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | |||
6 | 6 | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
8 | 8 | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; | 11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; |
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; |
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; |
@@ -13,6 +15,8 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par | |||
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
15 | 17 | ||
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | ||
19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; | ||
16 | import java.util.Collection; | 20 | import java.util.Collection; |
17 | 21 | ||
18 | import org.eclipse.emf.common.notify.Notification; | 22 | import org.eclipse.emf.common.notify.Notification; |
@@ -45,8 +49,16 @@ import org.eclipse.emf.ecore.util.InternalEList; | |||
45 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> | 49 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> |
46 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> | 50 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> |
47 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> | 51 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> |
48 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li> | 52 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li> |
49 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li> | 53 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li> |
54 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement <em>Stringelement</em>}</li> | ||
55 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements <em>Stringelements</em>}</li> | ||
56 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements <em>Realelements</em>}</li> | ||
57 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements <em>Integerelements</em>}</li> | ||
58 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements <em>Booleanelements</em>}</li> | ||
59 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li> | ||
60 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li> | ||
61 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li> | ||
50 | * </ul> | 62 | * </ul> |
51 | * | 63 | * |
52 | * @generated | 64 | * @generated |
@@ -153,14 +165,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
153 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; | 165 | protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; |
154 | 166 | ||
155 | /** | 167 | /** |
156 | * The cached value of the '{@link #getOpenWorldElementPrototype() <em>Open World Element Prototype</em>}' containment reference. | 168 | * The cached value of the '{@link #getOpenWorldElementPrototypes() <em>Open World Element Prototypes</em>}' containment reference list. |
157 | * <!-- begin-user-doc --> | 169 | * <!-- begin-user-doc --> |
158 | * <!-- end-user-doc --> | 170 | * <!-- end-user-doc --> |
159 | * @see #getOpenWorldElementPrototype() | 171 | * @see #getOpenWorldElementPrototypes() |
160 | * @generated | 172 | * @generated |
161 | * @ordered | 173 | * @ordered |
162 | */ | 174 | */ |
163 | protected DefinedElement openWorldElementPrototype; | 175 | protected EList<DefinedElement> openWorldElementPrototypes; |
164 | 176 | ||
165 | /** | 177 | /** |
166 | * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. | 178 | * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. |
@@ -173,6 +185,116 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
173 | protected LogicProblem problemConainer; | 185 | protected LogicProblem problemConainer; |
174 | 186 | ||
175 | /** | 187 | /** |
188 | * The cached value of the '{@link #getStringelement() <em>Stringelement</em>}' containment reference list. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @see #getStringelement() | ||
192 | * @generated | ||
193 | * @ordered | ||
194 | */ | ||
195 | protected EList<StringElement> stringelement; | ||
196 | |||
197 | /** | ||
198 | * The cached value of the '{@link #getStringelements() <em>Stringelements</em>}' containment reference list. | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @see #getStringelements() | ||
202 | * @generated | ||
203 | * @ordered | ||
204 | */ | ||
205 | protected EList<StringElement> stringelements; | ||
206 | |||
207 | /** | ||
208 | * The cached value of the '{@link #getRealelements() <em>Realelements</em>}' containment reference list. | ||
209 | * <!-- begin-user-doc --> | ||
210 | * <!-- end-user-doc --> | ||
211 | * @see #getRealelements() | ||
212 | * @generated | ||
213 | * @ordered | ||
214 | */ | ||
215 | protected EList<RealElement> realelements; | ||
216 | |||
217 | /** | ||
218 | * The cached value of the '{@link #getIntegerelements() <em>Integerelements</em>}' containment reference list. | ||
219 | * <!-- begin-user-doc --> | ||
220 | * <!-- end-user-doc --> | ||
221 | * @see #getIntegerelements() | ||
222 | * @generated | ||
223 | * @ordered | ||
224 | */ | ||
225 | protected EList<IntegerElement> integerelements; | ||
226 | |||
227 | /** | ||
228 | * The cached value of the '{@link #getBooleanelements() <em>Booleanelements</em>}' containment reference list. | ||
229 | * <!-- begin-user-doc --> | ||
230 | * <!-- end-user-doc --> | ||
231 | * @see #getBooleanelements() | ||
232 | * @generated | ||
233 | * @ordered | ||
234 | */ | ||
235 | protected EList<BooleanElement> booleanelements; | ||
236 | |||
237 | /** | ||
238 | * The default value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute. | ||
239 | * <!-- begin-user-doc --> | ||
240 | * <!-- end-user-doc --> | ||
241 | * @see #getMaxNewIntegers() | ||
242 | * @generated | ||
243 | * @ordered | ||
244 | */ | ||
245 | protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0; | ||
246 | |||
247 | /** | ||
248 | * The cached value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute. | ||
249 | * <!-- begin-user-doc --> | ||
250 | * <!-- end-user-doc --> | ||
251 | * @see #getMaxNewIntegers() | ||
252 | * @generated | ||
253 | * @ordered | ||
254 | */ | ||
255 | protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT; | ||
256 | |||
257 | /** | ||
258 | * The default value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute. | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @see #getMaxNewReals() | ||
262 | * @generated | ||
263 | * @ordered | ||
264 | */ | ||
265 | protected static final int MAX_NEW_REALS_EDEFAULT = 0; | ||
266 | |||
267 | /** | ||
268 | * The cached value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute. | ||
269 | * <!-- begin-user-doc --> | ||
270 | * <!-- end-user-doc --> | ||
271 | * @see #getMaxNewReals() | ||
272 | * @generated | ||
273 | * @ordered | ||
274 | */ | ||
275 | protected int maxNewReals = MAX_NEW_REALS_EDEFAULT; | ||
276 | |||
277 | /** | ||
278 | * The default value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute. | ||
279 | * <!-- begin-user-doc --> | ||
280 | * <!-- end-user-doc --> | ||
281 | * @see #getMaxNewStrings() | ||
282 | * @generated | ||
283 | * @ordered | ||
284 | */ | ||
285 | protected static final int MAX_NEW_STRINGS_EDEFAULT = 0; | ||
286 | |||
287 | /** | ||
288 | * The cached value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute. | ||
289 | * <!-- begin-user-doc --> | ||
290 | * <!-- end-user-doc --> | ||
291 | * @see #getMaxNewStrings() | ||
292 | * @generated | ||
293 | * @ordered | ||
294 | */ | ||
295 | protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; | ||
296 | |||
297 | /** | ||
176 | * <!-- begin-user-doc --> | 298 | * <!-- begin-user-doc --> |
177 | * <!-- end-user-doc --> | 299 | * <!-- end-user-doc --> |
178 | * @generated | 300 | * @generated |
@@ -336,8 +458,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
336 | * <!-- end-user-doc --> | 458 | * <!-- end-user-doc --> |
337 | * @generated | 459 | * @generated |
338 | */ | 460 | */ |
339 | public DefinedElement getOpenWorldElementPrototype() { | 461 | public EList<DefinedElement> getOpenWorldElementPrototypes() { |
340 | return openWorldElementPrototype; | 462 | if (openWorldElementPrototypes == null) { |
463 | openWorldElementPrototypes = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); | ||
464 | } | ||
465 | return openWorldElementPrototypes; | ||
466 | } | ||
467 | |||
468 | /** | ||
469 | * <!-- begin-user-doc --> | ||
470 | * <!-- end-user-doc --> | ||
471 | * @generated | ||
472 | */ | ||
473 | public LogicProblem getProblemConainer() { | ||
474 | return problemConainer; | ||
341 | } | 475 | } |
342 | 476 | ||
343 | /** | 477 | /** |
@@ -345,11 +479,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
345 | * <!-- end-user-doc --> | 479 | * <!-- end-user-doc --> |
346 | * @generated | 480 | * @generated |
347 | */ | 481 | */ |
348 | public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) { | 482 | public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { |
349 | DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype; | 483 | LogicProblem oldProblemConainer = problemConainer; |
350 | openWorldElementPrototype = newOpenWorldElementPrototype; | 484 | problemConainer = newProblemConainer; |
351 | if (eNotificationRequired()) { | 485 | if (eNotificationRequired()) { |
352 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype); | 486 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer); |
353 | if (msgs == null) msgs = notification; else msgs.add(notification); | 487 | if (msgs == null) msgs = notification; else msgs.add(notification); |
354 | } | 488 | } |
355 | return msgs; | 489 | return msgs; |
@@ -360,18 +494,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
360 | * <!-- end-user-doc --> | 494 | * <!-- end-user-doc --> |
361 | * @generated | 495 | * @generated |
362 | */ | 496 | */ |
363 | public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) { | 497 | public void setProblemConainer(LogicProblem newProblemConainer) { |
364 | if (newOpenWorldElementPrototype != openWorldElementPrototype) { | 498 | if (newProblemConainer != problemConainer) { |
365 | NotificationChain msgs = null; | 499 | NotificationChain msgs = null; |
366 | if (openWorldElementPrototype != null) | 500 | if (problemConainer != null) |
367 | msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); | 501 | msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); |
368 | if (newOpenWorldElementPrototype != null) | 502 | if (newProblemConainer != null) |
369 | msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); | 503 | msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); |
370 | msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs); | 504 | msgs = basicSetProblemConainer(newProblemConainer, msgs); |
371 | if (msgs != null) msgs.dispatch(); | 505 | if (msgs != null) msgs.dispatch(); |
372 | } | 506 | } |
373 | else if (eNotificationRequired()) | 507 | else if (eNotificationRequired()) |
374 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype)); | 508 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); |
375 | } | 509 | } |
376 | 510 | ||
377 | /** | 511 | /** |
@@ -379,8 +513,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
379 | * <!-- end-user-doc --> | 513 | * <!-- end-user-doc --> |
380 | * @generated | 514 | * @generated |
381 | */ | 515 | */ |
382 | public LogicProblem getProblemConainer() { | 516 | public EList<StringElement> getStringelement() { |
383 | return problemConainer; | 517 | if (stringelement == null) { |
518 | stringelement = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT); | ||
519 | } | ||
520 | return stringelement; | ||
384 | } | 521 | } |
385 | 522 | ||
386 | /** | 523 | /** |
@@ -388,14 +525,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
388 | * <!-- end-user-doc --> | 525 | * <!-- end-user-doc --> |
389 | * @generated | 526 | * @generated |
390 | */ | 527 | */ |
391 | public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { | 528 | public EList<StringElement> getStringelements() { |
392 | LogicProblem oldProblemConainer = problemConainer; | 529 | if (stringelements == null) { |
393 | problemConainer = newProblemConainer; | 530 | stringelements = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS); |
394 | if (eNotificationRequired()) { | ||
395 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer); | ||
396 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
397 | } | 531 | } |
398 | return msgs; | 532 | return stringelements; |
399 | } | 533 | } |
400 | 534 | ||
401 | /** | 535 | /** |
@@ -403,18 +537,98 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
403 | * <!-- end-user-doc --> | 537 | * <!-- end-user-doc --> |
404 | * @generated | 538 | * @generated |
405 | */ | 539 | */ |
406 | public void setProblemConainer(LogicProblem newProblemConainer) { | 540 | public EList<RealElement> getRealelements() { |
407 | if (newProblemConainer != problemConainer) { | 541 | if (realelements == null) { |
408 | NotificationChain msgs = null; | 542 | realelements = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS); |
409 | if (problemConainer != null) | ||
410 | msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); | ||
411 | if (newProblemConainer != null) | ||
412 | msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); | ||
413 | msgs = basicSetProblemConainer(newProblemConainer, msgs); | ||
414 | if (msgs != null) msgs.dispatch(); | ||
415 | } | 543 | } |
416 | else if (eNotificationRequired()) | 544 | return realelements; |
417 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); | 545 | } |
546 | |||
547 | /** | ||
548 | * <!-- begin-user-doc --> | ||
549 | * <!-- end-user-doc --> | ||
550 | * @generated | ||
551 | */ | ||
552 | public EList<IntegerElement> getIntegerelements() { | ||
553 | if (integerelements == null) { | ||
554 | integerelements = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS); | ||
555 | } | ||
556 | return integerelements; | ||
557 | } | ||
558 | |||
559 | /** | ||
560 | * <!-- begin-user-doc --> | ||
561 | * <!-- end-user-doc --> | ||
562 | * @generated | ||
563 | */ | ||
564 | public EList<BooleanElement> getBooleanelements() { | ||
565 | if (booleanelements == null) { | ||
566 | booleanelements = new EObjectContainmentEList<BooleanElement>(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS); | ||
567 | } | ||
568 | return booleanelements; | ||
569 | } | ||
570 | |||
571 | /** | ||
572 | * <!-- begin-user-doc --> | ||
573 | * <!-- end-user-doc --> | ||
574 | * @generated | ||
575 | */ | ||
576 | public int getMaxNewIntegers() { | ||
577 | return maxNewIntegers; | ||
578 | } | ||
579 | |||
580 | /** | ||
581 | * <!-- begin-user-doc --> | ||
582 | * <!-- end-user-doc --> | ||
583 | * @generated | ||
584 | */ | ||
585 | public void setMaxNewIntegers(int newMaxNewIntegers) { | ||
586 | int oldMaxNewIntegers = maxNewIntegers; | ||
587 | maxNewIntegers = newMaxNewIntegers; | ||
588 | if (eNotificationRequired()) | ||
589 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers)); | ||
590 | } | ||
591 | |||
592 | /** | ||
593 | * <!-- begin-user-doc --> | ||
594 | * <!-- end-user-doc --> | ||
595 | * @generated | ||
596 | */ | ||
597 | public int getMaxNewReals() { | ||
598 | return maxNewReals; | ||
599 | } | ||
600 | |||
601 | /** | ||
602 | * <!-- begin-user-doc --> | ||
603 | * <!-- end-user-doc --> | ||
604 | * @generated | ||
605 | */ | ||
606 | public void setMaxNewReals(int newMaxNewReals) { | ||
607 | int oldMaxNewReals = maxNewReals; | ||
608 | maxNewReals = newMaxNewReals; | ||
609 | if (eNotificationRequired()) | ||
610 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals)); | ||
611 | } | ||
612 | |||
613 | /** | ||
614 | * <!-- begin-user-doc --> | ||
615 | * <!-- end-user-doc --> | ||
616 | * @generated | ||
617 | */ | ||
618 | public int getMaxNewStrings() { | ||
619 | return maxNewStrings; | ||
620 | } | ||
621 | |||
622 | /** | ||
623 | * <!-- begin-user-doc --> | ||
624 | * <!-- end-user-doc --> | ||
625 | * @generated | ||
626 | */ | ||
627 | public void setMaxNewStrings(int newMaxNewStrings) { | ||
628 | int oldMaxNewStrings = maxNewStrings; | ||
629 | maxNewStrings = newMaxNewStrings; | ||
630 | if (eNotificationRequired()) | ||
631 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings)); | ||
418 | } | 632 | } |
419 | 633 | ||
420 | /** | 634 | /** |
@@ -435,10 +649,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
435 | return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); | 649 | return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); |
436 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: | 650 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: |
437 | return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); | 651 | return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); |
438 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: | 652 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: |
439 | return basicSetOpenWorldElementPrototype(null, msgs); | 653 | return ((InternalEList<?>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs); |
440 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 654 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
441 | return basicSetProblemConainer(null, msgs); | 655 | return basicSetProblemConainer(null, msgs); |
656 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
657 | return ((InternalEList<?>)getStringelement()).basicRemove(otherEnd, msgs); | ||
658 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
659 | return ((InternalEList<?>)getStringelements()).basicRemove(otherEnd, msgs); | ||
660 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
661 | return ((InternalEList<?>)getRealelements()).basicRemove(otherEnd, msgs); | ||
662 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
663 | return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs); | ||
664 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
665 | return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs); | ||
442 | } | 666 | } |
443 | return super.eInverseRemove(otherEnd, featureID, msgs); | 667 | return super.eInverseRemove(otherEnd, featureID, msgs); |
444 | } | 668 | } |
@@ -468,10 +692,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
468 | return getMinNewElements(); | 692 | return getMinNewElements(); |
469 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 693 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
470 | return getMaxNewElements(); | 694 | return getMaxNewElements(); |
471 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: | 695 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: |
472 | return getOpenWorldElementPrototype(); | 696 | return getOpenWorldElementPrototypes(); |
473 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 697 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
474 | return getProblemConainer(); | 698 | return getProblemConainer(); |
699 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
700 | return getStringelement(); | ||
701 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
702 | return getStringelements(); | ||
703 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
704 | return getRealelements(); | ||
705 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
706 | return getIntegerelements(); | ||
707 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
708 | return getBooleanelements(); | ||
709 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
710 | return getMaxNewIntegers(); | ||
711 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
712 | return getMaxNewReals(); | ||
713 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
714 | return getMaxNewStrings(); | ||
475 | } | 715 | } |
476 | return super.eGet(featureID, resolve, coreType); | 716 | return super.eGet(featureID, resolve, coreType); |
477 | } | 717 | } |
@@ -514,12 +754,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
514 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 754 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
515 | setMaxNewElements((Integer)newValue); | 755 | setMaxNewElements((Integer)newValue); |
516 | return; | 756 | return; |
517 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: | 757 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: |
518 | setOpenWorldElementPrototype((DefinedElement)newValue); | 758 | getOpenWorldElementPrototypes().clear(); |
759 | getOpenWorldElementPrototypes().addAll((Collection<? extends DefinedElement>)newValue); | ||
519 | return; | 760 | return; |
520 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 761 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
521 | setProblemConainer((LogicProblem)newValue); | 762 | setProblemConainer((LogicProblem)newValue); |
522 | return; | 763 | return; |
764 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
765 | getStringelement().clear(); | ||
766 | getStringelement().addAll((Collection<? extends StringElement>)newValue); | ||
767 | return; | ||
768 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
769 | getStringelements().clear(); | ||
770 | getStringelements().addAll((Collection<? extends StringElement>)newValue); | ||
771 | return; | ||
772 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
773 | getRealelements().clear(); | ||
774 | getRealelements().addAll((Collection<? extends RealElement>)newValue); | ||
775 | return; | ||
776 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
777 | getIntegerelements().clear(); | ||
778 | getIntegerelements().addAll((Collection<? extends IntegerElement>)newValue); | ||
779 | return; | ||
780 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
781 | getBooleanelements().clear(); | ||
782 | getBooleanelements().addAll((Collection<? extends BooleanElement>)newValue); | ||
783 | return; | ||
784 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
785 | setMaxNewIntegers((Integer)newValue); | ||
786 | return; | ||
787 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
788 | setMaxNewReals((Integer)newValue); | ||
789 | return; | ||
790 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
791 | setMaxNewStrings((Integer)newValue); | ||
792 | return; | ||
523 | } | 793 | } |
524 | super.eSet(featureID, newValue); | 794 | super.eSet(featureID, newValue); |
525 | } | 795 | } |
@@ -556,12 +826,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
556 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 826 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
557 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); | 827 | setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); |
558 | return; | 828 | return; |
559 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: | 829 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: |
560 | setOpenWorldElementPrototype((DefinedElement)null); | 830 | getOpenWorldElementPrototypes().clear(); |
561 | return; | 831 | return; |
562 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 832 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
563 | setProblemConainer((LogicProblem)null); | 833 | setProblemConainer((LogicProblem)null); |
564 | return; | 834 | return; |
835 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
836 | getStringelement().clear(); | ||
837 | return; | ||
838 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
839 | getStringelements().clear(); | ||
840 | return; | ||
841 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
842 | getRealelements().clear(); | ||
843 | return; | ||
844 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
845 | getIntegerelements().clear(); | ||
846 | return; | ||
847 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
848 | getBooleanelements().clear(); | ||
849 | return; | ||
850 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
851 | setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT); | ||
852 | return; | ||
853 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
854 | setMaxNewReals(MAX_NEW_REALS_EDEFAULT); | ||
855 | return; | ||
856 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
857 | setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); | ||
858 | return; | ||
565 | } | 859 | } |
566 | super.eUnset(featureID); | 860 | super.eUnset(featureID); |
567 | } | 861 | } |
@@ -590,10 +884,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
590 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; | 884 | return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; |
591 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: | 885 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: |
592 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; | 886 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; |
593 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: | 887 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: |
594 | return openWorldElementPrototype != null; | 888 | return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty(); |
595 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: | 889 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: |
596 | return problemConainer != null; | 890 | return problemConainer != null; |
891 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: | ||
892 | return stringelement != null && !stringelement.isEmpty(); | ||
893 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: | ||
894 | return stringelements != null && !stringelements.isEmpty(); | ||
895 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: | ||
896 | return realelements != null && !realelements.isEmpty(); | ||
897 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: | ||
898 | return integerelements != null && !integerelements.isEmpty(); | ||
899 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | ||
900 | return booleanelements != null && !booleanelements.isEmpty(); | ||
901 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: | ||
902 | return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT; | ||
903 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: | ||
904 | return maxNewReals != MAX_NEW_REALS_EDEFAULT; | ||
905 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | ||
906 | return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; | ||
597 | } | 907 | } |
598 | return super.eIsSet(featureID); | 908 | return super.eIsSet(featureID); |
599 | } | 909 | } |
@@ -612,6 +922,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
612 | result.append(minNewElements); | 922 | result.append(minNewElements); |
613 | result.append(", maxNewElements: "); | 923 | result.append(", maxNewElements: "); |
614 | result.append(maxNewElements); | 924 | result.append(maxNewElements); |
925 | result.append(", maxNewIntegers: "); | ||
926 | result.append(maxNewIntegers); | ||
927 | result.append(", maxNewReals: "); | ||
928 | result.append(maxNewReals); | ||
929 | result.append(", maxNewStrings: "); | ||
930 | result.append(maxNewStrings); | ||
615 | result.append(')'); | 931 | result.append(')'); |
616 | return result.toString(); | 932 | return result.toString(); |
617 | } | 933 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java index 99ab7830..ebd70a97 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java | |||
@@ -65,6 +65,10 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa | |||
65 | case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); | 65 | case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); |
66 | case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); | 66 | case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); |
67 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: return createNaryRelationLinkElement(); | 67 | case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: return createNaryRelationLinkElement(); |
68 | case PartialinterpretationPackage.BOOLEAN_ELEMENT: return createBooleanElement(); | ||
69 | case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement(); | ||
70 | case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement(); | ||
71 | case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement(); | ||
68 | default: | 72 | default: |
69 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 73 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
70 | } | 74 | } |
@@ -165,6 +169,46 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa | |||
165 | * <!-- end-user-doc --> | 169 | * <!-- end-user-doc --> |
166 | * @generated | 170 | * @generated |
167 | */ | 171 | */ |
172 | public BooleanElement createBooleanElement() { | ||
173 | BooleanElementImpl booleanElement = new BooleanElementImpl(); | ||
174 | return booleanElement; | ||
175 | } | ||
176 | |||
177 | /** | ||
178 | * <!-- begin-user-doc --> | ||
179 | * <!-- end-user-doc --> | ||
180 | * @generated | ||
181 | */ | ||
182 | public IntegerElement createIntegerElement() { | ||
183 | IntegerElementImpl integerElement = new IntegerElementImpl(); | ||
184 | return integerElement; | ||
185 | } | ||
186 | |||
187 | /** | ||
188 | * <!-- begin-user-doc --> | ||
189 | * <!-- end-user-doc --> | ||
190 | * @generated | ||
191 | */ | ||
192 | public RealElement createRealElement() { | ||
193 | RealElementImpl realElement = new RealElementImpl(); | ||
194 | return realElement; | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | public StringElement createStringElement() { | ||
203 | StringElementImpl stringElement = new StringElementImpl(); | ||
204 | return stringElement; | ||
205 | } | ||
206 | |||
207 | /** | ||
208 | * <!-- begin-user-doc --> | ||
209 | * <!-- end-user-doc --> | ||
210 | * @generated | ||
211 | */ | ||
168 | public PartialinterpretationPackage getPartialinterpretationPackage() { | 212 | public PartialinterpretationPackage getPartialinterpretationPackage() { |
169 | return (PartialinterpretationPackage)getEPackage(); | 213 | return (PartialinterpretationPackage)getEPackage(); |
170 | } | 214 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java index 65d73721..9493cc9a 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java | |||
@@ -7,6 +7,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; |
8 | 8 | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink; | 9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink; |
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement; | ||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; |
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; |
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; | 14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; |
@@ -16,7 +18,10 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par | |||
16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; | 18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; |
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; | 19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; |
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | 20 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; |
21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; | ||
22 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | ||
19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; | 23 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; |
24 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; | ||
20 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; | 25 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; |
21 | 26 | ||
22 | import org.eclipse.emf.ecore.EAttribute; | 27 | import org.eclipse.emf.ecore.EAttribute; |
@@ -104,6 +109,41 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
104 | private EClass naryRelationLinkElementEClass = null; | 109 | private EClass naryRelationLinkElementEClass = null; |
105 | 110 | ||
106 | /** | 111 | /** |
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | private EClass primitiveElementEClass = null; | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | private EClass booleanElementEClass = null; | ||
124 | |||
125 | /** | ||
126 | * <!-- begin-user-doc --> | ||
127 | * <!-- end-user-doc --> | ||
128 | * @generated | ||
129 | */ | ||
130 | private EClass integerElementEClass = null; | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | private EClass realElementEClass = null; | ||
138 | |||
139 | /** | ||
140 | * <!-- begin-user-doc --> | ||
141 | * <!-- end-user-doc --> | ||
142 | * @generated | ||
143 | */ | ||
144 | private EClass stringElementEClass = null; | ||
145 | |||
146 | /** | ||
107 | * Creates an instance of the model <b>Package</b>, registered with | 147 | * Creates an instance of the model <b>Package</b>, registered with |
108 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 148 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
109 | * package URI value. | 149 | * package URI value. |
@@ -254,7 +294,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
254 | * <!-- end-user-doc --> | 294 | * <!-- end-user-doc --> |
255 | * @generated | 295 | * @generated |
256 | */ | 296 | */ |
257 | public EReference getPartialInterpretation_OpenWorldElementPrototype() { | 297 | public EReference getPartialInterpretation_OpenWorldElementPrototypes() { |
258 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); | 298 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); |
259 | } | 299 | } |
260 | 300 | ||
@@ -272,6 +312,78 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
272 | * <!-- end-user-doc --> | 312 | * <!-- end-user-doc --> |
273 | * @generated | 313 | * @generated |
274 | */ | 314 | */ |
315 | public EReference getPartialInterpretation_Stringelement() { | ||
316 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10); | ||
317 | } | ||
318 | |||
319 | /** | ||
320 | * <!-- begin-user-doc --> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @generated | ||
323 | */ | ||
324 | public EReference getPartialInterpretation_Stringelements() { | ||
325 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11); | ||
326 | } | ||
327 | |||
328 | /** | ||
329 | * <!-- begin-user-doc --> | ||
330 | * <!-- end-user-doc --> | ||
331 | * @generated | ||
332 | */ | ||
333 | public EReference getPartialInterpretation_Realelements() { | ||
334 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12); | ||
335 | } | ||
336 | |||
337 | /** | ||
338 | * <!-- begin-user-doc --> | ||
339 | * <!-- end-user-doc --> | ||
340 | * @generated | ||
341 | */ | ||
342 | public EReference getPartialInterpretation_Integerelements() { | ||
343 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13); | ||
344 | } | ||
345 | |||
346 | /** | ||
347 | * <!-- begin-user-doc --> | ||
348 | * <!-- end-user-doc --> | ||
349 | * @generated | ||
350 | */ | ||
351 | public EReference getPartialInterpretation_Booleanelements() { | ||
352 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14); | ||
353 | } | ||
354 | |||
355 | /** | ||
356 | * <!-- begin-user-doc --> | ||
357 | * <!-- end-user-doc --> | ||
358 | * @generated | ||
359 | */ | ||
360 | public EAttribute getPartialInterpretation_MaxNewIntegers() { | ||
361 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15); | ||
362 | } | ||
363 | |||
364 | /** | ||
365 | * <!-- begin-user-doc --> | ||
366 | * <!-- end-user-doc --> | ||
367 | * @generated | ||
368 | */ | ||
369 | public EAttribute getPartialInterpretation_MaxNewReals() { | ||
370 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16); | ||
371 | } | ||
372 | |||
373 | /** | ||
374 | * <!-- begin-user-doc --> | ||
375 | * <!-- end-user-doc --> | ||
376 | * @generated | ||
377 | */ | ||
378 | public EAttribute getPartialInterpretation_MaxNewStrings() { | ||
379 | return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17); | ||
380 | } | ||
381 | |||
382 | /** | ||
383 | * <!-- begin-user-doc --> | ||
384 | * <!-- end-user-doc --> | ||
385 | * @generated | ||
386 | */ | ||
275 | public EClass getPartialConstantInterpretation() { | 387 | public EClass getPartialConstantInterpretation() { |
276 | return partialConstantInterpretationEClass; | 388 | return partialConstantInterpretationEClass; |
277 | } | 389 | } |
@@ -479,6 +591,96 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
479 | * <!-- end-user-doc --> | 591 | * <!-- end-user-doc --> |
480 | * @generated | 592 | * @generated |
481 | */ | 593 | */ |
594 | public EClass getPrimitiveElement() { | ||
595 | return primitiveElementEClass; | ||
596 | } | ||
597 | |||
598 | /** | ||
599 | * <!-- begin-user-doc --> | ||
600 | * <!-- end-user-doc --> | ||
601 | * @generated | ||
602 | */ | ||
603 | public EAttribute getPrimitiveElement_ValueSet() { | ||
604 | return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0); | ||
605 | } | ||
606 | |||
607 | /** | ||
608 | * <!-- begin-user-doc --> | ||
609 | * <!-- end-user-doc --> | ||
610 | * @generated | ||
611 | */ | ||
612 | public EClass getBooleanElement() { | ||
613 | return booleanElementEClass; | ||
614 | } | ||
615 | |||
616 | /** | ||
617 | * <!-- begin-user-doc --> | ||
618 | * <!-- end-user-doc --> | ||
619 | * @generated | ||
620 | */ | ||
621 | public EAttribute getBooleanElement_Value() { | ||
622 | return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0); | ||
623 | } | ||
624 | |||
625 | /** | ||
626 | * <!-- begin-user-doc --> | ||
627 | * <!-- end-user-doc --> | ||
628 | * @generated | ||
629 | */ | ||
630 | public EClass getIntegerElement() { | ||
631 | return integerElementEClass; | ||
632 | } | ||
633 | |||
634 | /** | ||
635 | * <!-- begin-user-doc --> | ||
636 | * <!-- end-user-doc --> | ||
637 | * @generated | ||
638 | */ | ||
639 | public EAttribute getIntegerElement_Value() { | ||
640 | return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0); | ||
641 | } | ||
642 | |||
643 | /** | ||
644 | * <!-- begin-user-doc --> | ||
645 | * <!-- end-user-doc --> | ||
646 | * @generated | ||
647 | */ | ||
648 | public EClass getRealElement() { | ||
649 | return realElementEClass; | ||
650 | } | ||
651 | |||
652 | /** | ||
653 | * <!-- begin-user-doc --> | ||
654 | * <!-- end-user-doc --> | ||
655 | * @generated | ||
656 | */ | ||
657 | public EAttribute getRealElement_Value() { | ||
658 | return (EAttribute)realElementEClass.getEStructuralFeatures().get(0); | ||
659 | } | ||
660 | |||
661 | /** | ||
662 | * <!-- begin-user-doc --> | ||
663 | * <!-- end-user-doc --> | ||
664 | * @generated | ||
665 | */ | ||
666 | public EClass getStringElement() { | ||
667 | return stringElementEClass; | ||
668 | } | ||
669 | |||
670 | /** | ||
671 | * <!-- begin-user-doc --> | ||
672 | * <!-- end-user-doc --> | ||
673 | * @generated | ||
674 | */ | ||
675 | public EAttribute getStringElement_Value() { | ||
676 | return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0); | ||
677 | } | ||
678 | |||
679 | /** | ||
680 | * <!-- begin-user-doc --> | ||
681 | * <!-- end-user-doc --> | ||
682 | * @generated | ||
683 | */ | ||
482 | public PartialinterpretationFactory getPartialinterpretationFactory() { | 684 | public PartialinterpretationFactory getPartialinterpretationFactory() { |
483 | return (PartialinterpretationFactory)getEFactoryInstance(); | 685 | return (PartialinterpretationFactory)getEFactoryInstance(); |
484 | } | 686 | } |
@@ -511,8 +713,16 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
511 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); | 713 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); |
512 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); | 714 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); |
513 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); | 715 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); |
514 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE); | 716 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); |
515 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); | 717 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); |
718 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT); | ||
719 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS); | ||
720 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS); | ||
721 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS); | ||
722 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS); | ||
723 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); | ||
724 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); | ||
725 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); | ||
516 | 726 | ||
517 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); | 727 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); |
518 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); | 728 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); |
@@ -545,6 +755,21 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
545 | 755 | ||
546 | naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); | 756 | naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); |
547 | createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); | 757 | createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); |
758 | |||
759 | primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT); | ||
760 | createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET); | ||
761 | |||
762 | booleanElementEClass = createEClass(BOOLEAN_ELEMENT); | ||
763 | createEAttribute(booleanElementEClass, BOOLEAN_ELEMENT__VALUE); | ||
764 | |||
765 | integerElementEClass = createEClass(INTEGER_ELEMENT); | ||
766 | createEAttribute(integerElementEClass, INTEGER_ELEMENT__VALUE); | ||
767 | |||
768 | realElementEClass = createEClass(REAL_ELEMENT); | ||
769 | createEAttribute(realElementEClass, REAL_ELEMENT__VALUE); | ||
770 | |||
771 | stringElementEClass = createEClass(STRING_ELEMENT); | ||
772 | createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE); | ||
548 | } | 773 | } |
549 | 774 | ||
550 | /** | 775 | /** |
@@ -582,6 +807,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
582 | unaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); | 807 | unaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); |
583 | binaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); | 808 | binaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); |
584 | naryRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); | 809 | naryRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); |
810 | primitiveElementEClass.getESuperTypes().add(theLogiclanguagePackage.getDefinedElement()); | ||
811 | booleanElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | ||
812 | integerElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | ||
813 | realElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | ||
814 | stringElementEClass.getESuperTypes().add(this.getPrimitiveElement()); | ||
585 | 815 | ||
586 | // Initialize classes, features, and operations; add parameters | 816 | // Initialize classes, features, and operations; add parameters |
587 | initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 817 | initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -593,8 +823,16 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
593 | initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 823 | initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
594 | initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 824 | initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
595 | initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 825 | initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
596 | initEReference(getPartialInterpretation_OpenWorldElementPrototype(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototype", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 826 | initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 1, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
597 | initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 827 | initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
828 | initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
829 | initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
830 | initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
831 | initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
832 | initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
833 | initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
834 | initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
835 | initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
598 | 836 | ||
599 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 837 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
600 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 838 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -628,6 +866,21 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
628 | initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 866 | initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
629 | initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 867 | initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
630 | 868 | ||
869 | initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
870 | initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
871 | |||
872 | initEClass(booleanElementEClass, BooleanElement.class, "BooleanElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
873 | initEAttribute(getBooleanElement_Value(), ecorePackage.getEBoolean(), "value", null, 1, 1, BooleanElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
874 | |||
875 | initEClass(integerElementEClass, IntegerElement.class, "IntegerElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
876 | initEAttribute(getIntegerElement_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntegerElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
877 | |||
878 | initEClass(realElementEClass, RealElement.class, "RealElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
879 | initEAttribute(getRealElement_Value(), ecorePackage.getEBigDecimal(), "value", null, 1, 1, RealElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
880 | |||
881 | initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
882 | initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
883 | |||
631 | // Create resource | 884 | // Create resource |
632 | createResource(eNS_URI); | 885 | createResource(eNS_URI); |
633 | } | 886 | } |