diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | 2007 |
1 files changed, 2007 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java new file mode 100644 index 00000000..9e5d391b --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | |||
@@ -0,0 +1,2007 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | ||
5 | |||
6 | import org.eclipse.emf.ecore.EAttribute; | ||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | import org.eclipse.emf.ecore.EReference; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
12 | |||
13 | import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; | ||
14 | import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; | ||
16 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; | ||
17 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; | ||
18 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; | ||
19 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; | ||
20 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; | ||
21 | import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; | ||
22 | import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | ||
26 | import org.eclipse.viatra.solver.language.solverLanguage.DataObject; | ||
27 | import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | ||
28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | ||
30 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | ||
31 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
32 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.False; | ||
34 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | ||
35 | import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; | ||
36 | import org.eclipse.viatra.solver.language.solverLanguage.IntObject; | ||
37 | import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; | ||
38 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | ||
39 | import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; | ||
40 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; | ||
41 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
42 | import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; | ||
43 | import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | ||
44 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | ||
45 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | ||
46 | import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; | ||
47 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | ||
48 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | ||
49 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | ||
51 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | ||
54 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | ||
55 | import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure; | ||
56 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory; | ||
57 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
58 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | ||
59 | import org.eclipse.viatra.solver.language.solverLanguage.StringObject; | ||
60 | import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; | ||
61 | import org.eclipse.viatra.solver.language.solverLanguage.Symbol; | ||
62 | import org.eclipse.viatra.solver.language.solverLanguage.True; | ||
63 | import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; | ||
64 | import org.eclipse.viatra.solver.language.solverLanguage.Unknown; | ||
65 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; | ||
66 | import org.eclipse.viatra.solver.language.solverLanguage.Variable; | ||
67 | |||
68 | /** | ||
69 | * <!-- begin-user-doc --> | ||
70 | * An implementation of the model <b>Package</b>. | ||
71 | * <!-- end-user-doc --> | ||
72 | * @generated | ||
73 | */ | ||
74 | public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLanguagePackage | ||
75 | { | ||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | private EClass problemEClass = null; | ||
82 | |||
83 | /** | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @generated | ||
87 | */ | ||
88 | private EClass statementEClass = null; | ||
89 | |||
90 | /** | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @generated | ||
94 | */ | ||
95 | private EClass booleanValueEClass = null; | ||
96 | |||
97 | /** | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @generated | ||
101 | */ | ||
102 | private EClass truthValueEClass = null; | ||
103 | |||
104 | /** | ||
105 | * <!-- begin-user-doc --> | ||
106 | * <!-- end-user-doc --> | ||
107 | * @generated | ||
108 | */ | ||
109 | private EClass interpretationEClass = null; | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | private EClass basicInterpretationEClass = null; | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | private EClass symbolEClass = null; | ||
124 | |||
125 | /** | ||
126 | * <!-- begin-user-doc --> | ||
127 | * <!-- end-user-doc --> | ||
128 | * @generated | ||
129 | */ | ||
130 | private EClass modelSymbolEClass = null; | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | private EClass partialitySymbolEClass = null; | ||
138 | |||
139 | /** | ||
140 | * <!-- begin-user-doc --> | ||
141 | * <!-- end-user-doc --> | ||
142 | * @generated | ||
143 | */ | ||
144 | private EClass existSymbolEClass = null; | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | private EClass equalsSymbolEClass = null; | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | private EClass dataSymbolEClass = null; | ||
159 | |||
160 | /** | ||
161 | * <!-- begin-user-doc --> | ||
162 | * <!-- end-user-doc --> | ||
163 | * @generated | ||
164 | */ | ||
165 | private EClass booleanSymbolEClass = null; | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | private EClass integerSymbolEClass = null; | ||
173 | |||
174 | /** | ||
175 | * <!-- begin-user-doc --> | ||
176 | * <!-- end-user-doc --> | ||
177 | * @generated | ||
178 | */ | ||
179 | private EClass realSymbolEClass = null; | ||
180 | |||
181 | /** | ||
182 | * <!-- begin-user-doc --> | ||
183 | * <!-- end-user-doc --> | ||
184 | * @generated | ||
185 | */ | ||
186 | private EClass stringSymbolEClass = null; | ||
187 | |||
188 | /** | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | */ | ||
193 | private EClass complexObjectEClass = null; | ||
194 | |||
195 | /** | ||
196 | * <!-- begin-user-doc --> | ||
197 | * <!-- end-user-doc --> | ||
198 | * @generated | ||
199 | */ | ||
200 | private EClass objectEClass = null; | ||
201 | |||
202 | /** | ||
203 | * <!-- begin-user-doc --> | ||
204 | * <!-- end-user-doc --> | ||
205 | * @generated | ||
206 | */ | ||
207 | private EClass namedObjectEClass = null; | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | private EClass unnamedObjectEClass = null; | ||
215 | |||
216 | /** | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @generated | ||
220 | */ | ||
221 | private EClass dataObjectEClass = null; | ||
222 | |||
223 | /** | ||
224 | * <!-- begin-user-doc --> | ||
225 | * <!-- end-user-doc --> | ||
226 | * @generated | ||
227 | */ | ||
228 | private EClass booleanObjectEClass = null; | ||
229 | |||
230 | /** | ||
231 | * <!-- begin-user-doc --> | ||
232 | * <!-- end-user-doc --> | ||
233 | * @generated | ||
234 | */ | ||
235 | private EClass intObjectEClass = null; | ||
236 | |||
237 | /** | ||
238 | * <!-- begin-user-doc --> | ||
239 | * <!-- end-user-doc --> | ||
240 | * @generated | ||
241 | */ | ||
242 | private EClass realObjectEClass = null; | ||
243 | |||
244 | /** | ||
245 | * <!-- begin-user-doc --> | ||
246 | * <!-- end-user-doc --> | ||
247 | * @generated | ||
248 | */ | ||
249 | private EClass stringObjectEClass = null; | ||
250 | |||
251 | /** | ||
252 | * <!-- begin-user-doc --> | ||
253 | * <!-- end-user-doc --> | ||
254 | * @generated | ||
255 | */ | ||
256 | private EClass predicateEClass = null; | ||
257 | |||
258 | /** | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @generated | ||
262 | */ | ||
263 | private EClass predicateSymbolEClass = null; | ||
264 | |||
265 | /** | ||
266 | * <!-- begin-user-doc --> | ||
267 | * <!-- end-user-doc --> | ||
268 | * @generated | ||
269 | */ | ||
270 | private EClass errorPredicateEClass = null; | ||
271 | |||
272 | /** | ||
273 | * <!-- begin-user-doc --> | ||
274 | * <!-- end-user-doc --> | ||
275 | * @generated | ||
276 | */ | ||
277 | private EClass parameterEClass = null; | ||
278 | |||
279 | /** | ||
280 | * <!-- begin-user-doc --> | ||
281 | * <!-- end-user-doc --> | ||
282 | * @generated | ||
283 | */ | ||
284 | private EClass patternBodyEClass = null; | ||
285 | |||
286 | /** | ||
287 | * <!-- begin-user-doc --> | ||
288 | * <!-- end-user-doc --> | ||
289 | * @generated | ||
290 | */ | ||
291 | private EClass polarityEClass = null; | ||
292 | |||
293 | /** | ||
294 | * <!-- begin-user-doc --> | ||
295 | * <!-- end-user-doc --> | ||
296 | * @generated | ||
297 | */ | ||
298 | private EClass constraintEClass = null; | ||
299 | |||
300 | /** | ||
301 | * <!-- begin-user-doc --> | ||
302 | * <!-- end-user-doc --> | ||
303 | * @generated | ||
304 | */ | ||
305 | private EClass closureTypeEClass = null; | ||
306 | |||
307 | /** | ||
308 | * <!-- begin-user-doc --> | ||
309 | * <!-- end-user-doc --> | ||
310 | * @generated | ||
311 | */ | ||
312 | private EClass literalEClass = null; | ||
313 | |||
314 | /** | ||
315 | * <!-- begin-user-doc --> | ||
316 | * <!-- end-user-doc --> | ||
317 | * @generated | ||
318 | */ | ||
319 | private EClass variableEClass = null; | ||
320 | |||
321 | /** | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @generated | ||
325 | */ | ||
326 | private EClass allInstancesEClass = null; | ||
327 | |||
328 | /** | ||
329 | * <!-- begin-user-doc --> | ||
330 | * <!-- end-user-doc --> | ||
331 | * @generated | ||
332 | */ | ||
333 | private EClass allObjectsEClass = null; | ||
334 | |||
335 | /** | ||
336 | * <!-- begin-user-doc --> | ||
337 | * <!-- end-user-doc --> | ||
338 | * @generated | ||
339 | */ | ||
340 | private EClass defaultInterpretationEClass = null; | ||
341 | |||
342 | /** | ||
343 | * <!-- begin-user-doc --> | ||
344 | * <!-- end-user-doc --> | ||
345 | * @generated | ||
346 | */ | ||
347 | private EClass cdInterpretationEClass = null; | ||
348 | |||
349 | /** | ||
350 | * <!-- begin-user-doc --> | ||
351 | * <!-- end-user-doc --> | ||
352 | * @generated | ||
353 | */ | ||
354 | private EClass classInterpretationEClass = null; | ||
355 | |||
356 | /** | ||
357 | * <!-- begin-user-doc --> | ||
358 | * <!-- end-user-doc --> | ||
359 | * @generated | ||
360 | */ | ||
361 | private EClass enumInterpretationEClass = null; | ||
362 | |||
363 | /** | ||
364 | * <!-- begin-user-doc --> | ||
365 | * <!-- end-user-doc --> | ||
366 | * @generated | ||
367 | */ | ||
368 | private EClass fieldRelationInterpretationEClass = null; | ||
369 | |||
370 | /** | ||
371 | * <!-- begin-user-doc --> | ||
372 | * <!-- end-user-doc --> | ||
373 | * @generated | ||
374 | */ | ||
375 | private EClass globalRelationInterpretationEClass = null; | ||
376 | |||
377 | /** | ||
378 | * <!-- begin-user-doc --> | ||
379 | * <!-- end-user-doc --> | ||
380 | * @generated | ||
381 | */ | ||
382 | private EClass multiplicityDefinitionEClass = null; | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | private EClass booleanTrueEClass = null; | ||
390 | |||
391 | /** | ||
392 | * <!-- begin-user-doc --> | ||
393 | * <!-- end-user-doc --> | ||
394 | * @generated | ||
395 | */ | ||
396 | private EClass booleanFalseEClass = null; | ||
397 | |||
398 | /** | ||
399 | * <!-- begin-user-doc --> | ||
400 | * <!-- end-user-doc --> | ||
401 | * @generated | ||
402 | */ | ||
403 | private EClass trueEClass = null; | ||
404 | |||
405 | /** | ||
406 | * <!-- begin-user-doc --> | ||
407 | * <!-- end-user-doc --> | ||
408 | * @generated | ||
409 | */ | ||
410 | private EClass falseEClass = null; | ||
411 | |||
412 | /** | ||
413 | * <!-- begin-user-doc --> | ||
414 | * <!-- end-user-doc --> | ||
415 | * @generated | ||
416 | */ | ||
417 | private EClass unknownEClass = null; | ||
418 | |||
419 | /** | ||
420 | * <!-- begin-user-doc --> | ||
421 | * <!-- end-user-doc --> | ||
422 | * @generated | ||
423 | */ | ||
424 | private EClass errorEClass = null; | ||
425 | |||
426 | /** | ||
427 | * <!-- begin-user-doc --> | ||
428 | * <!-- end-user-doc --> | ||
429 | * @generated | ||
430 | */ | ||
431 | private EClass positiveEClass = null; | ||
432 | |||
433 | /** | ||
434 | * <!-- begin-user-doc --> | ||
435 | * <!-- end-user-doc --> | ||
436 | * @generated | ||
437 | */ | ||
438 | private EClass negativeEClass = null; | ||
439 | |||
440 | /** | ||
441 | * <!-- begin-user-doc --> | ||
442 | * <!-- end-user-doc --> | ||
443 | * @generated | ||
444 | */ | ||
445 | private EClass reflexiveClosureEClass = null; | ||
446 | |||
447 | /** | ||
448 | * <!-- begin-user-doc --> | ||
449 | * <!-- end-user-doc --> | ||
450 | * @generated | ||
451 | */ | ||
452 | private EClass irreflexiveClosureEClass = null; | ||
453 | |||
454 | /** | ||
455 | * Creates an instance of the model <b>Package</b>, registered with | ||
456 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
457 | * package URI value. | ||
458 | * <p>Note: the correct way to create the package is via the static | ||
459 | * factory method {@link #init init()}, which also performs | ||
460 | * initialization of the package, or returns the registered package, | ||
461 | * if one already exists. | ||
462 | * <!-- begin-user-doc --> | ||
463 | * <!-- end-user-doc --> | ||
464 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
465 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#eNS_URI | ||
466 | * @see #init() | ||
467 | * @generated | ||
468 | */ | ||
469 | private SolverLanguagePackageImpl() | ||
470 | { | ||
471 | super(eNS_URI, SolverLanguageFactory.eINSTANCE); | ||
472 | } | ||
473 | |||
474 | /** | ||
475 | * <!-- begin-user-doc --> | ||
476 | * <!-- end-user-doc --> | ||
477 | * @generated | ||
478 | */ | ||
479 | private static boolean isInited = false; | ||
480 | |||
481 | /** | ||
482 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
483 | * | ||
484 | * <p>This method is used to initialize {@link SolverLanguagePackage#eINSTANCE} when that field is accessed. | ||
485 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
486 | * <!-- begin-user-doc --> | ||
487 | * <!-- end-user-doc --> | ||
488 | * @see #eNS_URI | ||
489 | * @see #createPackageContents() | ||
490 | * @see #initializePackageContents() | ||
491 | * @generated | ||
492 | */ | ||
493 | public static SolverLanguagePackage init() | ||
494 | { | ||
495 | if (isInited) return (SolverLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(SolverLanguagePackage.eNS_URI); | ||
496 | |||
497 | // Obtain or create and register package | ||
498 | Object registeredSolverLanguagePackage = EPackage.Registry.INSTANCE.get(eNS_URI); | ||
499 | SolverLanguagePackageImpl theSolverLanguagePackage = registeredSolverLanguagePackage instanceof SolverLanguagePackageImpl ? (SolverLanguagePackageImpl)registeredSolverLanguagePackage : new SolverLanguagePackageImpl(); | ||
500 | |||
501 | isInited = true; | ||
502 | |||
503 | // Create package meta-data objects | ||
504 | theSolverLanguagePackage.createPackageContents(); | ||
505 | |||
506 | // Initialize created meta-data | ||
507 | theSolverLanguagePackage.initializePackageContents(); | ||
508 | |||
509 | // Mark meta-data to indicate it can't be changed | ||
510 | theSolverLanguagePackage.freeze(); | ||
511 | |||
512 | // Update the registry and return the package | ||
513 | EPackage.Registry.INSTANCE.put(SolverLanguagePackage.eNS_URI, theSolverLanguagePackage); | ||
514 | return theSolverLanguagePackage; | ||
515 | } | ||
516 | |||
517 | /** | ||
518 | * <!-- begin-user-doc --> | ||
519 | * <!-- end-user-doc --> | ||
520 | * @generated | ||
521 | */ | ||
522 | @Override | ||
523 | public EClass getProblem() | ||
524 | { | ||
525 | return problemEClass; | ||
526 | } | ||
527 | |||
528 | /** | ||
529 | * <!-- begin-user-doc --> | ||
530 | * <!-- end-user-doc --> | ||
531 | * @generated | ||
532 | */ | ||
533 | @Override | ||
534 | public EReference getProblem_Statements() | ||
535 | { | ||
536 | return (EReference)problemEClass.getEStructuralFeatures().get(0); | ||
537 | } | ||
538 | |||
539 | /** | ||
540 | * <!-- begin-user-doc --> | ||
541 | * <!-- end-user-doc --> | ||
542 | * @generated | ||
543 | */ | ||
544 | @Override | ||
545 | public EClass getStatement() | ||
546 | { | ||
547 | return statementEClass; | ||
548 | } | ||
549 | |||
550 | /** | ||
551 | * <!-- begin-user-doc --> | ||
552 | * <!-- end-user-doc --> | ||
553 | * @generated | ||
554 | */ | ||
555 | @Override | ||
556 | public EClass getBooleanValue() | ||
557 | { | ||
558 | return booleanValueEClass; | ||
559 | } | ||
560 | |||
561 | /** | ||
562 | * <!-- begin-user-doc --> | ||
563 | * <!-- end-user-doc --> | ||
564 | * @generated | ||
565 | */ | ||
566 | @Override | ||
567 | public EClass getTruthValue() | ||
568 | { | ||
569 | return truthValueEClass; | ||
570 | } | ||
571 | |||
572 | /** | ||
573 | * <!-- begin-user-doc --> | ||
574 | * <!-- end-user-doc --> | ||
575 | * @generated | ||
576 | */ | ||
577 | @Override | ||
578 | public EClass getInterpretation() | ||
579 | { | ||
580 | return interpretationEClass; | ||
581 | } | ||
582 | |||
583 | /** | ||
584 | * <!-- begin-user-doc --> | ||
585 | * <!-- end-user-doc --> | ||
586 | * @generated | ||
587 | */ | ||
588 | @Override | ||
589 | public EClass getBasicInterpretation() | ||
590 | { | ||
591 | return basicInterpretationEClass; | ||
592 | } | ||
593 | |||
594 | /** | ||
595 | * <!-- begin-user-doc --> | ||
596 | * <!-- end-user-doc --> | ||
597 | * @generated | ||
598 | */ | ||
599 | @Override | ||
600 | public EReference getBasicInterpretation_Symbol() | ||
601 | { | ||
602 | return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(0); | ||
603 | } | ||
604 | |||
605 | /** | ||
606 | * <!-- begin-user-doc --> | ||
607 | * <!-- end-user-doc --> | ||
608 | * @generated | ||
609 | */ | ||
610 | @Override | ||
611 | public EReference getBasicInterpretation_Objects() | ||
612 | { | ||
613 | return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(1); | ||
614 | } | ||
615 | |||
616 | /** | ||
617 | * <!-- begin-user-doc --> | ||
618 | * <!-- end-user-doc --> | ||
619 | * @generated | ||
620 | */ | ||
621 | @Override | ||
622 | public EReference getBasicInterpretation_Value() | ||
623 | { | ||
624 | return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(2); | ||
625 | } | ||
626 | |||
627 | /** | ||
628 | * <!-- begin-user-doc --> | ||
629 | * <!-- end-user-doc --> | ||
630 | * @generated | ||
631 | */ | ||
632 | @Override | ||
633 | public EClass getSymbol() | ||
634 | { | ||
635 | return symbolEClass; | ||
636 | } | ||
637 | |||
638 | /** | ||
639 | * <!-- begin-user-doc --> | ||
640 | * <!-- end-user-doc --> | ||
641 | * @generated | ||
642 | */ | ||
643 | @Override | ||
644 | public EClass getModelSymbol() | ||
645 | { | ||
646 | return modelSymbolEClass; | ||
647 | } | ||
648 | |||
649 | /** | ||
650 | * <!-- begin-user-doc --> | ||
651 | * <!-- end-user-doc --> | ||
652 | * @generated | ||
653 | */ | ||
654 | @Override | ||
655 | public EAttribute getModelSymbol_Name() | ||
656 | { | ||
657 | return (EAttribute)modelSymbolEClass.getEStructuralFeatures().get(0); | ||
658 | } | ||
659 | |||
660 | /** | ||
661 | * <!-- begin-user-doc --> | ||
662 | * <!-- end-user-doc --> | ||
663 | * @generated | ||
664 | */ | ||
665 | @Override | ||
666 | public EClass getPartialitySymbol() | ||
667 | { | ||
668 | return partialitySymbolEClass; | ||
669 | } | ||
670 | |||
671 | /** | ||
672 | * <!-- begin-user-doc --> | ||
673 | * <!-- end-user-doc --> | ||
674 | * @generated | ||
675 | */ | ||
676 | @Override | ||
677 | public EClass getExistSymbol() | ||
678 | { | ||
679 | return existSymbolEClass; | ||
680 | } | ||
681 | |||
682 | /** | ||
683 | * <!-- begin-user-doc --> | ||
684 | * <!-- end-user-doc --> | ||
685 | * @generated | ||
686 | */ | ||
687 | @Override | ||
688 | public EClass getEqualsSymbol() | ||
689 | { | ||
690 | return equalsSymbolEClass; | ||
691 | } | ||
692 | |||
693 | /** | ||
694 | * <!-- begin-user-doc --> | ||
695 | * <!-- end-user-doc --> | ||
696 | * @generated | ||
697 | */ | ||
698 | @Override | ||
699 | public EClass getDataSymbol() | ||
700 | { | ||
701 | return dataSymbolEClass; | ||
702 | } | ||
703 | |||
704 | /** | ||
705 | * <!-- begin-user-doc --> | ||
706 | * <!-- end-user-doc --> | ||
707 | * @generated | ||
708 | */ | ||
709 | @Override | ||
710 | public EClass getBooleanSymbol() | ||
711 | { | ||
712 | return booleanSymbolEClass; | ||
713 | } | ||
714 | |||
715 | /** | ||
716 | * <!-- begin-user-doc --> | ||
717 | * <!-- end-user-doc --> | ||
718 | * @generated | ||
719 | */ | ||
720 | @Override | ||
721 | public EClass getIntegerSymbol() | ||
722 | { | ||
723 | return integerSymbolEClass; | ||
724 | } | ||
725 | |||
726 | /** | ||
727 | * <!-- begin-user-doc --> | ||
728 | * <!-- end-user-doc --> | ||
729 | * @generated | ||
730 | */ | ||
731 | @Override | ||
732 | public EClass getRealSymbol() | ||
733 | { | ||
734 | return realSymbolEClass; | ||
735 | } | ||
736 | |||
737 | /** | ||
738 | * <!-- begin-user-doc --> | ||
739 | * <!-- end-user-doc --> | ||
740 | * @generated | ||
741 | */ | ||
742 | @Override | ||
743 | public EClass getStringSymbol() | ||
744 | { | ||
745 | return stringSymbolEClass; | ||
746 | } | ||
747 | |||
748 | /** | ||
749 | * <!-- begin-user-doc --> | ||
750 | * <!-- end-user-doc --> | ||
751 | * @generated | ||
752 | */ | ||
753 | @Override | ||
754 | public EClass getComplexObject() | ||
755 | { | ||
756 | return complexObjectEClass; | ||
757 | } | ||
758 | |||
759 | /** | ||
760 | * <!-- begin-user-doc --> | ||
761 | * <!-- end-user-doc --> | ||
762 | * @generated | ||
763 | */ | ||
764 | @Override | ||
765 | public EClass getObject() | ||
766 | { | ||
767 | return objectEClass; | ||
768 | } | ||
769 | |||
770 | /** | ||
771 | * <!-- begin-user-doc --> | ||
772 | * <!-- end-user-doc --> | ||
773 | * @generated | ||
774 | */ | ||
775 | @Override | ||
776 | public EClass getNamedObject() | ||
777 | { | ||
778 | return namedObjectEClass; | ||
779 | } | ||
780 | |||
781 | /** | ||
782 | * <!-- begin-user-doc --> | ||
783 | * <!-- end-user-doc --> | ||
784 | * @generated | ||
785 | */ | ||
786 | @Override | ||
787 | public EAttribute getNamedObject_Name() | ||
788 | { | ||
789 | return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(0); | ||
790 | } | ||
791 | |||
792 | /** | ||
793 | * <!-- begin-user-doc --> | ||
794 | * <!-- end-user-doc --> | ||
795 | * @generated | ||
796 | */ | ||
797 | @Override | ||
798 | public EClass getUnnamedObject() | ||
799 | { | ||
800 | return unnamedObjectEClass; | ||
801 | } | ||
802 | |||
803 | /** | ||
804 | * <!-- begin-user-doc --> | ||
805 | * <!-- end-user-doc --> | ||
806 | * @generated | ||
807 | */ | ||
808 | @Override | ||
809 | public EAttribute getUnnamedObject_Name() | ||
810 | { | ||
811 | return (EAttribute)unnamedObjectEClass.getEStructuralFeatures().get(0); | ||
812 | } | ||
813 | |||
814 | /** | ||
815 | * <!-- begin-user-doc --> | ||
816 | * <!-- end-user-doc --> | ||
817 | * @generated | ||
818 | */ | ||
819 | @Override | ||
820 | public EClass getDataObject() | ||
821 | { | ||
822 | return dataObjectEClass; | ||
823 | } | ||
824 | |||
825 | /** | ||
826 | * <!-- begin-user-doc --> | ||
827 | * <!-- end-user-doc --> | ||
828 | * @generated | ||
829 | */ | ||
830 | @Override | ||
831 | public EClass getBooleanObject() | ||
832 | { | ||
833 | return booleanObjectEClass; | ||
834 | } | ||
835 | |||
836 | /** | ||
837 | * <!-- begin-user-doc --> | ||
838 | * <!-- end-user-doc --> | ||
839 | * @generated | ||
840 | */ | ||
841 | @Override | ||
842 | public EReference getBooleanObject_Value() | ||
843 | { | ||
844 | return (EReference)booleanObjectEClass.getEStructuralFeatures().get(0); | ||
845 | } | ||
846 | |||
847 | /** | ||
848 | * <!-- begin-user-doc --> | ||
849 | * <!-- end-user-doc --> | ||
850 | * @generated | ||
851 | */ | ||
852 | @Override | ||
853 | public EClass getIntObject() | ||
854 | { | ||
855 | return intObjectEClass; | ||
856 | } | ||
857 | |||
858 | /** | ||
859 | * <!-- begin-user-doc --> | ||
860 | * <!-- end-user-doc --> | ||
861 | * @generated | ||
862 | */ | ||
863 | @Override | ||
864 | public EAttribute getIntObject_Value() | ||
865 | { | ||
866 | return (EAttribute)intObjectEClass.getEStructuralFeatures().get(0); | ||
867 | } | ||
868 | |||
869 | /** | ||
870 | * <!-- begin-user-doc --> | ||
871 | * <!-- end-user-doc --> | ||
872 | * @generated | ||
873 | */ | ||
874 | @Override | ||
875 | public EClass getRealObject() | ||
876 | { | ||
877 | return realObjectEClass; | ||
878 | } | ||
879 | |||
880 | /** | ||
881 | * <!-- begin-user-doc --> | ||
882 | * <!-- end-user-doc --> | ||
883 | * @generated | ||
884 | */ | ||
885 | @Override | ||
886 | public EAttribute getRealObject_Value() | ||
887 | { | ||
888 | return (EAttribute)realObjectEClass.getEStructuralFeatures().get(0); | ||
889 | } | ||
890 | |||
891 | /** | ||
892 | * <!-- begin-user-doc --> | ||
893 | * <!-- end-user-doc --> | ||
894 | * @generated | ||
895 | */ | ||
896 | @Override | ||
897 | public EClass getStringObject() | ||
898 | { | ||
899 | return stringObjectEClass; | ||
900 | } | ||
901 | |||
902 | /** | ||
903 | * <!-- begin-user-doc --> | ||
904 | * <!-- end-user-doc --> | ||
905 | * @generated | ||
906 | */ | ||
907 | @Override | ||
908 | public EAttribute getStringObject_Value() | ||
909 | { | ||
910 | return (EAttribute)stringObjectEClass.getEStructuralFeatures().get(0); | ||
911 | } | ||
912 | |||
913 | /** | ||
914 | * <!-- begin-user-doc --> | ||
915 | * <!-- end-user-doc --> | ||
916 | * @generated | ||
917 | */ | ||
918 | @Override | ||
919 | public EClass getPredicate() | ||
920 | { | ||
921 | return predicateEClass; | ||
922 | } | ||
923 | |||
924 | /** | ||
925 | * <!-- begin-user-doc --> | ||
926 | * <!-- end-user-doc --> | ||
927 | * @generated | ||
928 | */ | ||
929 | @Override | ||
930 | public EReference getPredicate_Parameters() | ||
931 | { | ||
932 | return (EReference)predicateEClass.getEStructuralFeatures().get(0); | ||
933 | } | ||
934 | |||
935 | /** | ||
936 | * <!-- begin-user-doc --> | ||
937 | * <!-- end-user-doc --> | ||
938 | * @generated | ||
939 | */ | ||
940 | @Override | ||
941 | public EReference getPredicate_Bodies() | ||
942 | { | ||
943 | return (EReference)predicateEClass.getEStructuralFeatures().get(1); | ||
944 | } | ||
945 | |||
946 | /** | ||
947 | * <!-- begin-user-doc --> | ||
948 | * <!-- end-user-doc --> | ||
949 | * @generated | ||
950 | */ | ||
951 | @Override | ||
952 | public EClass getPredicateSymbol() | ||
953 | { | ||
954 | return predicateSymbolEClass; | ||
955 | } | ||
956 | |||
957 | /** | ||
958 | * <!-- begin-user-doc --> | ||
959 | * <!-- end-user-doc --> | ||
960 | * @generated | ||
961 | */ | ||
962 | @Override | ||
963 | public EReference getPredicateSymbol_Symbol() | ||
964 | { | ||
965 | return (EReference)predicateSymbolEClass.getEStructuralFeatures().get(0); | ||
966 | } | ||
967 | |||
968 | /** | ||
969 | * <!-- begin-user-doc --> | ||
970 | * <!-- end-user-doc --> | ||
971 | * @generated | ||
972 | */ | ||
973 | @Override | ||
974 | public EClass getErrorPredicate() | ||
975 | { | ||
976 | return errorPredicateEClass; | ||
977 | } | ||
978 | |||
979 | /** | ||
980 | * <!-- begin-user-doc --> | ||
981 | * <!-- end-user-doc --> | ||
982 | * @generated | ||
983 | */ | ||
984 | @Override | ||
985 | public EAttribute getErrorPredicate_Name() | ||
986 | { | ||
987 | return (EAttribute)errorPredicateEClass.getEStructuralFeatures().get(0); | ||
988 | } | ||
989 | |||
990 | /** | ||
991 | * <!-- begin-user-doc --> | ||
992 | * <!-- end-user-doc --> | ||
993 | * @generated | ||
994 | */ | ||
995 | @Override | ||
996 | public EClass getParameter() | ||
997 | { | ||
998 | return parameterEClass; | ||
999 | } | ||
1000 | |||
1001 | /** | ||
1002 | * <!-- begin-user-doc --> | ||
1003 | * <!-- end-user-doc --> | ||
1004 | * @generated | ||
1005 | */ | ||
1006 | @Override | ||
1007 | public EReference getParameter_Variable() | ||
1008 | { | ||
1009 | return (EReference)parameterEClass.getEStructuralFeatures().get(0); | ||
1010 | } | ||
1011 | |||
1012 | /** | ||
1013 | * <!-- begin-user-doc --> | ||
1014 | * <!-- end-user-doc --> | ||
1015 | * @generated | ||
1016 | */ | ||
1017 | @Override | ||
1018 | public EReference getParameter_Type() | ||
1019 | { | ||
1020 | return (EReference)parameterEClass.getEStructuralFeatures().get(1); | ||
1021 | } | ||
1022 | |||
1023 | /** | ||
1024 | * <!-- begin-user-doc --> | ||
1025 | * <!-- end-user-doc --> | ||
1026 | * @generated | ||
1027 | */ | ||
1028 | @Override | ||
1029 | public EClass getPatternBody() | ||
1030 | { | ||
1031 | return patternBodyEClass; | ||
1032 | } | ||
1033 | |||
1034 | /** | ||
1035 | * <!-- begin-user-doc --> | ||
1036 | * <!-- end-user-doc --> | ||
1037 | * @generated | ||
1038 | */ | ||
1039 | @Override | ||
1040 | public EReference getPatternBody_Constraints() | ||
1041 | { | ||
1042 | return (EReference)patternBodyEClass.getEStructuralFeatures().get(0); | ||
1043 | } | ||
1044 | |||
1045 | /** | ||
1046 | * <!-- begin-user-doc --> | ||
1047 | * <!-- end-user-doc --> | ||
1048 | * @generated | ||
1049 | */ | ||
1050 | @Override | ||
1051 | public EClass getPolarity() | ||
1052 | { | ||
1053 | return polarityEClass; | ||
1054 | } | ||
1055 | |||
1056 | /** | ||
1057 | * <!-- begin-user-doc --> | ||
1058 | * <!-- end-user-doc --> | ||
1059 | * @generated | ||
1060 | */ | ||
1061 | @Override | ||
1062 | public EClass getConstraint() | ||
1063 | { | ||
1064 | return constraintEClass; | ||
1065 | } | ||
1066 | |||
1067 | /** | ||
1068 | * <!-- begin-user-doc --> | ||
1069 | * <!-- end-user-doc --> | ||
1070 | * @generated | ||
1071 | */ | ||
1072 | @Override | ||
1073 | public EReference getConstraint_Polarity() | ||
1074 | { | ||
1075 | return (EReference)constraintEClass.getEStructuralFeatures().get(0); | ||
1076 | } | ||
1077 | |||
1078 | /** | ||
1079 | * <!-- begin-user-doc --> | ||
1080 | * <!-- end-user-doc --> | ||
1081 | * @generated | ||
1082 | */ | ||
1083 | @Override | ||
1084 | public EReference getConstraint_Symbol() | ||
1085 | { | ||
1086 | return (EReference)constraintEClass.getEStructuralFeatures().get(1); | ||
1087 | } | ||
1088 | |||
1089 | /** | ||
1090 | * <!-- begin-user-doc --> | ||
1091 | * <!-- end-user-doc --> | ||
1092 | * @generated | ||
1093 | */ | ||
1094 | @Override | ||
1095 | public EReference getConstraint_Params() | ||
1096 | { | ||
1097 | return (EReference)constraintEClass.getEStructuralFeatures().get(2); | ||
1098 | } | ||
1099 | |||
1100 | /** | ||
1101 | * <!-- begin-user-doc --> | ||
1102 | * <!-- end-user-doc --> | ||
1103 | * @generated | ||
1104 | */ | ||
1105 | @Override | ||
1106 | public EReference getConstraint_ClosureType() | ||
1107 | { | ||
1108 | return (EReference)constraintEClass.getEStructuralFeatures().get(3); | ||
1109 | } | ||
1110 | |||
1111 | /** | ||
1112 | * <!-- begin-user-doc --> | ||
1113 | * <!-- end-user-doc --> | ||
1114 | * @generated | ||
1115 | */ | ||
1116 | @Override | ||
1117 | public EClass getClosureType() | ||
1118 | { | ||
1119 | return closureTypeEClass; | ||
1120 | } | ||
1121 | |||
1122 | /** | ||
1123 | * <!-- begin-user-doc --> | ||
1124 | * <!-- end-user-doc --> | ||
1125 | * @generated | ||
1126 | */ | ||
1127 | @Override | ||
1128 | public EClass getLiteral() | ||
1129 | { | ||
1130 | return literalEClass; | ||
1131 | } | ||
1132 | |||
1133 | /** | ||
1134 | * <!-- begin-user-doc --> | ||
1135 | * <!-- end-user-doc --> | ||
1136 | * @generated | ||
1137 | */ | ||
1138 | @Override | ||
1139 | public EClass getVariable() | ||
1140 | { | ||
1141 | return variableEClass; | ||
1142 | } | ||
1143 | |||
1144 | /** | ||
1145 | * <!-- begin-user-doc --> | ||
1146 | * <!-- end-user-doc --> | ||
1147 | * @generated | ||
1148 | */ | ||
1149 | @Override | ||
1150 | public EAttribute getVariable_Name() | ||
1151 | { | ||
1152 | return (EAttribute)variableEClass.getEStructuralFeatures().get(0); | ||
1153 | } | ||
1154 | |||
1155 | /** | ||
1156 | * <!-- begin-user-doc --> | ||
1157 | * <!-- end-user-doc --> | ||
1158 | * @generated | ||
1159 | */ | ||
1160 | @Override | ||
1161 | public EClass getAllInstances() | ||
1162 | { | ||
1163 | return allInstancesEClass; | ||
1164 | } | ||
1165 | |||
1166 | /** | ||
1167 | * <!-- begin-user-doc --> | ||
1168 | * <!-- end-user-doc --> | ||
1169 | * @generated | ||
1170 | */ | ||
1171 | @Override | ||
1172 | public EReference getAllInstances_Symbol() | ||
1173 | { | ||
1174 | return (EReference)allInstancesEClass.getEStructuralFeatures().get(0); | ||
1175 | } | ||
1176 | |||
1177 | /** | ||
1178 | * <!-- begin-user-doc --> | ||
1179 | * <!-- end-user-doc --> | ||
1180 | * @generated | ||
1181 | */ | ||
1182 | @Override | ||
1183 | public EClass getAllObjects() | ||
1184 | { | ||
1185 | return allObjectsEClass; | ||
1186 | } | ||
1187 | |||
1188 | /** | ||
1189 | * <!-- begin-user-doc --> | ||
1190 | * <!-- end-user-doc --> | ||
1191 | * @generated | ||
1192 | */ | ||
1193 | @Override | ||
1194 | public EClass getDefaultInterpretation() | ||
1195 | { | ||
1196 | return defaultInterpretationEClass; | ||
1197 | } | ||
1198 | |||
1199 | /** | ||
1200 | * <!-- begin-user-doc --> | ||
1201 | * <!-- end-user-doc --> | ||
1202 | * @generated | ||
1203 | */ | ||
1204 | @Override | ||
1205 | public EReference getDefaultInterpretation_Interpretation() | ||
1206 | { | ||
1207 | return (EReference)defaultInterpretationEClass.getEStructuralFeatures().get(0); | ||
1208 | } | ||
1209 | |||
1210 | /** | ||
1211 | * <!-- begin-user-doc --> | ||
1212 | * <!-- end-user-doc --> | ||
1213 | * @generated | ||
1214 | */ | ||
1215 | @Override | ||
1216 | public EClass getCDInterpretation() | ||
1217 | { | ||
1218 | return cdInterpretationEClass; | ||
1219 | } | ||
1220 | |||
1221 | /** | ||
1222 | * <!-- begin-user-doc --> | ||
1223 | * <!-- end-user-doc --> | ||
1224 | * @generated | ||
1225 | */ | ||
1226 | @Override | ||
1227 | public EClass getClassInterpretation() | ||
1228 | { | ||
1229 | return classInterpretationEClass; | ||
1230 | } | ||
1231 | |||
1232 | /** | ||
1233 | * <!-- begin-user-doc --> | ||
1234 | * <!-- end-user-doc --> | ||
1235 | * @generated | ||
1236 | */ | ||
1237 | @Override | ||
1238 | public EAttribute getClassInterpretation_Abstract() | ||
1239 | { | ||
1240 | return (EAttribute)classInterpretationEClass.getEStructuralFeatures().get(0); | ||
1241 | } | ||
1242 | |||
1243 | /** | ||
1244 | * <!-- begin-user-doc --> | ||
1245 | * <!-- end-user-doc --> | ||
1246 | * @generated | ||
1247 | */ | ||
1248 | @Override | ||
1249 | public EReference getClassInterpretation_Symbol() | ||
1250 | { | ||
1251 | return (EReference)classInterpretationEClass.getEStructuralFeatures().get(1); | ||
1252 | } | ||
1253 | |||
1254 | /** | ||
1255 | * <!-- begin-user-doc --> | ||
1256 | * <!-- end-user-doc --> | ||
1257 | * @generated | ||
1258 | */ | ||
1259 | @Override | ||
1260 | public EReference getClassInterpretation_Supertypes() | ||
1261 | { | ||
1262 | return (EReference)classInterpretationEClass.getEStructuralFeatures().get(2); | ||
1263 | } | ||
1264 | |||
1265 | /** | ||
1266 | * <!-- begin-user-doc --> | ||
1267 | * <!-- end-user-doc --> | ||
1268 | * @generated | ||
1269 | */ | ||
1270 | @Override | ||
1271 | public EReference getClassInterpretation_Fielt() | ||
1272 | { | ||
1273 | return (EReference)classInterpretationEClass.getEStructuralFeatures().get(3); | ||
1274 | } | ||
1275 | |||
1276 | /** | ||
1277 | * <!-- begin-user-doc --> | ||
1278 | * <!-- end-user-doc --> | ||
1279 | * @generated | ||
1280 | */ | ||
1281 | @Override | ||
1282 | public EClass getEnumInterpretation() | ||
1283 | { | ||
1284 | return enumInterpretationEClass; | ||
1285 | } | ||
1286 | |||
1287 | /** | ||
1288 | * <!-- begin-user-doc --> | ||
1289 | * <!-- end-user-doc --> | ||
1290 | * @generated | ||
1291 | */ | ||
1292 | @Override | ||
1293 | public EReference getEnumInterpretation_Symbol() | ||
1294 | { | ||
1295 | return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(0); | ||
1296 | } | ||
1297 | |||
1298 | /** | ||
1299 | * <!-- begin-user-doc --> | ||
1300 | * <!-- end-user-doc --> | ||
1301 | * @generated | ||
1302 | */ | ||
1303 | @Override | ||
1304 | public EReference getEnumInterpretation_Objects() | ||
1305 | { | ||
1306 | return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(1); | ||
1307 | } | ||
1308 | |||
1309 | /** | ||
1310 | * <!-- begin-user-doc --> | ||
1311 | * <!-- end-user-doc --> | ||
1312 | * @generated | ||
1313 | */ | ||
1314 | @Override | ||
1315 | public EClass getFieldRelationInterpretation() | ||
1316 | { | ||
1317 | return fieldRelationInterpretationEClass; | ||
1318 | } | ||
1319 | |||
1320 | /** | ||
1321 | * <!-- begin-user-doc --> | ||
1322 | * <!-- end-user-doc --> | ||
1323 | * @generated | ||
1324 | */ | ||
1325 | @Override | ||
1326 | public EAttribute getFieldRelationInterpretation_Containment() | ||
1327 | { | ||
1328 | return (EAttribute)fieldRelationInterpretationEClass.getEStructuralFeatures().get(0); | ||
1329 | } | ||
1330 | |||
1331 | /** | ||
1332 | * <!-- begin-user-doc --> | ||
1333 | * <!-- end-user-doc --> | ||
1334 | * @generated | ||
1335 | */ | ||
1336 | @Override | ||
1337 | public EReference getFieldRelationInterpretation_Symbol() | ||
1338 | { | ||
1339 | return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(1); | ||
1340 | } | ||
1341 | |||
1342 | /** | ||
1343 | * <!-- begin-user-doc --> | ||
1344 | * <!-- end-user-doc --> | ||
1345 | * @generated | ||
1346 | */ | ||
1347 | @Override | ||
1348 | public EReference getFieldRelationInterpretation_Multiplicity() | ||
1349 | { | ||
1350 | return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(2); | ||
1351 | } | ||
1352 | |||
1353 | /** | ||
1354 | * <!-- begin-user-doc --> | ||
1355 | * <!-- end-user-doc --> | ||
1356 | * @generated | ||
1357 | */ | ||
1358 | @Override | ||
1359 | public EReference getFieldRelationInterpretation_Target() | ||
1360 | { | ||
1361 | return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(3); | ||
1362 | } | ||
1363 | |||
1364 | /** | ||
1365 | * <!-- begin-user-doc --> | ||
1366 | * <!-- end-user-doc --> | ||
1367 | * @generated | ||
1368 | */ | ||
1369 | @Override | ||
1370 | public EClass getGlobalRelationInterpretation() | ||
1371 | { | ||
1372 | return globalRelationInterpretationEClass; | ||
1373 | } | ||
1374 | |||
1375 | /** | ||
1376 | * <!-- begin-user-doc --> | ||
1377 | * <!-- end-user-doc --> | ||
1378 | * @generated | ||
1379 | */ | ||
1380 | @Override | ||
1381 | public EAttribute getGlobalRelationInterpretation_Containment() | ||
1382 | { | ||
1383 | return (EAttribute)globalRelationInterpretationEClass.getEStructuralFeatures().get(0); | ||
1384 | } | ||
1385 | |||
1386 | /** | ||
1387 | * <!-- begin-user-doc --> | ||
1388 | * <!-- end-user-doc --> | ||
1389 | * @generated | ||
1390 | */ | ||
1391 | @Override | ||
1392 | public EReference getGlobalRelationInterpretation_Symbol() | ||
1393 | { | ||
1394 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(1); | ||
1395 | } | ||
1396 | |||
1397 | /** | ||
1398 | * <!-- begin-user-doc --> | ||
1399 | * <!-- end-user-doc --> | ||
1400 | * @generated | ||
1401 | */ | ||
1402 | @Override | ||
1403 | public EReference getGlobalRelationInterpretation_SourceMultiplicity() | ||
1404 | { | ||
1405 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(2); | ||
1406 | } | ||
1407 | |||
1408 | /** | ||
1409 | * <!-- begin-user-doc --> | ||
1410 | * <!-- end-user-doc --> | ||
1411 | * @generated | ||
1412 | */ | ||
1413 | @Override | ||
1414 | public EReference getGlobalRelationInterpretation_Source() | ||
1415 | { | ||
1416 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(3); | ||
1417 | } | ||
1418 | |||
1419 | /** | ||
1420 | * <!-- begin-user-doc --> | ||
1421 | * <!-- end-user-doc --> | ||
1422 | * @generated | ||
1423 | */ | ||
1424 | @Override | ||
1425 | public EReference getGlobalRelationInterpretation_TargetMultiplicity() | ||
1426 | { | ||
1427 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(4); | ||
1428 | } | ||
1429 | |||
1430 | /** | ||
1431 | * <!-- begin-user-doc --> | ||
1432 | * <!-- end-user-doc --> | ||
1433 | * @generated | ||
1434 | */ | ||
1435 | @Override | ||
1436 | public EReference getGlobalRelationInterpretation_Target() | ||
1437 | { | ||
1438 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(5); | ||
1439 | } | ||
1440 | |||
1441 | /** | ||
1442 | * <!-- begin-user-doc --> | ||
1443 | * <!-- end-user-doc --> | ||
1444 | * @generated | ||
1445 | */ | ||
1446 | @Override | ||
1447 | public EClass getMultiplicityDefinition() | ||
1448 | { | ||
1449 | return multiplicityDefinitionEClass; | ||
1450 | } | ||
1451 | |||
1452 | /** | ||
1453 | * <!-- begin-user-doc --> | ||
1454 | * <!-- end-user-doc --> | ||
1455 | * @generated | ||
1456 | */ | ||
1457 | @Override | ||
1458 | public EAttribute getMultiplicityDefinition_Lower() | ||
1459 | { | ||
1460 | return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(0); | ||
1461 | } | ||
1462 | |||
1463 | /** | ||
1464 | * <!-- begin-user-doc --> | ||
1465 | * <!-- end-user-doc --> | ||
1466 | * @generated | ||
1467 | */ | ||
1468 | @Override | ||
1469 | public EAttribute getMultiplicityDefinition_Upper() | ||
1470 | { | ||
1471 | return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(1); | ||
1472 | } | ||
1473 | |||
1474 | /** | ||
1475 | * <!-- begin-user-doc --> | ||
1476 | * <!-- end-user-doc --> | ||
1477 | * @generated | ||
1478 | */ | ||
1479 | @Override | ||
1480 | public EAttribute getMultiplicityDefinition_UnlimitedUpper() | ||
1481 | { | ||
1482 | return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(2); | ||
1483 | } | ||
1484 | |||
1485 | /** | ||
1486 | * <!-- begin-user-doc --> | ||
1487 | * <!-- end-user-doc --> | ||
1488 | * @generated | ||
1489 | */ | ||
1490 | @Override | ||
1491 | public EClass getBooleanTrue() | ||
1492 | { | ||
1493 | return booleanTrueEClass; | ||
1494 | } | ||
1495 | |||
1496 | /** | ||
1497 | * <!-- begin-user-doc --> | ||
1498 | * <!-- end-user-doc --> | ||
1499 | * @generated | ||
1500 | */ | ||
1501 | @Override | ||
1502 | public EClass getBooleanFalse() | ||
1503 | { | ||
1504 | return booleanFalseEClass; | ||
1505 | } | ||
1506 | |||
1507 | /** | ||
1508 | * <!-- begin-user-doc --> | ||
1509 | * <!-- end-user-doc --> | ||
1510 | * @generated | ||
1511 | */ | ||
1512 | @Override | ||
1513 | public EClass getTrue() | ||
1514 | { | ||
1515 | return trueEClass; | ||
1516 | } | ||
1517 | |||
1518 | /** | ||
1519 | * <!-- begin-user-doc --> | ||
1520 | * <!-- end-user-doc --> | ||
1521 | * @generated | ||
1522 | */ | ||
1523 | @Override | ||
1524 | public EClass getFalse() | ||
1525 | { | ||
1526 | return falseEClass; | ||
1527 | } | ||
1528 | |||
1529 | /** | ||
1530 | * <!-- begin-user-doc --> | ||
1531 | * <!-- end-user-doc --> | ||
1532 | * @generated | ||
1533 | */ | ||
1534 | @Override | ||
1535 | public EClass getUnknown() | ||
1536 | { | ||
1537 | return unknownEClass; | ||
1538 | } | ||
1539 | |||
1540 | /** | ||
1541 | * <!-- begin-user-doc --> | ||
1542 | * <!-- end-user-doc --> | ||
1543 | * @generated | ||
1544 | */ | ||
1545 | @Override | ||
1546 | public EClass getError() | ||
1547 | { | ||
1548 | return errorEClass; | ||
1549 | } | ||
1550 | |||
1551 | /** | ||
1552 | * <!-- begin-user-doc --> | ||
1553 | * <!-- end-user-doc --> | ||
1554 | * @generated | ||
1555 | */ | ||
1556 | @Override | ||
1557 | public EClass getPositive() | ||
1558 | { | ||
1559 | return positiveEClass; | ||
1560 | } | ||
1561 | |||
1562 | /** | ||
1563 | * <!-- begin-user-doc --> | ||
1564 | * <!-- end-user-doc --> | ||
1565 | * @generated | ||
1566 | */ | ||
1567 | @Override | ||
1568 | public EClass getNegative() | ||
1569 | { | ||
1570 | return negativeEClass; | ||
1571 | } | ||
1572 | |||
1573 | /** | ||
1574 | * <!-- begin-user-doc --> | ||
1575 | * <!-- end-user-doc --> | ||
1576 | * @generated | ||
1577 | */ | ||
1578 | @Override | ||
1579 | public EClass getReflexiveClosure() | ||
1580 | { | ||
1581 | return reflexiveClosureEClass; | ||
1582 | } | ||
1583 | |||
1584 | /** | ||
1585 | * <!-- begin-user-doc --> | ||
1586 | * <!-- end-user-doc --> | ||
1587 | * @generated | ||
1588 | */ | ||
1589 | @Override | ||
1590 | public EClass getIrreflexiveClosure() | ||
1591 | { | ||
1592 | return irreflexiveClosureEClass; | ||
1593 | } | ||
1594 | |||
1595 | /** | ||
1596 | * <!-- begin-user-doc --> | ||
1597 | * <!-- end-user-doc --> | ||
1598 | * @generated | ||
1599 | */ | ||
1600 | @Override | ||
1601 | public SolverLanguageFactory getSolverLanguageFactory() | ||
1602 | { | ||
1603 | return (SolverLanguageFactory)getEFactoryInstance(); | ||
1604 | } | ||
1605 | |||
1606 | /** | ||
1607 | * <!-- begin-user-doc --> | ||
1608 | * <!-- end-user-doc --> | ||
1609 | * @generated | ||
1610 | */ | ||
1611 | private boolean isCreated = false; | ||
1612 | |||
1613 | /** | ||
1614 | * Creates the meta-model objects for the package. This method is | ||
1615 | * guarded to have no affect on any invocation but its first. | ||
1616 | * <!-- begin-user-doc --> | ||
1617 | * <!-- end-user-doc --> | ||
1618 | * @generated | ||
1619 | */ | ||
1620 | public void createPackageContents() | ||
1621 | { | ||
1622 | if (isCreated) return; | ||
1623 | isCreated = true; | ||
1624 | |||
1625 | // Create classes and their features | ||
1626 | problemEClass = createEClass(PROBLEM); | ||
1627 | createEReference(problemEClass, PROBLEM__STATEMENTS); | ||
1628 | |||
1629 | statementEClass = createEClass(STATEMENT); | ||
1630 | |||
1631 | booleanValueEClass = createEClass(BOOLEAN_VALUE); | ||
1632 | |||
1633 | truthValueEClass = createEClass(TRUTH_VALUE); | ||
1634 | |||
1635 | interpretationEClass = createEClass(INTERPRETATION); | ||
1636 | |||
1637 | basicInterpretationEClass = createEClass(BASIC_INTERPRETATION); | ||
1638 | createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__SYMBOL); | ||
1639 | createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__OBJECTS); | ||
1640 | createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__VALUE); | ||
1641 | |||
1642 | symbolEClass = createEClass(SYMBOL); | ||
1643 | |||
1644 | modelSymbolEClass = createEClass(MODEL_SYMBOL); | ||
1645 | createEAttribute(modelSymbolEClass, MODEL_SYMBOL__NAME); | ||
1646 | |||
1647 | partialitySymbolEClass = createEClass(PARTIALITY_SYMBOL); | ||
1648 | |||
1649 | existSymbolEClass = createEClass(EXIST_SYMBOL); | ||
1650 | |||
1651 | equalsSymbolEClass = createEClass(EQUALS_SYMBOL); | ||
1652 | |||
1653 | dataSymbolEClass = createEClass(DATA_SYMBOL); | ||
1654 | |||
1655 | booleanSymbolEClass = createEClass(BOOLEAN_SYMBOL); | ||
1656 | |||
1657 | integerSymbolEClass = createEClass(INTEGER_SYMBOL); | ||
1658 | |||
1659 | realSymbolEClass = createEClass(REAL_SYMBOL); | ||
1660 | |||
1661 | stringSymbolEClass = createEClass(STRING_SYMBOL); | ||
1662 | |||
1663 | complexObjectEClass = createEClass(COMPLEX_OBJECT); | ||
1664 | |||
1665 | objectEClass = createEClass(OBJECT); | ||
1666 | |||
1667 | namedObjectEClass = createEClass(NAMED_OBJECT); | ||
1668 | createEAttribute(namedObjectEClass, NAMED_OBJECT__NAME); | ||
1669 | |||
1670 | unnamedObjectEClass = createEClass(UNNAMED_OBJECT); | ||
1671 | createEAttribute(unnamedObjectEClass, UNNAMED_OBJECT__NAME); | ||
1672 | |||
1673 | dataObjectEClass = createEClass(DATA_OBJECT); | ||
1674 | |||
1675 | booleanObjectEClass = createEClass(BOOLEAN_OBJECT); | ||
1676 | createEReference(booleanObjectEClass, BOOLEAN_OBJECT__VALUE); | ||
1677 | |||
1678 | intObjectEClass = createEClass(INT_OBJECT); | ||
1679 | createEAttribute(intObjectEClass, INT_OBJECT__VALUE); | ||
1680 | |||
1681 | realObjectEClass = createEClass(REAL_OBJECT); | ||
1682 | createEAttribute(realObjectEClass, REAL_OBJECT__VALUE); | ||
1683 | |||
1684 | stringObjectEClass = createEClass(STRING_OBJECT); | ||
1685 | createEAttribute(stringObjectEClass, STRING_OBJECT__VALUE); | ||
1686 | |||
1687 | predicateEClass = createEClass(PREDICATE); | ||
1688 | createEReference(predicateEClass, PREDICATE__PARAMETERS); | ||
1689 | createEReference(predicateEClass, PREDICATE__BODIES); | ||
1690 | |||
1691 | predicateSymbolEClass = createEClass(PREDICATE_SYMBOL); | ||
1692 | createEReference(predicateSymbolEClass, PREDICATE_SYMBOL__SYMBOL); | ||
1693 | |||
1694 | errorPredicateEClass = createEClass(ERROR_PREDICATE); | ||
1695 | createEAttribute(errorPredicateEClass, ERROR_PREDICATE__NAME); | ||
1696 | |||
1697 | parameterEClass = createEClass(PARAMETER); | ||
1698 | createEReference(parameterEClass, PARAMETER__VARIABLE); | ||
1699 | createEReference(parameterEClass, PARAMETER__TYPE); | ||
1700 | |||
1701 | patternBodyEClass = createEClass(PATTERN_BODY); | ||
1702 | createEReference(patternBodyEClass, PATTERN_BODY__CONSTRAINTS); | ||
1703 | |||
1704 | polarityEClass = createEClass(POLARITY); | ||
1705 | |||
1706 | constraintEClass = createEClass(CONSTRAINT); | ||
1707 | createEReference(constraintEClass, CONSTRAINT__POLARITY); | ||
1708 | createEReference(constraintEClass, CONSTRAINT__SYMBOL); | ||
1709 | createEReference(constraintEClass, CONSTRAINT__PARAMS); | ||
1710 | createEReference(constraintEClass, CONSTRAINT__CLOSURE_TYPE); | ||
1711 | |||
1712 | closureTypeEClass = createEClass(CLOSURE_TYPE); | ||
1713 | |||
1714 | literalEClass = createEClass(LITERAL); | ||
1715 | |||
1716 | variableEClass = createEClass(VARIABLE); | ||
1717 | createEAttribute(variableEClass, VARIABLE__NAME); | ||
1718 | |||
1719 | allInstancesEClass = createEClass(ALL_INSTANCES); | ||
1720 | createEReference(allInstancesEClass, ALL_INSTANCES__SYMBOL); | ||
1721 | |||
1722 | allObjectsEClass = createEClass(ALL_OBJECTS); | ||
1723 | |||
1724 | defaultInterpretationEClass = createEClass(DEFAULT_INTERPRETATION); | ||
1725 | createEReference(defaultInterpretationEClass, DEFAULT_INTERPRETATION__INTERPRETATION); | ||
1726 | |||
1727 | cdInterpretationEClass = createEClass(CD_INTERPRETATION); | ||
1728 | |||
1729 | classInterpretationEClass = createEClass(CLASS_INTERPRETATION); | ||
1730 | createEAttribute(classInterpretationEClass, CLASS_INTERPRETATION__ABSTRACT); | ||
1731 | createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SYMBOL); | ||
1732 | createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SUPERTYPES); | ||
1733 | createEReference(classInterpretationEClass, CLASS_INTERPRETATION__FIELT); | ||
1734 | |||
1735 | enumInterpretationEClass = createEClass(ENUM_INTERPRETATION); | ||
1736 | createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__SYMBOL); | ||
1737 | createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__OBJECTS); | ||
1738 | |||
1739 | fieldRelationInterpretationEClass = createEClass(FIELD_RELATION_INTERPRETATION); | ||
1740 | createEAttribute(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__CONTAINMENT); | ||
1741 | createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__SYMBOL); | ||
1742 | createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__MULTIPLICITY); | ||
1743 | createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__TARGET); | ||
1744 | |||
1745 | globalRelationInterpretationEClass = createEClass(GLOBAL_RELATION_INTERPRETATION); | ||
1746 | createEAttribute(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__CONTAINMENT); | ||
1747 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SYMBOL); | ||
1748 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY); | ||
1749 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE); | ||
1750 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY); | ||
1751 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET); | ||
1752 | |||
1753 | multiplicityDefinitionEClass = createEClass(MULTIPLICITY_DEFINITION); | ||
1754 | createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__LOWER); | ||
1755 | createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UPPER); | ||
1756 | createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UNLIMITED_UPPER); | ||
1757 | |||
1758 | booleanTrueEClass = createEClass(BOOLEAN_TRUE); | ||
1759 | |||
1760 | booleanFalseEClass = createEClass(BOOLEAN_FALSE); | ||
1761 | |||
1762 | trueEClass = createEClass(TRUE); | ||
1763 | |||
1764 | falseEClass = createEClass(FALSE); | ||
1765 | |||
1766 | unknownEClass = createEClass(UNKNOWN); | ||
1767 | |||
1768 | errorEClass = createEClass(ERROR); | ||
1769 | |||
1770 | positiveEClass = createEClass(POSITIVE); | ||
1771 | |||
1772 | negativeEClass = createEClass(NEGATIVE); | ||
1773 | |||
1774 | reflexiveClosureEClass = createEClass(REFLEXIVE_CLOSURE); | ||
1775 | |||
1776 | irreflexiveClosureEClass = createEClass(IRREFLEXIVE_CLOSURE); | ||
1777 | } | ||
1778 | |||
1779 | /** | ||
1780 | * <!-- begin-user-doc --> | ||
1781 | * <!-- end-user-doc --> | ||
1782 | * @generated | ||
1783 | */ | ||
1784 | private boolean isInitialized = false; | ||
1785 | |||
1786 | /** | ||
1787 | * Complete the initialization of the package and its meta-model. This | ||
1788 | * method is guarded to have no affect on any invocation but its first. | ||
1789 | * <!-- begin-user-doc --> | ||
1790 | * <!-- end-user-doc --> | ||
1791 | * @generated | ||
1792 | */ | ||
1793 | public void initializePackageContents() | ||
1794 | { | ||
1795 | if (isInitialized) return; | ||
1796 | isInitialized = true; | ||
1797 | |||
1798 | // Initialize package | ||
1799 | setName(eNAME); | ||
1800 | setNsPrefix(eNS_PREFIX); | ||
1801 | setNsURI(eNS_URI); | ||
1802 | |||
1803 | // Create type parameters | ||
1804 | |||
1805 | // Set bounds for type parameters | ||
1806 | |||
1807 | // Add supertypes to classes | ||
1808 | interpretationEClass.getESuperTypes().add(this.getStatement()); | ||
1809 | basicInterpretationEClass.getESuperTypes().add(this.getInterpretation()); | ||
1810 | modelSymbolEClass.getESuperTypes().add(this.getSymbol()); | ||
1811 | partialitySymbolEClass.getESuperTypes().add(this.getSymbol()); | ||
1812 | existSymbolEClass.getESuperTypes().add(this.getPartialitySymbol()); | ||
1813 | equalsSymbolEClass.getESuperTypes().add(this.getPartialitySymbol()); | ||
1814 | dataSymbolEClass.getESuperTypes().add(this.getSymbol()); | ||
1815 | booleanSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | ||
1816 | integerSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | ||
1817 | realSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | ||
1818 | stringSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | ||
1819 | objectEClass.getESuperTypes().add(this.getComplexObject()); | ||
1820 | namedObjectEClass.getESuperTypes().add(this.getObject()); | ||
1821 | unnamedObjectEClass.getESuperTypes().add(this.getObject()); | ||
1822 | dataObjectEClass.getESuperTypes().add(this.getObject()); | ||
1823 | dataObjectEClass.getESuperTypes().add(this.getLiteral()); | ||
1824 | booleanObjectEClass.getESuperTypes().add(this.getDataObject()); | ||
1825 | intObjectEClass.getESuperTypes().add(this.getDataObject()); | ||
1826 | realObjectEClass.getESuperTypes().add(this.getDataObject()); | ||
1827 | stringObjectEClass.getESuperTypes().add(this.getDataObject()); | ||
1828 | predicateEClass.getESuperTypes().add(this.getStatement()); | ||
1829 | predicateSymbolEClass.getESuperTypes().add(this.getPredicate()); | ||
1830 | errorPredicateEClass.getESuperTypes().add(this.getPredicate()); | ||
1831 | variableEClass.getESuperTypes().add(this.getLiteral()); | ||
1832 | allInstancesEClass.getESuperTypes().add(this.getComplexObject()); | ||
1833 | allObjectsEClass.getESuperTypes().add(this.getComplexObject()); | ||
1834 | defaultInterpretationEClass.getESuperTypes().add(this.getInterpretation()); | ||
1835 | cdInterpretationEClass.getESuperTypes().add(this.getInterpretation()); | ||
1836 | classInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); | ||
1837 | enumInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); | ||
1838 | globalRelationInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); | ||
1839 | booleanTrueEClass.getESuperTypes().add(this.getBooleanValue()); | ||
1840 | booleanFalseEClass.getESuperTypes().add(this.getBooleanValue()); | ||
1841 | trueEClass.getESuperTypes().add(this.getTruthValue()); | ||
1842 | falseEClass.getESuperTypes().add(this.getTruthValue()); | ||
1843 | unknownEClass.getESuperTypes().add(this.getTruthValue()); | ||
1844 | errorEClass.getESuperTypes().add(this.getTruthValue()); | ||
1845 | positiveEClass.getESuperTypes().add(this.getPolarity()); | ||
1846 | negativeEClass.getESuperTypes().add(this.getPolarity()); | ||
1847 | reflexiveClosureEClass.getESuperTypes().add(this.getClosureType()); | ||
1848 | irreflexiveClosureEClass.getESuperTypes().add(this.getClosureType()); | ||
1849 | |||
1850 | // Initialize classes and features; add operations and parameters | ||
1851 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1852 | initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1853 | |||
1854 | initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1855 | |||
1856 | initEClass(booleanValueEClass, BooleanValue.class, "BooleanValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1857 | |||
1858 | initEClass(truthValueEClass, TruthValue.class, "TruthValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1859 | |||
1860 | initEClass(interpretationEClass, Interpretation.class, "Interpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1861 | |||
1862 | initEClass(basicInterpretationEClass, BasicInterpretation.class, "BasicInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1863 | initEReference(getBasicInterpretation_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1864 | initEReference(getBasicInterpretation_Objects(), this.getComplexObject(), null, "objects", null, 0, -1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1865 | initEReference(getBasicInterpretation_Value(), this.getTruthValue(), null, "value", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1866 | |||
1867 | initEClass(symbolEClass, Symbol.class, "Symbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1868 | |||
1869 | initEClass(modelSymbolEClass, ModelSymbol.class, "ModelSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1870 | initEAttribute(getModelSymbol_Name(), ecorePackage.getEString(), "name", null, 0, 1, ModelSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1871 | |||
1872 | initEClass(partialitySymbolEClass, PartialitySymbol.class, "PartialitySymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1873 | |||
1874 | initEClass(existSymbolEClass, ExistSymbol.class, "ExistSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1875 | |||
1876 | initEClass(equalsSymbolEClass, EqualsSymbol.class, "EqualsSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1877 | |||
1878 | initEClass(dataSymbolEClass, DataSymbol.class, "DataSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1879 | |||
1880 | initEClass(booleanSymbolEClass, BooleanSymbol.class, "BooleanSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1881 | |||
1882 | initEClass(integerSymbolEClass, IntegerSymbol.class, "IntegerSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1883 | |||
1884 | initEClass(realSymbolEClass, RealSymbol.class, "RealSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1885 | |||
1886 | initEClass(stringSymbolEClass, StringSymbol.class, "StringSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1887 | |||
1888 | initEClass(complexObjectEClass, ComplexObject.class, "ComplexObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1889 | |||
1890 | initEClass(objectEClass, org.eclipse.viatra.solver.language.solverLanguage.Object.class, "Object", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1891 | |||
1892 | initEClass(namedObjectEClass, NamedObject.class, "NamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1893 | initEAttribute(getNamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1894 | |||
1895 | initEClass(unnamedObjectEClass, UnnamedObject.class, "UnnamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1896 | initEAttribute(getUnnamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, UnnamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1897 | |||
1898 | initEClass(dataObjectEClass, DataObject.class, "DataObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1899 | |||
1900 | initEClass(booleanObjectEClass, BooleanObject.class, "BooleanObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1901 | initEReference(getBooleanObject_Value(), this.getBooleanValue(), null, "value", null, 0, 1, BooleanObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1902 | |||
1903 | initEClass(intObjectEClass, IntObject.class, "IntObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1904 | initEAttribute(getIntObject_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1905 | |||
1906 | initEClass(realObjectEClass, RealObject.class, "RealObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1907 | initEAttribute(getRealObject_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1908 | |||
1909 | initEClass(stringObjectEClass, StringObject.class, "StringObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1910 | initEAttribute(getStringObject_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1911 | |||
1912 | initEClass(predicateEClass, Predicate.class, "Predicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1913 | initEReference(getPredicate_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1914 | initEReference(getPredicate_Bodies(), this.getPatternBody(), null, "bodies", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1915 | |||
1916 | initEClass(predicateSymbolEClass, PredicateSymbol.class, "PredicateSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1917 | initEReference(getPredicateSymbol_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, PredicateSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1918 | |||
1919 | initEClass(errorPredicateEClass, ErrorPredicate.class, "ErrorPredicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1920 | initEAttribute(getErrorPredicate_Name(), ecorePackage.getEString(), "name", null, 0, 1, ErrorPredicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1921 | |||
1922 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1923 | initEReference(getParameter_Variable(), this.getVariable(), null, "variable", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1924 | initEReference(getParameter_Type(), this.getSymbol(), null, "type", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1925 | |||
1926 | initEClass(patternBodyEClass, PatternBody.class, "PatternBody", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1927 | initEReference(getPatternBody_Constraints(), this.getConstraint(), null, "constraints", null, 0, -1, PatternBody.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1928 | |||
1929 | initEClass(polarityEClass, Polarity.class, "Polarity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1930 | |||
1931 | initEClass(constraintEClass, Constraint.class, "Constraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1932 | initEReference(getConstraint_Polarity(), this.getPolarity(), null, "polarity", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1933 | initEReference(getConstraint_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1934 | initEReference(getConstraint_Params(), this.getLiteral(), null, "params", null, 0, -1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1935 | initEReference(getConstraint_ClosureType(), this.getClosureType(), null, "closureType", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1936 | |||
1937 | initEClass(closureTypeEClass, ClosureType.class, "ClosureType", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1938 | |||
1939 | initEClass(literalEClass, Literal.class, "Literal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1940 | |||
1941 | initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1942 | initEAttribute(getVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1943 | |||
1944 | initEClass(allInstancesEClass, AllInstances.class, "AllInstances", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1945 | initEReference(getAllInstances_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, AllInstances.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1946 | |||
1947 | initEClass(allObjectsEClass, AllObjects.class, "AllObjects", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1948 | |||
1949 | initEClass(defaultInterpretationEClass, DefaultInterpretation.class, "DefaultInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1950 | initEReference(getDefaultInterpretation_Interpretation(), this.getBasicInterpretation(), null, "interpretation", null, 0, 1, DefaultInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1951 | |||
1952 | initEClass(cdInterpretationEClass, CDInterpretation.class, "CDInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1953 | |||
1954 | initEClass(classInterpretationEClass, ClassInterpretation.class, "ClassInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1955 | initEAttribute(getClassInterpretation_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1956 | initEReference(getClassInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1957 | initEReference(getClassInterpretation_Supertypes(), this.getModelSymbol(), null, "supertypes", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1958 | initEReference(getClassInterpretation_Fielt(), this.getFieldRelationInterpretation(), null, "fielt", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1959 | |||
1960 | initEClass(enumInterpretationEClass, EnumInterpretation.class, "EnumInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1961 | initEReference(getEnumInterpretation_Symbol(), this.getModelSymbol(), null, "Symbol", null, 0, 1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1962 | initEReference(getEnumInterpretation_Objects(), this.getNamedObject(), null, "objects", null, 0, -1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1963 | |||
1964 | initEClass(fieldRelationInterpretationEClass, FieldRelationInterpretation.class, "FieldRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1965 | initEAttribute(getFieldRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1966 | initEReference(getFieldRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1967 | initEReference(getFieldRelationInterpretation_Multiplicity(), this.getMultiplicityDefinition(), null, "multiplicity", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1968 | initEReference(getFieldRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1969 | |||
1970 | initEClass(globalRelationInterpretationEClass, GlobalRelationInterpretation.class, "GlobalRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1971 | initEAttribute(getGlobalRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1972 | initEReference(getGlobalRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1973 | initEReference(getGlobalRelationInterpretation_SourceMultiplicity(), this.getMultiplicityDefinition(), null, "sourceMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1974 | initEReference(getGlobalRelationInterpretation_Source(), this.getSymbol(), null, "source", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1975 | initEReference(getGlobalRelationInterpretation_TargetMultiplicity(), this.getMultiplicityDefinition(), null, "targetMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1976 | initEReference(getGlobalRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1977 | |||
1978 | initEClass(multiplicityDefinitionEClass, MultiplicityDefinition.class, "MultiplicityDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1979 | initEAttribute(getMultiplicityDefinition_Lower(), ecorePackage.getEInt(), "lower", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1980 | initEAttribute(getMultiplicityDefinition_Upper(), ecorePackage.getEInt(), "upper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1981 | initEAttribute(getMultiplicityDefinition_UnlimitedUpper(), ecorePackage.getEBoolean(), "unlimitedUpper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1982 | |||
1983 | initEClass(booleanTrueEClass, BooleanTrue.class, "BooleanTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1984 | |||
1985 | initEClass(booleanFalseEClass, BooleanFalse.class, "BooleanFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1986 | |||
1987 | initEClass(trueEClass, True.class, "True", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1988 | |||
1989 | initEClass(falseEClass, False.class, "False", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1990 | |||
1991 | initEClass(unknownEClass, Unknown.class, "Unknown", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1992 | |||
1993 | initEClass(errorEClass, org.eclipse.viatra.solver.language.solverLanguage.Error.class, "Error", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1994 | |||
1995 | initEClass(positiveEClass, Positive.class, "Positive", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1996 | |||
1997 | initEClass(negativeEClass, Negative.class, "Negative", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1998 | |||
1999 | initEClass(reflexiveClosureEClass, ReflexiveClosure.class, "ReflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2000 | |||
2001 | initEClass(irreflexiveClosureEClass, IrreflexiveClosure.class, "IrreflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2002 | |||
2003 | // Create resource | ||
2004 | createResource(eNS_URI); | ||
2005 | } | ||
2006 | |||
2007 | } //SolverLanguagePackageImpl | ||