/**
* generated by Xtext 2.14.0
*/
package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.*;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.util.Switch;
/**
*
* The Switch for the model's inheritance hierarchy.
* It supports the call {@link #doSwitch(EObject) doSwitch(object)}
* to invoke the caseXXX 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.
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
* @generated
*/
public class VampireLanguageSwitch extends Switch
{
/**
* The cached model package
*
*
* @generated
*/
protected static VampireLanguagePackage modelPackage;
/**
* Creates an instance of the switch.
*
*
* @generated
*/
public VampireLanguageSwitch()
{
if (modelPackage == null)
{
modelPackage = VampireLanguagePackage.eINSTANCE;
}
}
/**
* Checks whether this is a switch for the given package.
*
*
* @param ePackage the package in question.
* @return whether this is a switch for the given package.
* @generated
*/
@Override
protected boolean isSwitchFor(EPackage ePackage)
{
return ePackage == modelPackage;
}
/**
* Calls caseXXX for each class of the model until one returns a non null result; it yields that result.
*
*
* @return the first non-null result returned by a caseXXX call.
* @generated
*/
@Override
protected T doSwitch(int classifierID, EObject theEObject)
{
switch (classifierID)
{
case VampireLanguagePackage.VAMPIRE_MODEL:
{
VampireModel vampireModel = (VampireModel)theEObject;
T result = caseVampireModel(vampireModel);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_COMMENT:
{
VLSComment vlsComment = (VLSComment)theEObject;
T result = caseVLSComment(vlsComment);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_CONFIRMATIONS:
{
VLSConfirmations vlsConfirmations = (VLSConfirmations)theEObject;
T result = caseVLSConfirmations(vlsConfirmations);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_FOF_FORMULA:
{
VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
T result = caseVLSFofFormula(vlsFofFormula);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_TFF_FORMULA:
{
VLSTffFormula vlsTffFormula = (VLSTffFormula)theEObject;
T result = caseVLSTffFormula(vlsTffFormula);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_ANNOTATION:
{
VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;
T result = caseVLSAnnotation(vlsAnnotation);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_TFF_TERM:
{
VLSTffTerm vlsTffTerm = (VLSTffTerm)theEObject;
T result = caseVLSTffTerm(vlsTffTerm);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_DECLARATION:
{
VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject;
T result = caseVLSDeclaration(vlsDeclaration);
if (result == null) result = caseVLSTffTerm(vlsDeclaration);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_OTHER_DECLARATION:
{
VLSOtherDeclaration vlsOtherDeclaration = (VLSOtherDeclaration)theEObject;
T result = caseVLSOtherDeclaration(vlsOtherDeclaration);
if (result == null) result = caseVLSDeclaration(vlsOtherDeclaration);
if (result == null) result = caseVLSTffTerm(vlsOtherDeclaration);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_VARIABLE_DECLARATION:
{
VLSVariableDeclaration vlsVariableDeclaration = (VLSVariableDeclaration)theEObject;
T result = caseVLSVariableDeclaration(vlsVariableDeclaration);
if (result == null) result = caseVLSDeclaration(vlsVariableDeclaration);
if (result == null) result = caseVLSTffTerm(vlsVariableDeclaration);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_TYPE_DEF:
{
VLSTypeDef vlsTypeDef = (VLSTypeDef)theEObject;
T result = caseVLSTypeDef(vlsTypeDef);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_TERM:
{
VLSTerm vlsTerm = (VLSTerm)theEObject;
T result = caseVLSTerm(vlsTerm);
if (result == null) result = caseVLSOtherDeclaration(vlsTerm);
if (result == null) result = caseVLSDeclaration(vlsTerm);
if (result == null) result = caseVLSTffTerm(vlsTerm);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_VARIABLE:
{
VLSVariable vlsVariable = (VLSVariable)theEObject;
T result = caseVLSVariable(vlsVariable);
if (result == null) result = caseVLSVariableDeclaration(vlsVariable);
if (result == null) result = caseVLSTerm(vlsVariable);
if (result == null) result = caseVLSOtherDeclaration(vlsVariable);
if (result == null) result = caseVLSDeclaration(vlsVariable);
if (result == null) result = caseVLSTffTerm(vlsVariable);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_FUNCTION_AS_TERM:
{
VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject;
T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm);
if (result == null) result = caseVLSTerm(vlsFunctionAsTerm);
if (result == null) result = caseVLSOtherDeclaration(vlsFunctionAsTerm);
if (result == null) result = caseVLSDeclaration(vlsFunctionAsTerm);
if (result == null) result = caseVLSTffTerm(vlsFunctionAsTerm);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_DEFINED_TERM:
{
VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject;
T result = caseVLSDefinedTerm(vlsDefinedTerm);
if (result == null) result = caseVLSTerm(vlsDefinedTerm);
if (result == null) result = caseVLSOtherDeclaration(vlsDefinedTerm);
if (result == null) result = caseVLSDeclaration(vlsDefinedTerm);
if (result == null) result = caseVLSTffTerm(vlsDefinedTerm);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_SATISFIABLE:
{
VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;
T result = caseVLSSatisfiable(vlsSatisfiable);
if (result == null) result = caseVLSConfirmations(vlsSatisfiable);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_WARNING:
{
VLSWarning vlsWarning = (VLSWarning)theEObject;
T result = caseVLSWarning(vlsWarning);
if (result == null) result = caseVLSConfirmations(vlsWarning);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_TRYING:
{
VLSTrying vlsTrying = (VLSTrying)theEObject;
T result = caseVLSTrying(vlsTrying);
if (result == null) result = caseVLSConfirmations(vlsTrying);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_FINITE_MODEL:
{
VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject;
T result = caseVLSFiniteModel(vlsFiniteModel);
if (result == null) result = caseVLSConfirmations(vlsFiniteModel);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_EQUIVALENT:
{
VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject;
T result = caseVLSEquivalent(vlsEquivalent);
if (result == null) result = caseVLSTerm(vlsEquivalent);
if (result == null) result = caseVLSOtherDeclaration(vlsEquivalent);
if (result == null) result = caseVLSDeclaration(vlsEquivalent);
if (result == null) result = caseVLSTffTerm(vlsEquivalent);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_IMPLIES:
{
VLSImplies vlsImplies = (VLSImplies)theEObject;
T result = caseVLSImplies(vlsImplies);
if (result == null) result = caseVLSTerm(vlsImplies);
if (result == null) result = caseVLSOtherDeclaration(vlsImplies);
if (result == null) result = caseVLSDeclaration(vlsImplies);
if (result == null) result = caseVLSTffTerm(vlsImplies);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_REV_IMPLIES:
{
VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject;
T result = caseVLSRevImplies(vlsRevImplies);
if (result == null) result = caseVLSTerm(vlsRevImplies);
if (result == null) result = caseVLSOtherDeclaration(vlsRevImplies);
if (result == null) result = caseVLSDeclaration(vlsRevImplies);
if (result == null) result = caseVLSTffTerm(vlsRevImplies);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_XNOR:
{
VLSXnor vlsXnor = (VLSXnor)theEObject;
T result = caseVLSXnor(vlsXnor);
if (result == null) result = caseVLSTerm(vlsXnor);
if (result == null) result = caseVLSOtherDeclaration(vlsXnor);
if (result == null) result = caseVLSDeclaration(vlsXnor);
if (result == null) result = caseVLSTffTerm(vlsXnor);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_NOR:
{
VLSNor vlsNor = (VLSNor)theEObject;
T result = caseVLSNor(vlsNor);
if (result == null) result = caseVLSTerm(vlsNor);
if (result == null) result = caseVLSOtherDeclaration(vlsNor);
if (result == null) result = caseVLSDeclaration(vlsNor);
if (result == null) result = caseVLSTffTerm(vlsNor);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_NAND:
{
VLSNand vlsNand = (VLSNand)theEObject;
T result = caseVLSNand(vlsNand);
if (result == null) result = caseVLSTerm(vlsNand);
if (result == null) result = caseVLSOtherDeclaration(vlsNand);
if (result == null) result = caseVLSDeclaration(vlsNand);
if (result == null) result = caseVLSTffTerm(vlsNand);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_AND:
{
VLSAnd vlsAnd = (VLSAnd)theEObject;
T result = caseVLSAnd(vlsAnd);
if (result == null) result = caseVLSTerm(vlsAnd);
if (result == null) result = caseVLSOtherDeclaration(vlsAnd);
if (result == null) result = caseVLSDeclaration(vlsAnd);
if (result == null) result = caseVLSTffTerm(vlsAnd);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_OR:
{
VLSOr vlsOr = (VLSOr)theEObject;
T result = caseVLSOr(vlsOr);
if (result == null) result = caseVLSTerm(vlsOr);
if (result == null) result = caseVLSOtherDeclaration(vlsOr);
if (result == null) result = caseVLSDeclaration(vlsOr);
if (result == null) result = caseVLSTffTerm(vlsOr);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER:
{
VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject;
T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier);
if (result == null) result = caseVLSTerm(vlsUniversalQuantifier);
if (result == null) result = caseVLSOtherDeclaration(vlsUniversalQuantifier);
if (result == null) result = caseVLSDeclaration(vlsUniversalQuantifier);
if (result == null) result = caseVLSTffTerm(vlsUniversalQuantifier);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER:
{
VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject;
T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier);
if (result == null) result = caseVLSTerm(vlsExistentialQuantifier);
if (result == null) result = caseVLSOtherDeclaration(vlsExistentialQuantifier);
if (result == null) result = caseVLSDeclaration(vlsExistentialQuantifier);
if (result == null) result = caseVLSTffTerm(vlsExistentialQuantifier);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_UNARY_NEGATION:
{
VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject;
T result = caseVLSUnaryNegation(vlsUnaryNegation);
if (result == null) result = caseVLSTerm(vlsUnaryNegation);
if (result == null) result = caseVLSOtherDeclaration(vlsUnaryNegation);
if (result == null) result = caseVLSDeclaration(vlsUnaryNegation);
if (result == null) result = caseVLSTffTerm(vlsUnaryNegation);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_INEQUALITY:
{
VLSInequality vlsInequality = (VLSInequality)theEObject;
T result = caseVLSInequality(vlsInequality);
if (result == null) result = caseVLSTerm(vlsInequality);
if (result == null) result = caseVLSOtherDeclaration(vlsInequality);
if (result == null) result = caseVLSDeclaration(vlsInequality);
if (result == null) result = caseVLSTffTerm(vlsInequality);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_EQUALITY:
{
VLSEquality vlsEquality = (VLSEquality)theEObject;
T result = caseVLSEquality(vlsEquality);
if (result == null) result = caseVLSTerm(vlsEquality);
if (result == null) result = caseVLSOtherDeclaration(vlsEquality);
if (result == null) result = caseVLSDeclaration(vlsEquality);
if (result == null) result = caseVLSTffTerm(vlsEquality);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_ASSIGNMENT:
{
VLSAssignment vlsAssignment = (VLSAssignment)theEObject;
T result = caseVLSAssignment(vlsAssignment);
if (result == null) result = caseVLSTerm(vlsAssignment);
if (result == null) result = caseVLSOtherDeclaration(vlsAssignment);
if (result == null) result = caseVLSDeclaration(vlsAssignment);
if (result == null) result = caseVLSTffTerm(vlsAssignment);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_CONSTANT:
{
VLSConstant vlsConstant = (VLSConstant)theEObject;
T result = caseVLSConstant(vlsConstant);
if (result == null) result = caseVLSTerm(vlsConstant);
if (result == null) result = caseVLSOtherDeclaration(vlsConstant);
if (result == null) result = caseVLSDeclaration(vlsConstant);
if (result == null) result = caseVLSTffTerm(vlsConstant);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_TRUE:
{
VLSTrue vlsTrue = (VLSTrue)theEObject;
T result = caseVLSTrue(vlsTrue);
if (result == null) result = caseVLSTerm(vlsTrue);
if (result == null) result = caseVLSOtherDeclaration(vlsTrue);
if (result == null) result = caseVLSDeclaration(vlsTrue);
if (result == null) result = caseVLSTffTerm(vlsTrue);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_FALSE:
{
VLSFalse vlsFalse = (VLSFalse)theEObject;
T result = caseVLSFalse(vlsFalse);
if (result == null) result = caseVLSTerm(vlsFalse);
if (result == null) result = caseVLSOtherDeclaration(vlsFalse);
if (result == null) result = caseVLSDeclaration(vlsFalse);
if (result == null) result = caseVLSTffTerm(vlsFalse);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_FUNCTION:
{
VLSFunction vlsFunction = (VLSFunction)theEObject;
T result = caseVLSFunction(vlsFunction);
if (result == null) result = caseVLSTerm(vlsFunction);
if (result == null) result = caseVLSOtherDeclaration(vlsFunction);
if (result == null) result = caseVLSDeclaration(vlsFunction);
if (result == null) result = caseVLSTffTerm(vlsFunction);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_LESS:
{
VLSLess vlsLess = (VLSLess)theEObject;
T result = caseVLSLess(vlsLess);
if (result == null) result = caseVLSTerm(vlsLess);
if (result == null) result = caseVLSOtherDeclaration(vlsLess);
if (result == null) result = caseVLSDeclaration(vlsLess);
if (result == null) result = caseVLSTffTerm(vlsLess);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_INT:
{
VLSInt vlsInt = (VLSInt)theEObject;
T result = caseVLSInt(vlsInt);
if (result == null) result = caseVLSDefinedTerm(vlsInt);
if (result == null) result = caseVLSTerm(vlsInt);
if (result == null) result = caseVLSOtherDeclaration(vlsInt);
if (result == null) result = caseVLSDeclaration(vlsInt);
if (result == null) result = caseVLSTffTerm(vlsInt);
if (result == null) result = defaultCase(theEObject);
return result;
}
case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
{
VLSDoubleQuote vlsDoubleQuote = (VLSDoubleQuote)theEObject;
T result = caseVLSDoubleQuote(vlsDoubleQuote);
if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote);
if (result == null) result = caseVLSTerm(vlsDoubleQuote);
if (result == null) result = caseVLSOtherDeclaration(vlsDoubleQuote);
if (result == null) result = caseVLSDeclaration(vlsDoubleQuote);
if (result == null) result = caseVLSTffTerm(vlsDoubleQuote);
if (result == null) result = defaultCase(theEObject);
return result;
}
default: return defaultCase(theEObject);
}
}
/**
* Returns the result of interpreting the object as an instance of 'Vampire Model'.
*
* 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 'Vampire Model'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVampireModel(VampireModel object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Comment'.
*
* 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 Comment'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSComment(VLSComment object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Confirmations'.
*
* 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 Confirmations'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSConfirmations(VLSConfirmations object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Fof Formula'.
*
* 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 Fof Formula'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSFofFormula(VLSFofFormula object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Tff Formula'.
*
* 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 Tff Formula'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSTffFormula(VLSTffFormula object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Annotation'.
*
* 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 Annotation'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSAnnotation(VLSAnnotation object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Tff 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 Tff Term'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSTffTerm(VLSTffTerm object)
{
return null;
}
/**
* 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 Declaration'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSDeclaration(VLSDeclaration object)
{
return null;
}
/**
* 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 Other Declaration'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSOtherDeclaration(VLSOtherDeclaration object)
{
return null;
}
/**
* 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 Variable Declaration'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSVariableDeclaration(VLSVariableDeclaration object)
{
return null;
}
/**
* 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 Type Def'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSTypeDef(VLSTypeDef object)
{
return null;
}
/**
* 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 Term'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSTerm(VLSTerm object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Variable'.
*
* 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'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSVariable(VLSVariable object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Function As 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 Function As Term'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSFunctionAsTerm(VLSFunctionAsTerm object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Defined 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 Defined Term'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSDefinedTerm(VLSDefinedTerm object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Satisfiable'.
*
* 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 Satisfiable'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSSatisfiable(VLSSatisfiable object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Warning'.
*
* 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 Warning'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSWarning(VLSWarning object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Trying'.
*
* 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 Trying'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSTrying(VLSTrying object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Finite Model'.
*
* 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 Finite Model'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSFiniteModel(VLSFiniteModel object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Equivalent'.
*
* 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 Equivalent'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSEquivalent(VLSEquivalent object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Implies'.
*
* 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 Implies'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSImplies(VLSImplies object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Rev Implies'.
*
* 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 Rev Implies'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSRevImplies(VLSRevImplies object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Xnor'.
*
* 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 Xnor'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSXnor(VLSXnor object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Nor'.
*
* 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 Nor'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSNor(VLSNor object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Nand'.
*
* 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 Nand'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSNand(VLSNand object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS And'.
*
* 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 And'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSAnd(VLSAnd object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Or'.
*
* 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 Or'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSOr(VLSOr object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Universal Quantifier'.
*
* 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 Universal Quantifier'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSUniversalQuantifier(VLSUniversalQuantifier object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Existential Quantifier'.
*
* 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 Existential Quantifier'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSExistentialQuantifier(VLSExistentialQuantifier object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Unary Negation'.
*
* 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 Unary Negation'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSUnaryNegation(VLSUnaryNegation object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Inequality'.
*
* 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 Inequality'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSInequality(VLSInequality object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Equality'.
*
* 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 Equality'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSEquality(VLSEquality object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Assignment'.
*
* 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 Assignment'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSAssignment(VLSAssignment object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Constant'.
*
* 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 Constant'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSConstant(VLSConstant object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS True'.
*
* 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 True'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSTrue(VLSTrue object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS False'.
*
* 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 False'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSFalse(VLSFalse object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Function'.
*
* 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 Function'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSFunction(VLSFunction object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Less'.
*
* 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 Less'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSLess(VLSLess object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Int'.
*
* 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 Int'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSInt(VLSInt object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'VLS Double Quote'.
*
* 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 Double Quote'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVLSDoubleQuote(VLSDoubleQuote object)
{
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'EObject'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch, but this is the last case anyway.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'EObject'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject)
* @generated
*/
@Override
public T defaultCase(EObject object)
{
return null;
}
} //VampireLanguageSwitch