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