aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java238
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java364
2 files changed, 427 insertions, 175 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
index 1d9a6b22..92b5a89d 100644
--- 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
@@ -81,16 +81,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
81 return createVampireModelAdapter(); 81 return createVampireModelAdapter();
82 } 82 }
83 @Override 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) 84 public Adapter caseVLSComment(VLSComment object)
95 { 85 {
96 return createVLSCommentAdapter(); 86 return createVLSCommentAdapter();
@@ -101,11 +91,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
101 return createVLSConfirmationsAdapter(); 91 return createVLSConfirmationsAdapter();
102 } 92 }
103 @Override 93 @Override
104 public Adapter caseVLSSatisfiable(VLSSatisfiable object)
105 {
106 return createVLSSatisfiableAdapter();
107 }
108 @Override
109 public Adapter caseVLSFofFormula(VLSFofFormula object) 94 public Adapter caseVLSFofFormula(VLSFofFormula object)
110 { 95 {
111 return createVLSFofFormulaAdapter(); 96 return createVLSFofFormulaAdapter();
@@ -121,6 +106,31 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
121 return createVLSAnnotationAdapter(); 106 return createVLSAnnotationAdapter();
122 } 107 }
123 @Override 108 @Override
109 public Adapter caseVLSTffTerm(VLSTffTerm object)
110 {
111 return createVLSTffTermAdapter();
112 }
113 @Override
114 public Adapter caseVLSDeclaration(VLSDeclaration object)
115 {
116 return createVLSDeclarationAdapter();
117 }
118 @Override
119 public Adapter caseVLSOtherDeclaration(VLSOtherDeclaration object)
120 {
121 return createVLSOtherDeclarationAdapter();
122 }
123 @Override
124 public Adapter caseVLSVariableDeclaration(VLSVariableDeclaration object)
125 {
126 return createVLSVariableDeclarationAdapter();
127 }
128 @Override
129 public Adapter caseVLSTypeDef(VLSTypeDef object)
130 {
131 return createVLSTypeDefAdapter();
132 }
133 @Override
124 public Adapter caseVLSTerm(VLSTerm object) 134 public Adapter caseVLSTerm(VLSTerm object)
125 { 135 {
126 return createVLSTermAdapter(); 136 return createVLSTermAdapter();
@@ -141,6 +151,26 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
141 return createVLSDefinedTermAdapter(); 151 return createVLSDefinedTermAdapter();
142 } 152 }
143 @Override 153 @Override
154 public Adapter caseVLSSatisfiable(VLSSatisfiable object)
155 {
156 return createVLSSatisfiableAdapter();
157 }
158 @Override
159 public Adapter caseVLSWarning(VLSWarning object)
160 {
161 return createVLSWarningAdapter();
162 }
163 @Override
164 public Adapter caseVLSTrying(VLSTrying object)
165 {
166 return createVLSTryingAdapter();
167 }
168 @Override
169 public Adapter caseVLSFiniteModel(VLSFiniteModel object)
170 {
171 return createVLSFiniteModelAdapter();
172 }
173 @Override
144 public Adapter caseVLSEquivalent(VLSEquivalent object) 174 public Adapter caseVLSEquivalent(VLSEquivalent object)
145 { 175 {
146 return createVLSEquivalentAdapter(); 176 return createVLSEquivalentAdapter();
@@ -241,16 +271,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
241 return createVLSIntAdapter(); 271 return createVLSIntAdapter();
242 } 272 }
243 @Override 273 @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) 274 public Adapter caseVLSDoubleQuote(VLSDoubleQuote object)
255 { 275 {
256 return createVLSDoubleQuoteAdapter(); 276 return createVLSDoubleQuoteAdapter();
@@ -293,121 +313,151 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
293 } 313 }
294 314
295 /** 315 /**
296 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude <em>VLS Include</em>}'. 316 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'.
297 * <!-- begin-user-doc --> 317 * <!-- begin-user-doc -->
298 * This default implementation returns null so that we can easily ignore cases; 318 * 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. 319 * it's useful to ignore a case when inheritance will catch all the cases anyway.
300 * <!-- end-user-doc --> 320 * <!-- end-user-doc -->
301 * @return the new adapter. 321 * @return the new adapter.
302 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude 322 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment
303 * @generated 323 * @generated
304 */ 324 */
305 public Adapter createVLSIncludeAdapter() 325 public Adapter createVLSCommentAdapter()
306 { 326 {
307 return null; 327 return null;
308 } 328 }
309 329
310 /** 330 /**
311 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName <em>VLS Name</em>}'. 331 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations <em>VLS Confirmations</em>}'.
312 * <!-- begin-user-doc --> 332 * <!-- begin-user-doc -->
313 * This default implementation returns null so that we can easily ignore cases; 333 * 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. 334 * it's useful to ignore a case when inheritance will catch all the cases anyway.
315 * <!-- end-user-doc --> 335 * <!-- end-user-doc -->
316 * @return the new adapter. 336 * @return the new adapter.
317 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName 337 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations
318 * @generated 338 * @generated
319 */ 339 */
320 public Adapter createVLSNameAdapter() 340 public Adapter createVLSConfirmationsAdapter()
321 { 341 {
322 return null; 342 return null;
323 } 343 }
324 344
325 /** 345 /**
326 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'. 346 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'.
327 * <!-- begin-user-doc --> 347 * <!-- begin-user-doc -->
328 * This default implementation returns null so that we can easily ignore cases; 348 * 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. 349 * it's useful to ignore a case when inheritance will catch all the cases anyway.
330 * <!-- end-user-doc --> 350 * <!-- end-user-doc -->
331 * @return the new adapter. 351 * @return the new adapter.
332 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment 352 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula
333 * @generated 353 * @generated
334 */ 354 */
335 public Adapter createVLSCommentAdapter() 355 public Adapter createVLSFofFormulaAdapter()
336 { 356 {
337 return null; 357 return null;
338 } 358 }
339 359
340 /** 360 /**
341 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations <em>VLS Confirmations</em>}'. 361 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula <em>VLS Tff Formula</em>}'.
342 * <!-- begin-user-doc --> 362 * <!-- begin-user-doc -->
343 * This default implementation returns null so that we can easily ignore cases; 363 * 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. 364 * it's useful to ignore a case when inheritance will catch all the cases anyway.
345 * <!-- end-user-doc --> 365 * <!-- end-user-doc -->
346 * @return the new adapter. 366 * @return the new adapter.
347 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations 367 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula
348 * @generated 368 * @generated
349 */ 369 */
350 public Adapter createVLSConfirmationsAdapter() 370 public Adapter createVLSTffFormulaAdapter()
351 { 371 {
352 return null; 372 return null;
353 } 373 }
354 374
355 /** 375 /**
356 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</em>}'. 376 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'.
357 * <!-- begin-user-doc --> 377 * <!-- begin-user-doc -->
358 * This default implementation returns null so that we can easily ignore cases; 378 * 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. 379 * it's useful to ignore a case when inheritance will catch all the cases anyway.
360 * <!-- end-user-doc --> 380 * <!-- end-user-doc -->
361 * @return the new adapter. 381 * @return the new adapter.
362 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable 382 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation
363 * @generated 383 * @generated
364 */ 384 */
365 public Adapter createVLSSatisfiableAdapter() 385 public Adapter createVLSAnnotationAdapter()
366 { 386 {
367 return null; 387 return null;
368 } 388 }
369 389
370 /** 390 /**
371 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. 391 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm <em>VLS Tff Term</em>}'.
372 * <!-- begin-user-doc --> 392 * <!-- begin-user-doc -->
373 * This default implementation returns null so that we can easily ignore cases; 393 * 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. 394 * it's useful to ignore a case when inheritance will catch all the cases anyway.
375 * <!-- end-user-doc --> 395 * <!-- end-user-doc -->
376 * @return the new adapter. 396 * @return the new adapter.
377 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula 397 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm
378 * @generated 398 * @generated
379 */ 399 */
380 public Adapter createVLSFofFormulaAdapter() 400 public Adapter createVLSTffTermAdapter()
381 { 401 {
382 return null; 402 return null;
383 } 403 }
384 404
385 /** 405 /**
386 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula <em>VLS Tff Formula</em>}'. 406 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'.
387 * <!-- begin-user-doc --> 407 * <!-- begin-user-doc -->
388 * This default implementation returns null so that we can easily ignore cases; 408 * 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. 409 * it's useful to ignore a case when inheritance will catch all the cases anyway.
390 * <!-- end-user-doc --> 410 * <!-- end-user-doc -->
391 * @return the new adapter. 411 * @return the new adapter.
392 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula 412 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration
393 * @generated 413 * @generated
394 */ 414 */
395 public Adapter createVLSTffFormulaAdapter() 415 public Adapter createVLSDeclarationAdapter()
396 { 416 {
397 return null; 417 return null;
398 } 418 }
399 419
400 /** 420 /**
401 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'. 421 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'.
402 * <!-- begin-user-doc --> 422 * <!-- begin-user-doc -->
403 * This default implementation returns null so that we can easily ignore cases; 423 * 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. 424 * it's useful to ignore a case when inheritance will catch all the cases anyway.
405 * <!-- end-user-doc --> 425 * <!-- end-user-doc -->
406 * @return the new adapter. 426 * @return the new adapter.
407 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation 427 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration
408 * @generated 428 * @generated
409 */ 429 */
410 public Adapter createVLSAnnotationAdapter() 430 public Adapter createVLSOtherDeclarationAdapter()
431 {
432 return null;
433 }
434
435 /**
436 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'.
437 * <!-- begin-user-doc -->
438 * This default implementation returns null so that we can easily ignore cases;
439 * it's useful to ignore a case when inheritance will catch all the cases anyway.
440 * <!-- end-user-doc -->
441 * @return the new adapter.
442 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration
443 * @generated
444 */
445 public Adapter createVLSVariableDeclarationAdapter()
446 {
447 return null;
448 }
449
450 /**
451 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'.
452 * <!-- begin-user-doc -->
453 * This default implementation returns null so that we can easily ignore cases;
454 * it's useful to ignore a case when inheritance will catch all the cases anyway.
455 * <!-- end-user-doc -->
456 * @return the new adapter.
457 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef
458 * @generated
459 */
460 public Adapter createVLSTypeDefAdapter()
411 { 461 {
412 return null; 462 return null;
413 } 463 }
@@ -473,6 +523,66 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
473 } 523 }
474 524
475 /** 525 /**
526 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</em>}'.
527 * <!-- begin-user-doc -->
528 * This default implementation returns null so that we can easily ignore cases;
529 * it's useful to ignore a case when inheritance will catch all the cases anyway.
530 * <!-- end-user-doc -->
531 * @return the new adapter.
532 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable
533 * @generated
534 */
535 public Adapter createVLSSatisfiableAdapter()
536 {
537 return null;
538 }
539
540 /**
541 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning <em>VLS Warning</em>}'.
542 * <!-- begin-user-doc -->
543 * This default implementation returns null so that we can easily ignore cases;
544 * it's useful to ignore a case when inheritance will catch all the cases anyway.
545 * <!-- end-user-doc -->
546 * @return the new adapter.
547 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning
548 * @generated
549 */
550 public Adapter createVLSWarningAdapter()
551 {
552 return null;
553 }
554
555 /**
556 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'.
557 * <!-- begin-user-doc -->
558 * This default implementation returns null so that we can easily ignore cases;
559 * it's useful to ignore a case when inheritance will catch all the cases anyway.
560 * <!-- end-user-doc -->
561 * @return the new adapter.
562 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying
563 * @generated
564 */
565 public Adapter createVLSTryingAdapter()
566 {
567 return null;
568 }
569
570 /**
571 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'.
572 * <!-- begin-user-doc -->
573 * This default implementation returns null so that we can easily ignore cases;
574 * it's useful to ignore a case when inheritance will catch all the cases anyway.
575 * <!-- end-user-doc -->
576 * @return the new adapter.
577 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel
578 * @generated
579 */
580 public Adapter createVLSFiniteModelAdapter()
581 {
582 return null;
583 }
584
585 /**
476 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'. 586 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'.
477 * <!-- begin-user-doc --> 587 * <!-- begin-user-doc -->
478 * This default implementation returns null so that we can easily ignore cases; 588 * This default implementation returns null so that we can easily ignore cases;
@@ -773,36 +883,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
773 } 883 }
774 884
775 /** 885 /**
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>}'. 886 * 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 --> 887 * <!-- begin-user-doc -->
808 * This default implementation returns null so that we can easily ignore cases; 888 * This default implementation returns null so that we can easily ignore cases;
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
index 3b7106f8..e4aae7f8 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
@@ -80,20 +80,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
80 if (result == null) result = defaultCase(theEObject); 80 if (result == null) result = defaultCase(theEObject);
81 return result; 81 return result;
82 } 82 }
83 case VampireLanguagePackage.VLS_INCLUDE:
84 {
85 VLSInclude vlsInclude = (VLSInclude)theEObject;
86 T result = caseVLSInclude(vlsInclude);
87 if (result == null) result = defaultCase(theEObject);
88 return result;
89 }
90 case VampireLanguagePackage.VLS_NAME:
91 {
92 VLSName vlsName = (VLSName)theEObject;
93 T result = caseVLSName(vlsName);
94 if (result == null) result = defaultCase(theEObject);
95 return result;
96 }
97 case VampireLanguagePackage.VLS_COMMENT: 83 case VampireLanguagePackage.VLS_COMMENT:
98 { 84 {
99 VLSComment vlsComment = (VLSComment)theEObject; 85 VLSComment vlsComment = (VLSComment)theEObject;
@@ -108,14 +94,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
108 if (result == null) result = defaultCase(theEObject); 94 if (result == null) result = defaultCase(theEObject);
109 return result; 95 return result;
110 } 96 }
111 case VampireLanguagePackage.VLS_SATISFIABLE:
112 {
113 VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;
114 T result = caseVLSSatisfiable(vlsSatisfiable);
115 if (result == null) result = caseVLSConfirmations(vlsSatisfiable);
116 if (result == null) result = defaultCase(theEObject);
117 return result;
118 }
119 case VampireLanguagePackage.VLS_FOF_FORMULA: 97 case VampireLanguagePackage.VLS_FOF_FORMULA:
120 { 98 {
121 VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; 99 VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
@@ -137,10 +115,53 @@ public class VampireLanguageSwitch<T> extends Switch<T>
137 if (result == null) result = defaultCase(theEObject); 115 if (result == null) result = defaultCase(theEObject);
138 return result; 116 return result;
139 } 117 }
118 case VampireLanguagePackage.VLS_TFF_TERM:
119 {
120 VLSTffTerm vlsTffTerm = (VLSTffTerm)theEObject;
121 T result = caseVLSTffTerm(vlsTffTerm);
122 if (result == null) result = defaultCase(theEObject);
123 return result;
124 }
125 case VampireLanguagePackage.VLS_DECLARATION:
126 {
127 VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject;
128 T result = caseVLSDeclaration(vlsDeclaration);
129 if (result == null) result = caseVLSTffTerm(vlsDeclaration);
130 if (result == null) result = defaultCase(theEObject);
131 return result;
132 }
133 case VampireLanguagePackage.VLS_OTHER_DECLARATION:
134 {
135 VLSOtherDeclaration vlsOtherDeclaration = (VLSOtherDeclaration)theEObject;
136 T result = caseVLSOtherDeclaration(vlsOtherDeclaration);
137 if (result == null) result = caseVLSDeclaration(vlsOtherDeclaration);
138 if (result == null) result = caseVLSTffTerm(vlsOtherDeclaration);
139 if (result == null) result = defaultCase(theEObject);
140 return result;
141 }
142 case VampireLanguagePackage.VLS_VARIABLE_DECLARATION:
143 {
144 VLSVariableDeclaration vlsVariableDeclaration = (VLSVariableDeclaration)theEObject;
145 T result = caseVLSVariableDeclaration(vlsVariableDeclaration);
146 if (result == null) result = caseVLSDeclaration(vlsVariableDeclaration);
147 if (result == null) result = caseVLSTffTerm(vlsVariableDeclaration);
148 if (result == null) result = defaultCase(theEObject);
149 return result;
150 }
151 case VampireLanguagePackage.VLS_TYPE_DEF:
152 {
153 VLSTypeDef vlsTypeDef = (VLSTypeDef)theEObject;
154 T result = caseVLSTypeDef(vlsTypeDef);
155 if (result == null) result = defaultCase(theEObject);
156 return result;
157 }
140 case VampireLanguagePackage.VLS_TERM: 158 case VampireLanguagePackage.VLS_TERM:
141 { 159 {
142 VLSTerm vlsTerm = (VLSTerm)theEObject; 160 VLSTerm vlsTerm = (VLSTerm)theEObject;
143 T result = caseVLSTerm(vlsTerm); 161 T result = caseVLSTerm(vlsTerm);
162 if (result == null) result = caseVLSOtherDeclaration(vlsTerm);
163 if (result == null) result = caseVLSDeclaration(vlsTerm);
164 if (result == null) result = caseVLSTffTerm(vlsTerm);
144 if (result == null) result = defaultCase(theEObject); 165 if (result == null) result = defaultCase(theEObject);
145 return result; 166 return result;
146 } 167 }
@@ -148,7 +169,11 @@ public class VampireLanguageSwitch<T> extends Switch<T>
148 { 169 {
149 VLSVariable vlsVariable = (VLSVariable)theEObject; 170 VLSVariable vlsVariable = (VLSVariable)theEObject;
150 T result = caseVLSVariable(vlsVariable); 171 T result = caseVLSVariable(vlsVariable);
172 if (result == null) result = caseVLSVariableDeclaration(vlsVariable);
151 if (result == null) result = caseVLSTerm(vlsVariable); 173 if (result == null) result = caseVLSTerm(vlsVariable);
174 if (result == null) result = caseVLSOtherDeclaration(vlsVariable);
175 if (result == null) result = caseVLSDeclaration(vlsVariable);
176 if (result == null) result = caseVLSTffTerm(vlsVariable);
152 if (result == null) result = defaultCase(theEObject); 177 if (result == null) result = defaultCase(theEObject);
153 return result; 178 return result;
154 } 179 }
@@ -157,6 +182,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
157 VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject; 182 VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject;
158 T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm); 183 T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm);
159 if (result == null) result = caseVLSTerm(vlsFunctionAsTerm); 184 if (result == null) result = caseVLSTerm(vlsFunctionAsTerm);
185 if (result == null) result = caseVLSOtherDeclaration(vlsFunctionAsTerm);
186 if (result == null) result = caseVLSDeclaration(vlsFunctionAsTerm);
187 if (result == null) result = caseVLSTffTerm(vlsFunctionAsTerm);
160 if (result == null) result = defaultCase(theEObject); 188 if (result == null) result = defaultCase(theEObject);
161 return result; 189 return result;
162 } 190 }
@@ -165,6 +193,41 @@ public class VampireLanguageSwitch<T> extends Switch<T>
165 VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject; 193 VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject;
166 T result = caseVLSDefinedTerm(vlsDefinedTerm); 194 T result = caseVLSDefinedTerm(vlsDefinedTerm);
167 if (result == null) result = caseVLSTerm(vlsDefinedTerm); 195 if (result == null) result = caseVLSTerm(vlsDefinedTerm);
196 if (result == null) result = caseVLSOtherDeclaration(vlsDefinedTerm);
197 if (result == null) result = caseVLSDeclaration(vlsDefinedTerm);
198 if (result == null) result = caseVLSTffTerm(vlsDefinedTerm);
199 if (result == null) result = defaultCase(theEObject);
200 return result;
201 }
202 case VampireLanguagePackage.VLS_SATISFIABLE:
203 {
204 VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;
205 T result = caseVLSSatisfiable(vlsSatisfiable);
206 if (result == null) result = caseVLSConfirmations(vlsSatisfiable);
207 if (result == null) result = defaultCase(theEObject);
208 return result;
209 }
210 case VampireLanguagePackage.VLS_WARNING:
211 {
212 VLSWarning vlsWarning = (VLSWarning)theEObject;
213 T result = caseVLSWarning(vlsWarning);
214 if (result == null) result = caseVLSConfirmations(vlsWarning);
215 if (result == null) result = defaultCase(theEObject);
216 return result;
217 }
218 case VampireLanguagePackage.VLS_TRYING:
219 {
220 VLSTrying vlsTrying = (VLSTrying)theEObject;
221 T result = caseVLSTrying(vlsTrying);
222 if (result == null) result = caseVLSConfirmations(vlsTrying);
223 if (result == null) result = defaultCase(theEObject);
224 return result;
225 }
226 case VampireLanguagePackage.VLS_FINITE_MODEL:
227 {
228 VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject;
229 T result = caseVLSFiniteModel(vlsFiniteModel);
230 if (result == null) result = caseVLSConfirmations(vlsFiniteModel);
168 if (result == null) result = defaultCase(theEObject); 231 if (result == null) result = defaultCase(theEObject);
169 return result; 232 return result;
170 } 233 }
@@ -173,6 +236,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
173 VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject; 236 VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject;
174 T result = caseVLSEquivalent(vlsEquivalent); 237 T result = caseVLSEquivalent(vlsEquivalent);
175 if (result == null) result = caseVLSTerm(vlsEquivalent); 238 if (result == null) result = caseVLSTerm(vlsEquivalent);
239 if (result == null) result = caseVLSOtherDeclaration(vlsEquivalent);
240 if (result == null) result = caseVLSDeclaration(vlsEquivalent);
241 if (result == null) result = caseVLSTffTerm(vlsEquivalent);
176 if (result == null) result = defaultCase(theEObject); 242 if (result == null) result = defaultCase(theEObject);
177 return result; 243 return result;
178 } 244 }
@@ -181,6 +247,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
181 VLSImplies vlsImplies = (VLSImplies)theEObject; 247 VLSImplies vlsImplies = (VLSImplies)theEObject;
182 T result = caseVLSImplies(vlsImplies); 248 T result = caseVLSImplies(vlsImplies);
183 if (result == null) result = caseVLSTerm(vlsImplies); 249 if (result == null) result = caseVLSTerm(vlsImplies);
250 if (result == null) result = caseVLSOtherDeclaration(vlsImplies);
251 if (result == null) result = caseVLSDeclaration(vlsImplies);
252 if (result == null) result = caseVLSTffTerm(vlsImplies);
184 if (result == null) result = defaultCase(theEObject); 253 if (result == null) result = defaultCase(theEObject);
185 return result; 254 return result;
186 } 255 }
@@ -189,6 +258,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
189 VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject; 258 VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject;
190 T result = caseVLSRevImplies(vlsRevImplies); 259 T result = caseVLSRevImplies(vlsRevImplies);
191 if (result == null) result = caseVLSTerm(vlsRevImplies); 260 if (result == null) result = caseVLSTerm(vlsRevImplies);
261 if (result == null) result = caseVLSOtherDeclaration(vlsRevImplies);
262 if (result == null) result = caseVLSDeclaration(vlsRevImplies);
263 if (result == null) result = caseVLSTffTerm(vlsRevImplies);
192 if (result == null) result = defaultCase(theEObject); 264 if (result == null) result = defaultCase(theEObject);
193 return result; 265 return result;
194 } 266 }
@@ -197,6 +269,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
197 VLSXnor vlsXnor = (VLSXnor)theEObject; 269 VLSXnor vlsXnor = (VLSXnor)theEObject;
198 T result = caseVLSXnor(vlsXnor); 270 T result = caseVLSXnor(vlsXnor);
199 if (result == null) result = caseVLSTerm(vlsXnor); 271 if (result == null) result = caseVLSTerm(vlsXnor);
272 if (result == null) result = caseVLSOtherDeclaration(vlsXnor);
273 if (result == null) result = caseVLSDeclaration(vlsXnor);
274 if (result == null) result = caseVLSTffTerm(vlsXnor);
200 if (result == null) result = defaultCase(theEObject); 275 if (result == null) result = defaultCase(theEObject);
201 return result; 276 return result;
202 } 277 }
@@ -205,6 +280,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
205 VLSNor vlsNor = (VLSNor)theEObject; 280 VLSNor vlsNor = (VLSNor)theEObject;
206 T result = caseVLSNor(vlsNor); 281 T result = caseVLSNor(vlsNor);
207 if (result == null) result = caseVLSTerm(vlsNor); 282 if (result == null) result = caseVLSTerm(vlsNor);
283 if (result == null) result = caseVLSOtherDeclaration(vlsNor);
284 if (result == null) result = caseVLSDeclaration(vlsNor);
285 if (result == null) result = caseVLSTffTerm(vlsNor);
208 if (result == null) result = defaultCase(theEObject); 286 if (result == null) result = defaultCase(theEObject);
209 return result; 287 return result;
210 } 288 }
@@ -213,6 +291,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
213 VLSNand vlsNand = (VLSNand)theEObject; 291 VLSNand vlsNand = (VLSNand)theEObject;
214 T result = caseVLSNand(vlsNand); 292 T result = caseVLSNand(vlsNand);
215 if (result == null) result = caseVLSTerm(vlsNand); 293 if (result == null) result = caseVLSTerm(vlsNand);
294 if (result == null) result = caseVLSOtherDeclaration(vlsNand);
295 if (result == null) result = caseVLSDeclaration(vlsNand);
296 if (result == null) result = caseVLSTffTerm(vlsNand);
216 if (result == null) result = defaultCase(theEObject); 297 if (result == null) result = defaultCase(theEObject);
217 return result; 298 return result;
218 } 299 }
@@ -221,6 +302,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
221 VLSAnd vlsAnd = (VLSAnd)theEObject; 302 VLSAnd vlsAnd = (VLSAnd)theEObject;
222 T result = caseVLSAnd(vlsAnd); 303 T result = caseVLSAnd(vlsAnd);
223 if (result == null) result = caseVLSTerm(vlsAnd); 304 if (result == null) result = caseVLSTerm(vlsAnd);
305 if (result == null) result = caseVLSOtherDeclaration(vlsAnd);
306 if (result == null) result = caseVLSDeclaration(vlsAnd);
307 if (result == null) result = caseVLSTffTerm(vlsAnd);
224 if (result == null) result = defaultCase(theEObject); 308 if (result == null) result = defaultCase(theEObject);
225 return result; 309 return result;
226 } 310 }
@@ -229,6 +313,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
229 VLSOr vlsOr = (VLSOr)theEObject; 313 VLSOr vlsOr = (VLSOr)theEObject;
230 T result = caseVLSOr(vlsOr); 314 T result = caseVLSOr(vlsOr);
231 if (result == null) result = caseVLSTerm(vlsOr); 315 if (result == null) result = caseVLSTerm(vlsOr);
316 if (result == null) result = caseVLSOtherDeclaration(vlsOr);
317 if (result == null) result = caseVLSDeclaration(vlsOr);
318 if (result == null) result = caseVLSTffTerm(vlsOr);
232 if (result == null) result = defaultCase(theEObject); 319 if (result == null) result = defaultCase(theEObject);
233 return result; 320 return result;
234 } 321 }
@@ -237,6 +324,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
237 VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject; 324 VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject;
238 T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier); 325 T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier);
239 if (result == null) result = caseVLSTerm(vlsUniversalQuantifier); 326 if (result == null) result = caseVLSTerm(vlsUniversalQuantifier);
327 if (result == null) result = caseVLSOtherDeclaration(vlsUniversalQuantifier);
328 if (result == null) result = caseVLSDeclaration(vlsUniversalQuantifier);
329 if (result == null) result = caseVLSTffTerm(vlsUniversalQuantifier);
240 if (result == null) result = defaultCase(theEObject); 330 if (result == null) result = defaultCase(theEObject);
241 return result; 331 return result;
242 } 332 }
@@ -245,6 +335,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
245 VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject; 335 VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject;
246 T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier); 336 T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier);
247 if (result == null) result = caseVLSTerm(vlsExistentialQuantifier); 337 if (result == null) result = caseVLSTerm(vlsExistentialQuantifier);
338 if (result == null) result = caseVLSOtherDeclaration(vlsExistentialQuantifier);
339 if (result == null) result = caseVLSDeclaration(vlsExistentialQuantifier);
340 if (result == null) result = caseVLSTffTerm(vlsExistentialQuantifier);
248 if (result == null) result = defaultCase(theEObject); 341 if (result == null) result = defaultCase(theEObject);
249 return result; 342 return result;
250 } 343 }
@@ -253,6 +346,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
253 VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject; 346 VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject;
254 T result = caseVLSUnaryNegation(vlsUnaryNegation); 347 T result = caseVLSUnaryNegation(vlsUnaryNegation);
255 if (result == null) result = caseVLSTerm(vlsUnaryNegation); 348 if (result == null) result = caseVLSTerm(vlsUnaryNegation);
349 if (result == null) result = caseVLSOtherDeclaration(vlsUnaryNegation);
350 if (result == null) result = caseVLSDeclaration(vlsUnaryNegation);
351 if (result == null) result = caseVLSTffTerm(vlsUnaryNegation);
256 if (result == null) result = defaultCase(theEObject); 352 if (result == null) result = defaultCase(theEObject);
257 return result; 353 return result;
258 } 354 }
@@ -261,6 +357,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
261 VLSInequality vlsInequality = (VLSInequality)theEObject; 357 VLSInequality vlsInequality = (VLSInequality)theEObject;
262 T result = caseVLSInequality(vlsInequality); 358 T result = caseVLSInequality(vlsInequality);
263 if (result == null) result = caseVLSTerm(vlsInequality); 359 if (result == null) result = caseVLSTerm(vlsInequality);
360 if (result == null) result = caseVLSOtherDeclaration(vlsInequality);
361 if (result == null) result = caseVLSDeclaration(vlsInequality);
362 if (result == null) result = caseVLSTffTerm(vlsInequality);
264 if (result == null) result = defaultCase(theEObject); 363 if (result == null) result = defaultCase(theEObject);
265 return result; 364 return result;
266 } 365 }
@@ -269,6 +368,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
269 VLSEquality vlsEquality = (VLSEquality)theEObject; 368 VLSEquality vlsEquality = (VLSEquality)theEObject;
270 T result = caseVLSEquality(vlsEquality); 369 T result = caseVLSEquality(vlsEquality);
271 if (result == null) result = caseVLSTerm(vlsEquality); 370 if (result == null) result = caseVLSTerm(vlsEquality);
371 if (result == null) result = caseVLSOtherDeclaration(vlsEquality);
372 if (result == null) result = caseVLSDeclaration(vlsEquality);
373 if (result == null) result = caseVLSTffTerm(vlsEquality);
272 if (result == null) result = defaultCase(theEObject); 374 if (result == null) result = defaultCase(theEObject);
273 return result; 375 return result;
274 } 376 }
@@ -277,6 +379,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
277 VLSAssignment vlsAssignment = (VLSAssignment)theEObject; 379 VLSAssignment vlsAssignment = (VLSAssignment)theEObject;
278 T result = caseVLSAssignment(vlsAssignment); 380 T result = caseVLSAssignment(vlsAssignment);
279 if (result == null) result = caseVLSTerm(vlsAssignment); 381 if (result == null) result = caseVLSTerm(vlsAssignment);
382 if (result == null) result = caseVLSOtherDeclaration(vlsAssignment);
383 if (result == null) result = caseVLSDeclaration(vlsAssignment);
384 if (result == null) result = caseVLSTffTerm(vlsAssignment);
280 if (result == null) result = defaultCase(theEObject); 385 if (result == null) result = defaultCase(theEObject);
281 return result; 386 return result;
282 } 387 }
@@ -285,6 +390,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
285 VLSConstant vlsConstant = (VLSConstant)theEObject; 390 VLSConstant vlsConstant = (VLSConstant)theEObject;
286 T result = caseVLSConstant(vlsConstant); 391 T result = caseVLSConstant(vlsConstant);
287 if (result == null) result = caseVLSTerm(vlsConstant); 392 if (result == null) result = caseVLSTerm(vlsConstant);
393 if (result == null) result = caseVLSOtherDeclaration(vlsConstant);
394 if (result == null) result = caseVLSDeclaration(vlsConstant);
395 if (result == null) result = caseVLSTffTerm(vlsConstant);
288 if (result == null) result = defaultCase(theEObject); 396 if (result == null) result = defaultCase(theEObject);
289 return result; 397 return result;
290 } 398 }
@@ -293,6 +401,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
293 VLSTrue vlsTrue = (VLSTrue)theEObject; 401 VLSTrue vlsTrue = (VLSTrue)theEObject;
294 T result = caseVLSTrue(vlsTrue); 402 T result = caseVLSTrue(vlsTrue);
295 if (result == null) result = caseVLSTerm(vlsTrue); 403 if (result == null) result = caseVLSTerm(vlsTrue);
404 if (result == null) result = caseVLSOtherDeclaration(vlsTrue);
405 if (result == null) result = caseVLSDeclaration(vlsTrue);
406 if (result == null) result = caseVLSTffTerm(vlsTrue);
296 if (result == null) result = defaultCase(theEObject); 407 if (result == null) result = defaultCase(theEObject);
297 return result; 408 return result;
298 } 409 }
@@ -301,6 +412,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
301 VLSFalse vlsFalse = (VLSFalse)theEObject; 412 VLSFalse vlsFalse = (VLSFalse)theEObject;
302 T result = caseVLSFalse(vlsFalse); 413 T result = caseVLSFalse(vlsFalse);
303 if (result == null) result = caseVLSTerm(vlsFalse); 414 if (result == null) result = caseVLSTerm(vlsFalse);
415 if (result == null) result = caseVLSOtherDeclaration(vlsFalse);
416 if (result == null) result = caseVLSDeclaration(vlsFalse);
417 if (result == null) result = caseVLSTffTerm(vlsFalse);
304 if (result == null) result = defaultCase(theEObject); 418 if (result == null) result = defaultCase(theEObject);
305 return result; 419 return result;
306 } 420 }
@@ -309,6 +423,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
309 VLSFunction vlsFunction = (VLSFunction)theEObject; 423 VLSFunction vlsFunction = (VLSFunction)theEObject;
310 T result = caseVLSFunction(vlsFunction); 424 T result = caseVLSFunction(vlsFunction);
311 if (result == null) result = caseVLSTerm(vlsFunction); 425 if (result == null) result = caseVLSTerm(vlsFunction);
426 if (result == null) result = caseVLSOtherDeclaration(vlsFunction);
427 if (result == null) result = caseVLSDeclaration(vlsFunction);
428 if (result == null) result = caseVLSTffTerm(vlsFunction);
312 if (result == null) result = defaultCase(theEObject); 429 if (result == null) result = defaultCase(theEObject);
313 return result; 430 return result;
314 } 431 }
@@ -317,6 +434,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
317 VLSLess vlsLess = (VLSLess)theEObject; 434 VLSLess vlsLess = (VLSLess)theEObject;
318 T result = caseVLSLess(vlsLess); 435 T result = caseVLSLess(vlsLess);
319 if (result == null) result = caseVLSTerm(vlsLess); 436 if (result == null) result = caseVLSTerm(vlsLess);
437 if (result == null) result = caseVLSOtherDeclaration(vlsLess);
438 if (result == null) result = caseVLSDeclaration(vlsLess);
439 if (result == null) result = caseVLSTffTerm(vlsLess);
320 if (result == null) result = defaultCase(theEObject); 440 if (result == null) result = defaultCase(theEObject);
321 return result; 441 return result;
322 } 442 }
@@ -326,24 +446,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
326 T result = caseVLSInt(vlsInt); 446 T result = caseVLSInt(vlsInt);
327 if (result == null) result = caseVLSDefinedTerm(vlsInt); 447 if (result == null) result = caseVLSDefinedTerm(vlsInt);
328 if (result == null) result = caseVLSTerm(vlsInt); 448 if (result == null) result = caseVLSTerm(vlsInt);
329 if (result == null) result = defaultCase(theEObject); 449 if (result == null) result = caseVLSOtherDeclaration(vlsInt);
330 return result; 450 if (result == null) result = caseVLSDeclaration(vlsInt);
331 } 451 if (result == null) result = caseVLSTffTerm(vlsInt);
332 case VampireLanguagePackage.VLS_REAL:
333 {
334 VLSReal vlsReal = (VLSReal)theEObject;
335 T result = caseVLSReal(vlsReal);
336 if (result == null) result = caseVLSDefinedTerm(vlsReal);
337 if (result == null) result = caseVLSTerm(vlsReal);
338 if (result == null) result = defaultCase(theEObject);
339 return result;
340 }
341 case VampireLanguagePackage.VLS_RATIONAL:
342 {
343 VLSRational vlsRational = (VLSRational)theEObject;
344 T result = caseVLSRational(vlsRational);
345 if (result == null) result = caseVLSDefinedTerm(vlsRational);
346 if (result == null) result = caseVLSTerm(vlsRational);
347 if (result == null) result = defaultCase(theEObject); 452 if (result == null) result = defaultCase(theEObject);
348 return result; 453 return result;
349 } 454 }
@@ -353,6 +458,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
353 T result = caseVLSDoubleQuote(vlsDoubleQuote); 458 T result = caseVLSDoubleQuote(vlsDoubleQuote);
354 if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote); 459 if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote);
355 if (result == null) result = caseVLSTerm(vlsDoubleQuote); 460 if (result == null) result = caseVLSTerm(vlsDoubleQuote);
461 if (result == null) result = caseVLSOtherDeclaration(vlsDoubleQuote);
462 if (result == null) result = caseVLSDeclaration(vlsDoubleQuote);
463 if (result == null) result = caseVLSTffTerm(vlsDoubleQuote);
356 if (result == null) result = defaultCase(theEObject); 464 if (result == null) result = defaultCase(theEObject);
357 return result; 465 return result;
358 } 466 }
@@ -377,129 +485,161 @@ public class VampireLanguageSwitch<T> extends Switch<T>
377 } 485 }
378 486
379 /** 487 /**
380 * Returns the result of interpreting the object as an instance of '<em>VLS Include</em>'. 488 * Returns the result of interpreting the object as an instance of '<em>VLS Comment</em>'.
381 * <!-- begin-user-doc --> 489 * <!-- begin-user-doc -->
382 * This implementation returns null; 490 * This implementation returns null;
383 * returning a non-null result will terminate the switch. 491 * returning a non-null result will terminate the switch.
384 * <!-- end-user-doc --> 492 * <!-- end-user-doc -->
385 * @param object the target of the switch. 493 * @param object the target of the switch.
386 * @return the result of interpreting the object as an instance of '<em>VLS Include</em>'. 494 * @return the result of interpreting the object as an instance of '<em>VLS Comment</em>'.
387 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 495 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
388 * @generated 496 * @generated
389 */ 497 */
390 public T caseVLSInclude(VLSInclude object) 498 public T caseVLSComment(VLSComment object)
391 { 499 {
392 return null; 500 return null;
393 } 501 }
394 502
395 /** 503 /**
396 * Returns the result of interpreting the object as an instance of '<em>VLS Name</em>'. 504 * Returns the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'.
397 * <!-- begin-user-doc --> 505 * <!-- begin-user-doc -->
398 * This implementation returns null; 506 * This implementation returns null;
399 * returning a non-null result will terminate the switch. 507 * returning a non-null result will terminate the switch.
400 * <!-- end-user-doc --> 508 * <!-- end-user-doc -->
401 * @param object the target of the switch. 509 * @param object the target of the switch.
402 * @return the result of interpreting the object as an instance of '<em>VLS Name</em>'. 510 * @return the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'.
403 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 511 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
404 * @generated 512 * @generated
405 */ 513 */
406 public T caseVLSName(VLSName object) 514 public T caseVLSConfirmations(VLSConfirmations object)
407 { 515 {
408 return null; 516 return null;
409 } 517 }
410 518
411 /** 519 /**
412 * Returns the result of interpreting the object as an instance of '<em>VLS Comment</em>'. 520 * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
413 * <!-- begin-user-doc --> 521 * <!-- begin-user-doc -->
414 * This implementation returns null; 522 * This implementation returns null;
415 * returning a non-null result will terminate the switch. 523 * returning a non-null result will terminate the switch.
416 * <!-- end-user-doc --> 524 * <!-- end-user-doc -->
417 * @param object the target of the switch. 525 * @param object the target of the switch.
418 * @return the result of interpreting the object as an instance of '<em>VLS Comment</em>'. 526 * @return the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
419 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 527 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
420 * @generated 528 * @generated
421 */ 529 */
422 public T caseVLSComment(VLSComment object) 530 public T caseVLSFofFormula(VLSFofFormula object)
423 { 531 {
424 return null; 532 return null;
425 } 533 }
426 534
427 /** 535 /**
428 * Returns the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'. 536 * Returns the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.
429 * <!-- begin-user-doc --> 537 * <!-- begin-user-doc -->
430 * This implementation returns null; 538 * This implementation returns null;
431 * returning a non-null result will terminate the switch. 539 * returning a non-null result will terminate the switch.
432 * <!-- end-user-doc --> 540 * <!-- end-user-doc -->
433 * @param object the target of the switch. 541 * @param object the target of the switch.
434 * @return the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'. 542 * @return the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.
435 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 543 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
436 * @generated 544 * @generated
437 */ 545 */
438 public T caseVLSConfirmations(VLSConfirmations object) 546 public T caseVLSTffFormula(VLSTffFormula object)
439 { 547 {
440 return null; 548 return null;
441 } 549 }
442 550
443 /** 551 /**
444 * Returns the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'. 552 * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
445 * <!-- begin-user-doc --> 553 * <!-- begin-user-doc -->
446 * This implementation returns null; 554 * This implementation returns null;
447 * returning a non-null result will terminate the switch. 555 * returning a non-null result will terminate the switch.
448 * <!-- end-user-doc --> 556 * <!-- end-user-doc -->
449 * @param object the target of the switch. 557 * @param object the target of the switch.
450 * @return the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'. 558 * @return the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
451 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 559 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
452 * @generated 560 * @generated
453 */ 561 */
454 public T caseVLSSatisfiable(VLSSatisfiable object) 562 public T caseVLSAnnotation(VLSAnnotation object)
455 { 563 {
456 return null; 564 return null;
457 } 565 }
458 566
459 /** 567 /**
460 * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. 568 * Returns the result of interpreting the object as an instance of '<em>VLS Tff Term</em>'.
461 * <!-- begin-user-doc --> 569 * <!-- begin-user-doc -->
462 * This implementation returns null; 570 * This implementation returns null;
463 * returning a non-null result will terminate the switch. 571 * returning a non-null result will terminate the switch.
464 * <!-- end-user-doc --> 572 * <!-- end-user-doc -->
465 * @param object the target of the switch. 573 * @param object the target of the switch.
466 * @return the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. 574 * @return the result of interpreting the object as an instance of '<em>VLS Tff Term</em>'.
467 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 575 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
468 * @generated 576 * @generated
469 */ 577 */
470 public T caseVLSFofFormula(VLSFofFormula object) 578 public T caseVLSTffTerm(VLSTffTerm object)
471 { 579 {
472 return null; 580 return null;
473 } 581 }
474 582
475 /** 583 /**
476 * Returns the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'. 584 * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</em>'.
477 * <!-- begin-user-doc --> 585 * <!-- begin-user-doc -->
478 * This implementation returns null; 586 * This implementation returns null;
479 * returning a non-null result will terminate the switch. 587 * returning a non-null result will terminate the switch.
480 * <!-- end-user-doc --> 588 * <!-- end-user-doc -->
481 * @param object the target of the switch. 589 * @param object the target of the switch.
482 * @return the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'. 590 * @return the result of interpreting the object as an instance of '<em>VLS Declaration</em>'.
483 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 591 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
484 * @generated 592 * @generated
485 */ 593 */
486 public T caseVLSTffFormula(VLSTffFormula object) 594 public T caseVLSDeclaration(VLSDeclaration object)
487 { 595 {
488 return null; 596 return null;
489 } 597 }
490 598
491 /** 599 /**
492 * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'. 600 * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'.
493 * <!-- begin-user-doc --> 601 * <!-- begin-user-doc -->
494 * This implementation returns null; 602 * This implementation returns null;
495 * returning a non-null result will terminate the switch. 603 * returning a non-null result will terminate the switch.
496 * <!-- end-user-doc --> 604 * <!-- end-user-doc -->
497 * @param object the target of the switch. 605 * @param object the target of the switch.
498 * @return the result of interpreting the object as an instance of '<em>VLS Annotation</em>'. 606 * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'.
499 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 607 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
500 * @generated 608 * @generated
501 */ 609 */
502 public T caseVLSAnnotation(VLSAnnotation object) 610 public T caseVLSOtherDeclaration(VLSOtherDeclaration object)
611 {
612 return null;
613 }
614
615 /**
616 * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'.
617 * <!-- begin-user-doc -->
618 * This implementation returns null;
619 * returning a non-null result will terminate the switch.
620 * <!-- end-user-doc -->
621 * @param object the target of the switch.
622 * @return the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'.
623 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
624 * @generated
625 */
626 public T caseVLSVariableDeclaration(VLSVariableDeclaration object)
627 {
628 return null;
629 }
630
631 /**
632 * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</em>'.
633 * <!-- begin-user-doc -->
634 * This implementation returns null;
635 * returning a non-null result will terminate the switch.
636 * <!-- end-user-doc -->
637 * @param object the target of the switch.
638 * @return the result of interpreting the object as an instance of '<em>VLS Type Def</em>'.
639 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
640 * @generated
641 */
642 public T caseVLSTypeDef(VLSTypeDef object)
503 { 643 {
504 return null; 644 return null;
505 } 645 }
@@ -569,6 +709,70 @@ public class VampireLanguageSwitch<T> extends Switch<T>
569 } 709 }
570 710
571 /** 711 /**
712 * Returns the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'.
713 * <!-- begin-user-doc -->
714 * This implementation returns null;
715 * returning a non-null result will terminate the switch.
716 * <!-- end-user-doc -->
717 * @param object the target of the switch.
718 * @return the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'.
719 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
720 * @generated
721 */
722 public T caseVLSSatisfiable(VLSSatisfiable object)
723 {
724 return null;
725 }
726
727 /**
728 * Returns the result of interpreting the object as an instance of '<em>VLS Warning</em>'.
729 * <!-- begin-user-doc -->
730 * This implementation returns null;
731 * returning a non-null result will terminate the switch.
732 * <!-- end-user-doc -->
733 * @param object the target of the switch.
734 * @return the result of interpreting the object as an instance of '<em>VLS Warning</em>'.
735 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
736 * @generated
737 */
738 public T caseVLSWarning(VLSWarning object)
739 {
740 return null;
741 }
742
743 /**
744 * Returns the result of interpreting the object as an instance of '<em>VLS Trying</em>'.
745 * <!-- begin-user-doc -->
746 * This implementation returns null;
747 * returning a non-null result will terminate the switch.
748 * <!-- end-user-doc -->
749 * @param object the target of the switch.
750 * @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'.
751 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
752 * @generated
753 */
754 public T caseVLSTrying(VLSTrying object)
755 {
756 return null;
757 }
758
759 /**
760 * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.
761 * <!-- begin-user-doc -->
762 * This implementation returns null;
763 * returning a non-null result will terminate the switch.
764 * <!-- end-user-doc -->
765 * @param object the target of the switch.
766 * @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.
767 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
768 * @generated
769 */
770 public T caseVLSFiniteModel(VLSFiniteModel object)
771 {
772 return null;
773 }
774
775 /**
572 * Returns the result of interpreting the object as an instance of '<em>VLS Equivalent</em>'. 776 * Returns the result of interpreting the object as an instance of '<em>VLS Equivalent</em>'.
573 * <!-- begin-user-doc --> 777 * <!-- begin-user-doc -->
574 * This implementation returns null; 778 * This implementation returns null;
@@ -889,38 +1093,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
889 } 1093 }
890 1094
891 /** 1095 /**
892 * Returns the result of interpreting the object as an instance of '<em>VLS Real</em>'.
893 * <!-- begin-user-doc -->
894 * This implementation returns null;
895 * returning a non-null result will terminate the switch.
896 * <!-- end-user-doc -->
897 * @param object the target of the switch.
898 * @return the result of interpreting the object as an instance of '<em>VLS Real</em>'.
899 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
900 * @generated
901 */
902 public T caseVLSReal(VLSReal object)
903 {
904 return null;
905 }
906
907 /**
908 * Returns the result of interpreting the object as an instance of '<em>VLS Rational</em>'.
909 * <!-- begin-user-doc -->
910 * This implementation returns null;
911 * returning a non-null result will terminate the switch.
912 * <!-- end-user-doc -->
913 * @param object the target of the switch.
914 * @return the result of interpreting the object as an instance of '<em>VLS Rational</em>'.
915 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
916 * @generated
917 */
918 public T caseVLSRational(VLSRational object)
919 {
920 return null;
921 }
922
923 /**
924 * Returns the result of interpreting the object as an instance of '<em>VLS Double Quote</em>'. 1096 * Returns the result of interpreting the object as an instance of '<em>VLS Double Quote</em>'.
925 * <!-- begin-user-doc --> 1097 * <!-- begin-user-doc -->
926 * This implementation returns null; 1098 * This implementation returns null;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 08:28:54 +0000