diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 14:22:40 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 14:22:40 +0200 |
commit | 07719e927f9d398765e661c84fd8778cefb39083 (patch) | |
tree | 9652080f7e580f09a0763a3e258348dea6e02684 /language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java | |
parent | Add enum support (diff) | |
download | refinery-07719e927f9d398765e661c84fd8778cefb39083.tar.gz refinery-07719e927f9d398765e661c84fd8778cefb39083.tar.zst refinery-07719e927f9d398765e661c84fd8778cefb39083.zip |
Simplify project layout
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java')
-rw-r--r-- | language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java | 1206 |
1 files changed, 1206 insertions, 0 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java new file mode 100644 index 00000000..d10ff2f0 --- /dev/null +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java | |||
@@ -0,0 +1,1206 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package org.eclipse.viatra.solver.language.model.problem.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EAttribute; | ||
6 | import org.eclipse.emf.ecore.EClass; | ||
7 | import org.eclipse.emf.ecore.EEnum; | ||
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.model.problem.Argument; | ||
14 | import org.eclipse.viatra.solver.language.model.problem.Assertion; | ||
15 | import org.eclipse.viatra.solver.language.model.problem.Atom; | ||
16 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; | ||
17 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; | ||
18 | import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration; | ||
19 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; | ||
20 | import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier; | ||
21 | import org.eclipse.viatra.solver.language.model.problem.ImplicitVariable; | ||
22 | import org.eclipse.viatra.solver.language.model.problem.Literal; | ||
23 | import org.eclipse.viatra.solver.language.model.problem.LogicValue; | ||
24 | import org.eclipse.viatra.solver.language.model.problem.Multiplicity; | ||
25 | import org.eclipse.viatra.solver.language.model.problem.NamedElement; | ||
26 | import org.eclipse.viatra.solver.language.model.problem.NegativeLiteral; | ||
27 | import org.eclipse.viatra.solver.language.model.problem.Node; | ||
28 | import org.eclipse.viatra.solver.language.model.problem.Parameter; | ||
29 | import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition; | ||
30 | import org.eclipse.viatra.solver.language.model.problem.Problem; | ||
31 | import org.eclipse.viatra.solver.language.model.problem.ProblemFactory; | ||
32 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; | ||
33 | import org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity; | ||
34 | import org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration; | ||
35 | import org.eclipse.viatra.solver.language.model.problem.Relation; | ||
36 | import org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration; | ||
37 | import org.eclipse.viatra.solver.language.model.problem.Statement; | ||
38 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; | ||
39 | import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity; | ||
40 | import org.eclipse.viatra.solver.language.model.problem.Variable; | ||
41 | import org.eclipse.viatra.solver.language.model.problem.VariableOrNode; | ||
42 | |||
43 | /** | ||
44 | * <!-- begin-user-doc --> | ||
45 | * An implementation of the model <b>Package</b>. | ||
46 | * <!-- end-user-doc --> | ||
47 | * @generated | ||
48 | */ | ||
49 | public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | ||
50 | /** | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @generated | ||
54 | */ | ||
55 | private EClass problemEClass = null; | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | private EClass relationEClass = null; | ||
63 | |||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | private EClass classDeclarationEClass = null; | ||
70 | |||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | private EClass referenceDeclarationEClass = null; | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | */ | ||
83 | private EClass namedElementEClass = null; | ||
84 | |||
85 | /** | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | private EClass predicateDefinitionEClass = null; | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | private EClass parameterEClass = null; | ||
98 | |||
99 | /** | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @generated | ||
103 | */ | ||
104 | private EClass variableEClass = null; | ||
105 | |||
106 | /** | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | private EClass conjunctionEClass = null; | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | private EClass literalEClass = null; | ||
119 | |||
120 | /** | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @generated | ||
124 | */ | ||
125 | private EClass atomEClass = null; | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | private EClass implicitVariableEClass = null; | ||
133 | |||
134 | /** | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | */ | ||
139 | private EClass negativeLiteralEClass = null; | ||
140 | |||
141 | /** | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @generated | ||
145 | */ | ||
146 | private EClass existentialQuantifierEClass = null; | ||
147 | |||
148 | /** | ||
149 | * <!-- begin-user-doc --> | ||
150 | * <!-- end-user-doc --> | ||
151 | * @generated | ||
152 | */ | ||
153 | private EClass assertionEClass = null; | ||
154 | |||
155 | /** | ||
156 | * <!-- begin-user-doc --> | ||
157 | * <!-- end-user-doc --> | ||
158 | * @generated | ||
159 | */ | ||
160 | private EClass nodeEClass = null; | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | private EClass scopeDeclarationEClass = null; | ||
168 | |||
169 | /** | ||
170 | * <!-- begin-user-doc --> | ||
171 | * <!-- end-user-doc --> | ||
172 | * @generated | ||
173 | */ | ||
174 | private EClass statementEClass = null; | ||
175 | |||
176 | /** | ||
177 | * <!-- begin-user-doc --> | ||
178 | * <!-- end-user-doc --> | ||
179 | * @generated | ||
180 | */ | ||
181 | private EClass typeScopeEClass = null; | ||
182 | |||
183 | /** | ||
184 | * <!-- begin-user-doc --> | ||
185 | * <!-- end-user-doc --> | ||
186 | * @generated | ||
187 | */ | ||
188 | private EClass multiplicityEClass = null; | ||
189 | |||
190 | /** | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | private EClass rangeMultiplicityEClass = null; | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | private EClass exactMultiplicityEClass = null; | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | private EClass unboundedMultiplicityEClass = null; | ||
210 | |||
211 | /** | ||
212 | * <!-- begin-user-doc --> | ||
213 | * <!-- end-user-doc --> | ||
214 | * @generated | ||
215 | */ | ||
216 | private EClass argumentEClass = null; | ||
217 | |||
218 | /** | ||
219 | * <!-- begin-user-doc --> | ||
220 | * <!-- end-user-doc --> | ||
221 | * @generated | ||
222 | */ | ||
223 | private EClass enumDeclarationEClass = null; | ||
224 | |||
225 | /** | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | */ | ||
230 | private EClass variableOrNodeEClass = null; | ||
231 | |||
232 | /** | ||
233 | * <!-- begin-user-doc --> | ||
234 | * <!-- end-user-doc --> | ||
235 | * @generated | ||
236 | */ | ||
237 | private EEnum logicValueEEnum = null; | ||
238 | |||
239 | /** | ||
240 | * Creates an instance of the model <b>Package</b>, registered with | ||
241 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
242 | * package URI value. | ||
243 | * <p>Note: the correct way to create the package is via the static | ||
244 | * factory method {@link #init init()}, which also performs | ||
245 | * initialization of the package, or returns the registered package, | ||
246 | * if one already exists. | ||
247 | * <!-- begin-user-doc --> | ||
248 | * <!-- end-user-doc --> | ||
249 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
250 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#eNS_URI | ||
251 | * @see #init() | ||
252 | * @generated | ||
253 | */ | ||
254 | private ProblemPackageImpl() { | ||
255 | super(eNS_URI, ProblemFactory.eINSTANCE); | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @generated | ||
262 | */ | ||
263 | private static boolean isInited = false; | ||
264 | |||
265 | /** | ||
266 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
267 | * | ||
268 | * <p>This method is used to initialize {@link ProblemPackage#eINSTANCE} when that field is accessed. | ||
269 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
270 | * <!-- begin-user-doc --> | ||
271 | * <!-- end-user-doc --> | ||
272 | * @see #eNS_URI | ||
273 | * @see #createPackageContents() | ||
274 | * @see #initializePackageContents() | ||
275 | * @generated | ||
276 | */ | ||
277 | public static ProblemPackage init() { | ||
278 | if (isInited) | ||
279 | return (ProblemPackage) EPackage.Registry.INSTANCE.getEPackage(ProblemPackage.eNS_URI); | ||
280 | |||
281 | // Obtain or create and register package | ||
282 | Object registeredProblemPackage = EPackage.Registry.INSTANCE.get(eNS_URI); | ||
283 | ProblemPackageImpl theProblemPackage = registeredProblemPackage instanceof ProblemPackageImpl | ||
284 | ? (ProblemPackageImpl) registeredProblemPackage | ||
285 | : new ProblemPackageImpl(); | ||
286 | |||
287 | isInited = true; | ||
288 | |||
289 | // Create package meta-data objects | ||
290 | theProblemPackage.createPackageContents(); | ||
291 | |||
292 | // Initialize created meta-data | ||
293 | theProblemPackage.initializePackageContents(); | ||
294 | |||
295 | // Mark meta-data to indicate it can't be changed | ||
296 | theProblemPackage.freeze(); | ||
297 | |||
298 | // Update the registry and return the package | ||
299 | EPackage.Registry.INSTANCE.put(ProblemPackage.eNS_URI, theProblemPackage); | ||
300 | return theProblemPackage; | ||
301 | } | ||
302 | |||
303 | /** | ||
304 | * <!-- begin-user-doc --> | ||
305 | * <!-- end-user-doc --> | ||
306 | * @generated | ||
307 | */ | ||
308 | public EClass getProblem() { | ||
309 | return problemEClass; | ||
310 | } | ||
311 | |||
312 | /** | ||
313 | * <!-- begin-user-doc --> | ||
314 | * <!-- end-user-doc --> | ||
315 | * @generated | ||
316 | */ | ||
317 | public EReference getProblem_Nodes() { | ||
318 | return (EReference) problemEClass.getEStructuralFeatures().get(0); | ||
319 | } | ||
320 | |||
321 | /** | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @generated | ||
325 | */ | ||
326 | public EReference getProblem_Statements() { | ||
327 | return (EReference) problemEClass.getEStructuralFeatures().get(1); | ||
328 | } | ||
329 | |||
330 | /** | ||
331 | * <!-- begin-user-doc --> | ||
332 | * <!-- end-user-doc --> | ||
333 | * @generated | ||
334 | */ | ||
335 | public EClass getRelation() { | ||
336 | return relationEClass; | ||
337 | } | ||
338 | |||
339 | /** | ||
340 | * <!-- begin-user-doc --> | ||
341 | * <!-- end-user-doc --> | ||
342 | * @generated | ||
343 | */ | ||
344 | public EClass getClassDeclaration() { | ||
345 | return classDeclarationEClass; | ||
346 | } | ||
347 | |||
348 | /** | ||
349 | * <!-- begin-user-doc --> | ||
350 | * <!-- end-user-doc --> | ||
351 | * @generated | ||
352 | */ | ||
353 | public EAttribute getClassDeclaration_Abstract() { | ||
354 | return (EAttribute) classDeclarationEClass.getEStructuralFeatures().get(0); | ||
355 | } | ||
356 | |||
357 | /** | ||
358 | * <!-- begin-user-doc --> | ||
359 | * <!-- end-user-doc --> | ||
360 | * @generated | ||
361 | */ | ||
362 | public EReference getClassDeclaration_SuperTypes() { | ||
363 | return (EReference) classDeclarationEClass.getEStructuralFeatures().get(1); | ||
364 | } | ||
365 | |||
366 | /** | ||
367 | * <!-- begin-user-doc --> | ||
368 | * <!-- end-user-doc --> | ||
369 | * @generated | ||
370 | */ | ||
371 | public EReference getClassDeclaration_ReferenceDeclarations() { | ||
372 | return (EReference) classDeclarationEClass.getEStructuralFeatures().get(2); | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @generated | ||
379 | */ | ||
380 | public EReference getClassDeclaration_NewNode() { | ||
381 | return (EReference) classDeclarationEClass.getEStructuralFeatures().get(3); | ||
382 | } | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | public EClass getReferenceDeclaration() { | ||
390 | return referenceDeclarationEClass; | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * <!-- begin-user-doc --> | ||
395 | * <!-- end-user-doc --> | ||
396 | * @generated | ||
397 | */ | ||
398 | public EReference getReferenceDeclaration_ReferenceType() { | ||
399 | return (EReference) referenceDeclarationEClass.getEStructuralFeatures().get(0); | ||
400 | } | ||
401 | |||
402 | /** | ||
403 | * <!-- begin-user-doc --> | ||
404 | * <!-- end-user-doc --> | ||
405 | * @generated | ||
406 | */ | ||
407 | public EReference getReferenceDeclaration_Opposite() { | ||
408 | return (EReference) referenceDeclarationEClass.getEStructuralFeatures().get(1); | ||
409 | } | ||
410 | |||
411 | /** | ||
412 | * <!-- begin-user-doc --> | ||
413 | * <!-- end-user-doc --> | ||
414 | * @generated | ||
415 | */ | ||
416 | public EAttribute getReferenceDeclaration_Containment() { | ||
417 | return (EAttribute) referenceDeclarationEClass.getEStructuralFeatures().get(2); | ||
418 | } | ||
419 | |||
420 | /** | ||
421 | * <!-- begin-user-doc --> | ||
422 | * <!-- end-user-doc --> | ||
423 | * @generated | ||
424 | */ | ||
425 | public EReference getReferenceDeclaration_Multiplicity() { | ||
426 | return (EReference) referenceDeclarationEClass.getEStructuralFeatures().get(3); | ||
427 | } | ||
428 | |||
429 | /** | ||
430 | * <!-- begin-user-doc --> | ||
431 | * <!-- end-user-doc --> | ||
432 | * @generated | ||
433 | */ | ||
434 | public EClass getNamedElement() { | ||
435 | return namedElementEClass; | ||
436 | } | ||
437 | |||
438 | /** | ||
439 | * <!-- begin-user-doc --> | ||
440 | * <!-- end-user-doc --> | ||
441 | * @generated | ||
442 | */ | ||
443 | public EAttribute getNamedElement_Name() { | ||
444 | return (EAttribute) namedElementEClass.getEStructuralFeatures().get(0); | ||
445 | } | ||
446 | |||
447 | /** | ||
448 | * <!-- begin-user-doc --> | ||
449 | * <!-- end-user-doc --> | ||
450 | * @generated | ||
451 | */ | ||
452 | public EClass getPredicateDefinition() { | ||
453 | return predicateDefinitionEClass; | ||
454 | } | ||
455 | |||
456 | /** | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @generated | ||
460 | */ | ||
461 | public EAttribute getPredicateDefinition_Error() { | ||
462 | return (EAttribute) predicateDefinitionEClass.getEStructuralFeatures().get(0); | ||
463 | } | ||
464 | |||
465 | /** | ||
466 | * <!-- begin-user-doc --> | ||
467 | * <!-- end-user-doc --> | ||
468 | * @generated | ||
469 | */ | ||
470 | public EReference getPredicateDefinition_Parameters() { | ||
471 | return (EReference) predicateDefinitionEClass.getEStructuralFeatures().get(1); | ||
472 | } | ||
473 | |||
474 | /** | ||
475 | * <!-- begin-user-doc --> | ||
476 | * <!-- end-user-doc --> | ||
477 | * @generated | ||
478 | */ | ||
479 | public EReference getPredicateDefinition_Bodies() { | ||
480 | return (EReference) predicateDefinitionEClass.getEStructuralFeatures().get(2); | ||
481 | } | ||
482 | |||
483 | /** | ||
484 | * <!-- begin-user-doc --> | ||
485 | * <!-- end-user-doc --> | ||
486 | * @generated | ||
487 | */ | ||
488 | public EClass getParameter() { | ||
489 | return parameterEClass; | ||
490 | } | ||
491 | |||
492 | /** | ||
493 | * <!-- begin-user-doc --> | ||
494 | * <!-- end-user-doc --> | ||
495 | * @generated | ||
496 | */ | ||
497 | public EReference getParameter_ParameterType() { | ||
498 | return (EReference) parameterEClass.getEStructuralFeatures().get(0); | ||
499 | } | ||
500 | |||
501 | /** | ||
502 | * <!-- begin-user-doc --> | ||
503 | * <!-- end-user-doc --> | ||
504 | * @generated | ||
505 | */ | ||
506 | public EClass getVariable() { | ||
507 | return variableEClass; | ||
508 | } | ||
509 | |||
510 | /** | ||
511 | * <!-- begin-user-doc --> | ||
512 | * <!-- end-user-doc --> | ||
513 | * @generated | ||
514 | */ | ||
515 | public EClass getConjunction() { | ||
516 | return conjunctionEClass; | ||
517 | } | ||
518 | |||
519 | /** | ||
520 | * <!-- begin-user-doc --> | ||
521 | * <!-- end-user-doc --> | ||
522 | * @generated | ||
523 | */ | ||
524 | public EReference getConjunction_Literals() { | ||
525 | return (EReference) conjunctionEClass.getEStructuralFeatures().get(0); | ||
526 | } | ||
527 | |||
528 | /** | ||
529 | * <!-- begin-user-doc --> | ||
530 | * <!-- end-user-doc --> | ||
531 | * @generated | ||
532 | */ | ||
533 | public EClass getLiteral() { | ||
534 | return literalEClass; | ||
535 | } | ||
536 | |||
537 | /** | ||
538 | * <!-- begin-user-doc --> | ||
539 | * <!-- end-user-doc --> | ||
540 | * @generated | ||
541 | */ | ||
542 | public EClass getAtom() { | ||
543 | return atomEClass; | ||
544 | } | ||
545 | |||
546 | /** | ||
547 | * <!-- begin-user-doc --> | ||
548 | * <!-- end-user-doc --> | ||
549 | * @generated | ||
550 | */ | ||
551 | public EReference getAtom_Relation() { | ||
552 | return (EReference) atomEClass.getEStructuralFeatures().get(0); | ||
553 | } | ||
554 | |||
555 | /** | ||
556 | * <!-- begin-user-doc --> | ||
557 | * <!-- end-user-doc --> | ||
558 | * @generated | ||
559 | */ | ||
560 | public EReference getAtom_Arguments() { | ||
561 | return (EReference) atomEClass.getEStructuralFeatures().get(2); | ||
562 | } | ||
563 | |||
564 | /** | ||
565 | * <!-- begin-user-doc --> | ||
566 | * <!-- end-user-doc --> | ||
567 | * @generated | ||
568 | */ | ||
569 | public EAttribute getAtom_TransitiveClosure() { | ||
570 | return (EAttribute) atomEClass.getEStructuralFeatures().get(1); | ||
571 | } | ||
572 | |||
573 | /** | ||
574 | * <!-- begin-user-doc --> | ||
575 | * <!-- end-user-doc --> | ||
576 | * @generated | ||
577 | */ | ||
578 | public EClass getImplicitVariable() { | ||
579 | return implicitVariableEClass; | ||
580 | } | ||
581 | |||
582 | /** | ||
583 | * <!-- begin-user-doc --> | ||
584 | * <!-- end-user-doc --> | ||
585 | * @generated | ||
586 | */ | ||
587 | public EClass getNegativeLiteral() { | ||
588 | return negativeLiteralEClass; | ||
589 | } | ||
590 | |||
591 | /** | ||
592 | * <!-- begin-user-doc --> | ||
593 | * <!-- end-user-doc --> | ||
594 | * @generated | ||
595 | */ | ||
596 | public EReference getNegativeLiteral_Atom() { | ||
597 | return (EReference) negativeLiteralEClass.getEStructuralFeatures().get(0); | ||
598 | } | ||
599 | |||
600 | /** | ||
601 | * <!-- begin-user-doc --> | ||
602 | * <!-- end-user-doc --> | ||
603 | * @generated | ||
604 | */ | ||
605 | public EClass getExistentialQuantifier() { | ||
606 | return existentialQuantifierEClass; | ||
607 | } | ||
608 | |||
609 | /** | ||
610 | * <!-- begin-user-doc --> | ||
611 | * <!-- end-user-doc --> | ||
612 | * @generated | ||
613 | */ | ||
614 | public EReference getExistentialQuantifier_ImplicitVariables() { | ||
615 | return (EReference) existentialQuantifierEClass.getEStructuralFeatures().get(0); | ||
616 | } | ||
617 | |||
618 | /** | ||
619 | * <!-- begin-user-doc --> | ||
620 | * <!-- end-user-doc --> | ||
621 | * @generated | ||
622 | */ | ||
623 | public EClass getAssertion() { | ||
624 | return assertionEClass; | ||
625 | } | ||
626 | |||
627 | /** | ||
628 | * <!-- begin-user-doc --> | ||
629 | * <!-- end-user-doc --> | ||
630 | * @generated | ||
631 | */ | ||
632 | public EReference getAssertion_Relation() { | ||
633 | return (EReference) assertionEClass.getEStructuralFeatures().get(0); | ||
634 | } | ||
635 | |||
636 | /** | ||
637 | * <!-- begin-user-doc --> | ||
638 | * <!-- end-user-doc --> | ||
639 | * @generated | ||
640 | */ | ||
641 | public EReference getAssertion_Arguments() { | ||
642 | return (EReference) assertionEClass.getEStructuralFeatures().get(1); | ||
643 | } | ||
644 | |||
645 | /** | ||
646 | * <!-- begin-user-doc --> | ||
647 | * <!-- end-user-doc --> | ||
648 | * @generated | ||
649 | */ | ||
650 | public EAttribute getAssertion_Value() { | ||
651 | return (EAttribute) assertionEClass.getEStructuralFeatures().get(2); | ||
652 | } | ||
653 | |||
654 | /** | ||
655 | * <!-- begin-user-doc --> | ||
656 | * <!-- end-user-doc --> | ||
657 | * @generated | ||
658 | */ | ||
659 | public EClass getNode() { | ||
660 | return nodeEClass; | ||
661 | } | ||
662 | |||
663 | /** | ||
664 | * <!-- begin-user-doc --> | ||
665 | * <!-- end-user-doc --> | ||
666 | * @generated | ||
667 | */ | ||
668 | public EClass getScopeDeclaration() { | ||
669 | return scopeDeclarationEClass; | ||
670 | } | ||
671 | |||
672 | /** | ||
673 | * <!-- begin-user-doc --> | ||
674 | * <!-- end-user-doc --> | ||
675 | * @generated | ||
676 | */ | ||
677 | public EReference getScopeDeclaration_TypeScopes() { | ||
678 | return (EReference) scopeDeclarationEClass.getEStructuralFeatures().get(0); | ||
679 | } | ||
680 | |||
681 | /** | ||
682 | * <!-- begin-user-doc --> | ||
683 | * <!-- end-user-doc --> | ||
684 | * @generated | ||
685 | */ | ||
686 | public EClass getStatement() { | ||
687 | return statementEClass; | ||
688 | } | ||
689 | |||
690 | /** | ||
691 | * <!-- begin-user-doc --> | ||
692 | * <!-- end-user-doc --> | ||
693 | * @generated | ||
694 | */ | ||
695 | public EClass getTypeScope() { | ||
696 | return typeScopeEClass; | ||
697 | } | ||
698 | |||
699 | /** | ||
700 | * <!-- begin-user-doc --> | ||
701 | * <!-- end-user-doc --> | ||
702 | * @generated | ||
703 | */ | ||
704 | public EReference getTypeScope_TargetType() { | ||
705 | return (EReference) typeScopeEClass.getEStructuralFeatures().get(0); | ||
706 | } | ||
707 | |||
708 | /** | ||
709 | * <!-- begin-user-doc --> | ||
710 | * <!-- end-user-doc --> | ||
711 | * @generated | ||
712 | */ | ||
713 | public EAttribute getTypeScope_Increment() { | ||
714 | return (EAttribute) typeScopeEClass.getEStructuralFeatures().get(1); | ||
715 | } | ||
716 | |||
717 | /** | ||
718 | * <!-- begin-user-doc --> | ||
719 | * <!-- end-user-doc --> | ||
720 | * @generated | ||
721 | */ | ||
722 | public EReference getTypeScope_Multiplicity() { | ||
723 | return (EReference) typeScopeEClass.getEStructuralFeatures().get(2); | ||
724 | } | ||
725 | |||
726 | /** | ||
727 | * <!-- begin-user-doc --> | ||
728 | * <!-- end-user-doc --> | ||
729 | * @generated | ||
730 | */ | ||
731 | public EClass getMultiplicity() { | ||
732 | return multiplicityEClass; | ||
733 | } | ||
734 | |||
735 | /** | ||
736 | * <!-- begin-user-doc --> | ||
737 | * <!-- end-user-doc --> | ||
738 | * @generated | ||
739 | */ | ||
740 | public EClass getRangeMultiplicity() { | ||
741 | return rangeMultiplicityEClass; | ||
742 | } | ||
743 | |||
744 | /** | ||
745 | * <!-- begin-user-doc --> | ||
746 | * <!-- end-user-doc --> | ||
747 | * @generated | ||
748 | */ | ||
749 | public EAttribute getRangeMultiplicity_LowerBound() { | ||
750 | return (EAttribute) rangeMultiplicityEClass.getEStructuralFeatures().get(0); | ||
751 | } | ||
752 | |||
753 | /** | ||
754 | * <!-- begin-user-doc --> | ||
755 | * <!-- end-user-doc --> | ||
756 | * @generated | ||
757 | */ | ||
758 | public EAttribute getRangeMultiplicity_UpperBound() { | ||
759 | return (EAttribute) rangeMultiplicityEClass.getEStructuralFeatures().get(1); | ||
760 | } | ||
761 | |||
762 | /** | ||
763 | * <!-- begin-user-doc --> | ||
764 | * <!-- end-user-doc --> | ||
765 | * @generated | ||
766 | */ | ||
767 | public EClass getExactMultiplicity() { | ||
768 | return exactMultiplicityEClass; | ||
769 | } | ||
770 | |||
771 | /** | ||
772 | * <!-- begin-user-doc --> | ||
773 | * <!-- end-user-doc --> | ||
774 | * @generated | ||
775 | */ | ||
776 | public EAttribute getExactMultiplicity_ExactValue() { | ||
777 | return (EAttribute) exactMultiplicityEClass.getEStructuralFeatures().get(0); | ||
778 | } | ||
779 | |||
780 | /** | ||
781 | * <!-- begin-user-doc --> | ||
782 | * <!-- end-user-doc --> | ||
783 | * @generated | ||
784 | */ | ||
785 | public EClass getUnboundedMultiplicity() { | ||
786 | return unboundedMultiplicityEClass; | ||
787 | } | ||
788 | |||
789 | /** | ||
790 | * <!-- begin-user-doc --> | ||
791 | * <!-- end-user-doc --> | ||
792 | * @generated | ||
793 | */ | ||
794 | public EClass getArgument() { | ||
795 | return argumentEClass; | ||
796 | } | ||
797 | |||
798 | /** | ||
799 | * <!-- begin-user-doc --> | ||
800 | * <!-- end-user-doc --> | ||
801 | * @generated | ||
802 | */ | ||
803 | public EReference getArgument_VariableOrNode() { | ||
804 | return (EReference) argumentEClass.getEStructuralFeatures().get(0); | ||
805 | } | ||
806 | |||
807 | /** | ||
808 | * <!-- begin-user-doc --> | ||
809 | * <!-- end-user-doc --> | ||
810 | * @generated | ||
811 | */ | ||
812 | public EReference getArgument_SingletonVariable() { | ||
813 | return (EReference) argumentEClass.getEStructuralFeatures().get(1); | ||
814 | } | ||
815 | |||
816 | /** | ||
817 | * <!-- begin-user-doc --> | ||
818 | * <!-- end-user-doc --> | ||
819 | * @generated | ||
820 | */ | ||
821 | public EClass getEnumDeclaration() { | ||
822 | return enumDeclarationEClass; | ||
823 | } | ||
824 | |||
825 | /** | ||
826 | * <!-- begin-user-doc --> | ||
827 | * <!-- end-user-doc --> | ||
828 | * @generated | ||
829 | */ | ||
830 | public EReference getEnumDeclaration_Literals() { | ||
831 | return (EReference) enumDeclarationEClass.getEStructuralFeatures().get(0); | ||
832 | } | ||
833 | |||
834 | /** | ||
835 | * <!-- begin-user-doc --> | ||
836 | * <!-- end-user-doc --> | ||
837 | * @generated | ||
838 | */ | ||
839 | public EClass getVariableOrNode() { | ||
840 | return variableOrNodeEClass; | ||
841 | } | ||
842 | |||
843 | /** | ||
844 | * <!-- begin-user-doc --> | ||
845 | * <!-- end-user-doc --> | ||
846 | * @generated | ||
847 | */ | ||
848 | public EEnum getLogicValue() { | ||
849 | return logicValueEEnum; | ||
850 | } | ||
851 | |||
852 | /** | ||
853 | * <!-- begin-user-doc --> | ||
854 | * <!-- end-user-doc --> | ||
855 | * @generated | ||
856 | */ | ||
857 | public ProblemFactory getProblemFactory() { | ||
858 | return (ProblemFactory) getEFactoryInstance(); | ||
859 | } | ||
860 | |||
861 | /** | ||
862 | * <!-- begin-user-doc --> | ||
863 | * <!-- end-user-doc --> | ||
864 | * @generated | ||
865 | */ | ||
866 | private boolean isCreated = false; | ||
867 | |||
868 | /** | ||
869 | * Creates the meta-model objects for the package. This method is | ||
870 | * guarded to have no affect on any invocation but its first. | ||
871 | * <!-- begin-user-doc --> | ||
872 | * <!-- end-user-doc --> | ||
873 | * @generated | ||
874 | */ | ||
875 | public void createPackageContents() { | ||
876 | if (isCreated) | ||
877 | return; | ||
878 | isCreated = true; | ||
879 | |||
880 | // Create classes and their features | ||
881 | problemEClass = createEClass(PROBLEM); | ||
882 | createEReference(problemEClass, PROBLEM__NODES); | ||
883 | createEReference(problemEClass, PROBLEM__STATEMENTS); | ||
884 | |||
885 | relationEClass = createEClass(RELATION); | ||
886 | |||
887 | classDeclarationEClass = createEClass(CLASS_DECLARATION); | ||
888 | createEAttribute(classDeclarationEClass, CLASS_DECLARATION__ABSTRACT); | ||
889 | createEReference(classDeclarationEClass, CLASS_DECLARATION__SUPER_TYPES); | ||
890 | createEReference(classDeclarationEClass, CLASS_DECLARATION__REFERENCE_DECLARATIONS); | ||
891 | createEReference(classDeclarationEClass, CLASS_DECLARATION__NEW_NODE); | ||
892 | |||
893 | referenceDeclarationEClass = createEClass(REFERENCE_DECLARATION); | ||
894 | createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__REFERENCE_TYPE); | ||
895 | createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__OPPOSITE); | ||
896 | createEAttribute(referenceDeclarationEClass, REFERENCE_DECLARATION__CONTAINMENT); | ||
897 | createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__MULTIPLICITY); | ||
898 | |||
899 | namedElementEClass = createEClass(NAMED_ELEMENT); | ||
900 | createEAttribute(namedElementEClass, NAMED_ELEMENT__NAME); | ||
901 | |||
902 | predicateDefinitionEClass = createEClass(PREDICATE_DEFINITION); | ||
903 | createEAttribute(predicateDefinitionEClass, PREDICATE_DEFINITION__ERROR); | ||
904 | createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__PARAMETERS); | ||
905 | createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__BODIES); | ||
906 | |||
907 | parameterEClass = createEClass(PARAMETER); | ||
908 | createEReference(parameterEClass, PARAMETER__PARAMETER_TYPE); | ||
909 | |||
910 | variableEClass = createEClass(VARIABLE); | ||
911 | |||
912 | conjunctionEClass = createEClass(CONJUNCTION); | ||
913 | createEReference(conjunctionEClass, CONJUNCTION__LITERALS); | ||
914 | |||
915 | literalEClass = createEClass(LITERAL); | ||
916 | |||
917 | atomEClass = createEClass(ATOM); | ||
918 | createEReference(atomEClass, ATOM__RELATION); | ||
919 | createEAttribute(atomEClass, ATOM__TRANSITIVE_CLOSURE); | ||
920 | createEReference(atomEClass, ATOM__ARGUMENTS); | ||
921 | |||
922 | implicitVariableEClass = createEClass(IMPLICIT_VARIABLE); | ||
923 | |||
924 | negativeLiteralEClass = createEClass(NEGATIVE_LITERAL); | ||
925 | createEReference(negativeLiteralEClass, NEGATIVE_LITERAL__ATOM); | ||
926 | |||
927 | existentialQuantifierEClass = createEClass(EXISTENTIAL_QUANTIFIER); | ||
928 | createEReference(existentialQuantifierEClass, EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES); | ||
929 | |||
930 | assertionEClass = createEClass(ASSERTION); | ||
931 | createEReference(assertionEClass, ASSERTION__RELATION); | ||
932 | createEReference(assertionEClass, ASSERTION__ARGUMENTS); | ||
933 | createEAttribute(assertionEClass, ASSERTION__VALUE); | ||
934 | |||
935 | nodeEClass = createEClass(NODE); | ||
936 | |||
937 | scopeDeclarationEClass = createEClass(SCOPE_DECLARATION); | ||
938 | createEReference(scopeDeclarationEClass, SCOPE_DECLARATION__TYPE_SCOPES); | ||
939 | |||
940 | statementEClass = createEClass(STATEMENT); | ||
941 | |||
942 | typeScopeEClass = createEClass(TYPE_SCOPE); | ||
943 | createEReference(typeScopeEClass, TYPE_SCOPE__TARGET_TYPE); | ||
944 | createEAttribute(typeScopeEClass, TYPE_SCOPE__INCREMENT); | ||
945 | createEReference(typeScopeEClass, TYPE_SCOPE__MULTIPLICITY); | ||
946 | |||
947 | multiplicityEClass = createEClass(MULTIPLICITY); | ||
948 | |||
949 | rangeMultiplicityEClass = createEClass(RANGE_MULTIPLICITY); | ||
950 | createEAttribute(rangeMultiplicityEClass, RANGE_MULTIPLICITY__LOWER_BOUND); | ||
951 | createEAttribute(rangeMultiplicityEClass, RANGE_MULTIPLICITY__UPPER_BOUND); | ||
952 | |||
953 | exactMultiplicityEClass = createEClass(EXACT_MULTIPLICITY); | ||
954 | createEAttribute(exactMultiplicityEClass, EXACT_MULTIPLICITY__EXACT_VALUE); | ||
955 | |||
956 | unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY); | ||
957 | |||
958 | argumentEClass = createEClass(ARGUMENT); | ||
959 | createEReference(argumentEClass, ARGUMENT__VARIABLE_OR_NODE); | ||
960 | createEReference(argumentEClass, ARGUMENT__SINGLETON_VARIABLE); | ||
961 | |||
962 | enumDeclarationEClass = createEClass(ENUM_DECLARATION); | ||
963 | createEReference(enumDeclarationEClass, ENUM_DECLARATION__LITERALS); | ||
964 | |||
965 | variableOrNodeEClass = createEClass(VARIABLE_OR_NODE); | ||
966 | |||
967 | // Create enums | ||
968 | logicValueEEnum = createEEnum(LOGIC_VALUE); | ||
969 | } | ||
970 | |||
971 | /** | ||
972 | * <!-- begin-user-doc --> | ||
973 | * <!-- end-user-doc --> | ||
974 | * @generated | ||
975 | */ | ||
976 | private boolean isInitialized = false; | ||
977 | |||
978 | /** | ||
979 | * Complete the initialization of the package and its meta-model. This | ||
980 | * method is guarded to have no affect on any invocation but its first. | ||
981 | * <!-- begin-user-doc --> | ||
982 | * <!-- end-user-doc --> | ||
983 | * @generated | ||
984 | */ | ||
985 | public void initializePackageContents() { | ||
986 | if (isInitialized) | ||
987 | return; | ||
988 | isInitialized = true; | ||
989 | |||
990 | // Initialize package | ||
991 | setName(eNAME); | ||
992 | setNsPrefix(eNS_PREFIX); | ||
993 | setNsURI(eNS_URI); | ||
994 | |||
995 | // Create type parameters | ||
996 | |||
997 | // Set bounds for type parameters | ||
998 | |||
999 | // Add supertypes to classes | ||
1000 | problemEClass.getESuperTypes().add(this.getNamedElement()); | ||
1001 | relationEClass.getESuperTypes().add(this.getNamedElement()); | ||
1002 | classDeclarationEClass.getESuperTypes().add(this.getRelation()); | ||
1003 | classDeclarationEClass.getESuperTypes().add(this.getStatement()); | ||
1004 | referenceDeclarationEClass.getESuperTypes().add(this.getRelation()); | ||
1005 | predicateDefinitionEClass.getESuperTypes().add(this.getRelation()); | ||
1006 | predicateDefinitionEClass.getESuperTypes().add(this.getStatement()); | ||
1007 | parameterEClass.getESuperTypes().add(this.getVariable()); | ||
1008 | variableEClass.getESuperTypes().add(this.getVariableOrNode()); | ||
1009 | conjunctionEClass.getESuperTypes().add(this.getExistentialQuantifier()); | ||
1010 | atomEClass.getESuperTypes().add(this.getLiteral()); | ||
1011 | implicitVariableEClass.getESuperTypes().add(this.getVariable()); | ||
1012 | negativeLiteralEClass.getESuperTypes().add(this.getExistentialQuantifier()); | ||
1013 | negativeLiteralEClass.getESuperTypes().add(this.getLiteral()); | ||
1014 | assertionEClass.getESuperTypes().add(this.getStatement()); | ||
1015 | nodeEClass.getESuperTypes().add(this.getVariableOrNode()); | ||
1016 | scopeDeclarationEClass.getESuperTypes().add(this.getStatement()); | ||
1017 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | ||
1018 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | ||
1019 | unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | ||
1020 | enumDeclarationEClass.getESuperTypes().add(this.getRelation()); | ||
1021 | enumDeclarationEClass.getESuperTypes().add(this.getStatement()); | ||
1022 | variableOrNodeEClass.getESuperTypes().add(this.getNamedElement()); | ||
1023 | |||
1024 | // Initialize classes, features, and operations; add parameters | ||
1025 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1026 | initEReference(getProblem_Nodes(), this.getNode(), null, "nodes", null, 0, -1, Problem.class, !IS_TRANSIENT, | ||
1027 | !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, | ||
1028 | IS_ORDERED); | ||
1029 | initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, | ||
1030 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1031 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1032 | |||
1033 | initEClass(relationEClass, Relation.class, "Relation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1034 | |||
1035 | initEClass(classDeclarationEClass, ClassDeclaration.class, "ClassDeclaration", !IS_ABSTRACT, !IS_INTERFACE, | ||
1036 | IS_GENERATED_INSTANCE_CLASS); | ||
1037 | initEAttribute(getClassDeclaration_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, | ||
1038 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
1039 | !IS_DERIVED, IS_ORDERED); | ||
1040 | initEReference(getClassDeclaration_SuperTypes(), this.getRelation(), null, "superTypes", null, 0, -1, | ||
1041 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | ||
1042 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1043 | initEReference(getClassDeclaration_ReferenceDeclarations(), this.getReferenceDeclaration(), null, | ||
1044 | "referenceDeclarations", null, 0, -1, ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, | ||
1045 | IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1046 | initEReference(getClassDeclaration_NewNode(), this.getNode(), null, "newNode", null, 0, 1, | ||
1047 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1048 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1049 | |||
1050 | initEClass(referenceDeclarationEClass, ReferenceDeclaration.class, "ReferenceDeclaration", !IS_ABSTRACT, | ||
1051 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1052 | initEReference(getReferenceDeclaration_ReferenceType(), this.getRelation(), null, "referenceType", null, 0, 1, | ||
1053 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, | ||
1054 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1055 | initEReference(getReferenceDeclaration_Opposite(), this.getReferenceDeclaration(), null, "opposite", null, 0, 1, | ||
1056 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, | ||
1057 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1058 | initEAttribute(getReferenceDeclaration_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, | ||
1059 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, | ||
1060 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1061 | initEReference(getReferenceDeclaration_Multiplicity(), this.getMultiplicity(), null, "multiplicity", null, 0, 1, | ||
1062 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | ||
1063 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1064 | |||
1065 | initEClass(namedElementEClass, NamedElement.class, "NamedElement", IS_ABSTRACT, !IS_INTERFACE, | ||
1066 | IS_GENERATED_INSTANCE_CLASS); | ||
1067 | initEAttribute(getNamedElement_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedElement.class, | ||
1068 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1069 | |||
1070 | initEClass(predicateDefinitionEClass, PredicateDefinition.class, "PredicateDefinition", !IS_ABSTRACT, | ||
1071 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1072 | initEAttribute(getPredicateDefinition_Error(), ecorePackage.getEBoolean(), "error", null, 0, 1, | ||
1073 | PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, | ||
1074 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1075 | initEReference(getPredicateDefinition_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, | ||
1076 | PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | ||
1077 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1078 | initEReference(getPredicateDefinition_Bodies(), this.getConjunction(), null, "bodies", null, 0, -1, | ||
1079 | PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | ||
1080 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1081 | |||
1082 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, | ||
1083 | IS_GENERATED_INSTANCE_CLASS); | ||
1084 | initEReference(getParameter_ParameterType(), this.getRelation(), null, "parameterType", null, 0, 1, | ||
1085 | Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | ||
1086 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1087 | |||
1088 | initEClass(variableEClass, Variable.class, "Variable", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1089 | |||
1090 | initEClass(conjunctionEClass, Conjunction.class, "Conjunction", !IS_ABSTRACT, !IS_INTERFACE, | ||
1091 | IS_GENERATED_INSTANCE_CLASS); | ||
1092 | initEReference(getConjunction_Literals(), this.getLiteral(), null, "literals", null, 0, -1, Conjunction.class, | ||
1093 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1094 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1095 | |||
1096 | initEClass(literalEClass, Literal.class, "Literal", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1097 | |||
1098 | initEClass(atomEClass, Atom.class, "Atom", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1099 | initEReference(getAtom_Relation(), this.getRelation(), null, "relation", null, 0, 1, Atom.class, !IS_TRANSIENT, | ||
1100 | !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, | ||
1101 | IS_ORDERED); | ||
1102 | initEAttribute(getAtom_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, | ||
1103 | Atom.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, | ||
1104 | IS_ORDERED); | ||
1105 | initEReference(getAtom_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, Atom.class, | ||
1106 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1107 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1108 | |||
1109 | initEClass(implicitVariableEClass, ImplicitVariable.class, "ImplicitVariable", !IS_ABSTRACT, !IS_INTERFACE, | ||
1110 | IS_GENERATED_INSTANCE_CLASS); | ||
1111 | |||
1112 | initEClass(negativeLiteralEClass, NegativeLiteral.class, "NegativeLiteral", !IS_ABSTRACT, !IS_INTERFACE, | ||
1113 | IS_GENERATED_INSTANCE_CLASS); | ||
1114 | initEReference(getNegativeLiteral_Atom(), this.getAtom(), null, "atom", null, 0, 1, NegativeLiteral.class, | ||
1115 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1116 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1117 | |||
1118 | initEClass(existentialQuantifierEClass, ExistentialQuantifier.class, "ExistentialQuantifier", IS_ABSTRACT, | ||
1119 | IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1120 | initEReference(getExistentialQuantifier_ImplicitVariables(), this.getImplicitVariable(), null, | ||
1121 | "implicitVariables", null, 0, -1, ExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, | ||
1122 | IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1123 | |||
1124 | initEClass(assertionEClass, Assertion.class, "Assertion", !IS_ABSTRACT, !IS_INTERFACE, | ||
1125 | IS_GENERATED_INSTANCE_CLASS); | ||
1126 | initEReference(getAssertion_Relation(), this.getRelation(), null, "relation", null, 0, 1, Assertion.class, | ||
1127 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1128 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1129 | initEReference(getAssertion_Arguments(), this.getNode(), null, "arguments", null, 0, -1, Assertion.class, | ||
1130 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1131 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1132 | initEAttribute(getAssertion_Value(), this.getLogicValue(), "value", null, 0, 1, Assertion.class, !IS_TRANSIENT, | ||
1133 | !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1134 | |||
1135 | initEClass(nodeEClass, Node.class, "Node", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1136 | |||
1137 | initEClass(scopeDeclarationEClass, ScopeDeclaration.class, "ScopeDeclaration", !IS_ABSTRACT, !IS_INTERFACE, | ||
1138 | IS_GENERATED_INSTANCE_CLASS); | ||
1139 | initEReference(getScopeDeclaration_TypeScopes(), this.getTypeScope(), null, "typeScopes", null, 0, -1, | ||
1140 | ScopeDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1141 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1142 | |||
1143 | initEClass(statementEClass, Statement.class, "Statement", IS_ABSTRACT, IS_INTERFACE, | ||
1144 | IS_GENERATED_INSTANCE_CLASS); | ||
1145 | |||
1146 | initEClass(typeScopeEClass, TypeScope.class, "TypeScope", !IS_ABSTRACT, !IS_INTERFACE, | ||
1147 | IS_GENERATED_INSTANCE_CLASS); | ||
1148 | initEReference(getTypeScope_TargetType(), this.getClassDeclaration(), null, "targetType", null, 0, 1, | ||
1149 | TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | ||
1150 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1151 | initEAttribute(getTypeScope_Increment(), ecorePackage.getEBoolean(), "increment", null, 0, 1, TypeScope.class, | ||
1152 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1153 | initEReference(getTypeScope_Multiplicity(), this.getMultiplicity(), null, "multiplicity", null, 0, 1, | ||
1154 | TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1155 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1156 | |||
1157 | initEClass(multiplicityEClass, Multiplicity.class, "Multiplicity", IS_ABSTRACT, !IS_INTERFACE, | ||
1158 | IS_GENERATED_INSTANCE_CLASS); | ||
1159 | |||
1160 | initEClass(rangeMultiplicityEClass, RangeMultiplicity.class, "RangeMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, | ||
1161 | IS_GENERATED_INSTANCE_CLASS); | ||
1162 | initEAttribute(getRangeMultiplicity_LowerBound(), ecorePackage.getEInt(), "lowerBound", "0", 0, 1, | ||
1163 | RangeMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
1164 | !IS_DERIVED, IS_ORDERED); | ||
1165 | initEAttribute(getRangeMultiplicity_UpperBound(), ecorePackage.getEInt(), "upperBound", "-1", 0, 1, | ||
1166 | RangeMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
1167 | !IS_DERIVED, IS_ORDERED); | ||
1168 | |||
1169 | initEClass(exactMultiplicityEClass, ExactMultiplicity.class, "ExactMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, | ||
1170 | IS_GENERATED_INSTANCE_CLASS); | ||
1171 | initEAttribute(getExactMultiplicity_ExactValue(), ecorePackage.getEInt(), "exactValue", "1", 0, 1, | ||
1172 | ExactMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
1173 | !IS_DERIVED, IS_ORDERED); | ||
1174 | |||
1175 | initEClass(unboundedMultiplicityEClass, UnboundedMultiplicity.class, "UnboundedMultiplicity", !IS_ABSTRACT, | ||
1176 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1177 | |||
1178 | initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, | ||
1179 | IS_GENERATED_INSTANCE_CLASS); | ||
1180 | initEReference(getArgument_VariableOrNode(), this.getVariableOrNode(), null, "variableOrNode", null, 0, 1, | ||
1181 | Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | ||
1182 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1183 | initEReference(getArgument_SingletonVariable(), this.getImplicitVariable(), null, "singletonVariable", null, 0, | ||
1184 | 1, Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1185 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1186 | |||
1187 | initEClass(enumDeclarationEClass, EnumDeclaration.class, "EnumDeclaration", !IS_ABSTRACT, !IS_INTERFACE, | ||
1188 | IS_GENERATED_INSTANCE_CLASS); | ||
1189 | initEReference(getEnumDeclaration_Literals(), this.getNode(), null, "literals", null, 0, -1, | ||
1190 | EnumDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1191 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1192 | |||
1193 | initEClass(variableOrNodeEClass, VariableOrNode.class, "VariableOrNode", IS_ABSTRACT, !IS_INTERFACE, | ||
1194 | IS_GENERATED_INSTANCE_CLASS); | ||
1195 | |||
1196 | // Initialize enums and add enum literals | ||
1197 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); | ||
1198 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); | ||
1199 | addEEnumLiteral(logicValueEEnum, LogicValue.FALSE); | ||
1200 | addEEnumLiteral(logicValueEEnum, LogicValue.UNKNOWN); | ||
1201 | |||
1202 | // Create resource | ||
1203 | createResource(eNS_URI); | ||
1204 | } | ||
1205 | |||
1206 | } //ProblemPackageImpl | ||