From 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 7 Oct 2019 00:35:42 -0400 Subject: VAMPIRE: Implement Vampire measurement code --- .../util/VampireLanguageSwitch.java | 46 +++++++++++----------- 1 file changed, 23 insertions(+), 23 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java') 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 extends Switch if (result == null) result = defaultCase(theEObject); return result; } + case VampireLanguagePackage.VLS_TERM: + { + VLSTerm vlsTerm = (VLSTerm)theEObject; + T result = caseVLSTerm(vlsTerm); + if (result == null) result = caseVLSTffTerm(vlsTerm); + if (result == null) result = defaultCase(theEObject); + return result; + } case VampireLanguagePackage.VLS_DECLARATION: { VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject; @@ -155,14 +163,6 @@ public class VampireLanguageSwitch extends Switch if (result == null) result = defaultCase(theEObject); return result; } - case VampireLanguagePackage.VLS_TERM: - { - VLSTerm vlsTerm = (VLSTerm)theEObject; - T result = caseVLSTerm(vlsTerm); - if (result == null) result = caseVLSTffTerm(vlsTerm); - if (result == null) result = defaultCase(theEObject); - return result; - } case VampireLanguagePackage.VLS_VARIABLE: { VLSVariable vlsVariable = (VLSVariable)theEObject; @@ -530,81 +530,81 @@ public class VampireLanguageSwitch extends Switch } /** - * Returns the result of interpreting the object as an instance of 'VLS Declaration'. + * Returns the result of interpreting the object as an instance of 'VLS Term'. * * This implementation returns null; * returning a non-null result will terminate the switch. * * @param object the target of the switch. - * @return the result of interpreting the object as an instance of 'VLS Declaration'. + * @return the result of interpreting the object as an instance of 'VLS Term'. * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) * @generated */ - public T caseVLSDeclaration(VLSDeclaration object) + public T caseVLSTerm(VLSTerm object) { return null; } /** - * Returns the result of interpreting the object as an instance of 'VLS Other Declaration'. + * Returns the result of interpreting the object as an instance of 'VLS Declaration'. * * This implementation returns null; * returning a non-null result will terminate the switch. * * @param object the target of the switch. - * @return the result of interpreting the object as an instance of 'VLS Other Declaration'. + * @return the result of interpreting the object as an instance of 'VLS Declaration'. * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) * @generated */ - public T caseVLSOtherDeclaration(VLSOtherDeclaration object) + public T caseVLSDeclaration(VLSDeclaration object) { return null; } /** - * Returns the result of interpreting the object as an instance of 'VLS Variable Declaration'. + * Returns the result of interpreting the object as an instance of 'VLS Other Declaration'. * * This implementation returns null; * returning a non-null result will terminate the switch. * * @param object the target of the switch. - * @return the result of interpreting the object as an instance of 'VLS Variable Declaration'. + * @return the result of interpreting the object as an instance of 'VLS Other Declaration'. * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) * @generated */ - public T caseVLSVariableDeclaration(VLSVariableDeclaration object) + public T caseVLSOtherDeclaration(VLSOtherDeclaration object) { return null; } /** - * Returns the result of interpreting the object as an instance of 'VLS Type Def'. + * Returns the result of interpreting the object as an instance of 'VLS Variable Declaration'. * * This implementation returns null; * returning a non-null result will terminate the switch. * * @param object the target of the switch. - * @return the result of interpreting the object as an instance of 'VLS Type Def'. + * @return the result of interpreting the object as an instance of 'VLS Variable Declaration'. * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) * @generated */ - public T caseVLSTypeDef(VLSTypeDef object) + public T caseVLSVariableDeclaration(VLSVariableDeclaration object) { return null; } /** - * Returns the result of interpreting the object as an instance of 'VLS Term'. + * Returns the result of interpreting the object as an instance of 'VLS Type Def'. * * This implementation returns null; * returning a non-null result will terminate the switch. * * @param object the target of the switch. - * @return the result of interpreting the object as an instance of 'VLS Term'. + * @return the result of interpreting the object as an instance of 'VLS Type Def'. * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) * @generated */ - public T caseVLSTerm(VLSTerm object) + public T caseVLSTypeDef(VLSTypeDef object) { return null; } -- cgit v1.2.3-54-g00ecf