diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | 833 |
1 files changed, 833 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java new file mode 100644 index 00000000..1d9a6b22 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | |||
@@ -0,0 +1,833 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.14.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.util; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.*; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Adapter; | ||
9 | import org.eclipse.emf.common.notify.Notifier; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EObject; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * The <b>Adapter Factory</b> for the model. | ||
18 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
19 | * <!-- end-user-doc --> | ||
20 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage | ||
21 | * @generated | ||
22 | */ | ||
23 | public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | ||
24 | { | ||
25 | /** | ||
26 | * The cached model package. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <!-- end-user-doc --> | ||
29 | * @generated | ||
30 | */ | ||
31 | protected static VampireLanguagePackage modelPackage; | ||
32 | |||
33 | /** | ||
34 | * Creates an instance of the adapter factory. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @generated | ||
38 | */ | ||
39 | public VampireLanguageAdapterFactory() | ||
40 | { | ||
41 | if (modelPackage == null) | ||
42 | { | ||
43 | modelPackage = VampireLanguagePackage.eINSTANCE; | ||
44 | } | ||
45 | } | ||
46 | |||
47 | /** | ||
48 | * Returns whether this factory is applicable for the type of the object. | ||
49 | * <!-- begin-user-doc --> | ||
50 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
51 | * <!-- end-user-doc --> | ||
52 | * @return whether this factory is applicable for the type of the object. | ||
53 | * @generated | ||
54 | */ | ||
55 | @Override | ||
56 | public boolean isFactoryForType(Object object) | ||
57 | { | ||
58 | if (object == modelPackage) | ||
59 | { | ||
60 | return true; | ||
61 | } | ||
62 | if (object instanceof EObject) | ||
63 | { | ||
64 | return ((EObject)object).eClass().getEPackage() == modelPackage; | ||
65 | } | ||
66 | return false; | ||
67 | } | ||
68 | |||
69 | /** | ||
70 | * The switch that delegates to the <code>createXXX</code> methods. | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | protected VampireLanguageSwitch<Adapter> modelSwitch = | ||
76 | new VampireLanguageSwitch<Adapter>() | ||
77 | { | ||
78 | @Override | ||
79 | public Adapter caseVampireModel(VampireModel object) | ||
80 | { | ||
81 | return createVampireModelAdapter(); | ||
82 | } | ||
83 | @Override | ||
84 | public Adapter caseVLSInclude(VLSInclude object) | ||
85 | { | ||
86 | return createVLSIncludeAdapter(); | ||
87 | } | ||
88 | @Override | ||
89 | public Adapter caseVLSName(VLSName object) | ||
90 | { | ||
91 | return createVLSNameAdapter(); | ||
92 | } | ||
93 | @Override | ||
94 | public Adapter caseVLSComment(VLSComment object) | ||
95 | { | ||
96 | return createVLSCommentAdapter(); | ||
97 | } | ||
98 | @Override | ||
99 | public Adapter caseVLSConfirmations(VLSConfirmations object) | ||
100 | { | ||
101 | return createVLSConfirmationsAdapter(); | ||
102 | } | ||
103 | @Override | ||
104 | public Adapter caseVLSSatisfiable(VLSSatisfiable object) | ||
105 | { | ||
106 | return createVLSSatisfiableAdapter(); | ||
107 | } | ||
108 | @Override | ||
109 | public Adapter caseVLSFofFormula(VLSFofFormula object) | ||
110 | { | ||
111 | return createVLSFofFormulaAdapter(); | ||
112 | } | ||
113 | @Override | ||
114 | public Adapter caseVLSTffFormula(VLSTffFormula object) | ||
115 | { | ||
116 | return createVLSTffFormulaAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseVLSAnnotation(VLSAnnotation object) | ||
120 | { | ||
121 | return createVLSAnnotationAdapter(); | ||
122 | } | ||
123 | @Override | ||
124 | public Adapter caseVLSTerm(VLSTerm object) | ||
125 | { | ||
126 | return createVLSTermAdapter(); | ||
127 | } | ||
128 | @Override | ||
129 | public Adapter caseVLSVariable(VLSVariable object) | ||
130 | { | ||
131 | return createVLSVariableAdapter(); | ||
132 | } | ||
133 | @Override | ||
134 | public Adapter caseVLSFunctionAsTerm(VLSFunctionAsTerm object) | ||
135 | { | ||
136 | return createVLSFunctionAsTermAdapter(); | ||
137 | } | ||
138 | @Override | ||
139 | public Adapter caseVLSDefinedTerm(VLSDefinedTerm object) | ||
140 | { | ||
141 | return createVLSDefinedTermAdapter(); | ||
142 | } | ||
143 | @Override | ||
144 | public Adapter caseVLSEquivalent(VLSEquivalent object) | ||
145 | { | ||
146 | return createVLSEquivalentAdapter(); | ||
147 | } | ||
148 | @Override | ||
149 | public Adapter caseVLSImplies(VLSImplies object) | ||
150 | { | ||
151 | return createVLSImpliesAdapter(); | ||
152 | } | ||
153 | @Override | ||
154 | public Adapter caseVLSRevImplies(VLSRevImplies object) | ||
155 | { | ||
156 | return createVLSRevImpliesAdapter(); | ||
157 | } | ||
158 | @Override | ||
159 | public Adapter caseVLSXnor(VLSXnor object) | ||
160 | { | ||
161 | return createVLSXnorAdapter(); | ||
162 | } | ||
163 | @Override | ||
164 | public Adapter caseVLSNor(VLSNor object) | ||
165 | { | ||
166 | return createVLSNorAdapter(); | ||
167 | } | ||
168 | @Override | ||
169 | public Adapter caseVLSNand(VLSNand object) | ||
170 | { | ||
171 | return createVLSNandAdapter(); | ||
172 | } | ||
173 | @Override | ||
174 | public Adapter caseVLSAnd(VLSAnd object) | ||
175 | { | ||
176 | return createVLSAndAdapter(); | ||
177 | } | ||
178 | @Override | ||
179 | public Adapter caseVLSOr(VLSOr object) | ||
180 | { | ||
181 | return createVLSOrAdapter(); | ||
182 | } | ||
183 | @Override | ||
184 | public Adapter caseVLSUniversalQuantifier(VLSUniversalQuantifier object) | ||
185 | { | ||
186 | return createVLSUniversalQuantifierAdapter(); | ||
187 | } | ||
188 | @Override | ||
189 | public Adapter caseVLSExistentialQuantifier(VLSExistentialQuantifier object) | ||
190 | { | ||
191 | return createVLSExistentialQuantifierAdapter(); | ||
192 | } | ||
193 | @Override | ||
194 | public Adapter caseVLSUnaryNegation(VLSUnaryNegation object) | ||
195 | { | ||
196 | return createVLSUnaryNegationAdapter(); | ||
197 | } | ||
198 | @Override | ||
199 | public Adapter caseVLSInequality(VLSInequality object) | ||
200 | { | ||
201 | return createVLSInequalityAdapter(); | ||
202 | } | ||
203 | @Override | ||
204 | public Adapter caseVLSEquality(VLSEquality object) | ||
205 | { | ||
206 | return createVLSEqualityAdapter(); | ||
207 | } | ||
208 | @Override | ||
209 | public Adapter caseVLSAssignment(VLSAssignment object) | ||
210 | { | ||
211 | return createVLSAssignmentAdapter(); | ||
212 | } | ||
213 | @Override | ||
214 | public Adapter caseVLSConstant(VLSConstant object) | ||
215 | { | ||
216 | return createVLSConstantAdapter(); | ||
217 | } | ||
218 | @Override | ||
219 | public Adapter caseVLSTrue(VLSTrue object) | ||
220 | { | ||
221 | return createVLSTrueAdapter(); | ||
222 | } | ||
223 | @Override | ||
224 | public Adapter caseVLSFalse(VLSFalse object) | ||
225 | { | ||
226 | return createVLSFalseAdapter(); | ||
227 | } | ||
228 | @Override | ||
229 | public Adapter caseVLSFunction(VLSFunction object) | ||
230 | { | ||
231 | return createVLSFunctionAdapter(); | ||
232 | } | ||
233 | @Override | ||
234 | public Adapter caseVLSLess(VLSLess object) | ||
235 | { | ||
236 | return createVLSLessAdapter(); | ||
237 | } | ||
238 | @Override | ||
239 | public Adapter caseVLSInt(VLSInt object) | ||
240 | { | ||
241 | return createVLSIntAdapter(); | ||
242 | } | ||
243 | @Override | ||
244 | public Adapter caseVLSReal(VLSReal object) | ||
245 | { | ||
246 | return createVLSRealAdapter(); | ||
247 | } | ||
248 | @Override | ||
249 | public Adapter caseVLSRational(VLSRational object) | ||
250 | { | ||
251 | return createVLSRationalAdapter(); | ||
252 | } | ||
253 | @Override | ||
254 | public Adapter caseVLSDoubleQuote(VLSDoubleQuote object) | ||
255 | { | ||
256 | return createVLSDoubleQuoteAdapter(); | ||
257 | } | ||
258 | @Override | ||
259 | public Adapter defaultCase(EObject object) | ||
260 | { | ||
261 | return createEObjectAdapter(); | ||
262 | } | ||
263 | }; | ||
264 | |||
265 | /** | ||
266 | * Creates an adapter for the <code>target</code>. | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @param target the object to adapt. | ||
270 | * @return the adapter for the <code>target</code>. | ||
271 | * @generated | ||
272 | */ | ||
273 | @Override | ||
274 | public Adapter createAdapter(Notifier target) | ||
275 | { | ||
276 | return modelSwitch.doSwitch((EObject)target); | ||
277 | } | ||
278 | |||
279 | |||
280 | /** | ||
281 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel <em>Vampire Model</em>}'. | ||
282 | * <!-- begin-user-doc --> | ||
283 | * This default implementation returns null so that we can easily ignore cases; | ||
284 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
285 | * <!-- end-user-doc --> | ||
286 | * @return the new adapter. | ||
287 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel | ||
288 | * @generated | ||
289 | */ | ||
290 | public Adapter createVampireModelAdapter() | ||
291 | { | ||
292 | return null; | ||
293 | } | ||
294 | |||
295 | /** | ||
296 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude <em>VLS Include</em>}'. | ||
297 | * <!-- begin-user-doc --> | ||
298 | * This default implementation returns null so that we can easily ignore cases; | ||
299 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
300 | * <!-- end-user-doc --> | ||
301 | * @return the new adapter. | ||
302 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude | ||
303 | * @generated | ||
304 | */ | ||
305 | public Adapter createVLSIncludeAdapter() | ||
306 | { | ||
307 | return null; | ||
308 | } | ||
309 | |||
310 | /** | ||
311 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName <em>VLS Name</em>}'. | ||
312 | * <!-- begin-user-doc --> | ||
313 | * This default implementation returns null so that we can easily ignore cases; | ||
314 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
315 | * <!-- end-user-doc --> | ||
316 | * @return the new adapter. | ||
317 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName | ||
318 | * @generated | ||
319 | */ | ||
320 | public Adapter createVLSNameAdapter() | ||
321 | { | ||
322 | return null; | ||
323 | } | ||
324 | |||
325 | /** | ||
326 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'. | ||
327 | * <!-- begin-user-doc --> | ||
328 | * This default implementation returns null so that we can easily ignore cases; | ||
329 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
330 | * <!-- end-user-doc --> | ||
331 | * @return the new adapter. | ||
332 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment | ||
333 | * @generated | ||
334 | */ | ||
335 | public Adapter createVLSCommentAdapter() | ||
336 | { | ||
337 | return null; | ||
338 | } | ||
339 | |||
340 | /** | ||
341 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations <em>VLS Confirmations</em>}'. | ||
342 | * <!-- begin-user-doc --> | ||
343 | * This default implementation returns null so that we can easily ignore cases; | ||
344 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
345 | * <!-- end-user-doc --> | ||
346 | * @return the new adapter. | ||
347 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations | ||
348 | * @generated | ||
349 | */ | ||
350 | public Adapter createVLSConfirmationsAdapter() | ||
351 | { | ||
352 | return null; | ||
353 | } | ||
354 | |||
355 | /** | ||
356 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</em>}'. | ||
357 | * <!-- begin-user-doc --> | ||
358 | * This default implementation returns null so that we can easily ignore cases; | ||
359 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
360 | * <!-- end-user-doc --> | ||
361 | * @return the new adapter. | ||
362 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable | ||
363 | * @generated | ||
364 | */ | ||
365 | public Adapter createVLSSatisfiableAdapter() | ||
366 | { | ||
367 | return null; | ||
368 | } | ||
369 | |||
370 | /** | ||
371 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | ||
372 | * <!-- begin-user-doc --> | ||
373 | * This default implementation returns null so that we can easily ignore cases; | ||
374 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
375 | * <!-- end-user-doc --> | ||
376 | * @return the new adapter. | ||
377 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula | ||
378 | * @generated | ||
379 | */ | ||
380 | public Adapter createVLSFofFormulaAdapter() | ||
381 | { | ||
382 | return null; | ||
383 | } | ||
384 | |||
385 | /** | ||
386 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula <em>VLS Tff Formula</em>}'. | ||
387 | * <!-- begin-user-doc --> | ||
388 | * This default implementation returns null so that we can easily ignore cases; | ||
389 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
390 | * <!-- end-user-doc --> | ||
391 | * @return the new adapter. | ||
392 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula | ||
393 | * @generated | ||
394 | */ | ||
395 | public Adapter createVLSTffFormulaAdapter() | ||
396 | { | ||
397 | return null; | ||
398 | } | ||
399 | |||
400 | /** | ||
401 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'. | ||
402 | * <!-- begin-user-doc --> | ||
403 | * This default implementation returns null so that we can easily ignore cases; | ||
404 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
405 | * <!-- end-user-doc --> | ||
406 | * @return the new adapter. | ||
407 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation | ||
408 | * @generated | ||
409 | */ | ||
410 | public Adapter createVLSAnnotationAdapter() | ||
411 | { | ||
412 | return null; | ||
413 | } | ||
414 | |||
415 | /** | ||
416 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. | ||
417 | * <!-- begin-user-doc --> | ||
418 | * This default implementation returns null so that we can easily ignore cases; | ||
419 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
420 | * <!-- end-user-doc --> | ||
421 | * @return the new adapter. | ||
422 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | ||
423 | * @generated | ||
424 | */ | ||
425 | public Adapter createVLSTermAdapter() | ||
426 | { | ||
427 | return null; | ||
428 | } | ||
429 | |||
430 | /** | ||
431 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. | ||
432 | * <!-- begin-user-doc --> | ||
433 | * This default implementation returns null so that we can easily ignore cases; | ||
434 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
435 | * <!-- end-user-doc --> | ||
436 | * @return the new adapter. | ||
437 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable | ||
438 | * @generated | ||
439 | */ | ||
440 | public Adapter createVLSVariableAdapter() | ||
441 | { | ||
442 | return null; | ||
443 | } | ||
444 | |||
445 | /** | ||
446 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm <em>VLS Function As Term</em>}'. | ||
447 | * <!-- begin-user-doc --> | ||
448 | * This default implementation returns null so that we can easily ignore cases; | ||
449 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
450 | * <!-- end-user-doc --> | ||
451 | * @return the new adapter. | ||
452 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm | ||
453 | * @generated | ||
454 | */ | ||
455 | public Adapter createVLSFunctionAsTermAdapter() | ||
456 | { | ||
457 | return null; | ||
458 | } | ||
459 | |||
460 | /** | ||
461 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm <em>VLS Defined Term</em>}'. | ||
462 | * <!-- begin-user-doc --> | ||
463 | * This default implementation returns null so that we can easily ignore cases; | ||
464 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
465 | * <!-- end-user-doc --> | ||
466 | * @return the new adapter. | ||
467 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm | ||
468 | * @generated | ||
469 | */ | ||
470 | public Adapter createVLSDefinedTermAdapter() | ||
471 | { | ||
472 | return null; | ||
473 | } | ||
474 | |||
475 | /** | ||
476 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'. | ||
477 | * <!-- begin-user-doc --> | ||
478 | * This default implementation returns null so that we can easily ignore cases; | ||
479 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
480 | * <!-- end-user-doc --> | ||
481 | * @return the new adapter. | ||
482 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent | ||
483 | * @generated | ||
484 | */ | ||
485 | public Adapter createVLSEquivalentAdapter() | ||
486 | { | ||
487 | return null; | ||
488 | } | ||
489 | |||
490 | /** | ||
491 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies <em>VLS Implies</em>}'. | ||
492 | * <!-- begin-user-doc --> | ||
493 | * This default implementation returns null so that we can easily ignore cases; | ||
494 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
495 | * <!-- end-user-doc --> | ||
496 | * @return the new adapter. | ||
497 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies | ||
498 | * @generated | ||
499 | */ | ||
500 | public Adapter createVLSImpliesAdapter() | ||
501 | { | ||
502 | return null; | ||
503 | } | ||
504 | |||
505 | /** | ||
506 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies <em>VLS Rev Implies</em>}'. | ||
507 | * <!-- begin-user-doc --> | ||
508 | * This default implementation returns null so that we can easily ignore cases; | ||
509 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
510 | * <!-- end-user-doc --> | ||
511 | * @return the new adapter. | ||
512 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies | ||
513 | * @generated | ||
514 | */ | ||
515 | public Adapter createVLSRevImpliesAdapter() | ||
516 | { | ||
517 | return null; | ||
518 | } | ||
519 | |||
520 | /** | ||
521 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor <em>VLS Xnor</em>}'. | ||
522 | * <!-- begin-user-doc --> | ||
523 | * This default implementation returns null so that we can easily ignore cases; | ||
524 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
525 | * <!-- end-user-doc --> | ||
526 | * @return the new adapter. | ||
527 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor | ||
528 | * @generated | ||
529 | */ | ||
530 | public Adapter createVLSXnorAdapter() | ||
531 | { | ||
532 | return null; | ||
533 | } | ||
534 | |||
535 | /** | ||
536 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor <em>VLS Nor</em>}'. | ||
537 | * <!-- begin-user-doc --> | ||
538 | * This default implementation returns null so that we can easily ignore cases; | ||
539 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
540 | * <!-- end-user-doc --> | ||
541 | * @return the new adapter. | ||
542 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor | ||
543 | * @generated | ||
544 | */ | ||
545 | public Adapter createVLSNorAdapter() | ||
546 | { | ||
547 | return null; | ||
548 | } | ||
549 | |||
550 | /** | ||
551 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand <em>VLS Nand</em>}'. | ||
552 | * <!-- begin-user-doc --> | ||
553 | * This default implementation returns null so that we can easily ignore cases; | ||
554 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
555 | * <!-- end-user-doc --> | ||
556 | * @return the new adapter. | ||
557 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand | ||
558 | * @generated | ||
559 | */ | ||
560 | public Adapter createVLSNandAdapter() | ||
561 | { | ||
562 | return null; | ||
563 | } | ||
564 | |||
565 | /** | ||
566 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd <em>VLS And</em>}'. | ||
567 | * <!-- begin-user-doc --> | ||
568 | * This default implementation returns null so that we can easily ignore cases; | ||
569 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
570 | * <!-- end-user-doc --> | ||
571 | * @return the new adapter. | ||
572 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd | ||
573 | * @generated | ||
574 | */ | ||
575 | public Adapter createVLSAndAdapter() | ||
576 | { | ||
577 | return null; | ||
578 | } | ||
579 | |||
580 | /** | ||
581 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr <em>VLS Or</em>}'. | ||
582 | * <!-- begin-user-doc --> | ||
583 | * This default implementation returns null so that we can easily ignore cases; | ||
584 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
585 | * <!-- end-user-doc --> | ||
586 | * @return the new adapter. | ||
587 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr | ||
588 | * @generated | ||
589 | */ | ||
590 | public Adapter createVLSOrAdapter() | ||
591 | { | ||
592 | return null; | ||
593 | } | ||
594 | |||
595 | /** | ||
596 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier <em>VLS Universal Quantifier</em>}'. | ||
597 | * <!-- begin-user-doc --> | ||
598 | * This default implementation returns null so that we can easily ignore cases; | ||
599 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
600 | * <!-- end-user-doc --> | ||
601 | * @return the new adapter. | ||
602 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier | ||
603 | * @generated | ||
604 | */ | ||
605 | public Adapter createVLSUniversalQuantifierAdapter() | ||
606 | { | ||
607 | return null; | ||
608 | } | ||
609 | |||
610 | /** | ||
611 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier <em>VLS Existential Quantifier</em>}'. | ||
612 | * <!-- begin-user-doc --> | ||
613 | * This default implementation returns null so that we can easily ignore cases; | ||
614 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
615 | * <!-- end-user-doc --> | ||
616 | * @return the new adapter. | ||
617 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier | ||
618 | * @generated | ||
619 | */ | ||
620 | public Adapter createVLSExistentialQuantifierAdapter() | ||
621 | { | ||
622 | return null; | ||
623 | } | ||
624 | |||
625 | /** | ||
626 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation <em>VLS Unary Negation</em>}'. | ||
627 | * <!-- begin-user-doc --> | ||
628 | * This default implementation returns null so that we can easily ignore cases; | ||
629 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
630 | * <!-- end-user-doc --> | ||
631 | * @return the new adapter. | ||
632 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation | ||
633 | * @generated | ||
634 | */ | ||
635 | public Adapter createVLSUnaryNegationAdapter() | ||
636 | { | ||
637 | return null; | ||
638 | } | ||
639 | |||
640 | /** | ||
641 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality <em>VLS Inequality</em>}'. | ||
642 | * <!-- begin-user-doc --> | ||
643 | * This default implementation returns null so that we can easily ignore cases; | ||
644 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
645 | * <!-- end-user-doc --> | ||
646 | * @return the new adapter. | ||
647 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality | ||
648 | * @generated | ||
649 | */ | ||
650 | public Adapter createVLSInequalityAdapter() | ||
651 | { | ||
652 | return null; | ||
653 | } | ||
654 | |||
655 | /** | ||
656 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality <em>VLS Equality</em>}'. | ||
657 | * <!-- begin-user-doc --> | ||
658 | * This default implementation returns null so that we can easily ignore cases; | ||
659 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
660 | * <!-- end-user-doc --> | ||
661 | * @return the new adapter. | ||
662 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality | ||
663 | * @generated | ||
664 | */ | ||
665 | public Adapter createVLSEqualityAdapter() | ||
666 | { | ||
667 | return null; | ||
668 | } | ||
669 | |||
670 | /** | ||
671 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment <em>VLS Assignment</em>}'. | ||
672 | * <!-- begin-user-doc --> | ||
673 | * This default implementation returns null so that we can easily ignore cases; | ||
674 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
675 | * <!-- end-user-doc --> | ||
676 | * @return the new adapter. | ||
677 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment | ||
678 | * @generated | ||
679 | */ | ||
680 | public Adapter createVLSAssignmentAdapter() | ||
681 | { | ||
682 | return null; | ||
683 | } | ||
684 | |||
685 | /** | ||
686 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant <em>VLS Constant</em>}'. | ||
687 | * <!-- begin-user-doc --> | ||
688 | * This default implementation returns null so that we can easily ignore cases; | ||
689 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
690 | * <!-- end-user-doc --> | ||
691 | * @return the new adapter. | ||
692 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant | ||
693 | * @generated | ||
694 | */ | ||
695 | public Adapter createVLSConstantAdapter() | ||
696 | { | ||
697 | return null; | ||
698 | } | ||
699 | |||
700 | /** | ||
701 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue <em>VLS True</em>}'. | ||
702 | * <!-- begin-user-doc --> | ||
703 | * This default implementation returns null so that we can easily ignore cases; | ||
704 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
705 | * <!-- end-user-doc --> | ||
706 | * @return the new adapter. | ||
707 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue | ||
708 | * @generated | ||
709 | */ | ||
710 | public Adapter createVLSTrueAdapter() | ||
711 | { | ||
712 | return null; | ||
713 | } | ||
714 | |||
715 | /** | ||
716 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse <em>VLS False</em>}'. | ||
717 | * <!-- begin-user-doc --> | ||
718 | * This default implementation returns null so that we can easily ignore cases; | ||
719 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
720 | * <!-- end-user-doc --> | ||
721 | * @return the new adapter. | ||
722 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse | ||
723 | * @generated | ||
724 | */ | ||
725 | public Adapter createVLSFalseAdapter() | ||
726 | { | ||
727 | return null; | ||
728 | } | ||
729 | |||
730 | /** | ||
731 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction <em>VLS Function</em>}'. | ||
732 | * <!-- begin-user-doc --> | ||
733 | * This default implementation returns null so that we can easily ignore cases; | ||
734 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
735 | * <!-- end-user-doc --> | ||
736 | * @return the new adapter. | ||
737 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction | ||
738 | * @generated | ||
739 | */ | ||
740 | public Adapter createVLSFunctionAdapter() | ||
741 | { | ||
742 | return null; | ||
743 | } | ||
744 | |||
745 | /** | ||
746 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess <em>VLS Less</em>}'. | ||
747 | * <!-- begin-user-doc --> | ||
748 | * This default implementation returns null so that we can easily ignore cases; | ||
749 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
750 | * <!-- end-user-doc --> | ||
751 | * @return the new adapter. | ||
752 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess | ||
753 | * @generated | ||
754 | */ | ||
755 | public Adapter createVLSLessAdapter() | ||
756 | { | ||
757 | return null; | ||
758 | } | ||
759 | |||
760 | /** | ||
761 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt <em>VLS Int</em>}'. | ||
762 | * <!-- begin-user-doc --> | ||
763 | * This default implementation returns null so that we can easily ignore cases; | ||
764 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
765 | * <!-- end-user-doc --> | ||
766 | * @return the new adapter. | ||
767 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt | ||
768 | * @generated | ||
769 | */ | ||
770 | public Adapter createVLSIntAdapter() | ||
771 | { | ||
772 | return null; | ||
773 | } | ||
774 | |||
775 | /** | ||
776 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal <em>VLS Real</em>}'. | ||
777 | * <!-- begin-user-doc --> | ||
778 | * This default implementation returns null so that we can easily ignore cases; | ||
779 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
780 | * <!-- end-user-doc --> | ||
781 | * @return the new adapter. | ||
782 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal | ||
783 | * @generated | ||
784 | */ | ||
785 | public Adapter createVLSRealAdapter() | ||
786 | { | ||
787 | return null; | ||
788 | } | ||
789 | |||
790 | /** | ||
791 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational <em>VLS Rational</em>}'. | ||
792 | * <!-- begin-user-doc --> | ||
793 | * This default implementation returns null so that we can easily ignore cases; | ||
794 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
795 | * <!-- end-user-doc --> | ||
796 | * @return the new adapter. | ||
797 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational | ||
798 | * @generated | ||
799 | */ | ||
800 | public Adapter createVLSRationalAdapter() | ||
801 | { | ||
802 | return null; | ||
803 | } | ||
804 | |||
805 | /** | ||
806 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote <em>VLS Double Quote</em>}'. | ||
807 | * <!-- begin-user-doc --> | ||
808 | * This default implementation returns null so that we can easily ignore cases; | ||
809 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
810 | * <!-- end-user-doc --> | ||
811 | * @return the new adapter. | ||
812 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote | ||
813 | * @generated | ||
814 | */ | ||
815 | public Adapter createVLSDoubleQuoteAdapter() | ||
816 | { | ||
817 | return null; | ||
818 | } | ||
819 | |||
820 | /** | ||
821 | * Creates a new adapter for the default case. | ||
822 | * <!-- begin-user-doc --> | ||
823 | * This default implementation returns null. | ||
824 | * <!-- end-user-doc --> | ||
825 | * @return the new adapter. | ||
826 | * @generated | ||
827 | */ | ||
828 | public Adapter createEObjectAdapter() | ||
829 | { | ||
830 | return null; | ||
831 | } | ||
832 | |||
833 | } //VampireLanguageAdapterFactory | ||