blob: 2c95c006b2d90d9e2f5f207b31ad4e864b4ed1cc [file] [log] [blame]
/**
* * 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