diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | 2032 |
1 files changed, 2032 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java new file mode 100644 index 00000000..b73d679d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | |||
@@ -0,0 +1,2032 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct; | ||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison; | ||
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals; | ||
19 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists; | ||
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall; | ||
21 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
22 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration; | ||
23 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition; | ||
24 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse; | ||
25 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff; | ||
26 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl; | ||
27 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf; | ||
28 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral; | ||
29 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation; | ||
30 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference; | ||
31 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan; | ||
32 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan; | ||
33 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory; | ||
34 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
35 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus; | ||
36 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod; | ||
37 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan; | ||
38 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan; | ||
39 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply; | ||
40 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not; | ||
41 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or; | ||
42 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus; | ||
43 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation; | ||
44 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference; | ||
45 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression; | ||
46 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral; | ||
47 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference; | ||
48 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
49 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
50 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition; | ||
51 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; | ||
52 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; | ||
53 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; | ||
54 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; | ||
55 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
56 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; | ||
57 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; | ||
58 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor; | ||
59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference; | ||
60 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted; | ||
61 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
62 | |||
63 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
64 | |||
65 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl; | ||
66 | |||
67 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
68 | |||
69 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl; | ||
70 | |||
71 | import org.eclipse.emf.ecore.EAttribute; | ||
72 | import org.eclipse.emf.ecore.EClass; | ||
73 | import org.eclipse.emf.ecore.EPackage; | ||
74 | import org.eclipse.emf.ecore.EReference; | ||
75 | |||
76 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * An implementation of the model <b>Package</b>. | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | */ | ||
84 | public class LogiclanguagePackageImpl extends EPackageImpl implements LogiclanguagePackage { | ||
85 | /** | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | private EClass typeEClass = null; | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | private EClass definedElementEClass = null; | ||
98 | |||
99 | /** | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @generated | ||
103 | */ | ||
104 | private EClass typeDefinitionEClass = null; | ||
105 | |||
106 | /** | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | private EClass typeReferenceEClass = null; | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | private EClass complexTypeReferenceEClass = null; | ||
119 | |||
120 | /** | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @generated | ||
124 | */ | ||
125 | private EClass primitiveTypeReferenceEClass = null; | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | private EClass intTypeReferenceEClass = null; | ||
133 | |||
134 | /** | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | */ | ||
139 | private EClass boolTypeReferenceEClass = null; | ||
140 | |||
141 | /** | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @generated | ||
145 | */ | ||
146 | private EClass realTypeReferenceEClass = null; | ||
147 | |||
148 | /** | ||
149 | * <!-- begin-user-doc --> | ||
150 | * <!-- end-user-doc --> | ||
151 | * @generated | ||
152 | */ | ||
153 | private EClass functionEClass = null; | ||
154 | |||
155 | /** | ||
156 | * <!-- begin-user-doc --> | ||
157 | * <!-- end-user-doc --> | ||
158 | * @generated | ||
159 | */ | ||
160 | private EClass termEClass = null; | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | private EClass symbolicDeclarationEClass = null; | ||
168 | |||
169 | /** | ||
170 | * <!-- begin-user-doc --> | ||
171 | * <!-- end-user-doc --> | ||
172 | * @generated | ||
173 | */ | ||
174 | private EClass symbolicValueEClass = null; | ||
175 | |||
176 | /** | ||
177 | * <!-- begin-user-doc --> | ||
178 | * <!-- end-user-doc --> | ||
179 | * @generated | ||
180 | */ | ||
181 | private EClass atomicTermEClass = null; | ||
182 | |||
183 | /** | ||
184 | * <!-- begin-user-doc --> | ||
185 | * <!-- end-user-doc --> | ||
186 | * @generated | ||
187 | */ | ||
188 | private EClass intLiteralEClass = null; | ||
189 | |||
190 | /** | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | private EClass boolLiteralEClass = null; | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | private EClass realLiteralEClass = null; | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | private EClass variableEClass = null; | ||
210 | |||
211 | /** | ||
212 | * <!-- begin-user-doc --> | ||
213 | * <!-- end-user-doc --> | ||
214 | * @generated | ||
215 | */ | ||
216 | private EClass quantifiedExpressionEClass = null; | ||
217 | |||
218 | /** | ||
219 | * <!-- begin-user-doc --> | ||
220 | * <!-- end-user-doc --> | ||
221 | * @generated | ||
222 | */ | ||
223 | private EClass existsEClass = null; | ||
224 | |||
225 | /** | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | */ | ||
230 | private EClass forallEClass = null; | ||
231 | |||
232 | /** | ||
233 | * <!-- begin-user-doc --> | ||
234 | * <!-- end-user-doc --> | ||
235 | * @generated | ||
236 | */ | ||
237 | private EClass boolOperationEClass = null; | ||
238 | |||
239 | /** | ||
240 | * <!-- begin-user-doc --> | ||
241 | * <!-- end-user-doc --> | ||
242 | * @generated | ||
243 | */ | ||
244 | private EClass andEClass = null; | ||
245 | |||
246 | /** | ||
247 | * <!-- begin-user-doc --> | ||
248 | * <!-- end-user-doc --> | ||
249 | * @generated | ||
250 | */ | ||
251 | private EClass orEClass = null; | ||
252 | |||
253 | /** | ||
254 | * <!-- begin-user-doc --> | ||
255 | * <!-- end-user-doc --> | ||
256 | * @generated | ||
257 | */ | ||
258 | private EClass implEClass = null; | ||
259 | |||
260 | /** | ||
261 | * <!-- begin-user-doc --> | ||
262 | * <!-- end-user-doc --> | ||
263 | * @generated | ||
264 | */ | ||
265 | private EClass notEClass = null; | ||
266 | |||
267 | /** | ||
268 | * <!-- begin-user-doc --> | ||
269 | * <!-- end-user-doc --> | ||
270 | * @generated | ||
271 | */ | ||
272 | private EClass iffEClass = null; | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | private EClass primitiveRelationEClass = null; | ||
280 | |||
281 | /** | ||
282 | * <!-- begin-user-doc --> | ||
283 | * <!-- end-user-doc --> | ||
284 | * @generated | ||
285 | */ | ||
286 | private EClass equalsEClass = null; | ||
287 | |||
288 | /** | ||
289 | * <!-- begin-user-doc --> | ||
290 | * <!-- end-user-doc --> | ||
291 | * @generated | ||
292 | */ | ||
293 | private EClass distinctEClass = null; | ||
294 | |||
295 | /** | ||
296 | * <!-- begin-user-doc --> | ||
297 | * <!-- end-user-doc --> | ||
298 | * @generated | ||
299 | */ | ||
300 | private EClass lessThanEClass = null; | ||
301 | |||
302 | /** | ||
303 | * <!-- begin-user-doc --> | ||
304 | * <!-- end-user-doc --> | ||
305 | * @generated | ||
306 | */ | ||
307 | private EClass moreThanEClass = null; | ||
308 | |||
309 | /** | ||
310 | * <!-- begin-user-doc --> | ||
311 | * <!-- end-user-doc --> | ||
312 | * @generated | ||
313 | */ | ||
314 | private EClass lessOrEqualThanEClass = null; | ||
315 | |||
316 | /** | ||
317 | * <!-- begin-user-doc --> | ||
318 | * <!-- end-user-doc --> | ||
319 | * @generated | ||
320 | */ | ||
321 | private EClass moreOrEqualThanEClass = null; | ||
322 | |||
323 | /** | ||
324 | * <!-- begin-user-doc --> | ||
325 | * <!-- end-user-doc --> | ||
326 | * @generated | ||
327 | */ | ||
328 | private EClass intOperationEClass = null; | ||
329 | |||
330 | /** | ||
331 | * <!-- begin-user-doc --> | ||
332 | * <!-- end-user-doc --> | ||
333 | * @generated | ||
334 | */ | ||
335 | private EClass plusEClass = null; | ||
336 | |||
337 | /** | ||
338 | * <!-- begin-user-doc --> | ||
339 | * <!-- end-user-doc --> | ||
340 | * @generated | ||
341 | */ | ||
342 | private EClass minusEClass = null; | ||
343 | |||
344 | /** | ||
345 | * <!-- begin-user-doc --> | ||
346 | * <!-- end-user-doc --> | ||
347 | * @generated | ||
348 | */ | ||
349 | private EClass multiplyEClass = null; | ||
350 | |||
351 | /** | ||
352 | * <!-- begin-user-doc --> | ||
353 | * <!-- end-user-doc --> | ||
354 | * @generated | ||
355 | */ | ||
356 | private EClass divisonEClass = null; | ||
357 | |||
358 | /** | ||
359 | * <!-- begin-user-doc --> | ||
360 | * <!-- end-user-doc --> | ||
361 | * @generated | ||
362 | */ | ||
363 | private EClass modEClass = null; | ||
364 | |||
365 | /** | ||
366 | * <!-- begin-user-doc --> | ||
367 | * <!-- end-user-doc --> | ||
368 | * @generated | ||
369 | */ | ||
370 | private EClass typeDescriptorEClass = null; | ||
371 | |||
372 | /** | ||
373 | * <!-- begin-user-doc --> | ||
374 | * <!-- end-user-doc --> | ||
375 | * @generated | ||
376 | */ | ||
377 | private EClass termDescriptionEClass = null; | ||
378 | |||
379 | /** | ||
380 | * <!-- begin-user-doc --> | ||
381 | * <!-- end-user-doc --> | ||
382 | * @generated | ||
383 | */ | ||
384 | private EClass assertionEClass = null; | ||
385 | |||
386 | /** | ||
387 | * <!-- begin-user-doc --> | ||
388 | * <!-- end-user-doc --> | ||
389 | * @generated | ||
390 | */ | ||
391 | private EClass relationEClass = null; | ||
392 | |||
393 | /** | ||
394 | * <!-- begin-user-doc --> | ||
395 | * <!-- end-user-doc --> | ||
396 | * @generated | ||
397 | */ | ||
398 | private EClass constantEClass = null; | ||
399 | |||
400 | /** | ||
401 | * <!-- begin-user-doc --> | ||
402 | * <!-- end-user-doc --> | ||
403 | * @generated | ||
404 | */ | ||
405 | private EClass constantDefinitionEClass = null; | ||
406 | |||
407 | /** | ||
408 | * <!-- begin-user-doc --> | ||
409 | * <!-- end-user-doc --> | ||
410 | * @generated | ||
411 | */ | ||
412 | private EClass relationDefinitionEClass = null; | ||
413 | |||
414 | /** | ||
415 | * <!-- begin-user-doc --> | ||
416 | * <!-- end-user-doc --> | ||
417 | * @generated | ||
418 | */ | ||
419 | private EClass functionDefinitionEClass = null; | ||
420 | |||
421 | /** | ||
422 | * <!-- begin-user-doc --> | ||
423 | * <!-- end-user-doc --> | ||
424 | * @generated | ||
425 | */ | ||
426 | private EClass ifThenElseEClass = null; | ||
427 | |||
428 | /** | ||
429 | * <!-- begin-user-doc --> | ||
430 | * <!-- end-user-doc --> | ||
431 | * @generated | ||
432 | */ | ||
433 | private EClass constantDeclarationEClass = null; | ||
434 | |||
435 | /** | ||
436 | * <!-- begin-user-doc --> | ||
437 | * <!-- end-user-doc --> | ||
438 | * @generated | ||
439 | */ | ||
440 | private EClass relationDeclarationEClass = null; | ||
441 | |||
442 | /** | ||
443 | * <!-- begin-user-doc --> | ||
444 | * <!-- end-user-doc --> | ||
445 | * @generated | ||
446 | */ | ||
447 | private EClass functionDeclarationEClass = null; | ||
448 | |||
449 | /** | ||
450 | * <!-- begin-user-doc --> | ||
451 | * <!-- end-user-doc --> | ||
452 | * @generated | ||
453 | */ | ||
454 | private EClass typeDeclarationEClass = null; | ||
455 | |||
456 | /** | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @generated | ||
460 | */ | ||
461 | private EClass unknownBecauseUninterpretedEClass = null; | ||
462 | |||
463 | /** | ||
464 | * <!-- begin-user-doc --> | ||
465 | * <!-- end-user-doc --> | ||
466 | * @generated | ||
467 | */ | ||
468 | private EClass instanceOfEClass = null; | ||
469 | |||
470 | /** | ||
471 | * Creates an instance of the model <b>Package</b>, registered with | ||
472 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
473 | * package URI value. | ||
474 | * <p>Note: the correct way to create the package is via the static | ||
475 | * factory method {@link #init init()}, which also performs | ||
476 | * initialization of the package, or returns the registered package, | ||
477 | * if one already exists. | ||
478 | * <!-- begin-user-doc --> | ||
479 | * <!-- end-user-doc --> | ||
480 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
481 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#eNS_URI | ||
482 | * @see #init() | ||
483 | * @generated | ||
484 | */ | ||
485 | private LogiclanguagePackageImpl() { | ||
486 | super(eNS_URI, LogiclanguageFactory.eINSTANCE); | ||
487 | } | ||
488 | |||
489 | /** | ||
490 | * <!-- begin-user-doc --> | ||
491 | * <!-- end-user-doc --> | ||
492 | * @generated | ||
493 | */ | ||
494 | private static boolean isInited = false; | ||
495 | |||
496 | /** | ||
497 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
498 | * | ||
499 | * <p>This method is used to initialize {@link LogiclanguagePackage#eINSTANCE} when that field is accessed. | ||
500 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
501 | * <!-- begin-user-doc --> | ||
502 | * <!-- end-user-doc --> | ||
503 | * @see #eNS_URI | ||
504 | * @see #createPackageContents() | ||
505 | * @see #initializePackageContents() | ||
506 | * @generated | ||
507 | */ | ||
508 | public static LogiclanguagePackage init() { | ||
509 | if (isInited) return (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); | ||
510 | |||
511 | // Obtain or create and register package | ||
512 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogiclanguagePackageImpl()); | ||
513 | |||
514 | isInited = true; | ||
515 | |||
516 | // Obtain or create and register interdependencies | ||
517 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE); | ||
518 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) : LogicresultPackage.eINSTANCE); | ||
519 | |||
520 | // Create package meta-data objects | ||
521 | theLogiclanguagePackage.createPackageContents(); | ||
522 | theLogicproblemPackage.createPackageContents(); | ||
523 | theLogicresultPackage.createPackageContents(); | ||
524 | |||
525 | // Initialize created meta-data | ||
526 | theLogiclanguagePackage.initializePackageContents(); | ||
527 | theLogicproblemPackage.initializePackageContents(); | ||
528 | theLogicresultPackage.initializePackageContents(); | ||
529 | |||
530 | // Mark meta-data to indicate it can't be changed | ||
531 | theLogiclanguagePackage.freeze(); | ||
532 | |||
533 | |||
534 | // Update the registry and return the package | ||
535 | EPackage.Registry.INSTANCE.put(LogiclanguagePackage.eNS_URI, theLogiclanguagePackage); | ||
536 | return theLogiclanguagePackage; | ||
537 | } | ||
538 | |||
539 | /** | ||
540 | * <!-- begin-user-doc --> | ||
541 | * <!-- end-user-doc --> | ||
542 | * @generated | ||
543 | */ | ||
544 | public EClass getType() { | ||
545 | return typeEClass; | ||
546 | } | ||
547 | |||
548 | /** | ||
549 | * <!-- begin-user-doc --> | ||
550 | * <!-- end-user-doc --> | ||
551 | * @generated | ||
552 | */ | ||
553 | public EAttribute getType_Name() { | ||
554 | return (EAttribute)typeEClass.getEStructuralFeatures().get(0); | ||
555 | } | ||
556 | |||
557 | /** | ||
558 | * <!-- begin-user-doc --> | ||
559 | * <!-- end-user-doc --> | ||
560 | * @generated | ||
561 | */ | ||
562 | public EReference getType_Subtypes() { | ||
563 | return (EReference)typeEClass.getEStructuralFeatures().get(1); | ||
564 | } | ||
565 | |||
566 | /** | ||
567 | * <!-- begin-user-doc --> | ||
568 | * <!-- end-user-doc --> | ||
569 | * @generated | ||
570 | */ | ||
571 | public EReference getType_Supertypes() { | ||
572 | return (EReference)typeEClass.getEStructuralFeatures().get(2); | ||
573 | } | ||
574 | |||
575 | /** | ||
576 | * <!-- begin-user-doc --> | ||
577 | * <!-- end-user-doc --> | ||
578 | * @generated | ||
579 | */ | ||
580 | public EAttribute getType_IsAbstract() { | ||
581 | return (EAttribute)typeEClass.getEStructuralFeatures().get(3); | ||
582 | } | ||
583 | |||
584 | /** | ||
585 | * <!-- begin-user-doc --> | ||
586 | * <!-- end-user-doc --> | ||
587 | * @generated | ||
588 | */ | ||
589 | public EClass getDefinedElement() { | ||
590 | return definedElementEClass; | ||
591 | } | ||
592 | |||
593 | /** | ||
594 | * <!-- begin-user-doc --> | ||
595 | * <!-- end-user-doc --> | ||
596 | * @generated | ||
597 | */ | ||
598 | public EReference getDefinedElement_DefinedInType() { | ||
599 | return (EReference)definedElementEClass.getEStructuralFeatures().get(0); | ||
600 | } | ||
601 | |||
602 | /** | ||
603 | * <!-- begin-user-doc --> | ||
604 | * <!-- end-user-doc --> | ||
605 | * @generated | ||
606 | */ | ||
607 | public EClass getTypeDefinition() { | ||
608 | return typeDefinitionEClass; | ||
609 | } | ||
610 | |||
611 | /** | ||
612 | * <!-- begin-user-doc --> | ||
613 | * <!-- end-user-doc --> | ||
614 | * @generated | ||
615 | */ | ||
616 | public EReference getTypeDefinition_Elements() { | ||
617 | return (EReference)typeDefinitionEClass.getEStructuralFeatures().get(0); | ||
618 | } | ||
619 | |||
620 | /** | ||
621 | * <!-- begin-user-doc --> | ||
622 | * <!-- end-user-doc --> | ||
623 | * @generated | ||
624 | */ | ||
625 | public EReference getTypeDefinition_Defines() { | ||
626 | return (EReference)typeDefinitionEClass.getEStructuralFeatures().get(1); | ||
627 | } | ||
628 | |||
629 | /** | ||
630 | * <!-- begin-user-doc --> | ||
631 | * <!-- end-user-doc --> | ||
632 | * @generated | ||
633 | */ | ||
634 | public EClass getTypeReference() { | ||
635 | return typeReferenceEClass; | ||
636 | } | ||
637 | |||
638 | /** | ||
639 | * <!-- begin-user-doc --> | ||
640 | * <!-- end-user-doc --> | ||
641 | * @generated | ||
642 | */ | ||
643 | public EClass getComplexTypeReference() { | ||
644 | return complexTypeReferenceEClass; | ||
645 | } | ||
646 | |||
647 | /** | ||
648 | * <!-- begin-user-doc --> | ||
649 | * <!-- end-user-doc --> | ||
650 | * @generated | ||
651 | */ | ||
652 | public EReference getComplexTypeReference_Referred() { | ||
653 | return (EReference)complexTypeReferenceEClass.getEStructuralFeatures().get(0); | ||
654 | } | ||
655 | |||
656 | /** | ||
657 | * <!-- begin-user-doc --> | ||
658 | * <!-- end-user-doc --> | ||
659 | * @generated | ||
660 | */ | ||
661 | public EClass getPrimitiveTypeReference() { | ||
662 | return primitiveTypeReferenceEClass; | ||
663 | } | ||
664 | |||
665 | /** | ||
666 | * <!-- begin-user-doc --> | ||
667 | * <!-- end-user-doc --> | ||
668 | * @generated | ||
669 | */ | ||
670 | public EClass getIntTypeReference() { | ||
671 | return intTypeReferenceEClass; | ||
672 | } | ||
673 | |||
674 | /** | ||
675 | * <!-- begin-user-doc --> | ||
676 | * <!-- end-user-doc --> | ||
677 | * @generated | ||
678 | */ | ||
679 | public EClass getBoolTypeReference() { | ||
680 | return boolTypeReferenceEClass; | ||
681 | } | ||
682 | |||
683 | /** | ||
684 | * <!-- begin-user-doc --> | ||
685 | * <!-- end-user-doc --> | ||
686 | * @generated | ||
687 | */ | ||
688 | public EClass getRealTypeReference() { | ||
689 | return realTypeReferenceEClass; | ||
690 | } | ||
691 | |||
692 | /** | ||
693 | * <!-- begin-user-doc --> | ||
694 | * <!-- end-user-doc --> | ||
695 | * @generated | ||
696 | */ | ||
697 | public EClass getFunction() { | ||
698 | return functionEClass; | ||
699 | } | ||
700 | |||
701 | /** | ||
702 | * <!-- begin-user-doc --> | ||
703 | * <!-- end-user-doc --> | ||
704 | * @generated | ||
705 | */ | ||
706 | public EReference getFunction_Range() { | ||
707 | return (EReference)functionEClass.getEStructuralFeatures().get(0); | ||
708 | } | ||
709 | |||
710 | /** | ||
711 | * <!-- begin-user-doc --> | ||
712 | * <!-- end-user-doc --> | ||
713 | * @generated | ||
714 | */ | ||
715 | public EReference getFunction_Parameters() { | ||
716 | return (EReference)functionEClass.getEStructuralFeatures().get(1); | ||
717 | } | ||
718 | |||
719 | /** | ||
720 | * <!-- begin-user-doc --> | ||
721 | * <!-- end-user-doc --> | ||
722 | * @generated | ||
723 | */ | ||
724 | public EReference getFunction_Annotations() { | ||
725 | return (EReference)functionEClass.getEStructuralFeatures().get(2); | ||
726 | } | ||
727 | |||
728 | /** | ||
729 | * <!-- begin-user-doc --> | ||
730 | * <!-- end-user-doc --> | ||
731 | * @generated | ||
732 | */ | ||
733 | public EClass getTerm() { | ||
734 | return termEClass; | ||
735 | } | ||
736 | |||
737 | /** | ||
738 | * <!-- begin-user-doc --> | ||
739 | * <!-- end-user-doc --> | ||
740 | * @generated | ||
741 | */ | ||
742 | public EClass getSymbolicDeclaration() { | ||
743 | return symbolicDeclarationEClass; | ||
744 | } | ||
745 | |||
746 | /** | ||
747 | * <!-- begin-user-doc --> | ||
748 | * <!-- end-user-doc --> | ||
749 | * @generated | ||
750 | */ | ||
751 | public EAttribute getSymbolicDeclaration_Name() { | ||
752 | return (EAttribute)symbolicDeclarationEClass.getEStructuralFeatures().get(0); | ||
753 | } | ||
754 | |||
755 | /** | ||
756 | * <!-- begin-user-doc --> | ||
757 | * <!-- end-user-doc --> | ||
758 | * @generated | ||
759 | */ | ||
760 | public EClass getSymbolicValue() { | ||
761 | return symbolicValueEClass; | ||
762 | } | ||
763 | |||
764 | /** | ||
765 | * <!-- begin-user-doc --> | ||
766 | * <!-- end-user-doc --> | ||
767 | * @generated | ||
768 | */ | ||
769 | public EReference getSymbolicValue_SymbolicReference() { | ||
770 | return (EReference)symbolicValueEClass.getEStructuralFeatures().get(0); | ||
771 | } | ||
772 | |||
773 | /** | ||
774 | * <!-- begin-user-doc --> | ||
775 | * <!-- end-user-doc --> | ||
776 | * @generated | ||
777 | */ | ||
778 | public EReference getSymbolicValue_ParameterSubstitutions() { | ||
779 | return (EReference)symbolicValueEClass.getEStructuralFeatures().get(1); | ||
780 | } | ||
781 | |||
782 | /** | ||
783 | * <!-- begin-user-doc --> | ||
784 | * <!-- end-user-doc --> | ||
785 | * @generated | ||
786 | */ | ||
787 | public EClass getAtomicTerm() { | ||
788 | return atomicTermEClass; | ||
789 | } | ||
790 | |||
791 | /** | ||
792 | * <!-- begin-user-doc --> | ||
793 | * <!-- end-user-doc --> | ||
794 | * @generated | ||
795 | */ | ||
796 | public EClass getIntLiteral() { | ||
797 | return intLiteralEClass; | ||
798 | } | ||
799 | |||
800 | /** | ||
801 | * <!-- begin-user-doc --> | ||
802 | * <!-- end-user-doc --> | ||
803 | * @generated | ||
804 | */ | ||
805 | public EAttribute getIntLiteral_Value() { | ||
806 | return (EAttribute)intLiteralEClass.getEStructuralFeatures().get(0); | ||
807 | } | ||
808 | |||
809 | /** | ||
810 | * <!-- begin-user-doc --> | ||
811 | * <!-- end-user-doc --> | ||
812 | * @generated | ||
813 | */ | ||
814 | public EClass getBoolLiteral() { | ||
815 | return boolLiteralEClass; | ||
816 | } | ||
817 | |||
818 | /** | ||
819 | * <!-- begin-user-doc --> | ||
820 | * <!-- end-user-doc --> | ||
821 | * @generated | ||
822 | */ | ||
823 | public EAttribute getBoolLiteral_Value() { | ||
824 | return (EAttribute)boolLiteralEClass.getEStructuralFeatures().get(0); | ||
825 | } | ||
826 | |||
827 | /** | ||
828 | * <!-- begin-user-doc --> | ||
829 | * <!-- end-user-doc --> | ||
830 | * @generated | ||
831 | */ | ||
832 | public EClass getRealLiteral() { | ||
833 | return realLiteralEClass; | ||
834 | } | ||
835 | |||
836 | /** | ||
837 | * <!-- begin-user-doc --> | ||
838 | * <!-- end-user-doc --> | ||
839 | * @generated | ||
840 | */ | ||
841 | public EAttribute getRealLiteral_Value() { | ||
842 | return (EAttribute)realLiteralEClass.getEStructuralFeatures().get(0); | ||
843 | } | ||
844 | |||
845 | /** | ||
846 | * <!-- begin-user-doc --> | ||
847 | * <!-- end-user-doc --> | ||
848 | * @generated | ||
849 | */ | ||
850 | public EClass getVariable() { | ||
851 | return variableEClass; | ||
852 | } | ||
853 | |||
854 | /** | ||
855 | * <!-- begin-user-doc --> | ||
856 | * <!-- end-user-doc --> | ||
857 | * @generated | ||
858 | */ | ||
859 | public EReference getVariable_Range() { | ||
860 | return (EReference)variableEClass.getEStructuralFeatures().get(0); | ||
861 | } | ||
862 | |||
863 | /** | ||
864 | * <!-- begin-user-doc --> | ||
865 | * <!-- end-user-doc --> | ||
866 | * @generated | ||
867 | */ | ||
868 | public EClass getQuantifiedExpression() { | ||
869 | return quantifiedExpressionEClass; | ||
870 | } | ||
871 | |||
872 | /** | ||
873 | * <!-- begin-user-doc --> | ||
874 | * <!-- end-user-doc --> | ||
875 | * @generated | ||
876 | */ | ||
877 | public EReference getQuantifiedExpression_QuantifiedVariables() { | ||
878 | return (EReference)quantifiedExpressionEClass.getEStructuralFeatures().get(0); | ||
879 | } | ||
880 | |||
881 | /** | ||
882 | * <!-- begin-user-doc --> | ||
883 | * <!-- end-user-doc --> | ||
884 | * @generated | ||
885 | */ | ||
886 | public EReference getQuantifiedExpression_Expression() { | ||
887 | return (EReference)quantifiedExpressionEClass.getEStructuralFeatures().get(1); | ||
888 | } | ||
889 | |||
890 | /** | ||
891 | * <!-- begin-user-doc --> | ||
892 | * <!-- end-user-doc --> | ||
893 | * @generated | ||
894 | */ | ||
895 | public EClass getExists() { | ||
896 | return existsEClass; | ||
897 | } | ||
898 | |||
899 | /** | ||
900 | * <!-- begin-user-doc --> | ||
901 | * <!-- end-user-doc --> | ||
902 | * @generated | ||
903 | */ | ||
904 | public EClass getForall() { | ||
905 | return forallEClass; | ||
906 | } | ||
907 | |||
908 | /** | ||
909 | * <!-- begin-user-doc --> | ||
910 | * <!-- end-user-doc --> | ||
911 | * @generated | ||
912 | */ | ||
913 | public EClass getBoolOperation() { | ||
914 | return boolOperationEClass; | ||
915 | } | ||
916 | |||
917 | /** | ||
918 | * <!-- begin-user-doc --> | ||
919 | * <!-- end-user-doc --> | ||
920 | * @generated | ||
921 | */ | ||
922 | public EClass getAnd() { | ||
923 | return andEClass; | ||
924 | } | ||
925 | |||
926 | /** | ||
927 | * <!-- begin-user-doc --> | ||
928 | * <!-- end-user-doc --> | ||
929 | * @generated | ||
930 | */ | ||
931 | public EReference getAnd_Operands() { | ||
932 | return (EReference)andEClass.getEStructuralFeatures().get(0); | ||
933 | } | ||
934 | |||
935 | /** | ||
936 | * <!-- begin-user-doc --> | ||
937 | * <!-- end-user-doc --> | ||
938 | * @generated | ||
939 | */ | ||
940 | public EClass getOr() { | ||
941 | return orEClass; | ||
942 | } | ||
943 | |||
944 | /** | ||
945 | * <!-- begin-user-doc --> | ||
946 | * <!-- end-user-doc --> | ||
947 | * @generated | ||
948 | */ | ||
949 | public EReference getOr_Operands() { | ||
950 | return (EReference)orEClass.getEStructuralFeatures().get(0); | ||
951 | } | ||
952 | |||
953 | /** | ||
954 | * <!-- begin-user-doc --> | ||
955 | * <!-- end-user-doc --> | ||
956 | * @generated | ||
957 | */ | ||
958 | public EClass getImpl() { | ||
959 | return implEClass; | ||
960 | } | ||
961 | |||
962 | /** | ||
963 | * <!-- begin-user-doc --> | ||
964 | * <!-- end-user-doc --> | ||
965 | * @generated | ||
966 | */ | ||
967 | public EReference getImpl_LeftOperand() { | ||
968 | return (EReference)implEClass.getEStructuralFeatures().get(0); | ||
969 | } | ||
970 | |||
971 | /** | ||
972 | * <!-- begin-user-doc --> | ||
973 | * <!-- end-user-doc --> | ||
974 | * @generated | ||
975 | */ | ||
976 | public EReference getImpl_RightOperand() { | ||
977 | return (EReference)implEClass.getEStructuralFeatures().get(1); | ||
978 | } | ||
979 | |||
980 | /** | ||
981 | * <!-- begin-user-doc --> | ||
982 | * <!-- end-user-doc --> | ||
983 | * @generated | ||
984 | */ | ||
985 | public EClass getNot() { | ||
986 | return notEClass; | ||
987 | } | ||
988 | |||
989 | /** | ||
990 | * <!-- begin-user-doc --> | ||
991 | * <!-- end-user-doc --> | ||
992 | * @generated | ||
993 | */ | ||
994 | public EReference getNot_Operand() { | ||
995 | return (EReference)notEClass.getEStructuralFeatures().get(0); | ||
996 | } | ||
997 | |||
998 | /** | ||
999 | * <!-- begin-user-doc --> | ||
1000 | * <!-- end-user-doc --> | ||
1001 | * @generated | ||
1002 | */ | ||
1003 | public EClass getIff() { | ||
1004 | return iffEClass; | ||
1005 | } | ||
1006 | |||
1007 | /** | ||
1008 | * <!-- begin-user-doc --> | ||
1009 | * <!-- end-user-doc --> | ||
1010 | * @generated | ||
1011 | */ | ||
1012 | public EReference getIff_LeftOperand() { | ||
1013 | return (EReference)iffEClass.getEStructuralFeatures().get(0); | ||
1014 | } | ||
1015 | |||
1016 | /** | ||
1017 | * <!-- begin-user-doc --> | ||
1018 | * <!-- end-user-doc --> | ||
1019 | * @generated | ||
1020 | */ | ||
1021 | public EReference getIff_RightOperand() { | ||
1022 | return (EReference)iffEClass.getEStructuralFeatures().get(1); | ||
1023 | } | ||
1024 | |||
1025 | /** | ||
1026 | * <!-- begin-user-doc --> | ||
1027 | * <!-- end-user-doc --> | ||
1028 | * @generated | ||
1029 | */ | ||
1030 | public EClass getPrimitiveRelation() { | ||
1031 | return primitiveRelationEClass; | ||
1032 | } | ||
1033 | |||
1034 | /** | ||
1035 | * <!-- begin-user-doc --> | ||
1036 | * <!-- end-user-doc --> | ||
1037 | * @generated | ||
1038 | */ | ||
1039 | public EClass getEquals() { | ||
1040 | return equalsEClass; | ||
1041 | } | ||
1042 | |||
1043 | /** | ||
1044 | * <!-- begin-user-doc --> | ||
1045 | * <!-- end-user-doc --> | ||
1046 | * @generated | ||
1047 | */ | ||
1048 | public EReference getEquals_LeftOperand() { | ||
1049 | return (EReference)equalsEClass.getEStructuralFeatures().get(0); | ||
1050 | } | ||
1051 | |||
1052 | /** | ||
1053 | * <!-- begin-user-doc --> | ||
1054 | * <!-- end-user-doc --> | ||
1055 | * @generated | ||
1056 | */ | ||
1057 | public EReference getEquals_RightOperand() { | ||
1058 | return (EReference)equalsEClass.getEStructuralFeatures().get(1); | ||
1059 | } | ||
1060 | |||
1061 | /** | ||
1062 | * <!-- begin-user-doc --> | ||
1063 | * <!-- end-user-doc --> | ||
1064 | * @generated | ||
1065 | */ | ||
1066 | public EClass getDistinct() { | ||
1067 | return distinctEClass; | ||
1068 | } | ||
1069 | |||
1070 | /** | ||
1071 | * <!-- begin-user-doc --> | ||
1072 | * <!-- end-user-doc --> | ||
1073 | * @generated | ||
1074 | */ | ||
1075 | public EReference getDistinct_Operands() { | ||
1076 | return (EReference)distinctEClass.getEStructuralFeatures().get(0); | ||
1077 | } | ||
1078 | |||
1079 | /** | ||
1080 | * <!-- begin-user-doc --> | ||
1081 | * <!-- end-user-doc --> | ||
1082 | * @generated | ||
1083 | */ | ||
1084 | public EClass getLessThan() { | ||
1085 | return lessThanEClass; | ||
1086 | } | ||
1087 | |||
1088 | /** | ||
1089 | * <!-- begin-user-doc --> | ||
1090 | * <!-- end-user-doc --> | ||
1091 | * @generated | ||
1092 | */ | ||
1093 | public EReference getLessThan_LeftOperand() { | ||
1094 | return (EReference)lessThanEClass.getEStructuralFeatures().get(0); | ||
1095 | } | ||
1096 | |||
1097 | /** | ||
1098 | * <!-- begin-user-doc --> | ||
1099 | * <!-- end-user-doc --> | ||
1100 | * @generated | ||
1101 | */ | ||
1102 | public EReference getLessThan_RightOperand() { | ||
1103 | return (EReference)lessThanEClass.getEStructuralFeatures().get(1); | ||
1104 | } | ||
1105 | |||
1106 | /** | ||
1107 | * <!-- begin-user-doc --> | ||
1108 | * <!-- end-user-doc --> | ||
1109 | * @generated | ||
1110 | */ | ||
1111 | public EClass getMoreThan() { | ||
1112 | return moreThanEClass; | ||
1113 | } | ||
1114 | |||
1115 | /** | ||
1116 | * <!-- begin-user-doc --> | ||
1117 | * <!-- end-user-doc --> | ||
1118 | * @generated | ||
1119 | */ | ||
1120 | public EReference getMoreThan_LeftOperand() { | ||
1121 | return (EReference)moreThanEClass.getEStructuralFeatures().get(0); | ||
1122 | } | ||
1123 | |||
1124 | /** | ||
1125 | * <!-- begin-user-doc --> | ||
1126 | * <!-- end-user-doc --> | ||
1127 | * @generated | ||
1128 | */ | ||
1129 | public EReference getMoreThan_RightOperand() { | ||
1130 | return (EReference)moreThanEClass.getEStructuralFeatures().get(1); | ||
1131 | } | ||
1132 | |||
1133 | /** | ||
1134 | * <!-- begin-user-doc --> | ||
1135 | * <!-- end-user-doc --> | ||
1136 | * @generated | ||
1137 | */ | ||
1138 | public EClass getLessOrEqualThan() { | ||
1139 | return lessOrEqualThanEClass; | ||
1140 | } | ||
1141 | |||
1142 | /** | ||
1143 | * <!-- begin-user-doc --> | ||
1144 | * <!-- end-user-doc --> | ||
1145 | * @generated | ||
1146 | */ | ||
1147 | public EReference getLessOrEqualThan_LeftOperand() { | ||
1148 | return (EReference)lessOrEqualThanEClass.getEStructuralFeatures().get(0); | ||
1149 | } | ||
1150 | |||
1151 | /** | ||
1152 | * <!-- begin-user-doc --> | ||
1153 | * <!-- end-user-doc --> | ||
1154 | * @generated | ||
1155 | */ | ||
1156 | public EReference getLessOrEqualThan_RightOperand() { | ||
1157 | return (EReference)lessOrEqualThanEClass.getEStructuralFeatures().get(1); | ||
1158 | } | ||
1159 | |||
1160 | /** | ||
1161 | * <!-- begin-user-doc --> | ||
1162 | * <!-- end-user-doc --> | ||
1163 | * @generated | ||
1164 | */ | ||
1165 | public EClass getMoreOrEqualThan() { | ||
1166 | return moreOrEqualThanEClass; | ||
1167 | } | ||
1168 | |||
1169 | /** | ||
1170 | * <!-- begin-user-doc --> | ||
1171 | * <!-- end-user-doc --> | ||
1172 | * @generated | ||
1173 | */ | ||
1174 | public EReference getMoreOrEqualThan_LeftOperand() { | ||
1175 | return (EReference)moreOrEqualThanEClass.getEStructuralFeatures().get(0); | ||
1176 | } | ||
1177 | |||
1178 | /** | ||
1179 | * <!-- begin-user-doc --> | ||
1180 | * <!-- end-user-doc --> | ||
1181 | * @generated | ||
1182 | */ | ||
1183 | public EReference getMoreOrEqualThan_RightOperand() { | ||
1184 | return (EReference)moreOrEqualThanEClass.getEStructuralFeatures().get(1); | ||
1185 | } | ||
1186 | |||
1187 | /** | ||
1188 | * <!-- begin-user-doc --> | ||
1189 | * <!-- end-user-doc --> | ||
1190 | * @generated | ||
1191 | */ | ||
1192 | public EClass getIntOperation() { | ||
1193 | return intOperationEClass; | ||
1194 | } | ||
1195 | |||
1196 | /** | ||
1197 | * <!-- begin-user-doc --> | ||
1198 | * <!-- end-user-doc --> | ||
1199 | * @generated | ||
1200 | */ | ||
1201 | public EReference getIntOperation_LeftOperand() { | ||
1202 | return (EReference)intOperationEClass.getEStructuralFeatures().get(0); | ||
1203 | } | ||
1204 | |||
1205 | /** | ||
1206 | * <!-- begin-user-doc --> | ||
1207 | * <!-- end-user-doc --> | ||
1208 | * @generated | ||
1209 | */ | ||
1210 | public EReference getIntOperation_RightOperand() { | ||
1211 | return (EReference)intOperationEClass.getEStructuralFeatures().get(1); | ||
1212 | } | ||
1213 | |||
1214 | /** | ||
1215 | * <!-- begin-user-doc --> | ||
1216 | * <!-- end-user-doc --> | ||
1217 | * @generated | ||
1218 | */ | ||
1219 | public EClass getPlus() { | ||
1220 | return plusEClass; | ||
1221 | } | ||
1222 | |||
1223 | /** | ||
1224 | * <!-- begin-user-doc --> | ||
1225 | * <!-- end-user-doc --> | ||
1226 | * @generated | ||
1227 | */ | ||
1228 | public EClass getMinus() { | ||
1229 | return minusEClass; | ||
1230 | } | ||
1231 | |||
1232 | /** | ||
1233 | * <!-- begin-user-doc --> | ||
1234 | * <!-- end-user-doc --> | ||
1235 | * @generated | ||
1236 | */ | ||
1237 | public EClass getMultiply() { | ||
1238 | return multiplyEClass; | ||
1239 | } | ||
1240 | |||
1241 | /** | ||
1242 | * <!-- begin-user-doc --> | ||
1243 | * <!-- end-user-doc --> | ||
1244 | * @generated | ||
1245 | */ | ||
1246 | public EClass getDivison() { | ||
1247 | return divisonEClass; | ||
1248 | } | ||
1249 | |||
1250 | /** | ||
1251 | * <!-- begin-user-doc --> | ||
1252 | * <!-- end-user-doc --> | ||
1253 | * @generated | ||
1254 | */ | ||
1255 | public EClass getMod() { | ||
1256 | return modEClass; | ||
1257 | } | ||
1258 | |||
1259 | /** | ||
1260 | * <!-- begin-user-doc --> | ||
1261 | * <!-- end-user-doc --> | ||
1262 | * @generated | ||
1263 | */ | ||
1264 | public EClass getTypeDescriptor() { | ||
1265 | return typeDescriptorEClass; | ||
1266 | } | ||
1267 | |||
1268 | /** | ||
1269 | * <!-- begin-user-doc --> | ||
1270 | * <!-- end-user-doc --> | ||
1271 | * @generated | ||
1272 | */ | ||
1273 | public EClass getTermDescription() { | ||
1274 | return termDescriptionEClass; | ||
1275 | } | ||
1276 | |||
1277 | /** | ||
1278 | * <!-- begin-user-doc --> | ||
1279 | * <!-- end-user-doc --> | ||
1280 | * @generated | ||
1281 | */ | ||
1282 | public EClass getAssertion() { | ||
1283 | return assertionEClass; | ||
1284 | } | ||
1285 | |||
1286 | /** | ||
1287 | * <!-- begin-user-doc --> | ||
1288 | * <!-- end-user-doc --> | ||
1289 | * @generated | ||
1290 | */ | ||
1291 | public EReference getAssertion_Value() { | ||
1292 | return (EReference)assertionEClass.getEStructuralFeatures().get(0); | ||
1293 | } | ||
1294 | |||
1295 | /** | ||
1296 | * <!-- begin-user-doc --> | ||
1297 | * <!-- end-user-doc --> | ||
1298 | * @generated | ||
1299 | */ | ||
1300 | public EAttribute getAssertion_Name() { | ||
1301 | return (EAttribute)assertionEClass.getEStructuralFeatures().get(1); | ||
1302 | } | ||
1303 | |||
1304 | /** | ||
1305 | * <!-- begin-user-doc --> | ||
1306 | * <!-- end-user-doc --> | ||
1307 | * @generated | ||
1308 | */ | ||
1309 | public EReference getAssertion_Annotations() { | ||
1310 | return (EReference)assertionEClass.getEStructuralFeatures().get(2); | ||
1311 | } | ||
1312 | |||
1313 | /** | ||
1314 | * <!-- begin-user-doc --> | ||
1315 | * <!-- end-user-doc --> | ||
1316 | * @generated | ||
1317 | */ | ||
1318 | public EClass getRelation() { | ||
1319 | return relationEClass; | ||
1320 | } | ||
1321 | |||
1322 | /** | ||
1323 | * <!-- begin-user-doc --> | ||
1324 | * <!-- end-user-doc --> | ||
1325 | * @generated | ||
1326 | */ | ||
1327 | public EReference getRelation_Parameters() { | ||
1328 | return (EReference)relationEClass.getEStructuralFeatures().get(0); | ||
1329 | } | ||
1330 | |||
1331 | /** | ||
1332 | * <!-- begin-user-doc --> | ||
1333 | * <!-- end-user-doc --> | ||
1334 | * @generated | ||
1335 | */ | ||
1336 | public EReference getRelation_Annotations() { | ||
1337 | return (EReference)relationEClass.getEStructuralFeatures().get(1); | ||
1338 | } | ||
1339 | |||
1340 | /** | ||
1341 | * <!-- begin-user-doc --> | ||
1342 | * <!-- end-user-doc --> | ||
1343 | * @generated | ||
1344 | */ | ||
1345 | public EClass getConstant() { | ||
1346 | return constantEClass; | ||
1347 | } | ||
1348 | |||
1349 | /** | ||
1350 | * <!-- begin-user-doc --> | ||
1351 | * <!-- end-user-doc --> | ||
1352 | * @generated | ||
1353 | */ | ||
1354 | public EReference getConstant_Type() { | ||
1355 | return (EReference)constantEClass.getEStructuralFeatures().get(0); | ||
1356 | } | ||
1357 | |||
1358 | /** | ||
1359 | * <!-- begin-user-doc --> | ||
1360 | * <!-- end-user-doc --> | ||
1361 | * @generated | ||
1362 | */ | ||
1363 | public EReference getConstant_Annotations() { | ||
1364 | return (EReference)constantEClass.getEStructuralFeatures().get(1); | ||
1365 | } | ||
1366 | |||
1367 | /** | ||
1368 | * <!-- begin-user-doc --> | ||
1369 | * <!-- end-user-doc --> | ||
1370 | * @generated | ||
1371 | */ | ||
1372 | public EClass getConstantDefinition() { | ||
1373 | return constantDefinitionEClass; | ||
1374 | } | ||
1375 | |||
1376 | /** | ||
1377 | * <!-- begin-user-doc --> | ||
1378 | * <!-- end-user-doc --> | ||
1379 | * @generated | ||
1380 | */ | ||
1381 | public EReference getConstantDefinition_Value() { | ||
1382 | return (EReference)constantDefinitionEClass.getEStructuralFeatures().get(0); | ||
1383 | } | ||
1384 | |||
1385 | /** | ||
1386 | * <!-- begin-user-doc --> | ||
1387 | * <!-- end-user-doc --> | ||
1388 | * @generated | ||
1389 | */ | ||
1390 | public EReference getConstantDefinition_Defines() { | ||
1391 | return (EReference)constantDefinitionEClass.getEStructuralFeatures().get(1); | ||
1392 | } | ||
1393 | |||
1394 | /** | ||
1395 | * <!-- begin-user-doc --> | ||
1396 | * <!-- end-user-doc --> | ||
1397 | * @generated | ||
1398 | */ | ||
1399 | public EClass getRelationDefinition() { | ||
1400 | return relationDefinitionEClass; | ||
1401 | } | ||
1402 | |||
1403 | /** | ||
1404 | * <!-- begin-user-doc --> | ||
1405 | * <!-- end-user-doc --> | ||
1406 | * @generated | ||
1407 | */ | ||
1408 | public EReference getRelationDefinition_Variables() { | ||
1409 | return (EReference)relationDefinitionEClass.getEStructuralFeatures().get(0); | ||
1410 | } | ||
1411 | |||
1412 | /** | ||
1413 | * <!-- begin-user-doc --> | ||
1414 | * <!-- end-user-doc --> | ||
1415 | * @generated | ||
1416 | */ | ||
1417 | public EReference getRelationDefinition_Value() { | ||
1418 | return (EReference)relationDefinitionEClass.getEStructuralFeatures().get(1); | ||
1419 | } | ||
1420 | |||
1421 | /** | ||
1422 | * <!-- begin-user-doc --> | ||
1423 | * <!-- end-user-doc --> | ||
1424 | * @generated | ||
1425 | */ | ||
1426 | public EReference getRelationDefinition_Defines() { | ||
1427 | return (EReference)relationDefinitionEClass.getEStructuralFeatures().get(2); | ||
1428 | } | ||
1429 | |||
1430 | /** | ||
1431 | * <!-- begin-user-doc --> | ||
1432 | * <!-- end-user-doc --> | ||
1433 | * @generated | ||
1434 | */ | ||
1435 | public EClass getFunctionDefinition() { | ||
1436 | return functionDefinitionEClass; | ||
1437 | } | ||
1438 | |||
1439 | /** | ||
1440 | * <!-- begin-user-doc --> | ||
1441 | * <!-- end-user-doc --> | ||
1442 | * @generated | ||
1443 | */ | ||
1444 | public EReference getFunctionDefinition_Variable() { | ||
1445 | return (EReference)functionDefinitionEClass.getEStructuralFeatures().get(0); | ||
1446 | } | ||
1447 | |||
1448 | /** | ||
1449 | * <!-- begin-user-doc --> | ||
1450 | * <!-- end-user-doc --> | ||
1451 | * @generated | ||
1452 | */ | ||
1453 | public EReference getFunctionDefinition_Defines() { | ||
1454 | return (EReference)functionDefinitionEClass.getEStructuralFeatures().get(1); | ||
1455 | } | ||
1456 | |||
1457 | /** | ||
1458 | * <!-- begin-user-doc --> | ||
1459 | * <!-- end-user-doc --> | ||
1460 | * @generated | ||
1461 | */ | ||
1462 | public EReference getFunctionDefinition_Value() { | ||
1463 | return (EReference)functionDefinitionEClass.getEStructuralFeatures().get(2); | ||
1464 | } | ||
1465 | |||
1466 | /** | ||
1467 | * <!-- begin-user-doc --> | ||
1468 | * <!-- end-user-doc --> | ||
1469 | * @generated | ||
1470 | */ | ||
1471 | public EClass getIfThenElse() { | ||
1472 | return ifThenElseEClass; | ||
1473 | } | ||
1474 | |||
1475 | /** | ||
1476 | * <!-- begin-user-doc --> | ||
1477 | * <!-- end-user-doc --> | ||
1478 | * @generated | ||
1479 | */ | ||
1480 | public EReference getIfThenElse_Condition() { | ||
1481 | return (EReference)ifThenElseEClass.getEStructuralFeatures().get(0); | ||
1482 | } | ||
1483 | |||
1484 | /** | ||
1485 | * <!-- begin-user-doc --> | ||
1486 | * <!-- end-user-doc --> | ||
1487 | * @generated | ||
1488 | */ | ||
1489 | public EReference getIfThenElse_IfTrue() { | ||
1490 | return (EReference)ifThenElseEClass.getEStructuralFeatures().get(1); | ||
1491 | } | ||
1492 | |||
1493 | /** | ||
1494 | * <!-- begin-user-doc --> | ||
1495 | * <!-- end-user-doc --> | ||
1496 | * @generated | ||
1497 | */ | ||
1498 | public EReference getIfThenElse_IfFalse() { | ||
1499 | return (EReference)ifThenElseEClass.getEStructuralFeatures().get(2); | ||
1500 | } | ||
1501 | |||
1502 | /** | ||
1503 | * <!-- begin-user-doc --> | ||
1504 | * <!-- end-user-doc --> | ||
1505 | * @generated | ||
1506 | */ | ||
1507 | public EClass getConstantDeclaration() { | ||
1508 | return constantDeclarationEClass; | ||
1509 | } | ||
1510 | |||
1511 | /** | ||
1512 | * <!-- begin-user-doc --> | ||
1513 | * <!-- end-user-doc --> | ||
1514 | * @generated | ||
1515 | */ | ||
1516 | public EClass getRelationDeclaration() { | ||
1517 | return relationDeclarationEClass; | ||
1518 | } | ||
1519 | |||
1520 | /** | ||
1521 | * <!-- begin-user-doc --> | ||
1522 | * <!-- end-user-doc --> | ||
1523 | * @generated | ||
1524 | */ | ||
1525 | public EClass getFunctionDeclaration() { | ||
1526 | return functionDeclarationEClass; | ||
1527 | } | ||
1528 | |||
1529 | /** | ||
1530 | * <!-- begin-user-doc --> | ||
1531 | * <!-- end-user-doc --> | ||
1532 | * @generated | ||
1533 | */ | ||
1534 | public EClass getTypeDeclaration() { | ||
1535 | return typeDeclarationEClass; | ||
1536 | } | ||
1537 | |||
1538 | /** | ||
1539 | * <!-- begin-user-doc --> | ||
1540 | * <!-- end-user-doc --> | ||
1541 | * @generated | ||
1542 | */ | ||
1543 | public EClass getUnknownBecauseUninterpreted() { | ||
1544 | return unknownBecauseUninterpretedEClass; | ||
1545 | } | ||
1546 | |||
1547 | /** | ||
1548 | * <!-- begin-user-doc --> | ||
1549 | * <!-- end-user-doc --> | ||
1550 | * @generated | ||
1551 | */ | ||
1552 | public EClass getInstanceOf() { | ||
1553 | return instanceOfEClass; | ||
1554 | } | ||
1555 | |||
1556 | /** | ||
1557 | * <!-- begin-user-doc --> | ||
1558 | * <!-- end-user-doc --> | ||
1559 | * @generated | ||
1560 | */ | ||
1561 | public EReference getInstanceOf_Value() { | ||
1562 | return (EReference)instanceOfEClass.getEStructuralFeatures().get(0); | ||
1563 | } | ||
1564 | |||
1565 | /** | ||
1566 | * <!-- begin-user-doc --> | ||
1567 | * <!-- end-user-doc --> | ||
1568 | * @generated | ||
1569 | */ | ||
1570 | public EReference getInstanceOf_Range() { | ||
1571 | return (EReference)instanceOfEClass.getEStructuralFeatures().get(1); | ||
1572 | } | ||
1573 | |||
1574 | /** | ||
1575 | * <!-- begin-user-doc --> | ||
1576 | * <!-- end-user-doc --> | ||
1577 | * @generated | ||
1578 | */ | ||
1579 | public LogiclanguageFactory getLogiclanguageFactory() { | ||
1580 | return (LogiclanguageFactory)getEFactoryInstance(); | ||
1581 | } | ||
1582 | |||
1583 | /** | ||
1584 | * <!-- begin-user-doc --> | ||
1585 | * <!-- end-user-doc --> | ||
1586 | * @generated | ||
1587 | */ | ||
1588 | private boolean isCreated = false; | ||
1589 | |||
1590 | /** | ||
1591 | * Creates the meta-model objects for the package. This method is | ||
1592 | * guarded to have no affect on any invocation but its first. | ||
1593 | * <!-- begin-user-doc --> | ||
1594 | * <!-- end-user-doc --> | ||
1595 | * @generated | ||
1596 | */ | ||
1597 | public void createPackageContents() { | ||
1598 | if (isCreated) return; | ||
1599 | isCreated = true; | ||
1600 | |||
1601 | // Create classes and their features | ||
1602 | typeEClass = createEClass(TYPE); | ||
1603 | createEAttribute(typeEClass, TYPE__NAME); | ||
1604 | createEReference(typeEClass, TYPE__SUBTYPES); | ||
1605 | createEReference(typeEClass, TYPE__SUPERTYPES); | ||
1606 | createEAttribute(typeEClass, TYPE__IS_ABSTRACT); | ||
1607 | |||
1608 | definedElementEClass = createEClass(DEFINED_ELEMENT); | ||
1609 | createEReference(definedElementEClass, DEFINED_ELEMENT__DEFINED_IN_TYPE); | ||
1610 | |||
1611 | typeDefinitionEClass = createEClass(TYPE_DEFINITION); | ||
1612 | createEReference(typeDefinitionEClass, TYPE_DEFINITION__ELEMENTS); | ||
1613 | createEReference(typeDefinitionEClass, TYPE_DEFINITION__DEFINES); | ||
1614 | |||
1615 | typeReferenceEClass = createEClass(TYPE_REFERENCE); | ||
1616 | |||
1617 | complexTypeReferenceEClass = createEClass(COMPLEX_TYPE_REFERENCE); | ||
1618 | createEReference(complexTypeReferenceEClass, COMPLEX_TYPE_REFERENCE__REFERRED); | ||
1619 | |||
1620 | primitiveTypeReferenceEClass = createEClass(PRIMITIVE_TYPE_REFERENCE); | ||
1621 | |||
1622 | intTypeReferenceEClass = createEClass(INT_TYPE_REFERENCE); | ||
1623 | |||
1624 | boolTypeReferenceEClass = createEClass(BOOL_TYPE_REFERENCE); | ||
1625 | |||
1626 | realTypeReferenceEClass = createEClass(REAL_TYPE_REFERENCE); | ||
1627 | |||
1628 | functionEClass = createEClass(FUNCTION); | ||
1629 | createEReference(functionEClass, FUNCTION__RANGE); | ||
1630 | createEReference(functionEClass, FUNCTION__PARAMETERS); | ||
1631 | createEReference(functionEClass, FUNCTION__ANNOTATIONS); | ||
1632 | |||
1633 | termEClass = createEClass(TERM); | ||
1634 | |||
1635 | symbolicDeclarationEClass = createEClass(SYMBOLIC_DECLARATION); | ||
1636 | createEAttribute(symbolicDeclarationEClass, SYMBOLIC_DECLARATION__NAME); | ||
1637 | |||
1638 | symbolicValueEClass = createEClass(SYMBOLIC_VALUE); | ||
1639 | createEReference(symbolicValueEClass, SYMBOLIC_VALUE__SYMBOLIC_REFERENCE); | ||
1640 | createEReference(symbolicValueEClass, SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS); | ||
1641 | |||
1642 | atomicTermEClass = createEClass(ATOMIC_TERM); | ||
1643 | |||
1644 | intLiteralEClass = createEClass(INT_LITERAL); | ||
1645 | createEAttribute(intLiteralEClass, INT_LITERAL__VALUE); | ||
1646 | |||
1647 | boolLiteralEClass = createEClass(BOOL_LITERAL); | ||
1648 | createEAttribute(boolLiteralEClass, BOOL_LITERAL__VALUE); | ||
1649 | |||
1650 | realLiteralEClass = createEClass(REAL_LITERAL); | ||
1651 | createEAttribute(realLiteralEClass, REAL_LITERAL__VALUE); | ||
1652 | |||
1653 | variableEClass = createEClass(VARIABLE); | ||
1654 | createEReference(variableEClass, VARIABLE__RANGE); | ||
1655 | |||
1656 | quantifiedExpressionEClass = createEClass(QUANTIFIED_EXPRESSION); | ||
1657 | createEReference(quantifiedExpressionEClass, QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES); | ||
1658 | createEReference(quantifiedExpressionEClass, QUANTIFIED_EXPRESSION__EXPRESSION); | ||
1659 | |||
1660 | existsEClass = createEClass(EXISTS); | ||
1661 | |||
1662 | forallEClass = createEClass(FORALL); | ||
1663 | |||
1664 | boolOperationEClass = createEClass(BOOL_OPERATION); | ||
1665 | |||
1666 | andEClass = createEClass(AND); | ||
1667 | createEReference(andEClass, AND__OPERANDS); | ||
1668 | |||
1669 | orEClass = createEClass(OR); | ||
1670 | createEReference(orEClass, OR__OPERANDS); | ||
1671 | |||
1672 | implEClass = createEClass(IMPL); | ||
1673 | createEReference(implEClass, IMPL__LEFT_OPERAND); | ||
1674 | createEReference(implEClass, IMPL__RIGHT_OPERAND); | ||
1675 | |||
1676 | notEClass = createEClass(NOT); | ||
1677 | createEReference(notEClass, NOT__OPERAND); | ||
1678 | |||
1679 | iffEClass = createEClass(IFF); | ||
1680 | createEReference(iffEClass, IFF__LEFT_OPERAND); | ||
1681 | createEReference(iffEClass, IFF__RIGHT_OPERAND); | ||
1682 | |||
1683 | primitiveRelationEClass = createEClass(PRIMITIVE_RELATION); | ||
1684 | |||
1685 | equalsEClass = createEClass(EQUALS); | ||
1686 | createEReference(equalsEClass, EQUALS__LEFT_OPERAND); | ||
1687 | createEReference(equalsEClass, EQUALS__RIGHT_OPERAND); | ||
1688 | |||
1689 | distinctEClass = createEClass(DISTINCT); | ||
1690 | createEReference(distinctEClass, DISTINCT__OPERANDS); | ||
1691 | |||
1692 | lessThanEClass = createEClass(LESS_THAN); | ||
1693 | createEReference(lessThanEClass, LESS_THAN__LEFT_OPERAND); | ||
1694 | createEReference(lessThanEClass, LESS_THAN__RIGHT_OPERAND); | ||
1695 | |||
1696 | moreThanEClass = createEClass(MORE_THAN); | ||
1697 | createEReference(moreThanEClass, MORE_THAN__LEFT_OPERAND); | ||
1698 | createEReference(moreThanEClass, MORE_THAN__RIGHT_OPERAND); | ||
1699 | |||
1700 | lessOrEqualThanEClass = createEClass(LESS_OR_EQUAL_THAN); | ||
1701 | createEReference(lessOrEqualThanEClass, LESS_OR_EQUAL_THAN__LEFT_OPERAND); | ||
1702 | createEReference(lessOrEqualThanEClass, LESS_OR_EQUAL_THAN__RIGHT_OPERAND); | ||
1703 | |||
1704 | moreOrEqualThanEClass = createEClass(MORE_OR_EQUAL_THAN); | ||
1705 | createEReference(moreOrEqualThanEClass, MORE_OR_EQUAL_THAN__LEFT_OPERAND); | ||
1706 | createEReference(moreOrEqualThanEClass, MORE_OR_EQUAL_THAN__RIGHT_OPERAND); | ||
1707 | |||
1708 | intOperationEClass = createEClass(INT_OPERATION); | ||
1709 | createEReference(intOperationEClass, INT_OPERATION__LEFT_OPERAND); | ||
1710 | createEReference(intOperationEClass, INT_OPERATION__RIGHT_OPERAND); | ||
1711 | |||
1712 | plusEClass = createEClass(PLUS); | ||
1713 | |||
1714 | minusEClass = createEClass(MINUS); | ||
1715 | |||
1716 | multiplyEClass = createEClass(MULTIPLY); | ||
1717 | |||
1718 | divisonEClass = createEClass(DIVISON); | ||
1719 | |||
1720 | modEClass = createEClass(MOD); | ||
1721 | |||
1722 | typeDescriptorEClass = createEClass(TYPE_DESCRIPTOR); | ||
1723 | |||
1724 | termDescriptionEClass = createEClass(TERM_DESCRIPTION); | ||
1725 | |||
1726 | assertionEClass = createEClass(ASSERTION); | ||
1727 | createEReference(assertionEClass, ASSERTION__VALUE); | ||
1728 | createEAttribute(assertionEClass, ASSERTION__NAME); | ||
1729 | createEReference(assertionEClass, ASSERTION__ANNOTATIONS); | ||
1730 | |||
1731 | relationEClass = createEClass(RELATION); | ||
1732 | createEReference(relationEClass, RELATION__PARAMETERS); | ||
1733 | createEReference(relationEClass, RELATION__ANNOTATIONS); | ||
1734 | |||
1735 | constantEClass = createEClass(CONSTANT); | ||
1736 | createEReference(constantEClass, CONSTANT__TYPE); | ||
1737 | createEReference(constantEClass, CONSTANT__ANNOTATIONS); | ||
1738 | |||
1739 | constantDefinitionEClass = createEClass(CONSTANT_DEFINITION); | ||
1740 | createEReference(constantDefinitionEClass, CONSTANT_DEFINITION__VALUE); | ||
1741 | createEReference(constantDefinitionEClass, CONSTANT_DEFINITION__DEFINES); | ||
1742 | |||
1743 | relationDefinitionEClass = createEClass(RELATION_DEFINITION); | ||
1744 | createEReference(relationDefinitionEClass, RELATION_DEFINITION__VARIABLES); | ||
1745 | createEReference(relationDefinitionEClass, RELATION_DEFINITION__VALUE); | ||
1746 | createEReference(relationDefinitionEClass, RELATION_DEFINITION__DEFINES); | ||
1747 | |||
1748 | functionDefinitionEClass = createEClass(FUNCTION_DEFINITION); | ||
1749 | createEReference(functionDefinitionEClass, FUNCTION_DEFINITION__VARIABLE); | ||
1750 | createEReference(functionDefinitionEClass, FUNCTION_DEFINITION__DEFINES); | ||
1751 | createEReference(functionDefinitionEClass, FUNCTION_DEFINITION__VALUE); | ||
1752 | |||
1753 | ifThenElseEClass = createEClass(IF_THEN_ELSE); | ||
1754 | createEReference(ifThenElseEClass, IF_THEN_ELSE__CONDITION); | ||
1755 | createEReference(ifThenElseEClass, IF_THEN_ELSE__IF_TRUE); | ||
1756 | createEReference(ifThenElseEClass, IF_THEN_ELSE__IF_FALSE); | ||
1757 | |||
1758 | constantDeclarationEClass = createEClass(CONSTANT_DECLARATION); | ||
1759 | |||
1760 | relationDeclarationEClass = createEClass(RELATION_DECLARATION); | ||
1761 | |||
1762 | functionDeclarationEClass = createEClass(FUNCTION_DECLARATION); | ||
1763 | |||
1764 | typeDeclarationEClass = createEClass(TYPE_DECLARATION); | ||
1765 | |||
1766 | unknownBecauseUninterpretedEClass = createEClass(UNKNOWN_BECAUSE_UNINTERPRETED); | ||
1767 | |||
1768 | instanceOfEClass = createEClass(INSTANCE_OF); | ||
1769 | createEReference(instanceOfEClass, INSTANCE_OF__VALUE); | ||
1770 | createEReference(instanceOfEClass, INSTANCE_OF__RANGE); | ||
1771 | } | ||
1772 | |||
1773 | /** | ||
1774 | * <!-- begin-user-doc --> | ||
1775 | * <!-- end-user-doc --> | ||
1776 | * @generated | ||
1777 | */ | ||
1778 | private boolean isInitialized = false; | ||
1779 | |||
1780 | /** | ||
1781 | * Complete the initialization of the package and its meta-model. This | ||
1782 | * method is guarded to have no affect on any invocation but its first. | ||
1783 | * <!-- begin-user-doc --> | ||
1784 | * <!-- end-user-doc --> | ||
1785 | * @generated | ||
1786 | */ | ||
1787 | public void initializePackageContents() { | ||
1788 | if (isInitialized) return; | ||
1789 | isInitialized = true; | ||
1790 | |||
1791 | // Initialize package | ||
1792 | setName(eNAME); | ||
1793 | setNsPrefix(eNS_PREFIX); | ||
1794 | setNsURI(eNS_URI); | ||
1795 | |||
1796 | // Obtain other dependent packages | ||
1797 | LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
1798 | |||
1799 | // Create type parameters | ||
1800 | |||
1801 | // Set bounds for type parameters | ||
1802 | |||
1803 | // Add supertypes to classes | ||
1804 | typeEClass.getESuperTypes().add(this.getTypeDescriptor()); | ||
1805 | definedElementEClass.getESuperTypes().add(this.getSymbolicDeclaration()); | ||
1806 | typeDefinitionEClass.getESuperTypes().add(this.getType()); | ||
1807 | typeReferenceEClass.getESuperTypes().add(this.getTypeDescriptor()); | ||
1808 | complexTypeReferenceEClass.getESuperTypes().add(this.getTypeReference()); | ||
1809 | primitiveTypeReferenceEClass.getESuperTypes().add(this.getTypeReference()); | ||
1810 | intTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference()); | ||
1811 | boolTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference()); | ||
1812 | realTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference()); | ||
1813 | functionEClass.getESuperTypes().add(this.getSymbolicDeclaration()); | ||
1814 | termEClass.getESuperTypes().add(this.getTermDescription()); | ||
1815 | symbolicDeclarationEClass.getESuperTypes().add(this.getTermDescription()); | ||
1816 | symbolicValueEClass.getESuperTypes().add(this.getTerm()); | ||
1817 | atomicTermEClass.getESuperTypes().add(this.getTerm()); | ||
1818 | intLiteralEClass.getESuperTypes().add(this.getAtomicTerm()); | ||
1819 | boolLiteralEClass.getESuperTypes().add(this.getAtomicTerm()); | ||
1820 | realLiteralEClass.getESuperTypes().add(this.getAtomicTerm()); | ||
1821 | variableEClass.getESuperTypes().add(this.getSymbolicDeclaration()); | ||
1822 | quantifiedExpressionEClass.getESuperTypes().add(this.getTerm()); | ||
1823 | existsEClass.getESuperTypes().add(this.getQuantifiedExpression()); | ||
1824 | forallEClass.getESuperTypes().add(this.getQuantifiedExpression()); | ||
1825 | boolOperationEClass.getESuperTypes().add(this.getTerm()); | ||
1826 | andEClass.getESuperTypes().add(this.getBoolOperation()); | ||
1827 | orEClass.getESuperTypes().add(this.getBoolOperation()); | ||
1828 | implEClass.getESuperTypes().add(this.getBoolOperation()); | ||
1829 | notEClass.getESuperTypes().add(this.getBoolOperation()); | ||
1830 | iffEClass.getESuperTypes().add(this.getBoolOperation()); | ||
1831 | primitiveRelationEClass.getESuperTypes().add(this.getTerm()); | ||
1832 | equalsEClass.getESuperTypes().add(this.getPrimitiveRelation()); | ||
1833 | distinctEClass.getESuperTypes().add(this.getPrimitiveRelation()); | ||
1834 | lessThanEClass.getESuperTypes().add(this.getPrimitiveRelation()); | ||
1835 | moreThanEClass.getESuperTypes().add(this.getPrimitiveRelation()); | ||
1836 | lessOrEqualThanEClass.getESuperTypes().add(this.getPrimitiveRelation()); | ||
1837 | moreOrEqualThanEClass.getESuperTypes().add(this.getPrimitiveRelation()); | ||
1838 | intOperationEClass.getESuperTypes().add(this.getTerm()); | ||
1839 | plusEClass.getESuperTypes().add(this.getIntOperation()); | ||
1840 | minusEClass.getESuperTypes().add(this.getIntOperation()); | ||
1841 | multiplyEClass.getESuperTypes().add(this.getIntOperation()); | ||
1842 | divisonEClass.getESuperTypes().add(this.getIntOperation()); | ||
1843 | modEClass.getESuperTypes().add(this.getIntOperation()); | ||
1844 | relationEClass.getESuperTypes().add(this.getSymbolicDeclaration()); | ||
1845 | constantEClass.getESuperTypes().add(this.getSymbolicDeclaration()); | ||
1846 | constantDefinitionEClass.getESuperTypes().add(this.getConstant()); | ||
1847 | relationDefinitionEClass.getESuperTypes().add(this.getRelation()); | ||
1848 | functionDefinitionEClass.getESuperTypes().add(this.getFunction()); | ||
1849 | ifThenElseEClass.getESuperTypes().add(this.getTerm()); | ||
1850 | constantDeclarationEClass.getESuperTypes().add(this.getConstant()); | ||
1851 | relationDeclarationEClass.getESuperTypes().add(this.getRelation()); | ||
1852 | functionDeclarationEClass.getESuperTypes().add(this.getFunction()); | ||
1853 | typeDeclarationEClass.getESuperTypes().add(this.getType()); | ||
1854 | unknownBecauseUninterpretedEClass.getESuperTypes().add(this.getTerm()); | ||
1855 | instanceOfEClass.getESuperTypes().add(this.getTerm()); | ||
1856 | |||
1857 | // Initialize classes, features, and operations; add parameters | ||
1858 | initEClass(typeEClass, Type.class, "Type", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1859 | initEAttribute(getType_Name(), ecorePackage.getEString(), "name", null, 1, 1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1860 | initEReference(getType_Subtypes(), this.getType(), this.getType_Supertypes(), "subtypes", null, 0, -1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1861 | initEReference(getType_Supertypes(), this.getType(), this.getType_Subtypes(), "supertypes", null, 0, -1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1862 | initEAttribute(getType_IsAbstract(), ecorePackage.getEBoolean(), "isAbstract", null, 1, 1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1863 | |||
1864 | initEClass(definedElementEClass, DefinedElement.class, "DefinedElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1865 | initEReference(getDefinedElement_DefinedInType(), this.getTypeDefinition(), this.getTypeDefinition_Elements(), "definedInType", null, 1, -1, DefinedElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1866 | |||
1867 | initEClass(typeDefinitionEClass, TypeDefinition.class, "TypeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1868 | initEReference(getTypeDefinition_Elements(), this.getDefinedElement(), this.getDefinedElement_DefinedInType(), "elements", null, 0, -1, TypeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1869 | initEReference(getTypeDefinition_Defines(), this.getTypeDeclaration(), null, "defines", null, 0, 1, TypeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1870 | |||
1871 | initEClass(typeReferenceEClass, TypeReference.class, "TypeReference", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1872 | |||
1873 | initEClass(complexTypeReferenceEClass, ComplexTypeReference.class, "ComplexTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1874 | initEReference(getComplexTypeReference_Referred(), this.getType(), null, "referred", null, 0, 1, ComplexTypeReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1875 | |||
1876 | initEClass(primitiveTypeReferenceEClass, PrimitiveTypeReference.class, "PrimitiveTypeReference", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1877 | |||
1878 | initEClass(intTypeReferenceEClass, IntTypeReference.class, "IntTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1879 | |||
1880 | initEClass(boolTypeReferenceEClass, BoolTypeReference.class, "BoolTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1881 | |||
1882 | initEClass(realTypeReferenceEClass, RealTypeReference.class, "RealTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1883 | |||
1884 | initEClass(functionEClass, Function.class, "Function", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1885 | initEReference(getFunction_Range(), this.getTypeReference(), null, "range", null, 1, 1, Function.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1886 | initEReference(getFunction_Parameters(), this.getTypeReference(), null, "parameters", null, 0, -1, Function.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1887 | initEReference(getFunction_Annotations(), theLogicproblemPackage.getFunctionAnnotation(), theLogicproblemPackage.getFunctionAnnotation_Target(), "annotations", null, 0, -1, Function.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1888 | |||
1889 | initEClass(termEClass, Term.class, "Term", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1890 | |||
1891 | initEClass(symbolicDeclarationEClass, SymbolicDeclaration.class, "SymbolicDeclaration", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1892 | initEAttribute(getSymbolicDeclaration_Name(), ecorePackage.getEString(), "name", null, 1, 1, SymbolicDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1893 | |||
1894 | initEClass(symbolicValueEClass, SymbolicValue.class, "SymbolicValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1895 | initEReference(getSymbolicValue_SymbolicReference(), this.getSymbolicDeclaration(), null, "symbolicReference", null, 0, 1, SymbolicValue.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1896 | initEReference(getSymbolicValue_ParameterSubstitutions(), this.getTerm(), null, "parameterSubstitutions", null, 0, -1, SymbolicValue.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1897 | |||
1898 | initEClass(atomicTermEClass, AtomicTerm.class, "AtomicTerm", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1899 | |||
1900 | initEClass(intLiteralEClass, IntLiteral.class, "IntLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1901 | initEAttribute(getIntLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1902 | |||
1903 | initEClass(boolLiteralEClass, BoolLiteral.class, "BoolLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1904 | initEAttribute(getBoolLiteral_Value(), ecorePackage.getEBoolean(), "value", null, 0, 1, BoolLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1905 | |||
1906 | initEClass(realLiteralEClass, RealLiteral.class, "RealLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1907 | initEAttribute(getRealLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1908 | |||
1909 | initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1910 | initEReference(getVariable_Range(), this.getTypeReference(), null, "range", null, 1, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1911 | |||
1912 | initEClass(quantifiedExpressionEClass, QuantifiedExpression.class, "QuantifiedExpression", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1913 | initEReference(getQuantifiedExpression_QuantifiedVariables(), this.getVariable(), null, "quantifiedVariables", null, 0, -1, QuantifiedExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1914 | initEReference(getQuantifiedExpression_Expression(), this.getTerm(), null, "expression", null, 0, 1, QuantifiedExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1915 | |||
1916 | initEClass(existsEClass, Exists.class, "Exists", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1917 | |||
1918 | initEClass(forallEClass, Forall.class, "Forall", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1919 | |||
1920 | initEClass(boolOperationEClass, BoolOperation.class, "BoolOperation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1921 | |||
1922 | initEClass(andEClass, And.class, "And", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1923 | initEReference(getAnd_Operands(), this.getTerm(), null, "operands", null, 0, -1, And.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1924 | |||
1925 | initEClass(orEClass, Or.class, "Or", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1926 | initEReference(getOr_Operands(), this.getTerm(), null, "operands", null, 0, -1, Or.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1927 | |||
1928 | initEClass(implEClass, Impl.class, "Impl", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1929 | initEReference(getImpl_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, Impl.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1930 | initEReference(getImpl_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, Impl.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1931 | |||
1932 | initEClass(notEClass, Not.class, "Not", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1933 | initEReference(getNot_Operand(), this.getTerm(), null, "operand", null, 0, 1, Not.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1934 | |||
1935 | initEClass(iffEClass, Iff.class, "Iff", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1936 | initEReference(getIff_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, Iff.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1937 | initEReference(getIff_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, Iff.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1938 | |||
1939 | initEClass(primitiveRelationEClass, PrimitiveRelation.class, "PrimitiveRelation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1940 | |||
1941 | initEClass(equalsEClass, Equals.class, "Equals", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1942 | initEReference(getEquals_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, Equals.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1943 | initEReference(getEquals_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, Equals.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1944 | |||
1945 | initEClass(distinctEClass, Distinct.class, "Distinct", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1946 | initEReference(getDistinct_Operands(), this.getTerm(), null, "operands", null, 0, -1, Distinct.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1947 | |||
1948 | initEClass(lessThanEClass, LessThan.class, "LessThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1949 | initEReference(getLessThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, LessThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1950 | initEReference(getLessThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, LessThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1951 | |||
1952 | initEClass(moreThanEClass, MoreThan.class, "MoreThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1953 | initEReference(getMoreThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, MoreThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1954 | initEReference(getMoreThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, MoreThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1955 | |||
1956 | initEClass(lessOrEqualThanEClass, LessOrEqualThan.class, "LessOrEqualThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1957 | initEReference(getLessOrEqualThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, LessOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1958 | initEReference(getLessOrEqualThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, LessOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1959 | |||
1960 | initEClass(moreOrEqualThanEClass, MoreOrEqualThan.class, "MoreOrEqualThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1961 | initEReference(getMoreOrEqualThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, MoreOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1962 | initEReference(getMoreOrEqualThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, MoreOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1963 | |||
1964 | initEClass(intOperationEClass, IntOperation.class, "IntOperation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1965 | initEReference(getIntOperation_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, IntOperation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1966 | initEReference(getIntOperation_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, IntOperation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1967 | |||
1968 | initEClass(plusEClass, Plus.class, "Plus", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1969 | |||
1970 | initEClass(minusEClass, Minus.class, "Minus", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1971 | |||
1972 | initEClass(multiplyEClass, Multiply.class, "Multiply", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1973 | |||
1974 | initEClass(divisonEClass, Divison.class, "Divison", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1975 | |||
1976 | initEClass(modEClass, Mod.class, "Mod", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1977 | |||
1978 | initEClass(typeDescriptorEClass, TypeDescriptor.class, "TypeDescriptor", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1979 | |||
1980 | initEClass(termDescriptionEClass, TermDescription.class, "TermDescription", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1981 | |||
1982 | initEClass(assertionEClass, Assertion.class, "Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1983 | initEReference(getAssertion_Value(), this.getTerm(), null, "value", null, 1, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1984 | initEAttribute(getAssertion_Name(), ecorePackage.getEString(), "name", null, 1, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1985 | initEReference(getAssertion_Annotations(), theLogicproblemPackage.getAssertionAnnotation(), theLogicproblemPackage.getAssertionAnnotation_Target(), "annotations", null, 0, -1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1986 | |||
1987 | initEClass(relationEClass, Relation.class, "Relation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1988 | initEReference(getRelation_Parameters(), this.getTypeReference(), null, "parameters", null, 0, -1, Relation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1989 | initEReference(getRelation_Annotations(), theLogicproblemPackage.getRelationAnnotation(), theLogicproblemPackage.getRelationAnnotation_Target(), "annotations", null, 0, -1, Relation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1990 | |||
1991 | initEClass(constantEClass, Constant.class, "Constant", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1992 | initEReference(getConstant_Type(), this.getTypeReference(), null, "type", null, 1, 1, Constant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1993 | initEReference(getConstant_Annotations(), theLogicproblemPackage.getConstantAnnotation(), theLogicproblemPackage.getConstantAnnotation_Target(), "annotations", null, 0, -1, Constant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1994 | |||
1995 | initEClass(constantDefinitionEClass, ConstantDefinition.class, "ConstantDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1996 | initEReference(getConstantDefinition_Value(), this.getTerm(), null, "value", null, 1, 1, ConstantDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1997 | initEReference(getConstantDefinition_Defines(), this.getConstantDeclaration(), null, "defines", null, 0, 1, ConstantDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1998 | |||
1999 | initEClass(relationDefinitionEClass, RelationDefinition.class, "RelationDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2000 | initEReference(getRelationDefinition_Variables(), this.getVariable(), null, "variables", null, 0, -1, RelationDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2001 | initEReference(getRelationDefinition_Value(), this.getTerm(), null, "value", null, 1, 1, RelationDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2002 | initEReference(getRelationDefinition_Defines(), this.getRelationDeclaration(), null, "defines", null, 0, 1, RelationDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2003 | |||
2004 | initEClass(functionDefinitionEClass, FunctionDefinition.class, "FunctionDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2005 | initEReference(getFunctionDefinition_Variable(), this.getVariable(), null, "variable", null, 0, -1, FunctionDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2006 | initEReference(getFunctionDefinition_Defines(), this.getFunctionDeclaration(), null, "defines", null, 0, 1, FunctionDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2007 | initEReference(getFunctionDefinition_Value(), this.getTerm(), null, "value", null, 1, 1, FunctionDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2008 | |||
2009 | initEClass(ifThenElseEClass, IfThenElse.class, "IfThenElse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2010 | initEReference(getIfThenElse_Condition(), this.getTerm(), null, "condition", null, 1, 1, IfThenElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2011 | initEReference(getIfThenElse_IfTrue(), this.getTerm(), null, "ifTrue", null, 1, 1, IfThenElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2012 | initEReference(getIfThenElse_IfFalse(), this.getTerm(), null, "ifFalse", null, 1, 1, IfThenElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2013 | |||
2014 | initEClass(constantDeclarationEClass, ConstantDeclaration.class, "ConstantDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2015 | |||
2016 | initEClass(relationDeclarationEClass, RelationDeclaration.class, "RelationDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2017 | |||
2018 | initEClass(functionDeclarationEClass, FunctionDeclaration.class, "FunctionDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2019 | |||
2020 | initEClass(typeDeclarationEClass, TypeDeclaration.class, "TypeDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2021 | |||
2022 | initEClass(unknownBecauseUninterpretedEClass, UnknownBecauseUninterpreted.class, "UnknownBecauseUninterpreted", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2023 | |||
2024 | initEClass(instanceOfEClass, InstanceOf.class, "InstanceOf", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2025 | initEReference(getInstanceOf_Value(), this.getTerm(), null, "value", null, 1, 1, InstanceOf.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2026 | initEReference(getInstanceOf_Range(), this.getTypeReference(), null, "range", null, 1, 1, InstanceOf.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2027 | |||
2028 | // Create resource | ||
2029 | createResource(eNS_URI); | ||
2030 | } | ||
2031 | |||
2032 | } //LogiclanguagePackageImpl | ||