/** * generated by Xtext 2.12.0 */ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; import ca.mcgill.ecse.dslreasoner.vampireLanguage.*; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EObject; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.impl.EFactoryImpl; import org.eclipse.emf.ecore.plugin.EcorePlugin; /** * * An implementation of the model Factory. * * @generated */ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireLanguageFactory { /** * Creates the default factory implementation. * * * @generated */ public static VampireLanguageFactory init() { try { VampireLanguageFactory theVampireLanguageFactory = (VampireLanguageFactory)EPackage.Registry.INSTANCE.getEFactory(VampireLanguagePackage.eNS_URI); if (theVampireLanguageFactory != null) { return theVampireLanguageFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new VampireLanguageFactoryImpl(); } /** * Creates an instance of the factory. * * * @generated */ public VampireLanguageFactoryImpl() { super(); } /** * * * @generated */ @Override public EObject create(EClass eClass) { switch (eClass.getClassifierID()) { case VampireLanguagePackage.VAMPIRE_MODEL: return createVampireModel(); case VampireLanguagePackage.VLS_INCLUDE: return createVLSInclude(); case VampireLanguagePackage.VLS_NAME: return createVLSName(); case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable(); case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); case VampireLanguagePackage.VLS_FUNCTION_FOF: return createVLSFunctionFof(); case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent(); case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies(); case VampireLanguagePackage.VLS_REV_IMPLIES: return createVLSRevImplies(); case VampireLanguagePackage.VLS_XNOR: return createVLSXnor(); case VampireLanguagePackage.VLS_NOR: return createVLSNor(); case VampireLanguagePackage.VLS_NAND: return createVLSNand(); case VampireLanguagePackage.VLS_AND: return createVLSAnd(); case VampireLanguagePackage.VLS_OR: return createVLSOr(); case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER: return createVLSUniversalQuantifier(); case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER: return createVLSExistentialQuantifier(); case VampireLanguagePackage.VLS_UNARY_NEGATION: return createVLSUnaryNegation(); case VampireLanguagePackage.VLS_INEQUALITY: return createVLSInequality(); case VampireLanguagePackage.VLS_EQUALITY: return createVLSEquality(); case VampireLanguagePackage.VLS_ASSIGNMENT: return createVLSAssignment(); case VampireLanguagePackage.VLS_CONSTANT: return createVLSConstant(); case VampireLanguagePackage.VLS_TRUE: return createVLSTrue(); case VampireLanguagePackage.VLS_FALSE: return createVLSFalse(); case VampireLanguagePackage.VLS_FUNCTION: return createVLSFunction(); case VampireLanguagePackage.VLS_LESS: return createVLSLess(); case VampireLanguagePackage.VLS_INT: return createVLSInt(); case VampireLanguagePackage.VLS_REAL: return createVLSReal(); case VampireLanguagePackage.VLS_RATIONAL: return createVLSRational(); case VampireLanguagePackage.VLS_DOUBLE_QUOTE: return createVLSDoubleQuote(); default: throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); } } /** * * * @generated */ public VampireModel createVampireModel() { VampireModelImpl vampireModel = new VampireModelImpl(); return vampireModel; } /** * * * @generated */ public VLSInclude createVLSInclude() { VLSIncludeImpl vlsInclude = new VLSIncludeImpl(); return vlsInclude; } /** * * * @generated */ public VLSName createVLSName() { VLSNameImpl vlsName = new VLSNameImpl(); return vlsName; } /** * * * @generated */ public VLSComment createVLSComment() { VLSCommentImpl vlsComment = new VLSCommentImpl(); return vlsComment; } /** * * * @generated */ public VLSConfirmations createVLSConfirmations() { VLSConfirmationsImpl vlsConfirmations = new VLSConfirmationsImpl(); return vlsConfirmations; } /** * * * @generated */ public VLSSatisfiable createVLSSatisfiable() { VLSSatisfiableImpl vlsSatisfiable = new VLSSatisfiableImpl(); return vlsSatisfiable; } /** * * * @generated */ public VLSFofFormula createVLSFofFormula() { VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); return vlsFofFormula; } /** * * * @generated */ public VLSTffFormula createVLSTffFormula() { VLSTffFormulaImpl vlsTffFormula = new VLSTffFormulaImpl(); return vlsTffFormula; } /** * * * @generated */ public VLSAnnotation createVLSAnnotation() { VLSAnnotationImpl vlsAnnotation = new VLSAnnotationImpl(); return vlsAnnotation; } /** * * * @generated */ public VLSTerm createVLSTerm() { VLSTermImpl vlsTerm = new VLSTermImpl(); return vlsTerm; } /** * * * @generated */ public VLSVariable createVLSVariable() { VLSVariableImpl vlsVariable = new VLSVariableImpl(); return vlsVariable; } /** * * * @generated */ public VLSFunctionFof createVLSFunctionFof() { VLSFunctionFofImpl vlsFunctionFof = new VLSFunctionFofImpl(); return vlsFunctionFof; } /** * * * @generated */ public VLSDefinedTerm createVLSDefinedTerm() { VLSDefinedTermImpl vlsDefinedTerm = new VLSDefinedTermImpl(); return vlsDefinedTerm; } /** * * * @generated */ public VLSEquivalent createVLSEquivalent() { VLSEquivalentImpl vlsEquivalent = new VLSEquivalentImpl(); return vlsEquivalent; } /** * * * @generated */ public VLSImplies createVLSImplies() { VLSImpliesImpl vlsImplies = new VLSImpliesImpl(); return vlsImplies; } /** * * * @generated */ public VLSRevImplies createVLSRevImplies() { VLSRevImpliesImpl vlsRevImplies = new VLSRevImpliesImpl(); return vlsRevImplies; } /** * * * @generated */ public VLSXnor createVLSXnor() { VLSXnorImpl vlsXnor = new VLSXnorImpl(); return vlsXnor; } /** * * * @generated */ public VLSNor createVLSNor() { VLSNorImpl vlsNor = new VLSNorImpl(); return vlsNor; } /** * * * @generated */ public VLSNand createVLSNand() { VLSNandImpl vlsNand = new VLSNandImpl(); return vlsNand; } /** * * * @generated */ public VLSAnd createVLSAnd() { VLSAndImpl vlsAnd = new VLSAndImpl(); return vlsAnd; } /** * * * @generated */ public VLSOr createVLSOr() { VLSOrImpl vlsOr = new VLSOrImpl(); return vlsOr; } /** * * * @generated */ public VLSUniversalQuantifier createVLSUniversalQuantifier() { VLSUniversalQuantifierImpl vlsUniversalQuantifier = new VLSUniversalQuantifierImpl(); return vlsUniversalQuantifier; } /** * * * @generated */ public VLSExistentialQuantifier createVLSExistentialQuantifier() { VLSExistentialQuantifierImpl vlsExistentialQuantifier = new VLSExistentialQuantifierImpl(); return vlsExistentialQuantifier; } /** * * * @generated */ public VLSUnaryNegation createVLSUnaryNegation() { VLSUnaryNegationImpl vlsUnaryNegation = new VLSUnaryNegationImpl(); return vlsUnaryNegation; } /** * * * @generated */ public VLSInequality createVLSInequality() { VLSInequalityImpl vlsInequality = new VLSInequalityImpl(); return vlsInequality; } /** * * * @generated */ public VLSEquality createVLSEquality() { VLSEqualityImpl vlsEquality = new VLSEqualityImpl(); return vlsEquality; } /** * * * @generated */ public VLSAssignment createVLSAssignment() { VLSAssignmentImpl vlsAssignment = new VLSAssignmentImpl(); return vlsAssignment; } /** * * * @generated */ public VLSConstant createVLSConstant() { VLSConstantImpl vlsConstant = new VLSConstantImpl(); return vlsConstant; } /** * * * @generated */ public VLSTrue createVLSTrue() { VLSTrueImpl vlsTrue = new VLSTrueImpl(); return vlsTrue; } /** * * * @generated */ public VLSFalse createVLSFalse() { VLSFalseImpl vlsFalse = new VLSFalseImpl(); return vlsFalse; } /** * * * @generated */ public VLSFunction createVLSFunction() { VLSFunctionImpl vlsFunction = new VLSFunctionImpl(); return vlsFunction; } /** * * * @generated */ public VLSLess createVLSLess() { VLSLessImpl vlsLess = new VLSLessImpl(); return vlsLess; } /** * * * @generated */ public VLSInt createVLSInt() { VLSIntImpl vlsInt = new VLSIntImpl(); return vlsInt; } /** * * * @generated */ public VLSReal createVLSReal() { VLSRealImpl vlsReal = new VLSRealImpl(); return vlsReal; } /** * * * @generated */ public VLSRational createVLSRational() { VLSRationalImpl vlsRational = new VLSRationalImpl(); return vlsRational; } /** * * * @generated */ public VLSDoubleQuote createVLSDoubleQuote() { VLSDoubleQuoteImpl vlsDoubleQuote = new VLSDoubleQuoteImpl(); return vlsDoubleQuote; } /** * * * @generated */ public VampireLanguagePackage getVampireLanguagePackage() { return (VampireLanguagePackage)getEPackage(); } /** * * * @deprecated * @generated */ @Deprecated public static VampireLanguagePackage getPackage() { return VampireLanguagePackage.eINSTANCE; } } //VampireLanguageFactoryImpl