diff options
author | 2019-01-15 12:44:33 -0500 | |
---|---|---|
committer | 2020-06-07 19:06:26 -0400 | |
commit | f87b4233437f0900c19f462b5e443a3c81b27b6e (patch) | |
tree | fa5af86016db54e24f54e3d801424eb1216efc2f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |
parent | Fix numeric-solver-at-end (diff) | |
download | VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.gz VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.zst VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.zip |
Initial workspace setup
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | 1505 |
1 files changed, 1505 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java new file mode 100644 index 00000000..86921032 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |||
@@ -0,0 +1,1505 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.12.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; | ||
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm; | ||
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; | ||
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | ||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | ||
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | ||
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | ||
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | ||
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | ||
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; | ||
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; | ||
22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; | ||
23 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt; | ||
24 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess; | ||
25 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName; | ||
26 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand; | ||
27 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor; | ||
28 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; | ||
29 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; | ||
30 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; | ||
31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; | ||
32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | ||
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | ||
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | ||
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | ||
37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor; | ||
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | ||
39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | ||
40 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | ||
41 | |||
42 | import org.eclipse.emf.ecore.EAttribute; | ||
43 | import org.eclipse.emf.ecore.EClass; | ||
44 | import org.eclipse.emf.ecore.EPackage; | ||
45 | import org.eclipse.emf.ecore.EReference; | ||
46 | |||
47 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * An implementation of the model <b>Package</b>. | ||
52 | * <!-- end-user-doc --> | ||
53 | * @generated | ||
54 | */ | ||
55 | public class VampireLanguagePackageImpl extends EPackageImpl implements VampireLanguagePackage | ||
56 | { | ||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | private EClass vampireModelEClass = null; | ||
63 | |||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | private EClass vlsIncludeEClass = null; | ||
70 | |||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | private EClass vlsNameEClass = null; | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | */ | ||
83 | private EClass vlsCommentEClass = null; | ||
84 | |||
85 | /** | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | private EClass vlsFofFormulaEClass = null; | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | private EClass vlsAnnotationEClass = null; | ||
98 | |||
99 | /** | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @generated | ||
103 | */ | ||
104 | private EClass vlsTermEClass = null; | ||
105 | |||
106 | /** | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | private EClass vlsVariableEClass = null; | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | private EClass vlsFunctionFofEClass = null; | ||
119 | |||
120 | /** | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @generated | ||
124 | */ | ||
125 | private EClass vlsDefinedTermEClass = null; | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | private EClass vlsEquivalentEClass = null; | ||
133 | |||
134 | /** | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | */ | ||
139 | private EClass vlsImpliesEClass = null; | ||
140 | |||
141 | /** | ||
142 | * <!-- begin-user-doc --> | ||
143 | * <!-- end-user-doc --> | ||
144 | * @generated | ||
145 | */ | ||
146 | private EClass vlsRevImpliesEClass = null; | ||
147 | |||
148 | /** | ||
149 | * <!-- begin-user-doc --> | ||
150 | * <!-- end-user-doc --> | ||
151 | * @generated | ||
152 | */ | ||
153 | private EClass vlsXnorEClass = null; | ||
154 | |||
155 | /** | ||
156 | * <!-- begin-user-doc --> | ||
157 | * <!-- end-user-doc --> | ||
158 | * @generated | ||
159 | */ | ||
160 | private EClass vlsNorEClass = null; | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | private EClass vlsNandEClass = null; | ||
168 | |||
169 | /** | ||
170 | * <!-- begin-user-doc --> | ||
171 | * <!-- end-user-doc --> | ||
172 | * @generated | ||
173 | */ | ||
174 | private EClass vlsAndEClass = null; | ||
175 | |||
176 | /** | ||
177 | * <!-- begin-user-doc --> | ||
178 | * <!-- end-user-doc --> | ||
179 | * @generated | ||
180 | */ | ||
181 | private EClass vlsOrEClass = null; | ||
182 | |||
183 | /** | ||
184 | * <!-- begin-user-doc --> | ||
185 | * <!-- end-user-doc --> | ||
186 | * @generated | ||
187 | */ | ||
188 | private EClass vlsUniversalQuantifierEClass = null; | ||
189 | |||
190 | /** | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | private EClass vlsExistentialQuantifierEClass = null; | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | private EClass vlsUnaryNegationEClass = null; | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | private EClass vlsInequalityEClass = null; | ||
210 | |||
211 | /** | ||
212 | * <!-- begin-user-doc --> | ||
213 | * <!-- end-user-doc --> | ||
214 | * @generated | ||
215 | */ | ||
216 | private EClass vlsEqualityEClass = null; | ||
217 | |||
218 | /** | ||
219 | * <!-- begin-user-doc --> | ||
220 | * <!-- end-user-doc --> | ||
221 | * @generated | ||
222 | */ | ||
223 | private EClass vlsAssignmentEClass = null; | ||
224 | |||
225 | /** | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | */ | ||
230 | private EClass vlsConstantEClass = null; | ||
231 | |||
232 | /** | ||
233 | * <!-- begin-user-doc --> | ||
234 | * <!-- end-user-doc --> | ||
235 | * @generated | ||
236 | */ | ||
237 | private EClass vlsTrueEClass = null; | ||
238 | |||
239 | /** | ||
240 | * <!-- begin-user-doc --> | ||
241 | * <!-- end-user-doc --> | ||
242 | * @generated | ||
243 | */ | ||
244 | private EClass vlsFalseEClass = null; | ||
245 | |||
246 | /** | ||
247 | * <!-- begin-user-doc --> | ||
248 | * <!-- end-user-doc --> | ||
249 | * @generated | ||
250 | */ | ||
251 | private EClass vlsFunctionEClass = null; | ||
252 | |||
253 | /** | ||
254 | * <!-- begin-user-doc --> | ||
255 | * <!-- end-user-doc --> | ||
256 | * @generated | ||
257 | */ | ||
258 | private EClass vlsLessEClass = null; | ||
259 | |||
260 | /** | ||
261 | * <!-- begin-user-doc --> | ||
262 | * <!-- end-user-doc --> | ||
263 | * @generated | ||
264 | */ | ||
265 | private EClass vlsIntEClass = null; | ||
266 | |||
267 | /** | ||
268 | * <!-- begin-user-doc --> | ||
269 | * <!-- end-user-doc --> | ||
270 | * @generated | ||
271 | */ | ||
272 | private EClass vlsRealEClass = null; | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | private EClass vlsRationalEClass = null; | ||
280 | |||
281 | /** | ||
282 | * <!-- begin-user-doc --> | ||
283 | * <!-- end-user-doc --> | ||
284 | * @generated | ||
285 | */ | ||
286 | private EClass vlsDoubleQuoteEClass = null; | ||
287 | |||
288 | /** | ||
289 | * Creates an instance of the model <b>Package</b>, registered with | ||
290 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
291 | * package URI value. | ||
292 | * <p>Note: the correct way to create the package is via the static | ||
293 | * factory method {@link #init init()}, which also performs | ||
294 | * initialization of the package, or returns the registered package, | ||
295 | * if one already exists. | ||
296 | * <!-- begin-user-doc --> | ||
297 | * <!-- end-user-doc --> | ||
298 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
299 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#eNS_URI | ||
300 | * @see #init() | ||
301 | * @generated | ||
302 | */ | ||
303 | private VampireLanguagePackageImpl() | ||
304 | { | ||
305 | super(eNS_URI, VampireLanguageFactory.eINSTANCE); | ||
306 | } | ||
307 | |||
308 | /** | ||
309 | * <!-- begin-user-doc --> | ||
310 | * <!-- end-user-doc --> | ||
311 | * @generated | ||
312 | */ | ||
313 | private static boolean isInited = false; | ||
314 | |||
315 | /** | ||
316 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
317 | * | ||
318 | * <p>This method is used to initialize {@link VampireLanguagePackage#eINSTANCE} when that field is accessed. | ||
319 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @see #eNS_URI | ||
323 | * @see #createPackageContents() | ||
324 | * @see #initializePackageContents() | ||
325 | * @generated | ||
326 | */ | ||
327 | public static VampireLanguagePackage init() | ||
328 | { | ||
329 | if (isInited) return (VampireLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(VampireLanguagePackage.eNS_URI); | ||
330 | |||
331 | // Obtain or create and register package | ||
332 | VampireLanguagePackageImpl theVampireLanguagePackage = (VampireLanguagePackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof VampireLanguagePackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new VampireLanguagePackageImpl()); | ||
333 | |||
334 | isInited = true; | ||
335 | |||
336 | // Create package meta-data objects | ||
337 | theVampireLanguagePackage.createPackageContents(); | ||
338 | |||
339 | // Initialize created meta-data | ||
340 | theVampireLanguagePackage.initializePackageContents(); | ||
341 | |||
342 | // Mark meta-data to indicate it can't be changed | ||
343 | theVampireLanguagePackage.freeze(); | ||
344 | |||
345 | |||
346 | // Update the registry and return the package | ||
347 | EPackage.Registry.INSTANCE.put(VampireLanguagePackage.eNS_URI, theVampireLanguagePackage); | ||
348 | return theVampireLanguagePackage; | ||
349 | } | ||
350 | |||
351 | /** | ||
352 | * <!-- begin-user-doc --> | ||
353 | * <!-- end-user-doc --> | ||
354 | * @generated | ||
355 | */ | ||
356 | public EClass getVampireModel() | ||
357 | { | ||
358 | return vampireModelEClass; | ||
359 | } | ||
360 | |||
361 | /** | ||
362 | * <!-- begin-user-doc --> | ||
363 | * <!-- end-user-doc --> | ||
364 | * @generated | ||
365 | */ | ||
366 | public EReference getVampireModel_Includes() | ||
367 | { | ||
368 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(0); | ||
369 | } | ||
370 | |||
371 | /** | ||
372 | * <!-- begin-user-doc --> | ||
373 | * <!-- end-user-doc --> | ||
374 | * @generated | ||
375 | */ | ||
376 | public EReference getVampireModel_Comments() | ||
377 | { | ||
378 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(1); | ||
379 | } | ||
380 | |||
381 | /** | ||
382 | * <!-- begin-user-doc --> | ||
383 | * <!-- end-user-doc --> | ||
384 | * @generated | ||
385 | */ | ||
386 | public EReference getVampireModel_Formulas() | ||
387 | { | ||
388 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(2); | ||
389 | } | ||
390 | |||
391 | /** | ||
392 | * <!-- begin-user-doc --> | ||
393 | * <!-- end-user-doc --> | ||
394 | * @generated | ||
395 | */ | ||
396 | public EClass getVLSInclude() | ||
397 | { | ||
398 | return vlsIncludeEClass; | ||
399 | } | ||
400 | |||
401 | /** | ||
402 | * <!-- begin-user-doc --> | ||
403 | * <!-- end-user-doc --> | ||
404 | * @generated | ||
405 | */ | ||
406 | public EAttribute getVLSInclude_FileName() | ||
407 | { | ||
408 | return (EAttribute)vlsIncludeEClass.getEStructuralFeatures().get(0); | ||
409 | } | ||
410 | |||
411 | /** | ||
412 | * <!-- begin-user-doc --> | ||
413 | * <!-- end-user-doc --> | ||
414 | * @generated | ||
415 | */ | ||
416 | public EReference getVLSInclude_Names() | ||
417 | { | ||
418 | return (EReference)vlsIncludeEClass.getEStructuralFeatures().get(1); | ||
419 | } | ||
420 | |||
421 | /** | ||
422 | * <!-- begin-user-doc --> | ||
423 | * <!-- end-user-doc --> | ||
424 | * @generated | ||
425 | */ | ||
426 | public EClass getVLSName() | ||
427 | { | ||
428 | return vlsNameEClass; | ||
429 | } | ||
430 | |||
431 | /** | ||
432 | * <!-- begin-user-doc --> | ||
433 | * <!-- end-user-doc --> | ||
434 | * @generated | ||
435 | */ | ||
436 | public EAttribute getVLSName_Name() | ||
437 | { | ||
438 | return (EAttribute)vlsNameEClass.getEStructuralFeatures().get(0); | ||
439 | } | ||
440 | |||
441 | /** | ||
442 | * <!-- begin-user-doc --> | ||
443 | * <!-- end-user-doc --> | ||
444 | * @generated | ||
445 | */ | ||
446 | public EClass getVLSComment() | ||
447 | { | ||
448 | return vlsCommentEClass; | ||
449 | } | ||
450 | |||
451 | /** | ||
452 | * <!-- begin-user-doc --> | ||
453 | * <!-- end-user-doc --> | ||
454 | * @generated | ||
455 | */ | ||
456 | public EAttribute getVLSComment_Comment() | ||
457 | { | ||
458 | return (EAttribute)vlsCommentEClass.getEStructuralFeatures().get(0); | ||
459 | } | ||
460 | |||
461 | /** | ||
462 | * <!-- begin-user-doc --> | ||
463 | * <!-- end-user-doc --> | ||
464 | * @generated | ||
465 | */ | ||
466 | public EClass getVLSFofFormula() | ||
467 | { | ||
468 | return vlsFofFormulaEClass; | ||
469 | } | ||
470 | |||
471 | /** | ||
472 | * <!-- begin-user-doc --> | ||
473 | * <!-- end-user-doc --> | ||
474 | * @generated | ||
475 | */ | ||
476 | public EAttribute getVLSFofFormula_Name() | ||
477 | { | ||
478 | return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(0); | ||
479 | } | ||
480 | |||
481 | /** | ||
482 | * <!-- begin-user-doc --> | ||
483 | * <!-- end-user-doc --> | ||
484 | * @generated | ||
485 | */ | ||
486 | public EAttribute getVLSFofFormula_FofRole() | ||
487 | { | ||
488 | return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(1); | ||
489 | } | ||
490 | |||
491 | /** | ||
492 | * <!-- begin-user-doc --> | ||
493 | * <!-- end-user-doc --> | ||
494 | * @generated | ||
495 | */ | ||
496 | public EReference getVLSFofFormula_FofFormula() | ||
497 | { | ||
498 | return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(2); | ||
499 | } | ||
500 | |||
501 | /** | ||
502 | * <!-- begin-user-doc --> | ||
503 | * <!-- end-user-doc --> | ||
504 | * @generated | ||
505 | */ | ||
506 | public EReference getVLSFofFormula_Annotations() | ||
507 | { | ||
508 | return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(3); | ||
509 | } | ||
510 | |||
511 | /** | ||
512 | * <!-- begin-user-doc --> | ||
513 | * <!-- end-user-doc --> | ||
514 | * @generated | ||
515 | */ | ||
516 | public EClass getVLSAnnotation() | ||
517 | { | ||
518 | return vlsAnnotationEClass; | ||
519 | } | ||
520 | |||
521 | /** | ||
522 | * <!-- begin-user-doc --> | ||
523 | * <!-- end-user-doc --> | ||
524 | * @generated | ||
525 | */ | ||
526 | public EAttribute getVLSAnnotation_Name() | ||
527 | { | ||
528 | return (EAttribute)vlsAnnotationEClass.getEStructuralFeatures().get(0); | ||
529 | } | ||
530 | |||
531 | /** | ||
532 | * <!-- begin-user-doc --> | ||
533 | * <!-- end-user-doc --> | ||
534 | * @generated | ||
535 | */ | ||
536 | public EReference getVLSAnnotation_Followup() | ||
537 | { | ||
538 | return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(1); | ||
539 | } | ||
540 | |||
541 | /** | ||
542 | * <!-- begin-user-doc --> | ||
543 | * <!-- end-user-doc --> | ||
544 | * @generated | ||
545 | */ | ||
546 | public EReference getVLSAnnotation_Terms() | ||
547 | { | ||
548 | return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(2); | ||
549 | } | ||
550 | |||
551 | /** | ||
552 | * <!-- begin-user-doc --> | ||
553 | * <!-- end-user-doc --> | ||
554 | * @generated | ||
555 | */ | ||
556 | public EClass getVLSTerm() | ||
557 | { | ||
558 | return vlsTermEClass; | ||
559 | } | ||
560 | |||
561 | /** | ||
562 | * <!-- begin-user-doc --> | ||
563 | * <!-- end-user-doc --> | ||
564 | * @generated | ||
565 | */ | ||
566 | public EClass getVLSVariable() | ||
567 | { | ||
568 | return vlsVariableEClass; | ||
569 | } | ||
570 | |||
571 | /** | ||
572 | * <!-- begin-user-doc --> | ||
573 | * <!-- end-user-doc --> | ||
574 | * @generated | ||
575 | */ | ||
576 | public EAttribute getVLSVariable_Name() | ||
577 | { | ||
578 | return (EAttribute)vlsVariableEClass.getEStructuralFeatures().get(0); | ||
579 | } | ||
580 | |||
581 | /** | ||
582 | * <!-- begin-user-doc --> | ||
583 | * <!-- end-user-doc --> | ||
584 | * @generated | ||
585 | */ | ||
586 | public EClass getVLSFunctionFof() | ||
587 | { | ||
588 | return vlsFunctionFofEClass; | ||
589 | } | ||
590 | |||
591 | /** | ||
592 | * <!-- begin-user-doc --> | ||
593 | * <!-- end-user-doc --> | ||
594 | * @generated | ||
595 | */ | ||
596 | public EAttribute getVLSFunctionFof_Functor() | ||
597 | { | ||
598 | return (EAttribute)vlsFunctionFofEClass.getEStructuralFeatures().get(0); | ||
599 | } | ||
600 | |||
601 | /** | ||
602 | * <!-- begin-user-doc --> | ||
603 | * <!-- end-user-doc --> | ||
604 | * @generated | ||
605 | */ | ||
606 | public EReference getVLSFunctionFof_Terms() | ||
607 | { | ||
608 | return (EReference)vlsFunctionFofEClass.getEStructuralFeatures().get(1); | ||
609 | } | ||
610 | |||
611 | /** | ||
612 | * <!-- begin-user-doc --> | ||
613 | * <!-- end-user-doc --> | ||
614 | * @generated | ||
615 | */ | ||
616 | public EClass getVLSDefinedTerm() | ||
617 | { | ||
618 | return vlsDefinedTermEClass; | ||
619 | } | ||
620 | |||
621 | /** | ||
622 | * <!-- begin-user-doc --> | ||
623 | * <!-- end-user-doc --> | ||
624 | * @generated | ||
625 | */ | ||
626 | public EAttribute getVLSDefinedTerm_Value() | ||
627 | { | ||
628 | return (EAttribute)vlsDefinedTermEClass.getEStructuralFeatures().get(0); | ||
629 | } | ||
630 | |||
631 | /** | ||
632 | * <!-- begin-user-doc --> | ||
633 | * <!-- end-user-doc --> | ||
634 | * @generated | ||
635 | */ | ||
636 | public EClass getVLSEquivalent() | ||
637 | { | ||
638 | return vlsEquivalentEClass; | ||
639 | } | ||
640 | |||
641 | /** | ||
642 | * <!-- begin-user-doc --> | ||
643 | * <!-- end-user-doc --> | ||
644 | * @generated | ||
645 | */ | ||
646 | public EReference getVLSEquivalent_Left() | ||
647 | { | ||
648 | return (EReference)vlsEquivalentEClass.getEStructuralFeatures().get(0); | ||
649 | } | ||
650 | |||
651 | /** | ||
652 | * <!-- begin-user-doc --> | ||
653 | * <!-- end-user-doc --> | ||
654 | * @generated | ||
655 | */ | ||
656 | public EReference getVLSEquivalent_Right() | ||
657 | { | ||
658 | return (EReference)vlsEquivalentEClass.getEStructuralFeatures().get(1); | ||
659 | } | ||
660 | |||
661 | /** | ||
662 | * <!-- begin-user-doc --> | ||
663 | * <!-- end-user-doc --> | ||
664 | * @generated | ||
665 | */ | ||
666 | public EClass getVLSImplies() | ||
667 | { | ||
668 | return vlsImpliesEClass; | ||
669 | } | ||
670 | |||
671 | /** | ||
672 | * <!-- begin-user-doc --> | ||
673 | * <!-- end-user-doc --> | ||
674 | * @generated | ||
675 | */ | ||
676 | public EReference getVLSImplies_Left() | ||
677 | { | ||
678 | return (EReference)vlsImpliesEClass.getEStructuralFeatures().get(0); | ||
679 | } | ||
680 | |||
681 | /** | ||
682 | * <!-- begin-user-doc --> | ||
683 | * <!-- end-user-doc --> | ||
684 | * @generated | ||
685 | */ | ||
686 | public EReference getVLSImplies_Right() | ||
687 | { | ||
688 | return (EReference)vlsImpliesEClass.getEStructuralFeatures().get(1); | ||
689 | } | ||
690 | |||
691 | /** | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @generated | ||
695 | */ | ||
696 | public EClass getVLSRevImplies() | ||
697 | { | ||
698 | return vlsRevImpliesEClass; | ||
699 | } | ||
700 | |||
701 | /** | ||
702 | * <!-- begin-user-doc --> | ||
703 | * <!-- end-user-doc --> | ||
704 | * @generated | ||
705 | */ | ||
706 | public EReference getVLSRevImplies_Left() | ||
707 | { | ||
708 | return (EReference)vlsRevImpliesEClass.getEStructuralFeatures().get(0); | ||
709 | } | ||
710 | |||
711 | /** | ||
712 | * <!-- begin-user-doc --> | ||
713 | * <!-- end-user-doc --> | ||
714 | * @generated | ||
715 | */ | ||
716 | public EReference getVLSRevImplies_Right() | ||
717 | { | ||
718 | return (EReference)vlsRevImpliesEClass.getEStructuralFeatures().get(1); | ||
719 | } | ||
720 | |||
721 | /** | ||
722 | * <!-- begin-user-doc --> | ||
723 | * <!-- end-user-doc --> | ||
724 | * @generated | ||
725 | */ | ||
726 | public EClass getVLSXnor() | ||
727 | { | ||
728 | return vlsXnorEClass; | ||
729 | } | ||
730 | |||
731 | /** | ||
732 | * <!-- begin-user-doc --> | ||
733 | * <!-- end-user-doc --> | ||
734 | * @generated | ||
735 | */ | ||
736 | public EReference getVLSXnor_Left() | ||
737 | { | ||
738 | return (EReference)vlsXnorEClass.getEStructuralFeatures().get(0); | ||
739 | } | ||
740 | |||
741 | /** | ||
742 | * <!-- begin-user-doc --> | ||
743 | * <!-- end-user-doc --> | ||
744 | * @generated | ||
745 | */ | ||
746 | public EReference getVLSXnor_Right() | ||
747 | { | ||
748 | return (EReference)vlsXnorEClass.getEStructuralFeatures().get(1); | ||
749 | } | ||
750 | |||
751 | /** | ||
752 | * <!-- begin-user-doc --> | ||
753 | * <!-- end-user-doc --> | ||
754 | * @generated | ||
755 | */ | ||
756 | public EClass getVLSNor() | ||
757 | { | ||
758 | return vlsNorEClass; | ||
759 | } | ||
760 | |||
761 | /** | ||
762 | * <!-- begin-user-doc --> | ||
763 | * <!-- end-user-doc --> | ||
764 | * @generated | ||
765 | */ | ||
766 | public EReference getVLSNor_Left() | ||
767 | { | ||
768 | return (EReference)vlsNorEClass.getEStructuralFeatures().get(0); | ||
769 | } | ||
770 | |||
771 | /** | ||
772 | * <!-- begin-user-doc --> | ||
773 | * <!-- end-user-doc --> | ||
774 | * @generated | ||
775 | */ | ||
776 | public EReference getVLSNor_Right() | ||
777 | { | ||
778 | return (EReference)vlsNorEClass.getEStructuralFeatures().get(1); | ||
779 | } | ||
780 | |||
781 | /** | ||
782 | * <!-- begin-user-doc --> | ||
783 | * <!-- end-user-doc --> | ||
784 | * @generated | ||
785 | */ | ||
786 | public EClass getVLSNand() | ||
787 | { | ||
788 | return vlsNandEClass; | ||
789 | } | ||
790 | |||
791 | /** | ||
792 | * <!-- begin-user-doc --> | ||
793 | * <!-- end-user-doc --> | ||
794 | * @generated | ||
795 | */ | ||
796 | public EReference getVLSNand_Left() | ||
797 | { | ||
798 | return (EReference)vlsNandEClass.getEStructuralFeatures().get(0); | ||
799 | } | ||
800 | |||
801 | /** | ||
802 | * <!-- begin-user-doc --> | ||
803 | * <!-- end-user-doc --> | ||
804 | * @generated | ||
805 | */ | ||
806 | public EReference getVLSNand_Right() | ||
807 | { | ||
808 | return (EReference)vlsNandEClass.getEStructuralFeatures().get(1); | ||
809 | } | ||
810 | |||
811 | /** | ||
812 | * <!-- begin-user-doc --> | ||
813 | * <!-- end-user-doc --> | ||
814 | * @generated | ||
815 | */ | ||
816 | public EClass getVLSAnd() | ||
817 | { | ||
818 | return vlsAndEClass; | ||
819 | } | ||
820 | |||
821 | /** | ||
822 | * <!-- begin-user-doc --> | ||
823 | * <!-- end-user-doc --> | ||
824 | * @generated | ||
825 | */ | ||
826 | public EReference getVLSAnd_Left() | ||
827 | { | ||
828 | return (EReference)vlsAndEClass.getEStructuralFeatures().get(0); | ||
829 | } | ||
830 | |||
831 | /** | ||
832 | * <!-- begin-user-doc --> | ||
833 | * <!-- end-user-doc --> | ||
834 | * @generated | ||
835 | */ | ||
836 | public EReference getVLSAnd_Right() | ||
837 | { | ||
838 | return (EReference)vlsAndEClass.getEStructuralFeatures().get(1); | ||
839 | } | ||
840 | |||
841 | /** | ||
842 | * <!-- begin-user-doc --> | ||
843 | * <!-- end-user-doc --> | ||
844 | * @generated | ||
845 | */ | ||
846 | public EClass getVLSOr() | ||
847 | { | ||
848 | return vlsOrEClass; | ||
849 | } | ||
850 | |||
851 | /** | ||
852 | * <!-- begin-user-doc --> | ||
853 | * <!-- end-user-doc --> | ||
854 | * @generated | ||
855 | */ | ||
856 | public EReference getVLSOr_Left() | ||
857 | { | ||
858 | return (EReference)vlsOrEClass.getEStructuralFeatures().get(0); | ||
859 | } | ||
860 | |||
861 | /** | ||
862 | * <!-- begin-user-doc --> | ||
863 | * <!-- end-user-doc --> | ||
864 | * @generated | ||
865 | */ | ||
866 | public EReference getVLSOr_Right() | ||
867 | { | ||
868 | return (EReference)vlsOrEClass.getEStructuralFeatures().get(1); | ||
869 | } | ||
870 | |||
871 | /** | ||
872 | * <!-- begin-user-doc --> | ||
873 | * <!-- end-user-doc --> | ||
874 | * @generated | ||
875 | */ | ||
876 | public EClass getVLSUniversalQuantifier() | ||
877 | { | ||
878 | return vlsUniversalQuantifierEClass; | ||
879 | } | ||
880 | |||
881 | /** | ||
882 | * <!-- begin-user-doc --> | ||
883 | * <!-- end-user-doc --> | ||
884 | * @generated | ||
885 | */ | ||
886 | public EReference getVLSUniversalQuantifier_Variables() | ||
887 | { | ||
888 | return (EReference)vlsUniversalQuantifierEClass.getEStructuralFeatures().get(0); | ||
889 | } | ||
890 | |||
891 | /** | ||
892 | * <!-- begin-user-doc --> | ||
893 | * <!-- end-user-doc --> | ||
894 | * @generated | ||
895 | */ | ||
896 | public EReference getVLSUniversalQuantifier_Operand() | ||
897 | { | ||
898 | return (EReference)vlsUniversalQuantifierEClass.getEStructuralFeatures().get(1); | ||
899 | } | ||
900 | |||
901 | /** | ||
902 | * <!-- begin-user-doc --> | ||
903 | * <!-- end-user-doc --> | ||
904 | * @generated | ||
905 | */ | ||
906 | public EClass getVLSExistentialQuantifier() | ||
907 | { | ||
908 | return vlsExistentialQuantifierEClass; | ||
909 | } | ||
910 | |||
911 | /** | ||
912 | * <!-- begin-user-doc --> | ||
913 | * <!-- end-user-doc --> | ||
914 | * @generated | ||
915 | */ | ||
916 | public EReference getVLSExistentialQuantifier_Variables() | ||
917 | { | ||
918 | return (EReference)vlsExistentialQuantifierEClass.getEStructuralFeatures().get(0); | ||
919 | } | ||
920 | |||
921 | /** | ||
922 | * <!-- begin-user-doc --> | ||
923 | * <!-- end-user-doc --> | ||
924 | * @generated | ||
925 | */ | ||
926 | public EReference getVLSExistentialQuantifier_Operand() | ||
927 | { | ||
928 | return (EReference)vlsExistentialQuantifierEClass.getEStructuralFeatures().get(1); | ||
929 | } | ||
930 | |||
931 | /** | ||
932 | * <!-- begin-user-doc --> | ||
933 | * <!-- end-user-doc --> | ||
934 | * @generated | ||
935 | */ | ||
936 | public EClass getVLSUnaryNegation() | ||
937 | { | ||
938 | return vlsUnaryNegationEClass; | ||
939 | } | ||
940 | |||
941 | /** | ||
942 | * <!-- begin-user-doc --> | ||
943 | * <!-- end-user-doc --> | ||
944 | * @generated | ||
945 | */ | ||
946 | public EReference getVLSUnaryNegation_Operand() | ||
947 | { | ||
948 | return (EReference)vlsUnaryNegationEClass.getEStructuralFeatures().get(0); | ||
949 | } | ||
950 | |||
951 | /** | ||
952 | * <!-- begin-user-doc --> | ||
953 | * <!-- end-user-doc --> | ||
954 | * @generated | ||
955 | */ | ||
956 | public EClass getVLSInequality() | ||
957 | { | ||
958 | return vlsInequalityEClass; | ||
959 | } | ||
960 | |||
961 | /** | ||
962 | * <!-- begin-user-doc --> | ||
963 | * <!-- end-user-doc --> | ||
964 | * @generated | ||
965 | */ | ||
966 | public EReference getVLSInequality_Left() | ||
967 | { | ||
968 | return (EReference)vlsInequalityEClass.getEStructuralFeatures().get(0); | ||
969 | } | ||
970 | |||
971 | /** | ||
972 | * <!-- begin-user-doc --> | ||
973 | * <!-- end-user-doc --> | ||
974 | * @generated | ||
975 | */ | ||
976 | public EReference getVLSInequality_Right() | ||
977 | { | ||
978 | return (EReference)vlsInequalityEClass.getEStructuralFeatures().get(1); | ||
979 | } | ||
980 | |||
981 | /** | ||
982 | * <!-- begin-user-doc --> | ||
983 | * <!-- end-user-doc --> | ||
984 | * @generated | ||
985 | */ | ||
986 | public EClass getVLSEquality() | ||
987 | { | ||
988 | return vlsEqualityEClass; | ||
989 | } | ||
990 | |||
991 | /** | ||
992 | * <!-- begin-user-doc --> | ||
993 | * <!-- end-user-doc --> | ||
994 | * @generated | ||
995 | */ | ||
996 | public EReference getVLSEquality_Left() | ||
997 | { | ||
998 | return (EReference)vlsEqualityEClass.getEStructuralFeatures().get(0); | ||
999 | } | ||
1000 | |||
1001 | /** | ||
1002 | * <!-- begin-user-doc --> | ||
1003 | * <!-- end-user-doc --> | ||
1004 | * @generated | ||
1005 | */ | ||
1006 | public EReference getVLSEquality_Right() | ||
1007 | { | ||
1008 | return (EReference)vlsEqualityEClass.getEStructuralFeatures().get(1); | ||
1009 | } | ||
1010 | |||
1011 | /** | ||
1012 | * <!-- begin-user-doc --> | ||
1013 | * <!-- end-user-doc --> | ||
1014 | * @generated | ||
1015 | */ | ||
1016 | public EClass getVLSAssignment() | ||
1017 | { | ||
1018 | return vlsAssignmentEClass; | ||
1019 | } | ||
1020 | |||
1021 | /** | ||
1022 | * <!-- begin-user-doc --> | ||
1023 | * <!-- end-user-doc --> | ||
1024 | * @generated | ||
1025 | */ | ||
1026 | public EReference getVLSAssignment_Left() | ||
1027 | { | ||
1028 | return (EReference)vlsAssignmentEClass.getEStructuralFeatures().get(0); | ||
1029 | } | ||
1030 | |||
1031 | /** | ||
1032 | * <!-- begin-user-doc --> | ||
1033 | * <!-- end-user-doc --> | ||
1034 | * @generated | ||
1035 | */ | ||
1036 | public EReference getVLSAssignment_Right() | ||
1037 | { | ||
1038 | return (EReference)vlsAssignmentEClass.getEStructuralFeatures().get(1); | ||
1039 | } | ||
1040 | |||
1041 | /** | ||
1042 | * <!-- begin-user-doc --> | ||
1043 | * <!-- end-user-doc --> | ||
1044 | * @generated | ||
1045 | */ | ||
1046 | public EClass getVLSConstant() | ||
1047 | { | ||
1048 | return vlsConstantEClass; | ||
1049 | } | ||
1050 | |||
1051 | /** | ||
1052 | * <!-- begin-user-doc --> | ||
1053 | * <!-- end-user-doc --> | ||
1054 | * @generated | ||
1055 | */ | ||
1056 | public EAttribute getVLSConstant_Name() | ||
1057 | { | ||
1058 | return (EAttribute)vlsConstantEClass.getEStructuralFeatures().get(0); | ||
1059 | } | ||
1060 | |||
1061 | /** | ||
1062 | * <!-- begin-user-doc --> | ||
1063 | * <!-- end-user-doc --> | ||
1064 | * @generated | ||
1065 | */ | ||
1066 | public EClass getVLSTrue() | ||
1067 | { | ||
1068 | return vlsTrueEClass; | ||
1069 | } | ||
1070 | |||
1071 | /** | ||
1072 | * <!-- begin-user-doc --> | ||
1073 | * <!-- end-user-doc --> | ||
1074 | * @generated | ||
1075 | */ | ||
1076 | public EClass getVLSFalse() | ||
1077 | { | ||
1078 | return vlsFalseEClass; | ||
1079 | } | ||
1080 | |||
1081 | /** | ||
1082 | * <!-- begin-user-doc --> | ||
1083 | * <!-- end-user-doc --> | ||
1084 | * @generated | ||
1085 | */ | ||
1086 | public EClass getVLSFunction() | ||
1087 | { | ||
1088 | return vlsFunctionEClass; | ||
1089 | } | ||
1090 | |||
1091 | /** | ||
1092 | * <!-- begin-user-doc --> | ||
1093 | * <!-- end-user-doc --> | ||
1094 | * @generated | ||
1095 | */ | ||
1096 | public EAttribute getVLSFunction_Constant() | ||
1097 | { | ||
1098 | return (EAttribute)vlsFunctionEClass.getEStructuralFeatures().get(0); | ||
1099 | } | ||
1100 | |||
1101 | /** | ||
1102 | * <!-- begin-user-doc --> | ||
1103 | * <!-- end-user-doc --> | ||
1104 | * @generated | ||
1105 | */ | ||
1106 | public EReference getVLSFunction_Terms() | ||
1107 | { | ||
1108 | return (EReference)vlsFunctionEClass.getEStructuralFeatures().get(1); | ||
1109 | } | ||
1110 | |||
1111 | /** | ||
1112 | * <!-- begin-user-doc --> | ||
1113 | * <!-- end-user-doc --> | ||
1114 | * @generated | ||
1115 | */ | ||
1116 | public EClass getVLSLess() | ||
1117 | { | ||
1118 | return vlsLessEClass; | ||
1119 | } | ||
1120 | |||
1121 | /** | ||
1122 | * <!-- begin-user-doc --> | ||
1123 | * <!-- end-user-doc --> | ||
1124 | * @generated | ||
1125 | */ | ||
1126 | public EAttribute getVLSLess_Name() | ||
1127 | { | ||
1128 | return (EAttribute)vlsLessEClass.getEStructuralFeatures().get(0); | ||
1129 | } | ||
1130 | |||
1131 | /** | ||
1132 | * <!-- begin-user-doc --> | ||
1133 | * <!-- end-user-doc --> | ||
1134 | * @generated | ||
1135 | */ | ||
1136 | public EReference getVLSLess_Terms() | ||
1137 | { | ||
1138 | return (EReference)vlsLessEClass.getEStructuralFeatures().get(1); | ||
1139 | } | ||
1140 | |||
1141 | /** | ||
1142 | * <!-- begin-user-doc --> | ||
1143 | * <!-- end-user-doc --> | ||
1144 | * @generated | ||
1145 | */ | ||
1146 | public EClass getVLSInt() | ||
1147 | { | ||
1148 | return vlsIntEClass; | ||
1149 | } | ||
1150 | |||
1151 | /** | ||
1152 | * <!-- begin-user-doc --> | ||
1153 | * <!-- end-user-doc --> | ||
1154 | * @generated | ||
1155 | */ | ||
1156 | public EClass getVLSReal() | ||
1157 | { | ||
1158 | return vlsRealEClass; | ||
1159 | } | ||
1160 | |||
1161 | /** | ||
1162 | * <!-- begin-user-doc --> | ||
1163 | * <!-- end-user-doc --> | ||
1164 | * @generated | ||
1165 | */ | ||
1166 | public EClass getVLSRational() | ||
1167 | { | ||
1168 | return vlsRationalEClass; | ||
1169 | } | ||
1170 | |||
1171 | /** | ||
1172 | * <!-- begin-user-doc --> | ||
1173 | * <!-- end-user-doc --> | ||
1174 | * @generated | ||
1175 | */ | ||
1176 | public EClass getVLSDoubleQuote() | ||
1177 | { | ||
1178 | return vlsDoubleQuoteEClass; | ||
1179 | } | ||
1180 | |||
1181 | /** | ||
1182 | * <!-- begin-user-doc --> | ||
1183 | * <!-- end-user-doc --> | ||
1184 | * @generated | ||
1185 | */ | ||
1186 | public VampireLanguageFactory getVampireLanguageFactory() | ||
1187 | { | ||
1188 | return (VampireLanguageFactory)getEFactoryInstance(); | ||
1189 | } | ||
1190 | |||
1191 | /** | ||
1192 | * <!-- begin-user-doc --> | ||
1193 | * <!-- end-user-doc --> | ||
1194 | * @generated | ||
1195 | */ | ||
1196 | private boolean isCreated = false; | ||
1197 | |||
1198 | /** | ||
1199 | * Creates the meta-model objects for the package. This method is | ||
1200 | * guarded to have no affect on any invocation but its first. | ||
1201 | * <!-- begin-user-doc --> | ||
1202 | * <!-- end-user-doc --> | ||
1203 | * @generated | ||
1204 | */ | ||
1205 | public void createPackageContents() | ||
1206 | { | ||
1207 | if (isCreated) return; | ||
1208 | isCreated = true; | ||
1209 | |||
1210 | // Create classes and their features | ||
1211 | vampireModelEClass = createEClass(VAMPIRE_MODEL); | ||
1212 | createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES); | ||
1213 | createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS); | ||
1214 | createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS); | ||
1215 | |||
1216 | vlsIncludeEClass = createEClass(VLS_INCLUDE); | ||
1217 | createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME); | ||
1218 | createEReference(vlsIncludeEClass, VLS_INCLUDE__NAMES); | ||
1219 | |||
1220 | vlsNameEClass = createEClass(VLS_NAME); | ||
1221 | createEAttribute(vlsNameEClass, VLS_NAME__NAME); | ||
1222 | |||
1223 | vlsCommentEClass = createEClass(VLS_COMMENT); | ||
1224 | createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT); | ||
1225 | |||
1226 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); | ||
1227 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); | ||
1228 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); | ||
1229 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA); | ||
1230 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS); | ||
1231 | |||
1232 | vlsAnnotationEClass = createEClass(VLS_ANNOTATION); | ||
1233 | createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME); | ||
1234 | createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP); | ||
1235 | createEReference(vlsAnnotationEClass, VLS_ANNOTATION__TERMS); | ||
1236 | |||
1237 | vlsTermEClass = createEClass(VLS_TERM); | ||
1238 | |||
1239 | vlsVariableEClass = createEClass(VLS_VARIABLE); | ||
1240 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | ||
1241 | |||
1242 | vlsFunctionFofEClass = createEClass(VLS_FUNCTION_FOF); | ||
1243 | createEAttribute(vlsFunctionFofEClass, VLS_FUNCTION_FOF__FUNCTOR); | ||
1244 | createEReference(vlsFunctionFofEClass, VLS_FUNCTION_FOF__TERMS); | ||
1245 | |||
1246 | vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM); | ||
1247 | createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE); | ||
1248 | |||
1249 | vlsEquivalentEClass = createEClass(VLS_EQUIVALENT); | ||
1250 | createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__LEFT); | ||
1251 | createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__RIGHT); | ||
1252 | |||
1253 | vlsImpliesEClass = createEClass(VLS_IMPLIES); | ||
1254 | createEReference(vlsImpliesEClass, VLS_IMPLIES__LEFT); | ||
1255 | createEReference(vlsImpliesEClass, VLS_IMPLIES__RIGHT); | ||
1256 | |||
1257 | vlsRevImpliesEClass = createEClass(VLS_REV_IMPLIES); | ||
1258 | createEReference(vlsRevImpliesEClass, VLS_REV_IMPLIES__LEFT); | ||
1259 | createEReference(vlsRevImpliesEClass, VLS_REV_IMPLIES__RIGHT); | ||
1260 | |||
1261 | vlsXnorEClass = createEClass(VLS_XNOR); | ||
1262 | createEReference(vlsXnorEClass, VLS_XNOR__LEFT); | ||
1263 | createEReference(vlsXnorEClass, VLS_XNOR__RIGHT); | ||
1264 | |||
1265 | vlsNorEClass = createEClass(VLS_NOR); | ||
1266 | createEReference(vlsNorEClass, VLS_NOR__LEFT); | ||
1267 | createEReference(vlsNorEClass, VLS_NOR__RIGHT); | ||
1268 | |||
1269 | vlsNandEClass = createEClass(VLS_NAND); | ||
1270 | createEReference(vlsNandEClass, VLS_NAND__LEFT); | ||
1271 | createEReference(vlsNandEClass, VLS_NAND__RIGHT); | ||
1272 | |||
1273 | vlsAndEClass = createEClass(VLS_AND); | ||
1274 | createEReference(vlsAndEClass, VLS_AND__LEFT); | ||
1275 | createEReference(vlsAndEClass, VLS_AND__RIGHT); | ||
1276 | |||
1277 | vlsOrEClass = createEClass(VLS_OR); | ||
1278 | createEReference(vlsOrEClass, VLS_OR__LEFT); | ||
1279 | createEReference(vlsOrEClass, VLS_OR__RIGHT); | ||
1280 | |||
1281 | vlsUniversalQuantifierEClass = createEClass(VLS_UNIVERSAL_QUANTIFIER); | ||
1282 | createEReference(vlsUniversalQuantifierEClass, VLS_UNIVERSAL_QUANTIFIER__VARIABLES); | ||
1283 | createEReference(vlsUniversalQuantifierEClass, VLS_UNIVERSAL_QUANTIFIER__OPERAND); | ||
1284 | |||
1285 | vlsExistentialQuantifierEClass = createEClass(VLS_EXISTENTIAL_QUANTIFIER); | ||
1286 | createEReference(vlsExistentialQuantifierEClass, VLS_EXISTENTIAL_QUANTIFIER__VARIABLES); | ||
1287 | createEReference(vlsExistentialQuantifierEClass, VLS_EXISTENTIAL_QUANTIFIER__OPERAND); | ||
1288 | |||
1289 | vlsUnaryNegationEClass = createEClass(VLS_UNARY_NEGATION); | ||
1290 | createEReference(vlsUnaryNegationEClass, VLS_UNARY_NEGATION__OPERAND); | ||
1291 | |||
1292 | vlsInequalityEClass = createEClass(VLS_INEQUALITY); | ||
1293 | createEReference(vlsInequalityEClass, VLS_INEQUALITY__LEFT); | ||
1294 | createEReference(vlsInequalityEClass, VLS_INEQUALITY__RIGHT); | ||
1295 | |||
1296 | vlsEqualityEClass = createEClass(VLS_EQUALITY); | ||
1297 | createEReference(vlsEqualityEClass, VLS_EQUALITY__LEFT); | ||
1298 | createEReference(vlsEqualityEClass, VLS_EQUALITY__RIGHT); | ||
1299 | |||
1300 | vlsAssignmentEClass = createEClass(VLS_ASSIGNMENT); | ||
1301 | createEReference(vlsAssignmentEClass, VLS_ASSIGNMENT__LEFT); | ||
1302 | createEReference(vlsAssignmentEClass, VLS_ASSIGNMENT__RIGHT); | ||
1303 | |||
1304 | vlsConstantEClass = createEClass(VLS_CONSTANT); | ||
1305 | createEAttribute(vlsConstantEClass, VLS_CONSTANT__NAME); | ||
1306 | |||
1307 | vlsTrueEClass = createEClass(VLS_TRUE); | ||
1308 | |||
1309 | vlsFalseEClass = createEClass(VLS_FALSE); | ||
1310 | |||
1311 | vlsFunctionEClass = createEClass(VLS_FUNCTION); | ||
1312 | createEAttribute(vlsFunctionEClass, VLS_FUNCTION__CONSTANT); | ||
1313 | createEReference(vlsFunctionEClass, VLS_FUNCTION__TERMS); | ||
1314 | |||
1315 | vlsLessEClass = createEClass(VLS_LESS); | ||
1316 | createEAttribute(vlsLessEClass, VLS_LESS__NAME); | ||
1317 | createEReference(vlsLessEClass, VLS_LESS__TERMS); | ||
1318 | |||
1319 | vlsIntEClass = createEClass(VLS_INT); | ||
1320 | |||
1321 | vlsRealEClass = createEClass(VLS_REAL); | ||
1322 | |||
1323 | vlsRationalEClass = createEClass(VLS_RATIONAL); | ||
1324 | |||
1325 | vlsDoubleQuoteEClass = createEClass(VLS_DOUBLE_QUOTE); | ||
1326 | } | ||
1327 | |||
1328 | /** | ||
1329 | * <!-- begin-user-doc --> | ||
1330 | * <!-- end-user-doc --> | ||
1331 | * @generated | ||
1332 | */ | ||
1333 | private boolean isInitialized = false; | ||
1334 | |||
1335 | /** | ||
1336 | * Complete the initialization of the package and its meta-model. This | ||
1337 | * method is guarded to have no affect on any invocation but its first. | ||
1338 | * <!-- begin-user-doc --> | ||
1339 | * <!-- end-user-doc --> | ||
1340 | * @generated | ||
1341 | */ | ||
1342 | public void initializePackageContents() | ||
1343 | { | ||
1344 | if (isInitialized) return; | ||
1345 | isInitialized = true; | ||
1346 | |||
1347 | // Initialize package | ||
1348 | setName(eNAME); | ||
1349 | setNsPrefix(eNS_PREFIX); | ||
1350 | setNsURI(eNS_URI); | ||
1351 | |||
1352 | // Create type parameters | ||
1353 | |||
1354 | // Set bounds for type parameters | ||
1355 | |||
1356 | // Add supertypes to classes | ||
1357 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1358 | vlsFunctionFofEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1359 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1360 | vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1361 | vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1362 | vlsRevImpliesEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1363 | vlsXnorEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1364 | vlsNorEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1365 | vlsNandEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1366 | vlsAndEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1367 | vlsOrEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1368 | vlsUniversalQuantifierEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1369 | vlsExistentialQuantifierEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1370 | vlsUnaryNegationEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1371 | vlsInequalityEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1372 | vlsEqualityEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1373 | vlsAssignmentEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1374 | vlsConstantEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1375 | vlsTrueEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1376 | vlsFalseEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1377 | vlsFunctionEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1378 | vlsLessEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1379 | vlsIntEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1380 | vlsRealEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1381 | vlsRationalEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1382 | vlsDoubleQuoteEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1383 | |||
1384 | // Initialize classes and features; add operations and parameters | ||
1385 | initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1386 | initEReference(getVampireModel_Includes(), this.getVLSInclude(), null, "includes", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1387 | initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1388 | initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1389 | |||
1390 | initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1391 | initEAttribute(getVLSInclude_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1392 | initEReference(getVLSInclude_Names(), this.getVLSName(), null, "names", null, 0, -1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1393 | |||
1394 | initEClass(vlsNameEClass, VLSName.class, "VLSName", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1395 | initEAttribute(getVLSName_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSName.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1396 | |||
1397 | initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1398 | initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1399 | |||
1400 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1401 | initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1402 | initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1403 | initEReference(getVLSFofFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1404 | initEReference(getVLSFofFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1405 | |||
1406 | initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1407 | initEAttribute(getVLSAnnotation_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1408 | initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1409 | initEReference(getVLSAnnotation_Terms(), this.getVLSAnnotation(), null, "terms", null, 0, -1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1410 | |||
1411 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1412 | |||
1413 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1414 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1415 | |||
1416 | initEClass(vlsFunctionFofEClass, VLSFunctionFof.class, "VLSFunctionFof", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1417 | initEAttribute(getVLSFunctionFof_Functor(), ecorePackage.getEString(), "functor", null, 0, 1, VLSFunctionFof.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1418 | initEReference(getVLSFunctionFof_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunctionFof.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1419 | |||
1420 | initEClass(vlsDefinedTermEClass, VLSDefinedTerm.class, "VLSDefinedTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1421 | initEAttribute(getVLSDefinedTerm_Value(), ecorePackage.getEString(), "value", null, 0, 1, VLSDefinedTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1422 | |||
1423 | initEClass(vlsEquivalentEClass, VLSEquivalent.class, "VLSEquivalent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1424 | initEReference(getVLSEquivalent_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1425 | initEReference(getVLSEquivalent_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1426 | |||
1427 | initEClass(vlsImpliesEClass, VLSImplies.class, "VLSImplies", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1428 | initEReference(getVLSImplies_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1429 | initEReference(getVLSImplies_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1430 | |||
1431 | initEClass(vlsRevImpliesEClass, VLSRevImplies.class, "VLSRevImplies", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1432 | initEReference(getVLSRevImplies_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSRevImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1433 | initEReference(getVLSRevImplies_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSRevImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1434 | |||
1435 | initEClass(vlsXnorEClass, VLSXnor.class, "VLSXnor", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1436 | initEReference(getVLSXnor_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSXnor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1437 | initEReference(getVLSXnor_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSXnor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1438 | |||
1439 | initEClass(vlsNorEClass, VLSNor.class, "VLSNor", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1440 | initEReference(getVLSNor_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSNor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1441 | initEReference(getVLSNor_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSNor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1442 | |||
1443 | initEClass(vlsNandEClass, VLSNand.class, "VLSNand", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1444 | initEReference(getVLSNand_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSNand.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1445 | initEReference(getVLSNand_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSNand.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1446 | |||
1447 | initEClass(vlsAndEClass, VLSAnd.class, "VLSAnd", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1448 | initEReference(getVLSAnd_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSAnd.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1449 | initEReference(getVLSAnd_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSAnd.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1450 | |||
1451 | initEClass(vlsOrEClass, VLSOr.class, "VLSOr", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1452 | initEReference(getVLSOr_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1453 | initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1454 | |||
1455 | initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1456 | initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSVariable(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1457 | initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1458 | |||
1459 | initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1460 | initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSVariable(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1461 | initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1462 | |||
1463 | initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1464 | initEReference(getVLSUnaryNegation_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUnaryNegation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1465 | |||
1466 | initEClass(vlsInequalityEClass, VLSInequality.class, "VLSInequality", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1467 | initEReference(getVLSInequality_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSInequality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1468 | initEReference(getVLSInequality_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSInequality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1469 | |||
1470 | initEClass(vlsEqualityEClass, VLSEquality.class, "VLSEquality", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1471 | initEReference(getVLSEquality_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1472 | initEReference(getVLSEquality_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1473 | |||
1474 | initEClass(vlsAssignmentEClass, VLSAssignment.class, "VLSAssignment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1475 | initEReference(getVLSAssignment_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSAssignment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1476 | initEReference(getVLSAssignment_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSAssignment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1477 | |||
1478 | initEClass(vlsConstantEClass, VLSConstant.class, "VLSConstant", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1479 | initEAttribute(getVLSConstant_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1480 | |||
1481 | initEClass(vlsTrueEClass, VLSTrue.class, "VLSTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1482 | |||
1483 | initEClass(vlsFalseEClass, VLSFalse.class, "VLSFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1484 | |||
1485 | initEClass(vlsFunctionEClass, VLSFunction.class, "VLSFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1486 | initEAttribute(getVLSFunction_Constant(), ecorePackage.getEString(), "constant", null, 0, 1, VLSFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1487 | initEReference(getVLSFunction_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1488 | |||
1489 | initEClass(vlsLessEClass, VLSLess.class, "VLSLess", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1490 | initEAttribute(getVLSLess_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSLess.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1491 | initEReference(getVLSLess_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSLess.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1492 | |||
1493 | initEClass(vlsIntEClass, VLSInt.class, "VLSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1494 | |||
1495 | initEClass(vlsRealEClass, VLSReal.class, "VLSReal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1496 | |||
1497 | initEClass(vlsRationalEClass, VLSRational.class, "VLSRational", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1498 | |||
1499 | initEClass(vlsDoubleQuoteEClass, VLSDoubleQuote.class, "VLSDoubleQuote", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1500 | |||
1501 | // Create resource | ||
1502 | createResource(eNS_URI); | ||
1503 | } | ||
1504 | |||
1505 | } //VampireLanguagePackageImpl | ||