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