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.java527
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 */
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_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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-12 09:51:41 +0000