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 | 491 |
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 | */ | ||
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_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 | ||