diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:47 -0400 |
commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.gz VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.zst VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.zip |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java | 46 |
1 files changed, 23 insertions, 23 deletions
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 193ac81b..e8c0fde1 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 | |||
@@ -122,6 +122,14 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
122 | if (result == null) result = defaultCase(theEObject); | 122 | if (result == null) result = defaultCase(theEObject); |
123 | return result; | 123 | return result; |
124 | } | 124 | } |
125 | case VampireLanguagePackage.VLS_TERM: | ||
126 | { | ||
127 | VLSTerm vlsTerm = (VLSTerm)theEObject; | ||
128 | T result = caseVLSTerm(vlsTerm); | ||
129 | if (result == null) result = caseVLSTffTerm(vlsTerm); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
125 | case VampireLanguagePackage.VLS_DECLARATION: | 133 | case VampireLanguagePackage.VLS_DECLARATION: |
126 | { | 134 | { |
127 | VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject; | 135 | VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject; |
@@ -155,14 +163,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
155 | if (result == null) result = defaultCase(theEObject); | 163 | if (result == null) result = defaultCase(theEObject); |
156 | return result; | 164 | return result; |
157 | } | 165 | } |
158 | case VampireLanguagePackage.VLS_TERM: | ||
159 | { | ||
160 | VLSTerm vlsTerm = (VLSTerm)theEObject; | ||
161 | T result = caseVLSTerm(vlsTerm); | ||
162 | if (result == null) result = caseVLSTffTerm(vlsTerm); | ||
163 | if (result == null) result = defaultCase(theEObject); | ||
164 | return result; | ||
165 | } | ||
166 | case VampireLanguagePackage.VLS_VARIABLE: | 166 | case VampireLanguagePackage.VLS_VARIABLE: |
167 | { | 167 | { |
168 | VLSVariable vlsVariable = (VLSVariable)theEObject; | 168 | VLSVariable vlsVariable = (VLSVariable)theEObject; |
@@ -530,81 +530,81 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
530 | } | 530 | } |
531 | 531 | ||
532 | /** | 532 | /** |
533 | * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. | 533 | * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'. |
534 | * <!-- begin-user-doc --> | 534 | * <!-- begin-user-doc --> |
535 | * This implementation returns null; | 535 | * This implementation returns null; |
536 | * returning a non-null result will terminate the switch. | 536 | * returning a non-null result will terminate the switch. |
537 | * <!-- end-user-doc --> | 537 | * <!-- end-user-doc --> |
538 | * @param object the target of the switch. | 538 | * @param object the target of the switch. |
539 | * @return the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. | 539 | * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'. |
540 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 540 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
541 | * @generated | 541 | * @generated |
542 | */ | 542 | */ |
543 | public T caseVLSDeclaration(VLSDeclaration object) | 543 | public T caseVLSTerm(VLSTerm object) |
544 | { | 544 | { |
545 | return null; | 545 | return null; |
546 | } | 546 | } |
547 | 547 | ||
548 | /** | 548 | /** |
549 | * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. | 549 | * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. |
550 | * <!-- begin-user-doc --> | 550 | * <!-- begin-user-doc --> |
551 | * This implementation returns null; | 551 | * This implementation returns null; |
552 | * returning a non-null result will terminate the switch. | 552 | * returning a non-null result will terminate the switch. |
553 | * <!-- end-user-doc --> | 553 | * <!-- end-user-doc --> |
554 | * @param object the target of the switch. | 554 | * @param object the target of the switch. |
555 | * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. | 555 | * @return the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. |
556 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 556 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
557 | * @generated | 557 | * @generated |
558 | */ | 558 | */ |
559 | public T caseVLSOtherDeclaration(VLSOtherDeclaration object) | 559 | public T caseVLSDeclaration(VLSDeclaration object) |
560 | { | 560 | { |
561 | return null; | 561 | return null; |
562 | } | 562 | } |
563 | 563 | ||
564 | /** | 564 | /** |
565 | * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. | 565 | * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. |
566 | * <!-- begin-user-doc --> | 566 | * <!-- begin-user-doc --> |
567 | * This implementation returns null; | 567 | * This implementation returns null; |
568 | * returning a non-null result will terminate the switch. | 568 | * returning a non-null result will terminate the switch. |
569 | * <!-- end-user-doc --> | 569 | * <!-- end-user-doc --> |
570 | * @param object the target of the switch. | 570 | * @param object the target of the switch. |
571 | * @return the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. | 571 | * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. |
572 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 572 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
573 | * @generated | 573 | * @generated |
574 | */ | 574 | */ |
575 | public T caseVLSVariableDeclaration(VLSVariableDeclaration object) | 575 | public T caseVLSOtherDeclaration(VLSOtherDeclaration object) |
576 | { | 576 | { |
577 | return null; | 577 | return null; |
578 | } | 578 | } |
579 | 579 | ||
580 | /** | 580 | /** |
581 | * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. | 581 | * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. |
582 | * <!-- begin-user-doc --> | 582 | * <!-- begin-user-doc --> |
583 | * This implementation returns null; | 583 | * This implementation returns null; |
584 | * returning a non-null result will terminate the switch. | 584 | * returning a non-null result will terminate the switch. |
585 | * <!-- end-user-doc --> | 585 | * <!-- end-user-doc --> |
586 | * @param object the target of the switch. | 586 | * @param object the target of the switch. |
587 | * @return the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. | 587 | * @return the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. |
588 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 588 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
589 | * @generated | 589 | * @generated |
590 | */ | 590 | */ |
591 | public T caseVLSTypeDef(VLSTypeDef object) | 591 | public T caseVLSVariableDeclaration(VLSVariableDeclaration object) |
592 | { | 592 | { |
593 | return null; | 593 | return null; |
594 | } | 594 | } |
595 | 595 | ||
596 | /** | 596 | /** |
597 | * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'. | 597 | * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. |
598 | * <!-- begin-user-doc --> | 598 | * <!-- begin-user-doc --> |
599 | * This implementation returns null; | 599 | * This implementation returns null; |
600 | * returning a non-null result will terminate the switch. | 600 | * returning a non-null result will terminate the switch. |
601 | * <!-- end-user-doc --> | 601 | * <!-- end-user-doc --> |
602 | * @param object the target of the switch. | 602 | * @param object the target of the switch. |
603 | * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'. | 603 | * @return the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. |
604 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 604 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
605 | * @generated | 605 | * @generated |
606 | */ | 606 | */ |
607 | public T caseVLSTerm(VLSTerm object) | 607 | public T caseVLSTypeDef(VLSTypeDef object) |
608 | { | 608 | { |
609 | return null; | 609 | return null; |
610 | } | 610 | } |