/** | |
* * Copyright (c) 2008 Daniel Varro | |
* * All rights reserved. This program and the accompanying materials | |
* * are made available under the terms of the Eclipse Public License v1.0 | |
* * which accompanies this distribution, and is available at | |
* * http://www.eclipse.org/legal/epl-v10.html | |
* * | |
* * Contributors: | |
* * Daniel Varro - initial API and implementation | |
* | |
* | |
* $Id$ | |
*/ | |
package org.eclipse.viatra2.gtasm.typerules.util; | |
import java.util.List; | |
import org.eclipse.emf.ecore.EClass; | |
import org.eclipse.emf.ecore.EObject; | |
import org.eclipse.viatra2.gtasm.typerules.*; | |
/** | |
* <!-- begin-user-doc --> | |
* The <b>Switch</b> for the model's inheritance hierarchy. | |
* It supports the call {@link #doSwitch(EObject) doSwitch(object)} | |
* to invoke the <code>caseXXX</code> method for each class of the model, | |
* starting with the actual class of the object | |
* and proceeding up the inheritance hierarchy | |
* until a non-null result is returned, | |
* which is the result of the switch. | |
* <!-- end-user-doc --> | |
* @see org.eclipse.viatra2.gtasm.typerules.TyperulesPackage | |
* @generated | |
*/ | |
public class TyperulesSwitch<T> { | |
/** | |
* The cached model package | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
protected static TyperulesPackage modelPackage; | |
/** | |
* Creates an instance of the switch. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public TyperulesSwitch() { | |
if (modelPackage == null) { | |
modelPackage = TyperulesPackage.eINSTANCE; | |
} | |
} | |
/** | |
* Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @return the first non-null result returned by a <code>caseXXX</code> call. | |
* @generated | |
*/ | |
public T doSwitch(EObject theEObject) { | |
return doSwitch(theEObject.eClass(), theEObject); | |
} | |
/** | |
* Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @return the first non-null result returned by a <code>caseXXX</code> call. | |
* @generated | |
*/ | |
protected T doSwitch(EClass theEClass, EObject theEObject) { | |
if (theEClass.eContainer() == modelPackage) { | |
return doSwitch(theEClass.getClassifierID(), theEObject); | |
} | |
else { | |
List<EClass> eSuperTypes = theEClass.getESuperTypes(); | |
return | |
eSuperTypes.isEmpty() ? | |
defaultCase(theEObject) : | |
doSwitch(eSuperTypes.get(0), theEObject); | |
} | |
} | |
/** | |
* Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @return the first non-null result returned by a <code>caseXXX</code> call. | |
* @generated | |
*/ | |
protected T doSwitch(int classifierID, EObject theEObject) { | |
switch (classifierID) { | |
case TyperulesPackage.RULE_SET: { | |
RuleSet ruleSet = (RuleSet)theEObject; | |
T result = caseRuleSet(ruleSet); | |
if (result == null) result = defaultCase(theEObject); | |
return result; | |
} | |
case TyperulesPackage.TYPE_JUDGEMENT: { | |
TypeJudgement typeJudgement = (TypeJudgement)theEObject; | |
T result = caseTypeJudgement(typeJudgement); | |
if (result == null) result = defaultCase(theEObject); | |
return result; | |
} | |
case TyperulesPackage.UNARY_TYPE_JUDGEMENT: { | |
UnaryTypeJudgement unaryTypeJudgement = (UnaryTypeJudgement)theEObject; | |
T result = caseUnaryTypeJudgement(unaryTypeJudgement); | |
if (result == null) result = caseTypeJudgement(unaryTypeJudgement); | |
if (result == null) result = defaultCase(theEObject); | |
return result; | |
} | |
case TyperulesPackage.BINARY_TYPE_JUDGEMENT: { | |
BinaryTypeJudgement binaryTypeJudgement = (BinaryTypeJudgement)theEObject; | |
T result = caseBinaryTypeJudgement(binaryTypeJudgement); | |
if (result == null) result = caseTypeJudgement(binaryTypeJudgement); | |
if (result == null) result = defaultCase(theEObject); | |
return result; | |
} | |
case TyperulesPackage.TYPE_RULE: { | |
TypeRule typeRule = (TypeRule)theEObject; | |
T result = caseTypeRule(typeRule); | |
if (result == null) result = defaultCase(theEObject); | |
return result; | |
} | |
case TyperulesPackage.CUSTOM_TYPE_JUDGEMENT: { | |
CustomTypeJudgement customTypeJudgement = (CustomTypeJudgement)theEObject; | |
T result = caseCustomTypeJudgement(customTypeJudgement); | |
if (result == null) result = caseTypeJudgement(customTypeJudgement); | |
if (result == null) result = defaultCase(theEObject); | |
return result; | |
} | |
default: return defaultCase(theEObject); | |
} | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>Rule Set</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>Rule Set</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | |
* @generated | |
*/ | |
public T caseRuleSet(RuleSet object) { | |
return null; | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>Type Judgement</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>Type Judgement</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | |
* @generated | |
*/ | |
public T caseTypeJudgement(TypeJudgement object) { | |
return null; | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>Unary Type Judgement</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>Unary Type Judgement</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | |
* @generated | |
*/ | |
public T caseUnaryTypeJudgement(UnaryTypeJudgement object) { | |
return null; | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>Binary Type Judgement</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>Binary Type Judgement</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | |
* @generated | |
*/ | |
public T caseBinaryTypeJudgement(BinaryTypeJudgement object) { | |
return null; | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>Type Rule</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>Type Rule</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | |
* @generated | |
*/ | |
public T caseTypeRule(TypeRule object) { | |
return null; | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>Custom Type Judgement</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>Custom Type Judgement</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | |
* @generated | |
*/ | |
public T caseCustomTypeJudgement(CustomTypeJudgement object) { | |
return null; | |
} | |
/** | |
* Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | |
* <!-- begin-user-doc --> | |
* This implementation returns null; | |
* returning a non-null result will terminate the switch, but this is the last case anyway. | |
* <!-- end-user-doc --> | |
* @param object the target of the switch. | |
* @return the result of interpreting the object as an instance of '<em>EObject</em>'. | |
* @see #doSwitch(org.eclipse.emf.ecore.EObject) | |
* @generated | |
*/ | |
public T defaultCase(EObject object) { | |
return null; | |
} | |
} //TyperulesSwitch |