/**
* generated by Xtext 2.12.0
*/
package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.*;
import org.eclipse.emf.common.notify.Adapter;
import org.eclipse.emf.common.notify.Notifier;
import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
import org.eclipse.emf.ecore.EObject;
/**
*
* The Adapter Factory for the model.
* It provides an adapter createXXX
method for each class of the model.
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
* @generated
*/
public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
{
/**
* The cached model package.
*
*
* @generated
*/
protected static VampireLanguagePackage modelPackage;
/**
* Creates an instance of the adapter factory.
*
*
* @generated
*/
public VampireLanguageAdapterFactory()
{
if (modelPackage == null)
{
modelPackage = VampireLanguagePackage.eINSTANCE;
}
}
/**
* Returns whether this factory is applicable for the type of the object.
*
* This implementation returns true
if the object is either the model's package or is an instance object of the model.
*
* @return whether this factory is applicable for the type of the object.
* @generated
*/
@Override
public boolean isFactoryForType(Object object)
{
if (object == modelPackage)
{
return true;
}
if (object instanceof EObject)
{
return ((EObject)object).eClass().getEPackage() == modelPackage;
}
return false;
}
/**
* The switch that delegates to the createXXX
methods.
*
*
* @generated
*/
protected VampireLanguageSwitch modelSwitch =
new VampireLanguageSwitch()
{
@Override
public Adapter caseVampireModel(VampireModel object)
{
return createVampireModelAdapter();
}
@Override
public Adapter caseVLSInclude(VLSInclude object)
{
return createVLSIncludeAdapter();
}
@Override
public Adapter caseVLSName(VLSName object)
{
return createVLSNameAdapter();
}
@Override
public Adapter caseVLSComment(VLSComment object)
{
return createVLSCommentAdapter();
}
@Override
public Adapter caseVLSFofFormula(VLSFofFormula object)
{
return createVLSFofFormulaAdapter();
}
@Override
public Adapter caseVLSAnnotation(VLSAnnotation object)
{
return createVLSAnnotationAdapter();
}
@Override
public Adapter caseVLSTerm(VLSTerm object)
{
return createVLSTermAdapter();
}
@Override
public Adapter caseVLSVariable(VLSVariable object)
{
return createVLSVariableAdapter();
}
@Override
public Adapter caseVLSFunctionFof(VLSFunctionFof object)
{
return createVLSFunctionFofAdapter();
}
@Override
public Adapter caseVLSDefinedTerm(VLSDefinedTerm object)
{
return createVLSDefinedTermAdapter();
}
@Override
public Adapter caseVLSEquivalent(VLSEquivalent object)
{
return createVLSEquivalentAdapter();
}
@Override
public Adapter caseVLSImplies(VLSImplies object)
{
return createVLSImpliesAdapter();
}
@Override
public Adapter caseVLSRevImplies(VLSRevImplies object)
{
return createVLSRevImpliesAdapter();
}
@Override
public Adapter caseVLSXnor(VLSXnor object)
{
return createVLSXnorAdapter();
}
@Override
public Adapter caseVLSNor(VLSNor object)
{
return createVLSNorAdapter();
}
@Override
public Adapter caseVLSNand(VLSNand object)
{
return createVLSNandAdapter();
}
@Override
public Adapter caseVLSAnd(VLSAnd object)
{
return createVLSAndAdapter();
}
@Override
public Adapter caseVLSOr(VLSOr object)
{
return createVLSOrAdapter();
}
@Override
public Adapter caseVLSUniversalQuantifier(VLSUniversalQuantifier object)
{
return createVLSUniversalQuantifierAdapter();
}
@Override
public Adapter caseVLSExistentialQuantifier(VLSExistentialQuantifier object)
{
return createVLSExistentialQuantifierAdapter();
}
@Override
public Adapter caseVLSUnaryNegation(VLSUnaryNegation object)
{
return createVLSUnaryNegationAdapter();
}
@Override
public Adapter caseVLSInequality(VLSInequality object)
{
return createVLSInequalityAdapter();
}
@Override
public Adapter caseVLSEquality(VLSEquality object)
{
return createVLSEqualityAdapter();
}
@Override
public Adapter caseVLSAssignment(VLSAssignment object)
{
return createVLSAssignmentAdapter();
}
@Override
public Adapter caseVLSConstant(VLSConstant object)
{
return createVLSConstantAdapter();
}
@Override
public Adapter caseVLSTrue(VLSTrue object)
{
return createVLSTrueAdapter();
}
@Override
public Adapter caseVLSFalse(VLSFalse object)
{
return createVLSFalseAdapter();
}
@Override
public Adapter caseVLSFunction(VLSFunction object)
{
return createVLSFunctionAdapter();
}
@Override
public Adapter caseVLSLess(VLSLess object)
{
return createVLSLessAdapter();
}
@Override
public Adapter caseVLSInt(VLSInt object)
{
return createVLSIntAdapter();
}
@Override
public Adapter caseVLSReal(VLSReal object)
{
return createVLSRealAdapter();
}
@Override
public Adapter caseVLSRational(VLSRational object)
{
return createVLSRationalAdapter();
}
@Override
public Adapter caseVLSDoubleQuote(VLSDoubleQuote object)
{
return createVLSDoubleQuoteAdapter();
}
@Override
public Adapter defaultCase(EObject object)
{
return createEObjectAdapter();
}
};
/**
* Creates an adapter for the target
.
*
*
* @param target the object to adapt.
* @return the adapter for the target
.
* @generated
*/
@Override
public Adapter createAdapter(Notifier target)
{
return modelSwitch.doSwitch((EObject)target);
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel Vampire Model}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel
* @generated
*/
public Adapter createVampireModelAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude VLS Include}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude
* @generated
*/
public Adapter createVLSIncludeAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName VLS Name}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName
* @generated
*/
public Adapter createVLSNameAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment VLS Comment}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment
* @generated
*/
public Adapter createVLSCommentAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula VLS Fof Formula}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula
* @generated
*/
public Adapter createVLSFofFormulaAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation VLS Annotation}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation
* @generated
*/
public Adapter createVLSAnnotationAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm VLS Term}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm
* @generated
*/
public Adapter createVLSTermAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable VLS Variable}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable
* @generated
*/
public Adapter createVLSVariableAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof VLS Function Fof}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof
* @generated
*/
public Adapter createVLSFunctionFofAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm VLS Defined Term}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm
* @generated
*/
public Adapter createVLSDefinedTermAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent VLS Equivalent}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent
* @generated
*/
public Adapter createVLSEquivalentAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies VLS Implies}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies
* @generated
*/
public Adapter createVLSImpliesAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies VLS Rev Implies}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies
* @generated
*/
public Adapter createVLSRevImpliesAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor VLS Xnor}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor
* @generated
*/
public Adapter createVLSXnorAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor VLS Nor}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor
* @generated
*/
public Adapter createVLSNorAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand VLS Nand}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand
* @generated
*/
public Adapter createVLSNandAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd VLS And}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd
* @generated
*/
public Adapter createVLSAndAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr VLS Or}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr
* @generated
*/
public Adapter createVLSOrAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier VLS Universal Quantifier}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier
* @generated
*/
public Adapter createVLSUniversalQuantifierAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier VLS Existential Quantifier}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier
* @generated
*/
public Adapter createVLSExistentialQuantifierAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation VLS Unary Negation}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation
* @generated
*/
public Adapter createVLSUnaryNegationAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality VLS Inequality}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality
* @generated
*/
public Adapter createVLSInequalityAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality VLS Equality}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality
* @generated
*/
public Adapter createVLSEqualityAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment VLS Assignment}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment
* @generated
*/
public Adapter createVLSAssignmentAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant VLS Constant}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant
* @generated
*/
public Adapter createVLSConstantAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue VLS True}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue
* @generated
*/
public Adapter createVLSTrueAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse VLS False}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse
* @generated
*/
public Adapter createVLSFalseAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction VLS Function}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction
* @generated
*/
public Adapter createVLSFunctionAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess VLS Less}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess
* @generated
*/
public Adapter createVLSLessAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt VLS Int}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt
* @generated
*/
public Adapter createVLSIntAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal VLS Real}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal
* @generated
*/
public Adapter createVLSRealAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational VLS Rational}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational
* @generated
*/
public Adapter createVLSRationalAdapter()
{
return null;
}
/**
* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote VLS Double Quote}'.
*
* This default implementation returns null so that we can easily ignore cases;
* it's useful to ignore a case when inheritance will catch all the cases anyway.
*
* @return the new adapter.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote
* @generated
*/
public Adapter createVLSDoubleQuoteAdapter()
{
return null;
}
/**
* Creates a new adapter for the default case.
*
* This default implementation returns null.
*
* @return the new adapter.
* @generated
*/
public Adapter createEObjectAdapter()
{
return null;
}
} //VampireLanguageAdapterFactory