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 | 40 |
1 files changed, 20 insertions, 20 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 92b5a89d..9156e24f 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 | |||
@@ -111,6 +111,11 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
111 | return createVLSTffTermAdapter(); | 111 | return createVLSTffTermAdapter(); |
112 | } | 112 | } |
113 | @Override | 113 | @Override |
114 | public Adapter caseVLSTerm(VLSTerm object) | ||
115 | { | ||
116 | return createVLSTermAdapter(); | ||
117 | } | ||
118 | @Override | ||
114 | public Adapter caseVLSDeclaration(VLSDeclaration object) | 119 | public Adapter caseVLSDeclaration(VLSDeclaration object) |
115 | { | 120 | { |
116 | return createVLSDeclarationAdapter(); | 121 | return createVLSDeclarationAdapter(); |
@@ -131,11 +136,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
131 | return createVLSTypeDefAdapter(); | 136 | return createVLSTypeDefAdapter(); |
132 | } | 137 | } |
133 | @Override | 138 | @Override |
134 | public Adapter caseVLSTerm(VLSTerm object) | ||
135 | { | ||
136 | return createVLSTermAdapter(); | ||
137 | } | ||
138 | @Override | ||
139 | public Adapter caseVLSVariable(VLSVariable object) | 139 | public Adapter caseVLSVariable(VLSVariable object) |
140 | { | 140 | { |
141 | return createVLSVariableAdapter(); | 141 | return createVLSVariableAdapter(); |
@@ -403,76 +403,76 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
403 | } | 403 | } |
404 | 404 | ||
405 | /** | 405 | /** |
406 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. | 406 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. |
407 | * <!-- begin-user-doc --> | 407 | * <!-- begin-user-doc --> |
408 | * 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; |
409 | * 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. |
410 | * <!-- end-user-doc --> | 410 | * <!-- end-user-doc --> |
411 | * @return the new adapter. | 411 | * @return the new adapter. |
412 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration | 412 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm |
413 | * @generated | 413 | * @generated |
414 | */ | 414 | */ |
415 | public Adapter createVLSDeclarationAdapter() | 415 | public Adapter createVLSTermAdapter() |
416 | { | 416 | { |
417 | return null; | 417 | return null; |
418 | } | 418 | } |
419 | 419 | ||
420 | /** | 420 | /** |
421 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. | 421 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. |
422 | * <!-- begin-user-doc --> | 422 | * <!-- begin-user-doc --> |
423 | * 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; |
424 | * 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. |
425 | * <!-- end-user-doc --> | 425 | * <!-- end-user-doc --> |
426 | * @return the new adapter. | 426 | * @return the new adapter. |
427 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration | 427 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration |
428 | * @generated | 428 | * @generated |
429 | */ | 429 | */ |
430 | public Adapter createVLSOtherDeclarationAdapter() | 430 | public Adapter createVLSDeclarationAdapter() |
431 | { | 431 | { |
432 | return null; | 432 | return null; |
433 | } | 433 | } |
434 | 434 | ||
435 | /** | 435 | /** |
436 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. | 436 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. |
437 | * <!-- begin-user-doc --> | 437 | * <!-- begin-user-doc --> |
438 | * This default implementation returns null so that we can easily ignore cases; | 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. | 439 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
440 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
441 | * @return the new adapter. | 441 | * @return the new adapter. |
442 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration | 442 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration |
443 | * @generated | 443 | * @generated |
444 | */ | 444 | */ |
445 | public Adapter createVLSVariableDeclarationAdapter() | 445 | public Adapter createVLSOtherDeclarationAdapter() |
446 | { | 446 | { |
447 | return null; | 447 | return null; |
448 | } | 448 | } |
449 | 449 | ||
450 | /** | 450 | /** |
451 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. | 451 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. |
452 | * <!-- begin-user-doc --> | 452 | * <!-- begin-user-doc --> |
453 | * This default implementation returns null so that we can easily ignore cases; | 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. | 454 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
455 | * <!-- end-user-doc --> | 455 | * <!-- end-user-doc --> |
456 | * @return the new adapter. | 456 | * @return the new adapter. |
457 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef | 457 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration |
458 | * @generated | 458 | * @generated |
459 | */ | 459 | */ |
460 | public Adapter createVLSTypeDefAdapter() | 460 | public Adapter createVLSVariableDeclarationAdapter() |
461 | { | 461 | { |
462 | return null; | 462 | return null; |
463 | } | 463 | } |
464 | 464 | ||
465 | /** | 465 | /** |
466 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. | 466 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. |
467 | * <!-- begin-user-doc --> | 467 | * <!-- begin-user-doc --> |
468 | * This default implementation returns null so that we can easily ignore cases; | 468 | * This default implementation returns null so that we can easily ignore cases; |
469 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 469 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
470 | * <!-- end-user-doc --> | 470 | * <!-- end-user-doc --> |
471 | * @return the new adapter. | 471 | * @return the new adapter. |
472 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | 472 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef |
473 | * @generated | 473 | * @generated |
474 | */ | 474 | */ |
475 | public Adapter createVLSTermAdapter() | 475 | public Adapter createVLSTypeDefAdapter() |
476 | { | 476 | { |
477 | return null; | 477 | return null; |
478 | } | 478 | } |