/** * 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 caseVLSConfirmations(VLSConfirmations object) { return createVLSConfirmationsAdapter(); } @Override public Adapter caseVLSSatisfiable(VLSSatisfiable object) { return createVLSSatisfiableAdapter(); } @Override public Adapter caseVLSTrying(VLSTrying object) { return createVLSTryingAdapter(); } @Override public Adapter caseVLSFiniteModel(VLSFiniteModel object) { return createVLSFiniteModelAdapter(); } @Override public Adapter caseVLSFofFormula(VLSFofFormula object) { return createVLSFofFormulaAdapter(); } @Override public Adapter caseVLSTffFormula(VLSTffFormula object) { return createVLSTffFormulaAdapter(); } @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.VLSConfirmations VLS Confirmations}'. * * 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.VLSConfirmations * @generated */ public Adapter createVLSConfirmationsAdapter() { return null; } /** * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable VLS Satisfiable}'. * * 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.VLSSatisfiable * @generated */ public Adapter createVLSSatisfiableAdapter() { return null; } /** * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying VLS Trying}'. * * 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.VLSTrying * @generated */ public Adapter createVLSTryingAdapter() { return null; } /** * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel VLS Finite 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.VLSFiniteModel * @generated */ public Adapter createVLSFiniteModelAdapter() { 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.VLSTffFormula VLS Tff 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.VLSTffFormula * @generated */ public Adapter createVLSTffFormulaAdapter() { 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