diff options
author | 2017-08-15 02:20:25 +0200 | |
---|---|---|
committer | 2017-08-15 02:20:25 +0200 | |
commit | 3d05776b1338eb5aa02026a941dcf3111d00109b (patch) | |
tree | f92e4372a56d90bc54930994a47ae457c00d59cf /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage | |
parent | Generated code for the modified logic model (diff) | |
download | VIATRA-Generator-3d05776b1338eb5aa02026a941dcf3111d00109b.tar.gz VIATRA-Generator-3d05776b1338eb5aa02026a941dcf3111d00109b.tar.zst VIATRA-Generator-3d05776b1338eb5aa02026a941dcf3111d00109b.zip |
Added primitive types to the model code
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage')
8 files changed, 1933 insertions, 77 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java index 46c85cc8..6c46cdbe 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java | |||
@@ -27,8 +27,16 @@ import org.eclipse.emf.ecore.EObject; | |||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> | 27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> |
28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li> | 28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li> |
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li> | 29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li> |
30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li> | 30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li> |
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li> | 31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li> |
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}</li> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}</li> | ||
34 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}</li> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}</li> | ||
37 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}</li> | ||
38 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}</li> | ||
39 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}</li> | ||
32 | * </ul> | 40 | * </ul> |
33 | * | 41 | * |
34 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() | 42 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() |
@@ -197,30 +205,20 @@ public interface PartialInterpretation extends EObject { | |||
197 | void setMaxNewElements(int value); | 205 | void setMaxNewElements(int value); |
198 | 206 | ||
199 | /** | 207 | /** |
200 | * Returns the value of the '<em><b>Open World Element Prototype</b></em>' containment reference. | 208 | * Returns the value of the '<em><b>Open World Element Prototypes</b></em>' containment reference list. |
209 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}. | ||
201 | * <!-- begin-user-doc --> | 210 | * <!-- begin-user-doc --> |
202 | * <p> | 211 | * <p> |
203 | * If the meaning of the '<em>Open World Element Prototype</em>' containment reference isn't clear, | 212 | * If the meaning of the '<em>Open World Element Prototypes</em>' containment reference list isn't clear, |
204 | * there really should be more of a description here... | 213 | * there really should be more of a description here... |
205 | * </p> | 214 | * </p> |
206 | * <!-- end-user-doc --> | 215 | * <!-- end-user-doc --> |
207 | * @return the value of the '<em>Open World Element Prototype</em>' containment reference. | 216 | * @return the value of the '<em>Open World Element Prototypes</em>' containment reference list. |
208 | * @see #setOpenWorldElementPrototype(DefinedElement) | 217 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() |
209 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototype() | ||
210 | * @model containment="true" required="true" | 218 | * @model containment="true" required="true" |
211 | * @generated | 219 | * @generated |
212 | */ | 220 | */ |
213 | DefinedElement getOpenWorldElementPrototype(); | 221 | EList<DefinedElement> getOpenWorldElementPrototypes(); |
214 | |||
215 | /** | ||
216 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}' containment reference. | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @param value the new value of the '<em>Open World Element Prototype</em>' containment reference. | ||
220 | * @see #getOpenWorldElementPrototype() | ||
221 | * @generated | ||
222 | */ | ||
223 | void setOpenWorldElementPrototype(DefinedElement value); | ||
224 | 222 | ||
225 | /** | 223 | /** |
226 | * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. | 224 | * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. |
@@ -248,4 +246,162 @@ public interface PartialInterpretation extends EObject { | |||
248 | */ | 246 | */ |
249 | void setProblemConainer(LogicProblem value); | 247 | void setProblemConainer(LogicProblem value); |
250 | 248 | ||
249 | /** | ||
250 | * Returns the value of the '<em><b>Stringelement</b></em>' containment reference list. | ||
251 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | ||
252 | * <!-- begin-user-doc --> | ||
253 | * <p> | ||
254 | * If the meaning of the '<em>Stringelement</em>' containment reference list isn't clear, | ||
255 | * there really should be more of a description here... | ||
256 | * </p> | ||
257 | * <!-- end-user-doc --> | ||
258 | * @return the value of the '<em>Stringelement</em>' containment reference list. | ||
259 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement() | ||
260 | * @model containment="true" | ||
261 | * @generated | ||
262 | */ | ||
263 | EList<StringElement> getStringelement(); | ||
264 | |||
265 | /** | ||
266 | * Returns the value of the '<em><b>Stringelements</b></em>' containment reference list. | ||
267 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | ||
268 | * <!-- begin-user-doc --> | ||
269 | * <p> | ||
270 | * If the meaning of the '<em>Stringelements</em>' containment reference list isn't clear, | ||
271 | * there really should be more of a description here... | ||
272 | * </p> | ||
273 | * <!-- end-user-doc --> | ||
274 | * @return the value of the '<em>Stringelements</em>' containment reference list. | ||
275 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements() | ||
276 | * @model containment="true" | ||
277 | * @generated | ||
278 | */ | ||
279 | EList<StringElement> getStringelements(); | ||
280 | |||
281 | /** | ||
282 | * Returns the value of the '<em><b>Realelements</b></em>' containment reference list. | ||
283 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. | ||
284 | * <!-- begin-user-doc --> | ||
285 | * <p> | ||
286 | * If the meaning of the '<em>Realelements</em>' containment reference list isn't clear, | ||
287 | * there really should be more of a description here... | ||
288 | * </p> | ||
289 | * <!-- end-user-doc --> | ||
290 | * @return the value of the '<em>Realelements</em>' containment reference list. | ||
291 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements() | ||
292 | * @model containment="true" | ||
293 | * @generated | ||
294 | */ | ||
295 | EList<RealElement> getRealelements(); | ||
296 | |||
297 | /** | ||
298 | * Returns the value of the '<em><b>Integerelements</b></em>' containment reference list. | ||
299 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. | ||
300 | * <!-- begin-user-doc --> | ||
301 | * <p> | ||
302 | * If the meaning of the '<em>Integerelements</em>' containment reference list isn't clear, | ||
303 | * there really should be more of a description here... | ||
304 | * </p> | ||
305 | * <!-- end-user-doc --> | ||
306 | * @return the value of the '<em>Integerelements</em>' containment reference list. | ||
307 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements() | ||
308 | * @model containment="true" | ||
309 | * @generated | ||
310 | */ | ||
311 | EList<IntegerElement> getIntegerelements(); | ||
312 | |||
313 | /** | ||
314 | * Returns the value of the '<em><b>Booleanelements</b></em>' containment reference list. | ||
315 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}. | ||
316 | * <!-- begin-user-doc --> | ||
317 | * <p> | ||
318 | * If the meaning of the '<em>Booleanelements</em>' containment reference list isn't clear, | ||
319 | * there really should be more of a description here... | ||
320 | * </p> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @return the value of the '<em>Booleanelements</em>' containment reference list. | ||
323 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements() | ||
324 | * @model containment="true" | ||
325 | * @generated | ||
326 | */ | ||
327 | EList<BooleanElement> getBooleanelements(); | ||
328 | |||
329 | /** | ||
330 | * Returns the value of the '<em><b>Max New Integers</b></em>' attribute. | ||
331 | * <!-- begin-user-doc --> | ||
332 | * <p> | ||
333 | * If the meaning of the '<em>Max New Integers</em>' attribute isn't clear, | ||
334 | * there really should be more of a description here... | ||
335 | * </p> | ||
336 | * <!-- end-user-doc --> | ||
337 | * @return the value of the '<em>Max New Integers</em>' attribute. | ||
338 | * @see #setMaxNewIntegers(int) | ||
339 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers() | ||
340 | * @model required="true" | ||
341 | * @generated | ||
342 | */ | ||
343 | int getMaxNewIntegers(); | ||
344 | |||
345 | /** | ||
346 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}' attribute. | ||
347 | * <!-- begin-user-doc --> | ||
348 | * <!-- end-user-doc --> | ||
349 | * @param value the new value of the '<em>Max New Integers</em>' attribute. | ||
350 | * @see #getMaxNewIntegers() | ||
351 | * @generated | ||
352 | */ | ||
353 | void setMaxNewIntegers(int value); | ||
354 | |||
355 | /** | ||
356 | * Returns the value of the '<em><b>Max New Reals</b></em>' attribute. | ||
357 | * <!-- begin-user-doc --> | ||
358 | * <p> | ||
359 | * If the meaning of the '<em>Max New Reals</em>' attribute isn't clear, | ||
360 | * there really should be more of a description here... | ||
361 | * </p> | ||
362 | * <!-- end-user-doc --> | ||
363 | * @return the value of the '<em>Max New Reals</em>' attribute. | ||
364 | * @see #setMaxNewReals(int) | ||
365 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals() | ||
366 | * @model required="true" | ||
367 | * @generated | ||
368 | */ | ||
369 | int getMaxNewReals(); | ||
370 | |||
371 | /** | ||
372 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}' attribute. | ||
373 | * <!-- begin-user-doc --> | ||
374 | * <!-- end-user-doc --> | ||
375 | * @param value the new value of the '<em>Max New Reals</em>' attribute. | ||
376 | * @see #getMaxNewReals() | ||
377 | * @generated | ||
378 | */ | ||
379 | void setMaxNewReals(int value); | ||
380 | |||
381 | /** | ||
382 | * Returns the value of the '<em><b>Max New Strings</b></em>' attribute. | ||
383 | * <!-- begin-user-doc --> | ||
384 | * <p> | ||
385 | * If the meaning of the '<em>Max New Strings</em>' attribute isn't clear, | ||
386 | * there really should be more of a description here... | ||
387 | * </p> | ||
388 | * <!-- end-user-doc --> | ||
389 | * @return the value of the '<em>Max New Strings</em>' attribute. | ||
390 | * @see #setMaxNewStrings(int) | ||
391 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings() | ||
392 | * @model required="true" | ||
393 | * @generated | ||
394 | */ | ||
395 | int getMaxNewStrings(); | ||
396 | |||
397 | /** | ||
398 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}' attribute. | ||
399 | * <!-- begin-user-doc --> | ||
400 | * <!-- end-user-doc --> | ||
401 | * @param value the new value of the '<em>Max New Strings</em>' attribute. | ||
402 | * @see #getMaxNewStrings() | ||
403 | * @generated | ||
404 | */ | ||
405 | void setMaxNewStrings(int value); | ||
406 | |||
251 | } // PartialInterpretation | 407 | } // PartialInterpretation |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java index 406e2f02..da71e230 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java | |||
@@ -103,6 +103,42 @@ public interface PartialinterpretationFactory extends EFactory { | |||
103 | NaryRelationLinkElement createNaryRelationLinkElement(); | 103 | NaryRelationLinkElement createNaryRelationLinkElement(); |
104 | 104 | ||
105 | /** | 105 | /** |
106 | * Returns a new object of class '<em>Boolean Element</em>'. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @return a new object of class '<em>Boolean Element</em>'. | ||
110 | * @generated | ||
111 | */ | ||
112 | BooleanElement createBooleanElement(); | ||
113 | |||
114 | /** | ||
115 | * Returns a new object of class '<em>Integer Element</em>'. | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @return a new object of class '<em>Integer Element</em>'. | ||
119 | * @generated | ||
120 | */ | ||
121 | IntegerElement createIntegerElement(); | ||
122 | |||
123 | /** | ||
124 | * Returns a new object of class '<em>Real Element</em>'. | ||
125 | * <!-- begin-user-doc --> | ||
126 | * <!-- end-user-doc --> | ||
127 | * @return a new object of class '<em>Real Element</em>'. | ||
128 | * @generated | ||
129 | */ | ||
130 | RealElement createRealElement(); | ||
131 | |||
132 | /** | ||
133 | * Returns a new object of class '<em>String Element</em>'. | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @return a new object of class '<em>String Element</em>'. | ||
137 | * @generated | ||
138 | */ | ||
139 | StringElement createStringElement(); | ||
140 | |||
141 | /** | ||
106 | * Returns the package supported by this factory. | 142 | * Returns the package supported by this factory. |
107 | * <!-- begin-user-doc --> | 143 | * <!-- begin-user-doc --> |
108 | * <!-- end-user-doc --> | 144 | * <!-- end-user-doc --> |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index 573500dd..3f2fe479 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java | |||
@@ -2,6 +2,7 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; | 3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
5 | import org.eclipse.emf.ecore.EAttribute; | 6 | import org.eclipse.emf.ecore.EAttribute; |
6 | import org.eclipse.emf.ecore.EClass; | 7 | import org.eclipse.emf.ecore.EClass; |
7 | import org.eclipse.emf.ecore.EPackage; | 8 | import org.eclipse.emf.ecore.EPackage; |
@@ -139,13 +140,13 @@ public interface PartialinterpretationPackage extends EPackage { | |||
139 | int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7; | 140 | int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7; |
140 | 141 | ||
141 | /** | 142 | /** |
142 | * The feature id for the '<em><b>Open World Element Prototype</b></em>' containment reference. | 143 | * The feature id for the '<em><b>Open World Element Prototypes</b></em>' containment reference list. |
143 | * <!-- begin-user-doc --> | 144 | * <!-- begin-user-doc --> |
144 | * <!-- end-user-doc --> | 145 | * <!-- end-user-doc --> |
145 | * @generated | 146 | * @generated |
146 | * @ordered | 147 | * @ordered |
147 | */ | 148 | */ |
148 | int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = 8; | 149 | int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8; |
149 | 150 | ||
150 | /** | 151 | /** |
151 | * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference. | 152 | * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference. |
@@ -157,13 +158,85 @@ public interface PartialinterpretationPackage extends EPackage { | |||
157 | int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9; | 158 | int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9; |
158 | 159 | ||
159 | /** | 160 | /** |
161 | * The feature id for the '<em><b>Stringelement</b></em>' containment reference list. | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | * @ordered | ||
166 | */ | ||
167 | int PARTIAL_INTERPRETATION__STRINGELEMENT = 10; | ||
168 | |||
169 | /** | ||
170 | * The feature id for the '<em><b>Stringelements</b></em>' containment reference list. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | * @ordered | ||
175 | */ | ||
176 | int PARTIAL_INTERPRETATION__STRINGELEMENTS = 11; | ||
177 | |||
178 | /** | ||
179 | * The feature id for the '<em><b>Realelements</b></em>' containment reference list. | ||
180 | * <!-- begin-user-doc --> | ||
181 | * <!-- end-user-doc --> | ||
182 | * @generated | ||
183 | * @ordered | ||
184 | */ | ||
185 | int PARTIAL_INTERPRETATION__REALELEMENTS = 12; | ||
186 | |||
187 | /** | ||
188 | * The feature id for the '<em><b>Integerelements</b></em>' containment reference list. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | * @ordered | ||
193 | */ | ||
194 | int PARTIAL_INTERPRETATION__INTEGERELEMENTS = 13; | ||
195 | |||
196 | /** | ||
197 | * The feature id for the '<em><b>Booleanelements</b></em>' containment reference list. | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | * @ordered | ||
202 | */ | ||
203 | int PARTIAL_INTERPRETATION__BOOLEANELEMENTS = 14; | ||
204 | |||
205 | /** | ||
206 | * The feature id for the '<em><b>Max New Integers</b></em>' attribute. | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @generated | ||
210 | * @ordered | ||
211 | */ | ||
212 | int PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = 15; | ||
213 | |||
214 | /** | ||
215 | * The feature id for the '<em><b>Max New Reals</b></em>' attribute. | ||
216 | * <!-- begin-user-doc --> | ||
217 | * <!-- end-user-doc --> | ||
218 | * @generated | ||
219 | * @ordered | ||
220 | */ | ||
221 | int PARTIAL_INTERPRETATION__MAX_NEW_REALS = 16; | ||
222 | |||
223 | /** | ||
224 | * The feature id for the '<em><b>Max New Strings</b></em>' attribute. | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | * @ordered | ||
229 | */ | ||
230 | int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17; | ||
231 | |||
232 | /** | ||
160 | * The number of structural features of the '<em>Partial Interpretation</em>' class. | 233 | * The number of structural features of the '<em>Partial Interpretation</em>' class. |
161 | * <!-- begin-user-doc --> | 234 | * <!-- begin-user-doc --> |
162 | * <!-- end-user-doc --> | 235 | * <!-- end-user-doc --> |
163 | * @generated | 236 | * @generated |
164 | * @ordered | 237 | * @ordered |
165 | */ | 238 | */ |
166 | int PARTIAL_INTERPRETATION_FEATURE_COUNT = 10; | 239 | int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18; |
167 | 240 | ||
168 | /** | 241 | /** |
169 | * The number of operations of the '<em>Partial Interpretation</em>' class. | 242 | * The number of operations of the '<em>Partial Interpretation</em>' class. |
@@ -554,6 +627,318 @@ public interface PartialinterpretationPackage extends EPackage { | |||
554 | 627 | ||
555 | 628 | ||
556 | /** | 629 | /** |
630 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class. | ||
631 | * <!-- begin-user-doc --> | ||
632 | * <!-- end-user-doc --> | ||
633 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl | ||
634 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPrimitiveElement() | ||
635 | * @generated | ||
636 | */ | ||
637 | int PRIMITIVE_ELEMENT = 10; | ||
638 | |||
639 | /** | ||
640 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
641 | * <!-- begin-user-doc --> | ||
642 | * <!-- end-user-doc --> | ||
643 | * @generated | ||
644 | * @ordered | ||
645 | */ | ||
646 | int PRIMITIVE_ELEMENT__NAME = LogiclanguagePackage.DEFINED_ELEMENT__NAME; | ||
647 | |||
648 | /** | ||
649 | * The feature id for the '<em><b>Defined In Type</b></em>' reference list. | ||
650 | * <!-- begin-user-doc --> | ||
651 | * <!-- end-user-doc --> | ||
652 | * @generated | ||
653 | * @ordered | ||
654 | */ | ||
655 | int PRIMITIVE_ELEMENT__DEFINED_IN_TYPE = LogiclanguagePackage.DEFINED_ELEMENT__DEFINED_IN_TYPE; | ||
656 | |||
657 | /** | ||
658 | * The feature id for the '<em><b>Value Set</b></em>' attribute. | ||
659 | * <!-- begin-user-doc --> | ||
660 | * <!-- end-user-doc --> | ||
661 | * @generated | ||
662 | * @ordered | ||
663 | */ | ||
664 | int PRIMITIVE_ELEMENT__VALUE_SET = LogiclanguagePackage.DEFINED_ELEMENT_FEATURE_COUNT + 0; | ||
665 | |||
666 | /** | ||
667 | * The number of structural features of the '<em>Primitive Element</em>' class. | ||
668 | * <!-- begin-user-doc --> | ||
669 | * <!-- end-user-doc --> | ||
670 | * @generated | ||
671 | * @ordered | ||
672 | */ | ||
673 | int PRIMITIVE_ELEMENT_FEATURE_COUNT = LogiclanguagePackage.DEFINED_ELEMENT_FEATURE_COUNT + 1; | ||
674 | |||
675 | /** | ||
676 | * The number of operations of the '<em>Primitive Element</em>' class. | ||
677 | * <!-- begin-user-doc --> | ||
678 | * <!-- end-user-doc --> | ||
679 | * @generated | ||
680 | * @ordered | ||
681 | */ | ||
682 | int PRIMITIVE_ELEMENT_OPERATION_COUNT = LogiclanguagePackage.DEFINED_ELEMENT_OPERATION_COUNT + 0; | ||
683 | |||
684 | /** | ||
685 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl <em>Boolean Element</em>}' class. | ||
686 | * <!-- begin-user-doc --> | ||
687 | * <!-- end-user-doc --> | ||
688 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl | ||
689 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBooleanElement() | ||
690 | * @generated | ||
691 | */ | ||
692 | int BOOLEAN_ELEMENT = 11; | ||
693 | |||
694 | /** | ||
695 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
696 | * <!-- begin-user-doc --> | ||
697 | * <!-- end-user-doc --> | ||
698 | * @generated | ||
699 | * @ordered | ||
700 | */ | ||
701 | int BOOLEAN_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; | ||
702 | |||
703 | /** | ||
704 | * The feature id for the '<em><b>Defined In Type</b></em>' reference list. | ||
705 | * <!-- begin-user-doc --> | ||
706 | * <!-- end-user-doc --> | ||
707 | * @generated | ||
708 | * @ordered | ||
709 | */ | ||
710 | int BOOLEAN_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; | ||
711 | |||
712 | /** | ||
713 | * The feature id for the '<em><b>Value Set</b></em>' attribute. | ||
714 | * <!-- begin-user-doc --> | ||
715 | * <!-- end-user-doc --> | ||
716 | * @generated | ||
717 | * @ordered | ||
718 | */ | ||
719 | int BOOLEAN_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; | ||
720 | |||
721 | /** | ||
722 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
723 | * <!-- begin-user-doc --> | ||
724 | * <!-- end-user-doc --> | ||
725 | * @generated | ||
726 | * @ordered | ||
727 | */ | ||
728 | int BOOLEAN_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; | ||
729 | |||
730 | /** | ||
731 | * The number of structural features of the '<em>Boolean Element</em>' class. | ||
732 | * <!-- begin-user-doc --> | ||
733 | * <!-- end-user-doc --> | ||
734 | * @generated | ||
735 | * @ordered | ||
736 | */ | ||
737 | int BOOLEAN_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; | ||
738 | |||
739 | /** | ||
740 | * The number of operations of the '<em>Boolean Element</em>' class. | ||
741 | * <!-- begin-user-doc --> | ||
742 | * <!-- end-user-doc --> | ||
743 | * @generated | ||
744 | * @ordered | ||
745 | */ | ||
746 | int BOOLEAN_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; | ||
747 | |||
748 | /** | ||
749 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl <em>Integer Element</em>}' class. | ||
750 | * <!-- begin-user-doc --> | ||
751 | * <!-- end-user-doc --> | ||
752 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl | ||
753 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getIntegerElement() | ||
754 | * @generated | ||
755 | */ | ||
756 | int INTEGER_ELEMENT = 12; | ||
757 | |||
758 | /** | ||
759 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
760 | * <!-- begin-user-doc --> | ||
761 | * <!-- end-user-doc --> | ||
762 | * @generated | ||
763 | * @ordered | ||
764 | */ | ||
765 | int INTEGER_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; | ||
766 | |||
767 | /** | ||
768 | * The feature id for the '<em><b>Defined In Type</b></em>' reference list. | ||
769 | * <!-- begin-user-doc --> | ||
770 | * <!-- end-user-doc --> | ||
771 | * @generated | ||
772 | * @ordered | ||
773 | */ | ||
774 | int INTEGER_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; | ||
775 | |||
776 | /** | ||
777 | * The feature id for the '<em><b>Value Set</b></em>' attribute. | ||
778 | * <!-- begin-user-doc --> | ||
779 | * <!-- end-user-doc --> | ||
780 | * @generated | ||
781 | * @ordered | ||
782 | */ | ||
783 | int INTEGER_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; | ||
784 | |||
785 | /** | ||
786 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
787 | * <!-- begin-user-doc --> | ||
788 | * <!-- end-user-doc --> | ||
789 | * @generated | ||
790 | * @ordered | ||
791 | */ | ||
792 | int INTEGER_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; | ||
793 | |||
794 | /** | ||
795 | * The number of structural features of the '<em>Integer Element</em>' class. | ||
796 | * <!-- begin-user-doc --> | ||
797 | * <!-- end-user-doc --> | ||
798 | * @generated | ||
799 | * @ordered | ||
800 | */ | ||
801 | int INTEGER_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; | ||
802 | |||
803 | /** | ||
804 | * The number of operations of the '<em>Integer Element</em>' class. | ||
805 | * <!-- begin-user-doc --> | ||
806 | * <!-- end-user-doc --> | ||
807 | * @generated | ||
808 | * @ordered | ||
809 | */ | ||
810 | int INTEGER_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; | ||
811 | |||
812 | /** | ||
813 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl <em>Real Element</em>}' class. | ||
814 | * <!-- begin-user-doc --> | ||
815 | * <!-- end-user-doc --> | ||
816 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl | ||
817 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getRealElement() | ||
818 | * @generated | ||
819 | */ | ||
820 | int REAL_ELEMENT = 13; | ||
821 | |||
822 | /** | ||
823 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
824 | * <!-- begin-user-doc --> | ||
825 | * <!-- end-user-doc --> | ||
826 | * @generated | ||
827 | * @ordered | ||
828 | */ | ||
829 | int REAL_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; | ||
830 | |||
831 | /** | ||
832 | * The feature id for the '<em><b>Defined In Type</b></em>' reference list. | ||
833 | * <!-- begin-user-doc --> | ||
834 | * <!-- end-user-doc --> | ||
835 | * @generated | ||
836 | * @ordered | ||
837 | */ | ||
838 | int REAL_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; | ||
839 | |||
840 | /** | ||
841 | * The feature id for the '<em><b>Value Set</b></em>' attribute. | ||
842 | * <!-- begin-user-doc --> | ||
843 | * <!-- end-user-doc --> | ||
844 | * @generated | ||
845 | * @ordered | ||
846 | */ | ||
847 | int REAL_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; | ||
848 | |||
849 | /** | ||
850 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
851 | * <!-- begin-user-doc --> | ||
852 | * <!-- end-user-doc --> | ||
853 | * @generated | ||
854 | * @ordered | ||
855 | */ | ||
856 | int REAL_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; | ||
857 | |||
858 | /** | ||
859 | * The number of structural features of the '<em>Real Element</em>' class. | ||
860 | * <!-- begin-user-doc --> | ||
861 | * <!-- end-user-doc --> | ||
862 | * @generated | ||
863 | * @ordered | ||
864 | */ | ||
865 | int REAL_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; | ||
866 | |||
867 | /** | ||
868 | * The number of operations of the '<em>Real Element</em>' class. | ||
869 | * <!-- begin-user-doc --> | ||
870 | * <!-- end-user-doc --> | ||
871 | * @generated | ||
872 | * @ordered | ||
873 | */ | ||
874 | int REAL_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; | ||
875 | |||
876 | /** | ||
877 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl <em>String Element</em>}' class. | ||
878 | * <!-- begin-user-doc --> | ||
879 | * <!-- end-user-doc --> | ||
880 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl | ||
881 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getStringElement() | ||
882 | * @generated | ||
883 | */ | ||
884 | int STRING_ELEMENT = 14; | ||
885 | |||
886 | /** | ||
887 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
888 | * <!-- begin-user-doc --> | ||
889 | * <!-- end-user-doc --> | ||
890 | * @generated | ||
891 | * @ordered | ||
892 | */ | ||
893 | int STRING_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; | ||
894 | |||
895 | /** | ||
896 | * The feature id for the '<em><b>Defined In Type</b></em>' reference list. | ||
897 | * <!-- begin-user-doc --> | ||
898 | * <!-- end-user-doc --> | ||
899 | * @generated | ||
900 | * @ordered | ||
901 | */ | ||
902 | int STRING_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; | ||
903 | |||
904 | /** | ||
905 | * The feature id for the '<em><b>Value Set</b></em>' attribute. | ||
906 | * <!-- begin-user-doc --> | ||
907 | * <!-- end-user-doc --> | ||
908 | * @generated | ||
909 | * @ordered | ||
910 | */ | ||
911 | int STRING_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; | ||
912 | |||
913 | /** | ||
914 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
915 | * <!-- begin-user-doc --> | ||
916 | * <!-- end-user-doc --> | ||
917 | * @generated | ||
918 | * @ordered | ||
919 | */ | ||
920 | int STRING_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; | ||
921 | |||
922 | /** | ||
923 | * The number of structural features of the '<em>String Element</em>' class. | ||
924 | * <!-- begin-user-doc --> | ||
925 | * <!-- end-user-doc --> | ||
926 | * @generated | ||
927 | * @ordered | ||
928 | */ | ||
929 | int STRING_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; | ||
930 | |||
931 | /** | ||
932 | * The number of operations of the '<em>String Element</em>' class. | ||
933 | * <!-- begin-user-doc --> | ||
934 | * <!-- end-user-doc --> | ||
935 | * @generated | ||
936 | * @ordered | ||
937 | */ | ||
938 | int STRING_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; | ||
939 | |||
940 | |||
941 | /** | ||
557 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'. | 942 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'. |
558 | * <!-- begin-user-doc --> | 943 | * <!-- begin-user-doc --> |
559 | * <!-- end-user-doc --> | 944 | * <!-- end-user-doc --> |
@@ -652,15 +1037,15 @@ public interface PartialinterpretationPackage extends EPackage { | |||
652 | EAttribute getPartialInterpretation_MaxNewElements(); | 1037 | EAttribute getPartialInterpretation_MaxNewElements(); |
653 | 1038 | ||
654 | /** | 1039 | /** |
655 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}'. | 1040 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}'. |
656 | * <!-- begin-user-doc --> | 1041 | * <!-- begin-user-doc --> |
657 | * <!-- end-user-doc --> | 1042 | * <!-- end-user-doc --> |
658 | * @return the meta object for the containment reference '<em>Open World Element Prototype</em>'. | 1043 | * @return the meta object for the containment reference list '<em>Open World Element Prototypes</em>'. |
659 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype() | 1044 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes() |
660 | * @see #getPartialInterpretation() | 1045 | * @see #getPartialInterpretation() |
661 | * @generated | 1046 | * @generated |
662 | */ | 1047 | */ |
663 | EReference getPartialInterpretation_OpenWorldElementPrototype(); | 1048 | EReference getPartialInterpretation_OpenWorldElementPrototypes(); |
664 | 1049 | ||
665 | /** | 1050 | /** |
666 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'. | 1051 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'. |
@@ -674,6 +1059,94 @@ public interface PartialinterpretationPackage extends EPackage { | |||
674 | EReference getPartialInterpretation_ProblemConainer(); | 1059 | EReference getPartialInterpretation_ProblemConainer(); |
675 | 1060 | ||
676 | /** | 1061 | /** |
1062 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}'. | ||
1063 | * <!-- begin-user-doc --> | ||
1064 | * <!-- end-user-doc --> | ||
1065 | * @return the meta object for the containment reference list '<em>Stringelement</em>'. | ||
1066 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement() | ||
1067 | * @see #getPartialInterpretation() | ||
1068 | * @generated | ||
1069 | */ | ||
1070 | EReference getPartialInterpretation_Stringelement(); | ||
1071 | |||
1072 | /** | ||
1073 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}'. | ||
1074 | * <!-- begin-user-doc --> | ||
1075 | * <!-- end-user-doc --> | ||
1076 | * @return the meta object for the containment reference list '<em>Stringelements</em>'. | ||
1077 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements() | ||
1078 | * @see #getPartialInterpretation() | ||
1079 | * @generated | ||
1080 | */ | ||
1081 | EReference getPartialInterpretation_Stringelements(); | ||
1082 | |||
1083 | /** | ||
1084 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}'. | ||
1085 | * <!-- begin-user-doc --> | ||
1086 | * <!-- end-user-doc --> | ||
1087 | * @return the meta object for the containment reference list '<em>Realelements</em>'. | ||
1088 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements() | ||
1089 | * @see #getPartialInterpretation() | ||
1090 | * @generated | ||
1091 | */ | ||
1092 | EReference getPartialInterpretation_Realelements(); | ||
1093 | |||
1094 | /** | ||
1095 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}'. | ||
1096 | * <!-- begin-user-doc --> | ||
1097 | * <!-- end-user-doc --> | ||
1098 | * @return the meta object for the containment reference list '<em>Integerelements</em>'. | ||
1099 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements() | ||
1100 | * @see #getPartialInterpretation() | ||
1101 | * @generated | ||
1102 | */ | ||
1103 | EReference getPartialInterpretation_Integerelements(); | ||
1104 | |||
1105 | /** | ||
1106 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}'. | ||
1107 | * <!-- begin-user-doc --> | ||
1108 | * <!-- end-user-doc --> | ||
1109 | * @return the meta object for the containment reference list '<em>Booleanelements</em>'. | ||
1110 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements() | ||
1111 | * @see #getPartialInterpretation() | ||
1112 | * @generated | ||
1113 | */ | ||
1114 | EReference getPartialInterpretation_Booleanelements(); | ||
1115 | |||
1116 | /** | ||
1117 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}'. | ||
1118 | * <!-- begin-user-doc --> | ||
1119 | * <!-- end-user-doc --> | ||
1120 | * @return the meta object for the attribute '<em>Max New Integers</em>'. | ||
1121 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers() | ||
1122 | * @see #getPartialInterpretation() | ||
1123 | * @generated | ||
1124 | */ | ||
1125 | EAttribute getPartialInterpretation_MaxNewIntegers(); | ||
1126 | |||
1127 | /** | ||
1128 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}'. | ||
1129 | * <!-- begin-user-doc --> | ||
1130 | * <!-- end-user-doc --> | ||
1131 | * @return the meta object for the attribute '<em>Max New Reals</em>'. | ||
1132 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals() | ||
1133 | * @see #getPartialInterpretation() | ||
1134 | * @generated | ||
1135 | */ | ||
1136 | EAttribute getPartialInterpretation_MaxNewReals(); | ||
1137 | |||
1138 | /** | ||
1139 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}'. | ||
1140 | * <!-- begin-user-doc --> | ||
1141 | * <!-- end-user-doc --> | ||
1142 | * @return the meta object for the attribute '<em>Max New Strings</em>'. | ||
1143 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings() | ||
1144 | * @see #getPartialInterpretation() | ||
1145 | * @generated | ||
1146 | */ | ||
1147 | EAttribute getPartialInterpretation_MaxNewStrings(); | ||
1148 | |||
1149 | /** | ||
677 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. | 1150 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. |
678 | * <!-- begin-user-doc --> | 1151 | * <!-- begin-user-doc --> |
679 | * <!-- end-user-doc --> | 1152 | * <!-- end-user-doc --> |
@@ -918,6 +1391,111 @@ public interface PartialinterpretationPackage extends EPackage { | |||
918 | EAttribute getNaryRelationLinkElement_Index(); | 1391 | EAttribute getNaryRelationLinkElement_Index(); |
919 | 1392 | ||
920 | /** | 1393 | /** |
1394 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'. | ||
1395 | * <!-- begin-user-doc --> | ||
1396 | * <!-- end-user-doc --> | ||
1397 | * @return the meta object for class '<em>Primitive Element</em>'. | ||
1398 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement | ||
1399 | * @generated | ||
1400 | */ | ||
1401 | EClass getPrimitiveElement(); | ||
1402 | |||
1403 | /** | ||
1404 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement#isValueSet <em>Value Set</em>}'. | ||
1405 | * <!-- begin-user-doc --> | ||
1406 | * <!-- end-user-doc --> | ||
1407 | * @return the meta object for the attribute '<em>Value Set</em>'. | ||
1408 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement#isValueSet() | ||
1409 | * @see #getPrimitiveElement() | ||
1410 | * @generated | ||
1411 | */ | ||
1412 | EAttribute getPrimitiveElement_ValueSet(); | ||
1413 | |||
1414 | /** | ||
1415 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement <em>Boolean Element</em>}'. | ||
1416 | * <!-- begin-user-doc --> | ||
1417 | * <!-- end-user-doc --> | ||
1418 | * @return the meta object for class '<em>Boolean Element</em>'. | ||
1419 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement | ||
1420 | * @generated | ||
1421 | */ | ||
1422 | EClass getBooleanElement(); | ||
1423 | |||
1424 | /** | ||
1425 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement#isValue <em>Value</em>}'. | ||
1426 | * <!-- begin-user-doc --> | ||
1427 | * <!-- end-user-doc --> | ||
1428 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1429 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement#isValue() | ||
1430 | * @see #getBooleanElement() | ||
1431 | * @generated | ||
1432 | */ | ||
1433 | EAttribute getBooleanElement_Value(); | ||
1434 | |||
1435 | /** | ||
1436 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement <em>Integer Element</em>}'. | ||
1437 | * <!-- begin-user-doc --> | ||
1438 | * <!-- end-user-doc --> | ||
1439 | * @return the meta object for class '<em>Integer Element</em>'. | ||
1440 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement | ||
1441 | * @generated | ||
1442 | */ | ||
1443 | EClass getIntegerElement(); | ||
1444 | |||
1445 | /** | ||
1446 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement#getValue <em>Value</em>}'. | ||
1447 | * <!-- begin-user-doc --> | ||
1448 | * <!-- end-user-doc --> | ||
1449 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1450 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement#getValue() | ||
1451 | * @see #getIntegerElement() | ||
1452 | * @generated | ||
1453 | */ | ||
1454 | EAttribute getIntegerElement_Value(); | ||
1455 | |||
1456 | /** | ||
1457 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement <em>Real Element</em>}'. | ||
1458 | * <!-- begin-user-doc --> | ||
1459 | * <!-- end-user-doc --> | ||
1460 | * @return the meta object for class '<em>Real Element</em>'. | ||
1461 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement | ||
1462 | * @generated | ||
1463 | */ | ||
1464 | EClass getRealElement(); | ||
1465 | |||
1466 | /** | ||
1467 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue <em>Value</em>}'. | ||
1468 | * <!-- begin-user-doc --> | ||
1469 | * <!-- end-user-doc --> | ||
1470 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1471 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue() | ||
1472 | * @see #getRealElement() | ||
1473 | * @generated | ||
1474 | */ | ||
1475 | EAttribute getRealElement_Value(); | ||
1476 | |||
1477 | /** | ||
1478 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement <em>String Element</em>}'. | ||
1479 | * <!-- begin-user-doc --> | ||
1480 | * <!-- end-user-doc --> | ||
1481 | * @return the meta object for class '<em>String Element</em>'. | ||
1482 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement | ||
1483 | * @generated | ||
1484 | */ | ||
1485 | EClass getStringElement(); | ||
1486 | |||
1487 | /** | ||
1488 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement#getValue <em>Value</em>}'. | ||
1489 | * <!-- begin-user-doc --> | ||
1490 | * <!-- end-user-doc --> | ||
1491 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1492 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement#getValue() | ||
1493 | * @see #getStringElement() | ||
1494 | * @generated | ||
1495 | */ | ||
1496 | EAttribute getStringElement_Value(); | ||
1497 | |||
1498 | /** | ||
921 | * Returns the factory that creates the instances of the model. | 1499 | * Returns the factory that creates the instances of the model. |
922 | * <!-- begin-user-doc --> | 1500 | * <!-- begin-user-doc --> |
923 | * <!-- end-user-doc --> | 1501 | * <!-- end-user-doc --> |
@@ -1015,12 +1593,12 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1015 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); | 1593 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); |
1016 | 1594 | ||
1017 | /** | 1595 | /** |
1018 | * The meta object literal for the '<em><b>Open World Element Prototype</b></em>' containment reference feature. | 1596 | * The meta object literal for the '<em><b>Open World Element Prototypes</b></em>' containment reference list feature. |
1019 | * <!-- begin-user-doc --> | 1597 | * <!-- begin-user-doc --> |
1020 | * <!-- end-user-doc --> | 1598 | * <!-- end-user-doc --> |
1021 | * @generated | 1599 | * @generated |
1022 | */ | 1600 | */ |
1023 | EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototype(); | 1601 | EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes(); |
1024 | 1602 | ||
1025 | /** | 1603 | /** |
1026 | * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature. | 1604 | * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature. |
@@ -1031,6 +1609,70 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1031 | EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer(); | 1609 | EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer(); |
1032 | 1610 | ||
1033 | /** | 1611 | /** |
1612 | * The meta object literal for the '<em><b>Stringelement</b></em>' containment reference list feature. | ||
1613 | * <!-- begin-user-doc --> | ||
1614 | * <!-- end-user-doc --> | ||
1615 | * @generated | ||
1616 | */ | ||
1617 | EReference PARTIAL_INTERPRETATION__STRINGELEMENT = eINSTANCE.getPartialInterpretation_Stringelement(); | ||
1618 | |||
1619 | /** | ||
1620 | * The meta object literal for the '<em><b>Stringelements</b></em>' containment reference list feature. | ||
1621 | * <!-- begin-user-doc --> | ||
1622 | * <!-- end-user-doc --> | ||
1623 | * @generated | ||
1624 | */ | ||
1625 | EReference PARTIAL_INTERPRETATION__STRINGELEMENTS = eINSTANCE.getPartialInterpretation_Stringelements(); | ||
1626 | |||
1627 | /** | ||
1628 | * The meta object literal for the '<em><b>Realelements</b></em>' containment reference list feature. | ||
1629 | * <!-- begin-user-doc --> | ||
1630 | * <!-- end-user-doc --> | ||
1631 | * @generated | ||
1632 | */ | ||
1633 | EReference PARTIAL_INTERPRETATION__REALELEMENTS = eINSTANCE.getPartialInterpretation_Realelements(); | ||
1634 | |||
1635 | /** | ||
1636 | * The meta object literal for the '<em><b>Integerelements</b></em>' containment reference list feature. | ||
1637 | * <!-- begin-user-doc --> | ||
1638 | * <!-- end-user-doc --> | ||
1639 | * @generated | ||
1640 | */ | ||
1641 | EReference PARTIAL_INTERPRETATION__INTEGERELEMENTS = eINSTANCE.getPartialInterpretation_Integerelements(); | ||
1642 | |||
1643 | /** | ||
1644 | * The meta object literal for the '<em><b>Booleanelements</b></em>' containment reference list feature. | ||
1645 | * <!-- begin-user-doc --> | ||
1646 | * <!-- end-user-doc --> | ||
1647 | * @generated | ||
1648 | */ | ||
1649 | EReference PARTIAL_INTERPRETATION__BOOLEANELEMENTS = eINSTANCE.getPartialInterpretation_Booleanelements(); | ||
1650 | |||
1651 | /** | ||
1652 | * The meta object literal for the '<em><b>Max New Integers</b></em>' attribute feature. | ||
1653 | * <!-- begin-user-doc --> | ||
1654 | * <!-- end-user-doc --> | ||
1655 | * @generated | ||
1656 | */ | ||
1657 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = eINSTANCE.getPartialInterpretation_MaxNewIntegers(); | ||
1658 | |||
1659 | /** | ||
1660 | * The meta object literal for the '<em><b>Max New Reals</b></em>' attribute feature. | ||
1661 | * <!-- begin-user-doc --> | ||
1662 | * <!-- end-user-doc --> | ||
1663 | * @generated | ||
1664 | */ | ||
1665 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_REALS = eINSTANCE.getPartialInterpretation_MaxNewReals(); | ||
1666 | |||
1667 | /** | ||
1668 | * The meta object literal for the '<em><b>Max New Strings</b></em>' attribute feature. | ||
1669 | * <!-- begin-user-doc --> | ||
1670 | * <!-- end-user-doc --> | ||
1671 | * @generated | ||
1672 | */ | ||
1673 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings(); | ||
1674 | |||
1675 | /** | ||
1034 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. | 1676 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. |
1035 | * <!-- begin-user-doc --> | 1677 | * <!-- begin-user-doc --> |
1036 | * <!-- end-user-doc --> | 1678 | * <!-- end-user-doc --> |
@@ -1232,6 +1874,96 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1232 | */ | 1874 | */ |
1233 | EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); | 1875 | EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); |
1234 | 1876 | ||
1877 | /** | ||
1878 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class. | ||
1879 | * <!-- begin-user-doc --> | ||
1880 | * <!-- end-user-doc --> | ||
1881 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl | ||
1882 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPrimitiveElement() | ||
1883 | * @generated | ||
1884 | */ | ||
1885 | EClass PRIMITIVE_ELEMENT = eINSTANCE.getPrimitiveElement(); | ||
1886 | |||
1887 | /** | ||
1888 | * The meta object literal for the '<em><b>Value Set</b></em>' attribute feature. | ||
1889 | * <!-- begin-user-doc --> | ||
1890 | * <!-- end-user-doc --> | ||
1891 | * @generated | ||
1892 | */ | ||
1893 | EAttribute PRIMITIVE_ELEMENT__VALUE_SET = eINSTANCE.getPrimitiveElement_ValueSet(); | ||
1894 | |||
1895 | /** | ||
1896 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl <em>Boolean Element</em>}' class. | ||
1897 | * <!-- begin-user-doc --> | ||
1898 | * <!-- end-user-doc --> | ||
1899 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl | ||
1900 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBooleanElement() | ||
1901 | * @generated | ||
1902 | */ | ||
1903 | EClass BOOLEAN_ELEMENT = eINSTANCE.getBooleanElement(); | ||
1904 | |||
1905 | /** | ||
1906 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1907 | * <!-- begin-user-doc --> | ||
1908 | * <!-- end-user-doc --> | ||
1909 | * @generated | ||
1910 | */ | ||
1911 | EAttribute BOOLEAN_ELEMENT__VALUE = eINSTANCE.getBooleanElement_Value(); | ||
1912 | |||
1913 | /** | ||
1914 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl <em>Integer Element</em>}' class. | ||
1915 | * <!-- begin-user-doc --> | ||
1916 | * <!-- end-user-doc --> | ||
1917 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl | ||
1918 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getIntegerElement() | ||
1919 | * @generated | ||
1920 | */ | ||
1921 | EClass INTEGER_ELEMENT = eINSTANCE.getIntegerElement(); | ||
1922 | |||
1923 | /** | ||
1924 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1925 | * <!-- begin-user-doc --> | ||
1926 | * <!-- end-user-doc --> | ||
1927 | * @generated | ||
1928 | */ | ||
1929 | EAttribute INTEGER_ELEMENT__VALUE = eINSTANCE.getIntegerElement_Value(); | ||
1930 | |||
1931 | /** | ||
1932 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl <em>Real Element</em>}' class. | ||
1933 | * <!-- begin-user-doc --> | ||
1934 | * <!-- end-user-doc --> | ||
1935 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl | ||
1936 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getRealElement() | ||
1937 | * @generated | ||
1938 | */ | ||
1939 | EClass REAL_ELEMENT = eINSTANCE.getRealElement(); | ||
1940 | |||
1941 | /** | ||
1942 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1943 | * <!-- begin-user-doc --> | ||
1944 | * <!-- end-user-doc --> | ||
1945 | * @generated | ||
1946 | */ | ||
1947 | EAttribute REAL_ELEMENT__VALUE = eINSTANCE.getRealElement_Value(); | ||
1948 | |||
1949 | /** | ||
1950 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl <em>String Element</em>}' class. | ||
1951 | * <!-- begin-user-doc --> | ||
1952 | * <!-- end-user-doc --> | ||
1953 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl | ||
1954 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getStringElement() | ||
1955 | * @generated | ||
1956 | */ | ||
1957 | EClass STRING_ELEMENT = eINSTANCE.getStringElement(); | ||
1958 | |||
1959 | /** | ||
1960 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1961 | * <!-- begin-user-doc --> | ||
1962 | * <!-- end-user-doc --> | ||
1963 | * @generated | ||
1964 | */ | ||
1965 | EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value(); | ||
1966 | |||
1235 | } | 1967 | } |
1236 | 1968 | ||
1237 | } //PartialinterpretationPackage | 1969 | } //PartialinterpretationPackage |
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 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java index 628d56eb..27b88b7a 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java | |||
@@ -2,6 +2,9 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; | 3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; | ||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; | 8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; |
6 | 9 | ||
7 | import org.eclipse.emf.common.notify.Adapter; | 10 | import org.eclipse.emf.common.notify.Adapter; |
@@ -108,6 +111,38 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl { | |||
108 | return createNaryRelationLinkElementAdapter(); | 111 | return createNaryRelationLinkElementAdapter(); |
109 | } | 112 | } |
110 | @Override | 113 | @Override |
114 | public Adapter casePrimitiveElement(PrimitiveElement object) { | ||
115 | return createPrimitiveElementAdapter(); | ||
116 | } | ||
117 | @Override | ||
118 | public Adapter caseBooleanElement(BooleanElement object) { | ||
119 | return createBooleanElementAdapter(); | ||
120 | } | ||
121 | @Override | ||
122 | public Adapter caseIntegerElement(IntegerElement object) { | ||
123 | return createIntegerElementAdapter(); | ||
124 | } | ||
125 | @Override | ||
126 | public Adapter caseRealElement(RealElement object) { | ||
127 | return createRealElementAdapter(); | ||
128 | } | ||
129 | @Override | ||
130 | public Adapter caseStringElement(StringElement object) { | ||
131 | return createStringElementAdapter(); | ||
132 | } | ||
133 | @Override | ||
134 | public Adapter caseTermDescription(TermDescription object) { | ||
135 | return createTermDescriptionAdapter(); | ||
136 | } | ||
137 | @Override | ||
138 | public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) { | ||
139 | return createSymbolicDeclarationAdapter(); | ||
140 | } | ||
141 | @Override | ||
142 | public Adapter caseDefinedElement(DefinedElement object) { | ||
143 | return createDefinedElementAdapter(); | ||
144 | } | ||
145 | @Override | ||
111 | public Adapter defaultCase(EObject object) { | 146 | public Adapter defaultCase(EObject object) { |
112 | return createEObjectAdapter(); | 147 | return createEObjectAdapter(); |
113 | } | 148 | } |
@@ -268,6 +303,118 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl { | |||
268 | } | 303 | } |
269 | 304 | ||
270 | /** | 305 | /** |
306 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'. | ||
307 | * <!-- begin-user-doc --> | ||
308 | * This default implementation returns null so that we can easily ignore cases; | ||
309 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
310 | * <!-- end-user-doc --> | ||
311 | * @return the new adapter. | ||
312 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement | ||
313 | * @generated | ||
314 | */ | ||
315 | public Adapter createPrimitiveElementAdapter() { | ||
316 | return null; | ||
317 | } | ||
318 | |||
319 | /** | ||
320 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement <em>Boolean Element</em>}'. | ||
321 | * <!-- begin-user-doc --> | ||
322 | * This default implementation returns null so that we can easily ignore cases; | ||
323 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
324 | * <!-- end-user-doc --> | ||
325 | * @return the new adapter. | ||
326 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement | ||
327 | * @generated | ||
328 | */ | ||
329 | public Adapter createBooleanElementAdapter() { | ||
330 | return null; | ||
331 | } | ||
332 | |||
333 | /** | ||
334 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement <em>Integer Element</em>}'. | ||
335 | * <!-- begin-user-doc --> | ||
336 | * This default implementation returns null so that we can easily ignore cases; | ||
337 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
338 | * <!-- end-user-doc --> | ||
339 | * @return the new adapter. | ||
340 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement | ||
341 | * @generated | ||
342 | */ | ||
343 | public Adapter createIntegerElementAdapter() { | ||
344 | return null; | ||
345 | } | ||
346 | |||
347 | /** | ||
348 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement <em>Real Element</em>}'. | ||
349 | * <!-- begin-user-doc --> | ||
350 | * This default implementation returns null so that we can easily ignore cases; | ||
351 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
352 | * <!-- end-user-doc --> | ||
353 | * @return the new adapter. | ||
354 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement | ||
355 | * @generated | ||
356 | */ | ||
357 | public Adapter createRealElementAdapter() { | ||
358 | return null; | ||
359 | } | ||
360 | |||
361 | /** | ||
362 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement <em>String Element</em>}'. | ||
363 | * <!-- begin-user-doc --> | ||
364 | * This default implementation returns null so that we can easily ignore cases; | ||
365 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
366 | * <!-- end-user-doc --> | ||
367 | * @return the new adapter. | ||
368 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement | ||
369 | * @generated | ||
370 | */ | ||
371 | public Adapter createStringElementAdapter() { | ||
372 | return null; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'. | ||
377 | * <!-- begin-user-doc --> | ||
378 | * This default implementation returns null so that we can easily ignore cases; | ||
379 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
380 | * <!-- end-user-doc --> | ||
381 | * @return the new adapter. | ||
382 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription | ||
383 | * @generated | ||
384 | */ | ||
385 | public Adapter createTermDescriptionAdapter() { | ||
386 | return null; | ||
387 | } | ||
388 | |||
389 | /** | ||
390 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration <em>Symbolic Declaration</em>}'. | ||
391 | * <!-- begin-user-doc --> | ||
392 | * This default implementation returns null so that we can easily ignore cases; | ||
393 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
394 | * <!-- end-user-doc --> | ||
395 | * @return the new adapter. | ||
396 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration | ||
397 | * @generated | ||
398 | */ | ||
399 | public Adapter createSymbolicDeclarationAdapter() { | ||
400 | return null; | ||
401 | } | ||
402 | |||
403 | /** | ||
404 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement <em>Defined Element</em>}'. | ||
405 | * <!-- begin-user-doc --> | ||
406 | * This default implementation returns null so that we can easily ignore cases; | ||
407 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
408 | * <!-- end-user-doc --> | ||
409 | * @return the new adapter. | ||
410 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement | ||
411 | * @generated | ||
412 | */ | ||
413 | public Adapter createDefinedElementAdapter() { | ||
414 | return null; | ||
415 | } | ||
416 | |||
417 | /** | ||
271 | * Creates a new adapter for the default case. | 418 | * Creates a new adapter for the default case. |
272 | * <!-- begin-user-doc --> | 419 | * <!-- begin-user-doc --> |
273 | * This default implementation returns null. | 420 | * This default implementation returns null. |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java index f99b2d76..364df3c8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java | |||
@@ -2,6 +2,9 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; | 3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; | ||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; | 8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; |
6 | 9 | ||
7 | import org.eclipse.emf.ecore.EObject; | 10 | import org.eclipse.emf.ecore.EObject; |
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> { | |||
129 | if (result == null) result = defaultCase(theEObject); | 132 | if (result == null) result = defaultCase(theEObject); |
130 | return result; | 133 | return result; |
131 | } | 134 | } |
135 | case PartialinterpretationPackage.PRIMITIVE_ELEMENT: { | ||
136 | PrimitiveElement primitiveElement = (PrimitiveElement)theEObject; | ||
137 | T result = casePrimitiveElement(primitiveElement); | ||
138 | if (result == null) result = caseDefinedElement(primitiveElement); | ||
139 | if (result == null) result = caseSymbolicDeclaration(primitiveElement); | ||
140 | if (result == null) result = caseTermDescription(primitiveElement); | ||
141 | if (result == null) result = defaultCase(theEObject); | ||
142 | return result; | ||
143 | } | ||
144 | case PartialinterpretationPackage.BOOLEAN_ELEMENT: { | ||
145 | BooleanElement booleanElement = (BooleanElement)theEObject; | ||
146 | T result = caseBooleanElement(booleanElement); | ||
147 | if (result == null) result = casePrimitiveElement(booleanElement); | ||
148 | if (result == null) result = caseDefinedElement(booleanElement); | ||
149 | if (result == null) result = caseSymbolicDeclaration(booleanElement); | ||
150 | if (result == null) result = caseTermDescription(booleanElement); | ||
151 | if (result == null) result = defaultCase(theEObject); | ||
152 | return result; | ||
153 | } | ||
154 | case PartialinterpretationPackage.INTEGER_ELEMENT: { | ||
155 | IntegerElement integerElement = (IntegerElement)theEObject; | ||
156 | T result = caseIntegerElement(integerElement); | ||
157 | if (result == null) result = casePrimitiveElement(integerElement); | ||
158 | if (result == null) result = caseDefinedElement(integerElement); | ||
159 | if (result == null) result = caseSymbolicDeclaration(integerElement); | ||
160 | if (result == null) result = caseTermDescription(integerElement); | ||
161 | if (result == null) result = defaultCase(theEObject); | ||
162 | return result; | ||
163 | } | ||
164 | case PartialinterpretationPackage.REAL_ELEMENT: { | ||
165 | RealElement realElement = (RealElement)theEObject; | ||
166 | T result = caseRealElement(realElement); | ||
167 | if (result == null) result = casePrimitiveElement(realElement); | ||
168 | if (result == null) result = caseDefinedElement(realElement); | ||
169 | if (result == null) result = caseSymbolicDeclaration(realElement); | ||
170 | if (result == null) result = caseTermDescription(realElement); | ||
171 | if (result == null) result = defaultCase(theEObject); | ||
172 | return result; | ||
173 | } | ||
174 | case PartialinterpretationPackage.STRING_ELEMENT: { | ||
175 | StringElement stringElement = (StringElement)theEObject; | ||
176 | T result = caseStringElement(stringElement); | ||
177 | if (result == null) result = casePrimitiveElement(stringElement); | ||
178 | if (result == null) result = caseDefinedElement(stringElement); | ||
179 | if (result == null) result = caseSymbolicDeclaration(stringElement); | ||
180 | if (result == null) result = caseTermDescription(stringElement); | ||
181 | if (result == null) result = defaultCase(theEObject); | ||
182 | return result; | ||
183 | } | ||
132 | default: return defaultCase(theEObject); | 184 | default: return defaultCase(theEObject); |
133 | } | 185 | } |
134 | } | 186 | } |
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> { | |||
284 | } | 336 | } |
285 | 337 | ||
286 | /** | 338 | /** |
339 | * Returns the result of interpreting the object as an instance of '<em>Primitive Element</em>'. | ||
340 | * <!-- begin-user-doc --> | ||
341 | * This implementation returns null; | ||
342 | * returning a non-null result will terminate the switch. | ||
343 | * <!-- end-user-doc --> | ||
344 | * @param object the target of the switch. | ||
345 | * @return the result of interpreting the object as an instance of '<em>Primitive Element</em>'. | ||
346 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
347 | * @generated | ||
348 | */ | ||
349 | public T casePrimitiveElement(PrimitiveElement object) { | ||
350 | return null; | ||
351 | } | ||
352 | |||
353 | /** | ||
354 | * Returns the result of interpreting the object as an instance of '<em>Boolean Element</em>'. | ||
355 | * <!-- begin-user-doc --> | ||
356 | * This implementation returns null; | ||
357 | * returning a non-null result will terminate the switch. | ||
358 | * <!-- end-user-doc --> | ||
359 | * @param object the target of the switch. | ||
360 | * @return the result of interpreting the object as an instance of '<em>Boolean Element</em>'. | ||
361 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
362 | * @generated | ||
363 | */ | ||
364 | public T caseBooleanElement(BooleanElement object) { | ||
365 | return null; | ||
366 | } | ||
367 | |||
368 | /** | ||
369 | * Returns the result of interpreting the object as an instance of '<em>Integer Element</em>'. | ||
370 | * <!-- begin-user-doc --> | ||
371 | * This implementation returns null; | ||
372 | * returning a non-null result will terminate the switch. | ||
373 | * <!-- end-user-doc --> | ||
374 | * @param object the target of the switch. | ||
375 | * @return the result of interpreting the object as an instance of '<em>Integer Element</em>'. | ||
376 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
377 | * @generated | ||
378 | */ | ||
379 | public T caseIntegerElement(IntegerElement object) { | ||
380 | return null; | ||
381 | } | ||
382 | |||
383 | /** | ||
384 | * Returns the result of interpreting the object as an instance of '<em>Real Element</em>'. | ||
385 | * <!-- begin-user-doc --> | ||
386 | * This implementation returns null; | ||
387 | * returning a non-null result will terminate the switch. | ||
388 | * <!-- end-user-doc --> | ||
389 | * @param object the target of the switch. | ||
390 | * @return the result of interpreting the object as an instance of '<em>Real Element</em>'. | ||
391 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
392 | * @generated | ||
393 | */ | ||
394 | public T caseRealElement(RealElement object) { | ||
395 | return null; | ||
396 | } | ||
397 | |||
398 | /** | ||
399 | * Returns the result of interpreting the object as an instance of '<em>String Element</em>'. | ||
400 | * <!-- begin-user-doc --> | ||
401 | * This implementation returns null; | ||
402 | * returning a non-null result will terminate the switch. | ||
403 | * <!-- end-user-doc --> | ||
404 | * @param object the target of the switch. | ||
405 | * @return the result of interpreting the object as an instance of '<em>String Element</em>'. | ||
406 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
407 | * @generated | ||
408 | */ | ||
409 | public T caseStringElement(StringElement object) { | ||
410 | return null; | ||
411 | } | ||
412 | |||
413 | /** | ||
414 | * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'. | ||
415 | * <!-- begin-user-doc --> | ||
416 | * This implementation returns null; | ||
417 | * returning a non-null result will terminate the switch. | ||
418 | * <!-- end-user-doc --> | ||
419 | * @param object the target of the switch. | ||
420 | * @return the result of interpreting the object as an instance of '<em>Term Description</em>'. | ||
421 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
422 | * @generated | ||
423 | */ | ||
424 | public T caseTermDescription(TermDescription object) { | ||
425 | return null; | ||
426 | } | ||
427 | |||
428 | /** | ||
429 | * Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'. | ||
430 | * <!-- begin-user-doc --> | ||
431 | * This implementation returns null; | ||
432 | * returning a non-null result will terminate the switch. | ||
433 | * <!-- end-user-doc --> | ||
434 | * @param object the target of the switch. | ||
435 | * @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'. | ||
436 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
437 | * @generated | ||
438 | */ | ||
439 | public T caseSymbolicDeclaration(SymbolicDeclaration object) { | ||
440 | return null; | ||
441 | } | ||
442 | |||
443 | /** | ||
444 | * Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'. | ||
445 | * <!-- begin-user-doc --> | ||
446 | * This implementation returns null; | ||
447 | * returning a non-null result will terminate the switch. | ||
448 | * <!-- end-user-doc --> | ||
449 | * @param object the target of the switch. | ||
450 | * @return the result of interpreting the object as an instance of '<em>Defined Element</em>'. | ||
451 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
452 | * @generated | ||
453 | */ | ||
454 | public T caseDefinedElement(DefinedElement object) { | ||
455 | return null; | ||
456 | } | ||
457 | |||
458 | /** | ||
287 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 459 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
288 | * <!-- begin-user-doc --> | 460 | * <!-- begin-user-doc --> |
289 | * This implementation returns null; | 461 | * This implementation returns null; |