diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | 527 |
1 files changed, 527 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java new file mode 100644 index 00000000..a6b1ac36 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -0,0 +1,527 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.14.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.*; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | import org.eclipse.emf.ecore.EObject; | ||
10 | import org.eclipse.emf.ecore.EPackage; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
13 | |||
14 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
15 | |||
16 | /** | ||
17 | * <!-- begin-user-doc --> | ||
18 | * An implementation of the model <b>Factory</b>. | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireLanguageFactory | ||
23 | { | ||
24 | /** | ||
25 | * Creates the default factory implementation. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @generated | ||
29 | */ | ||
30 | public static VampireLanguageFactory init() | ||
31 | { | ||
32 | try | ||
33 | { | ||
34 | VampireLanguageFactory theVampireLanguageFactory = (VampireLanguageFactory)EPackage.Registry.INSTANCE.getEFactory(VampireLanguagePackage.eNS_URI); | ||
35 | if (theVampireLanguageFactory != null) | ||
36 | { | ||
37 | return theVampireLanguageFactory; | ||
38 | } | ||
39 | } | ||
40 | catch (Exception exception) | ||
41 | { | ||
42 | EcorePlugin.INSTANCE.log(exception); | ||
43 | } | ||
44 | return new VampireLanguageFactoryImpl(); | ||
45 | } | ||
46 | |||
47 | /** | ||
48 | * Creates an instance of the factory. | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | public VampireLanguageFactoryImpl() | ||
54 | { | ||
55 | super(); | ||
56 | } | ||
57 | |||
58 | /** | ||
59 | * <!-- begin-user-doc --> | ||
60 | * <!-- end-user-doc --> | ||
61 | * @generated | ||
62 | */ | ||
63 | @Override | ||
64 | public EObject create(EClass eClass) | ||
65 | { | ||
66 | switch (eClass.getClassifierID()) | ||
67 | { | ||
68 | case VampireLanguagePackage.VAMPIRE_MODEL: return createVampireModel(); | ||
69 | case VampireLanguagePackage.VLS_INCLUDE: return createVLSInclude(); | ||
70 | case VampireLanguagePackage.VLS_NAME: return createVLSName(); | ||
71 | case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); | ||
72 | case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); | ||
73 | case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable(); | ||
74 | case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); | ||
75 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); | ||
76 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | ||
77 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
78 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); | ||
79 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); | ||
80 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); | ||
81 | case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent(); | ||
82 | case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies(); | ||
83 | case VampireLanguagePackage.VLS_REV_IMPLIES: return createVLSRevImplies(); | ||
84 | case VampireLanguagePackage.VLS_XNOR: return createVLSXnor(); | ||
85 | case VampireLanguagePackage.VLS_NOR: return createVLSNor(); | ||
86 | case VampireLanguagePackage.VLS_NAND: return createVLSNand(); | ||
87 | case VampireLanguagePackage.VLS_AND: return createVLSAnd(); | ||
88 | case VampireLanguagePackage.VLS_OR: return createVLSOr(); | ||
89 | case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER: return createVLSUniversalQuantifier(); | ||
90 | case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER: return createVLSExistentialQuantifier(); | ||
91 | case VampireLanguagePackage.VLS_UNARY_NEGATION: return createVLSUnaryNegation(); | ||
92 | case VampireLanguagePackage.VLS_INEQUALITY: return createVLSInequality(); | ||
93 | case VampireLanguagePackage.VLS_EQUALITY: return createVLSEquality(); | ||
94 | case VampireLanguagePackage.VLS_ASSIGNMENT: return createVLSAssignment(); | ||
95 | case VampireLanguagePackage.VLS_CONSTANT: return createVLSConstant(); | ||
96 | case VampireLanguagePackage.VLS_TRUE: return createVLSTrue(); | ||
97 | case VampireLanguagePackage.VLS_FALSE: return createVLSFalse(); | ||
98 | case VampireLanguagePackage.VLS_FUNCTION: return createVLSFunction(); | ||
99 | case VampireLanguagePackage.VLS_LESS: return createVLSLess(); | ||
100 | case VampireLanguagePackage.VLS_INT: return createVLSInt(); | ||
101 | case VampireLanguagePackage.VLS_REAL: return createVLSReal(); | ||
102 | case VampireLanguagePackage.VLS_RATIONAL: return createVLSRational(); | ||
103 | case VampireLanguagePackage.VLS_DOUBLE_QUOTE: return createVLSDoubleQuote(); | ||
104 | default: | ||
105 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
106 | } | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | public VampireModel createVampireModel() | ||
115 | { | ||
116 | VampireModelImpl vampireModel = new VampireModelImpl(); | ||
117 | return vampireModel; | ||
118 | } | ||
119 | |||
120 | /** | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @generated | ||
124 | */ | ||
125 | public VLSInclude createVLSInclude() | ||
126 | { | ||
127 | VLSIncludeImpl vlsInclude = new VLSIncludeImpl(); | ||
128 | return vlsInclude; | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | public VLSName createVLSName() | ||
137 | { | ||
138 | VLSNameImpl vlsName = new VLSNameImpl(); | ||
139 | return vlsName; | ||
140 | } | ||
141 | |||
142 | /** | ||
143 | * <!-- begin-user-doc --> | ||
144 | * <!-- end-user-doc --> | ||
145 | * @generated | ||
146 | */ | ||
147 | public VLSComment createVLSComment() | ||
148 | { | ||
149 | VLSCommentImpl vlsComment = new VLSCommentImpl(); | ||
150 | return vlsComment; | ||
151 | } | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | public VLSConfirmations createVLSConfirmations() | ||
159 | { | ||
160 | VLSConfirmationsImpl vlsConfirmations = new VLSConfirmationsImpl(); | ||
161 | return vlsConfirmations; | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | public VLSSatisfiable createVLSSatisfiable() | ||
170 | { | ||
171 | VLSSatisfiableImpl vlsSatisfiable = new VLSSatisfiableImpl(); | ||
172 | return vlsSatisfiable; | ||
173 | } | ||
174 | |||
175 | /** | ||
176 | * <!-- begin-user-doc --> | ||
177 | * <!-- end-user-doc --> | ||
178 | * @generated | ||
179 | */ | ||
180 | public VLSFofFormula createVLSFofFormula() | ||
181 | { | ||
182 | VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); | ||
183 | return vlsFofFormula; | ||
184 | } | ||
185 | |||
186 | /** | ||
187 | * <!-- begin-user-doc --> | ||
188 | * <!-- end-user-doc --> | ||
189 | * @generated | ||
190 | */ | ||
191 | public VLSTffFormula createVLSTffFormula() | ||
192 | { | ||
193 | VLSTffFormulaImpl vlsTffFormula = new VLSTffFormulaImpl(); | ||
194 | return vlsTffFormula; | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | */ | ||
202 | public VLSAnnotation createVLSAnnotation() | ||
203 | { | ||
204 | VLSAnnotationImpl vlsAnnotation = new VLSAnnotationImpl(); | ||
205 | return vlsAnnotation; | ||
206 | } | ||
207 | |||
208 | /** | ||
209 | * <!-- begin-user-doc --> | ||
210 | * <!-- end-user-doc --> | ||
211 | * @generated | ||
212 | */ | ||
213 | public VLSTerm createVLSTerm() | ||
214 | { | ||
215 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
216 | return vlsTerm; | ||
217 | } | ||
218 | |||
219 | /** | ||
220 | * <!-- begin-user-doc --> | ||
221 | * <!-- end-user-doc --> | ||
222 | * @generated | ||
223 | */ | ||
224 | public VLSVariable createVLSVariable() | ||
225 | { | ||
226 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); | ||
227 | return vlsVariable; | ||
228 | } | ||
229 | |||
230 | /** | ||
231 | * <!-- begin-user-doc --> | ||
232 | * <!-- end-user-doc --> | ||
233 | * @generated | ||
234 | */ | ||
235 | public VLSFunctionAsTerm createVLSFunctionAsTerm() | ||
236 | { | ||
237 | VLSFunctionAsTermImpl vlsFunctionAsTerm = new VLSFunctionAsTermImpl(); | ||
238 | return vlsFunctionAsTerm; | ||
239 | } | ||
240 | |||
241 | /** | ||
242 | * <!-- begin-user-doc --> | ||
243 | * <!-- end-user-doc --> | ||
244 | * @generated | ||
245 | */ | ||
246 | public VLSDefinedTerm createVLSDefinedTerm() | ||
247 | { | ||
248 | VLSDefinedTermImpl vlsDefinedTerm = new VLSDefinedTermImpl(); | ||
249 | return vlsDefinedTerm; | ||
250 | } | ||
251 | |||
252 | /** | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @generated | ||
256 | */ | ||
257 | public VLSEquivalent createVLSEquivalent() | ||
258 | { | ||
259 | VLSEquivalentImpl vlsEquivalent = new VLSEquivalentImpl(); | ||
260 | return vlsEquivalent; | ||
261 | } | ||
262 | |||
263 | /** | ||
264 | * <!-- begin-user-doc --> | ||
265 | * <!-- end-user-doc --> | ||
266 | * @generated | ||
267 | */ | ||
268 | public VLSImplies createVLSImplies() | ||
269 | { | ||
270 | VLSImpliesImpl vlsImplies = new VLSImpliesImpl(); | ||
271 | return vlsImplies; | ||
272 | } | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | public VLSRevImplies createVLSRevImplies() | ||
280 | { | ||
281 | VLSRevImpliesImpl vlsRevImplies = new VLSRevImpliesImpl(); | ||
282 | return vlsRevImplies; | ||
283 | } | ||
284 | |||
285 | /** | ||
286 | * <!-- begin-user-doc --> | ||
287 | * <!-- end-user-doc --> | ||
288 | * @generated | ||
289 | */ | ||
290 | public VLSXnor createVLSXnor() | ||
291 | { | ||
292 | VLSXnorImpl vlsXnor = new VLSXnorImpl(); | ||
293 | return vlsXnor; | ||
294 | } | ||
295 | |||
296 | /** | ||
297 | * <!-- begin-user-doc --> | ||
298 | * <!-- end-user-doc --> | ||
299 | * @generated | ||
300 | */ | ||
301 | public VLSNor createVLSNor() | ||
302 | { | ||
303 | VLSNorImpl vlsNor = new VLSNorImpl(); | ||
304 | return vlsNor; | ||
305 | } | ||
306 | |||
307 | /** | ||
308 | * <!-- begin-user-doc --> | ||
309 | * <!-- end-user-doc --> | ||
310 | * @generated | ||
311 | */ | ||
312 | public VLSNand createVLSNand() | ||
313 | { | ||
314 | VLSNandImpl vlsNand = new VLSNandImpl(); | ||
315 | return vlsNand; | ||
316 | } | ||
317 | |||
318 | /** | ||
319 | * <!-- begin-user-doc --> | ||
320 | * <!-- end-user-doc --> | ||
321 | * @generated | ||
322 | */ | ||
323 | public VLSAnd createVLSAnd() | ||
324 | { | ||
325 | VLSAndImpl vlsAnd = new VLSAndImpl(); | ||
326 | return vlsAnd; | ||
327 | } | ||
328 | |||
329 | /** | ||
330 | * <!-- begin-user-doc --> | ||
331 | * <!-- end-user-doc --> | ||
332 | * @generated | ||
333 | */ | ||
334 | public VLSOr createVLSOr() | ||
335 | { | ||
336 | VLSOrImpl vlsOr = new VLSOrImpl(); | ||
337 | return vlsOr; | ||
338 | } | ||
339 | |||
340 | /** | ||
341 | * <!-- begin-user-doc --> | ||
342 | * <!-- end-user-doc --> | ||
343 | * @generated | ||
344 | */ | ||
345 | public VLSUniversalQuantifier createVLSUniversalQuantifier() | ||
346 | { | ||
347 | VLSUniversalQuantifierImpl vlsUniversalQuantifier = new VLSUniversalQuantifierImpl(); | ||
348 | return vlsUniversalQuantifier; | ||
349 | } | ||
350 | |||
351 | /** | ||
352 | * <!-- begin-user-doc --> | ||
353 | * <!-- end-user-doc --> | ||
354 | * @generated | ||
355 | */ | ||
356 | public VLSExistentialQuantifier createVLSExistentialQuantifier() | ||
357 | { | ||
358 | VLSExistentialQuantifierImpl vlsExistentialQuantifier = new VLSExistentialQuantifierImpl(); | ||
359 | return vlsExistentialQuantifier; | ||
360 | } | ||
361 | |||
362 | /** | ||
363 | * <!-- begin-user-doc --> | ||
364 | * <!-- end-user-doc --> | ||
365 | * @generated | ||
366 | */ | ||
367 | public VLSUnaryNegation createVLSUnaryNegation() | ||
368 | { | ||
369 | VLSUnaryNegationImpl vlsUnaryNegation = new VLSUnaryNegationImpl(); | ||
370 | return vlsUnaryNegation; | ||
371 | } | ||
372 | |||
373 | /** | ||
374 | * <!-- begin-user-doc --> | ||
375 | * <!-- end-user-doc --> | ||
376 | * @generated | ||
377 | */ | ||
378 | public VLSInequality createVLSInequality() | ||
379 | { | ||
380 | VLSInequalityImpl vlsInequality = new VLSInequalityImpl(); | ||
381 | return vlsInequality; | ||
382 | } | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | public VLSEquality createVLSEquality() | ||
390 | { | ||
391 | VLSEqualityImpl vlsEquality = new VLSEqualityImpl(); | ||
392 | return vlsEquality; | ||
393 | } | ||
394 | |||
395 | /** | ||
396 | * <!-- begin-user-doc --> | ||
397 | * <!-- end-user-doc --> | ||
398 | * @generated | ||
399 | */ | ||
400 | public VLSAssignment createVLSAssignment() | ||
401 | { | ||
402 | VLSAssignmentImpl vlsAssignment = new VLSAssignmentImpl(); | ||
403 | return vlsAssignment; | ||
404 | } | ||
405 | |||
406 | /** | ||
407 | * <!-- begin-user-doc --> | ||
408 | * <!-- end-user-doc --> | ||
409 | * @generated | ||
410 | */ | ||
411 | public VLSConstant createVLSConstant() | ||
412 | { | ||
413 | VLSConstantImpl vlsConstant = new VLSConstantImpl(); | ||
414 | return vlsConstant; | ||
415 | } | ||
416 | |||
417 | /** | ||
418 | * <!-- begin-user-doc --> | ||
419 | * <!-- end-user-doc --> | ||
420 | * @generated | ||
421 | */ | ||
422 | public VLSTrue createVLSTrue() | ||
423 | { | ||
424 | VLSTrueImpl vlsTrue = new VLSTrueImpl(); | ||
425 | return vlsTrue; | ||
426 | } | ||
427 | |||
428 | /** | ||
429 | * <!-- begin-user-doc --> | ||
430 | * <!-- end-user-doc --> | ||
431 | * @generated | ||
432 | */ | ||
433 | public VLSFalse createVLSFalse() | ||
434 | { | ||
435 | VLSFalseImpl vlsFalse = new VLSFalseImpl(); | ||
436 | return vlsFalse; | ||
437 | } | ||
438 | |||
439 | /** | ||
440 | * <!-- begin-user-doc --> | ||
441 | * <!-- end-user-doc --> | ||
442 | * @generated | ||
443 | */ | ||
444 | public VLSFunction createVLSFunction() | ||
445 | { | ||
446 | VLSFunctionImpl vlsFunction = new VLSFunctionImpl(); | ||
447 | return vlsFunction; | ||
448 | } | ||
449 | |||
450 | /** | ||
451 | * <!-- begin-user-doc --> | ||
452 | * <!-- end-user-doc --> | ||
453 | * @generated | ||
454 | */ | ||
455 | public VLSLess createVLSLess() | ||
456 | { | ||
457 | VLSLessImpl vlsLess = new VLSLessImpl(); | ||
458 | return vlsLess; | ||
459 | } | ||
460 | |||
461 | /** | ||
462 | * <!-- begin-user-doc --> | ||
463 | * <!-- end-user-doc --> | ||
464 | * @generated | ||
465 | */ | ||
466 | public VLSInt createVLSInt() | ||
467 | { | ||
468 | VLSIntImpl vlsInt = new VLSIntImpl(); | ||
469 | return vlsInt; | ||
470 | } | ||
471 | |||
472 | /** | ||
473 | * <!-- begin-user-doc --> | ||
474 | * <!-- end-user-doc --> | ||
475 | * @generated | ||
476 | */ | ||
477 | public VLSReal createVLSReal() | ||
478 | { | ||
479 | VLSRealImpl vlsReal = new VLSRealImpl(); | ||
480 | return vlsReal; | ||
481 | } | ||
482 | |||
483 | /** | ||
484 | * <!-- begin-user-doc --> | ||
485 | * <!-- end-user-doc --> | ||
486 | * @generated | ||
487 | */ | ||
488 | public VLSRational createVLSRational() | ||
489 | { | ||
490 | VLSRationalImpl vlsRational = new VLSRationalImpl(); | ||
491 | return vlsRational; | ||
492 | } | ||
493 | |||
494 | /** | ||
495 | * <!-- begin-user-doc --> | ||
496 | * <!-- end-user-doc --> | ||
497 | * @generated | ||
498 | */ | ||
499 | public VLSDoubleQuote createVLSDoubleQuote() | ||
500 | { | ||
501 | VLSDoubleQuoteImpl vlsDoubleQuote = new VLSDoubleQuoteImpl(); | ||
502 | return vlsDoubleQuote; | ||
503 | } | ||
504 | |||
505 | /** | ||
506 | * <!-- begin-user-doc --> | ||
507 | * <!-- end-user-doc --> | ||
508 | * @generated | ||
509 | */ | ||
510 | public VampireLanguagePackage getVampireLanguagePackage() | ||
511 | { | ||
512 | return (VampireLanguagePackage)getEPackage(); | ||
513 | } | ||
514 | |||
515 | /** | ||
516 | * <!-- begin-user-doc --> | ||
517 | * <!-- end-user-doc --> | ||
518 | * @deprecated | ||
519 | * @generated | ||
520 | */ | ||
521 | @Deprecated | ||
522 | public static VampireLanguagePackage getPackage() | ||
523 | { | ||
524 | return VampireLanguagePackage.eINSTANCE; | ||
525 | } | ||
526 | |||
527 | } //VampireLanguageFactoryImpl | ||