/** */ package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*; 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 LogiclanguageFactoryImpl extends EFactoryImpl implements LogiclanguageFactory { /** * Creates the default factory implementation. * * * @generated */ public static LogiclanguageFactory init() { try { LogiclanguageFactory theLogiclanguageFactory = (LogiclanguageFactory)EPackage.Registry.INSTANCE.getEFactory(LogiclanguagePackage.eNS_URI); if (theLogiclanguageFactory != null) { return theLogiclanguageFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new LogiclanguageFactoryImpl(); } /** * Creates an instance of the factory. * * * @generated */ public LogiclanguageFactoryImpl() { super(); } /** * * * @generated */ @Override public EObject create(EClass eClass) { switch (eClass.getClassifierID()) { case LogiclanguagePackage.DEFINED_ELEMENT: return createDefinedElement(); case LogiclanguagePackage.TYPE_DEFINITION: return createTypeDefinition(); case LogiclanguagePackage.COMPLEX_TYPE_REFERENCE: return createComplexTypeReference(); case LogiclanguagePackage.INT_TYPE_REFERENCE: return createIntTypeReference(); case LogiclanguagePackage.BOOL_TYPE_REFERENCE: return createBoolTypeReference(); case LogiclanguagePackage.REAL_TYPE_REFERENCE: return createRealTypeReference(); case LogiclanguagePackage.SYMBOLIC_VALUE: return createSymbolicValue(); case LogiclanguagePackage.INT_LITERAL: return createIntLiteral(); case LogiclanguagePackage.BOOL_LITERAL: return createBoolLiteral(); case LogiclanguagePackage.REAL_LITERAL: return createRealLiteral(); case LogiclanguagePackage.VARIABLE: return createVariable(); case LogiclanguagePackage.EXISTS: return createExists(); case LogiclanguagePackage.FORALL: return createForall(); case LogiclanguagePackage.AND: return createAnd(); case LogiclanguagePackage.OR: return createOr(); case LogiclanguagePackage.IMPL: return createImpl(); case LogiclanguagePackage.NOT: return createNot(); case LogiclanguagePackage.IFF: return createIff(); case LogiclanguagePackage.EQUALS: return createEquals(); case LogiclanguagePackage.DISTINCT: return createDistinct(); case LogiclanguagePackage.LESS_THAN: return createLessThan(); case LogiclanguagePackage.MORE_THAN: return createMoreThan(); case LogiclanguagePackage.LESS_OR_EQUAL_THAN: return createLessOrEqualThan(); case LogiclanguagePackage.MORE_OR_EQUAL_THAN: return createMoreOrEqualThan(); case LogiclanguagePackage.PLUS: return createPlus(); case LogiclanguagePackage.MINUS: return createMinus(); case LogiclanguagePackage.MULTIPLY: return createMultiply(); case LogiclanguagePackage.DIVISON: return createDivison(); case LogiclanguagePackage.MOD: return createMod(); case LogiclanguagePackage.ASSERTION: return createAssertion(); case LogiclanguagePackage.CONSTANT_DEFINITION: return createConstantDefinition(); case LogiclanguagePackage.RELATION_DEFINITION: return createRelationDefinition(); case LogiclanguagePackage.FUNCTION_DEFINITION: return createFunctionDefinition(); case LogiclanguagePackage.IF_THEN_ELSE: return createIfThenElse(); case LogiclanguagePackage.CONSTANT_DECLARATION: return createConstantDeclaration(); case LogiclanguagePackage.RELATION_DECLARATION: return createRelationDeclaration(); case LogiclanguagePackage.FUNCTION_DECLARATION: return createFunctionDeclaration(); case LogiclanguagePackage.TYPE_DECLARATION: return createTypeDeclaration(); case LogiclanguagePackage.UNKNOWN_BECAUSE_UNINTERPRETED: return createUnknownBecauseUninterpreted(); case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); case LogiclanguagePackage.TRANSITIVE_CLOSURE: return createTransitiveClosure(); default: throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); } } /** * * * @generated */ public DefinedElement createDefinedElement() { DefinedElementImpl definedElement = new DefinedElementImpl(); return definedElement; } /** * * * @generated */ public TypeDefinition createTypeDefinition() { TypeDefinitionImpl typeDefinition = new TypeDefinitionImpl(); return typeDefinition; } /** * * * @generated */ public ComplexTypeReference createComplexTypeReference() { ComplexTypeReferenceImpl complexTypeReference = new ComplexTypeReferenceImpl(); return complexTypeReference; } /** * * * @generated */ public IntTypeReference createIntTypeReference() { IntTypeReferenceImpl intTypeReference = new IntTypeReferenceImpl(); return intTypeReference; } /** * * * @generated */ public BoolTypeReference createBoolTypeReference() { BoolTypeReferenceImpl boolTypeReference = new BoolTypeReferenceImpl(); return boolTypeReference; } /** * * * @generated */ public RealTypeReference createRealTypeReference() { RealTypeReferenceImpl realTypeReference = new RealTypeReferenceImpl(); return realTypeReference; } /** * * * @generated */ public SymbolicValue createSymbolicValue() { SymbolicValueImpl symbolicValue = new SymbolicValueImpl(); return symbolicValue; } /** * * * @generated */ public IntLiteral createIntLiteral() { IntLiteralImpl intLiteral = new IntLiteralImpl(); return intLiteral; } /** * * * @generated */ public BoolLiteral createBoolLiteral() { BoolLiteralImpl boolLiteral = new BoolLiteralImpl(); return boolLiteral; } /** * * * @generated */ public RealLiteral createRealLiteral() { RealLiteralImpl realLiteral = new RealLiteralImpl(); return realLiteral; } /** * * * @generated */ public Variable createVariable() { VariableImpl variable = new VariableImpl(); return variable; } /** * * * @generated */ public Exists createExists() { ExistsImpl exists = new ExistsImpl(); return exists; } /** * * * @generated */ public Forall createForall() { ForallImpl forall = new ForallImpl(); return forall; } /** * * * @generated */ public And createAnd() { AndImpl and = new AndImpl(); return and; } /** * * * @generated */ public Or createOr() { OrImpl or = new OrImpl(); return or; } /** * * * @generated */ public Impl createImpl() { ImplImpl impl = new ImplImpl(); return impl; } /** * * * @generated */ public Not createNot() { NotImpl not = new NotImpl(); return not; } /** * * * @generated */ public Iff createIff() { IffImpl iff = new IffImpl(); return iff; } /** * * * @generated */ public Equals createEquals() { EqualsImpl equals = new EqualsImpl(); return equals; } /** * * * @generated */ public Distinct createDistinct() { DistinctImpl distinct = new DistinctImpl(); return distinct; } /** * * * @generated */ public LessThan createLessThan() { LessThanImpl lessThan = new LessThanImpl(); return lessThan; } /** * * * @generated */ public MoreThan createMoreThan() { MoreThanImpl moreThan = new MoreThanImpl(); return moreThan; } /** * * * @generated */ public LessOrEqualThan createLessOrEqualThan() { LessOrEqualThanImpl lessOrEqualThan = new LessOrEqualThanImpl(); return lessOrEqualThan; } /** * * * @generated */ public MoreOrEqualThan createMoreOrEqualThan() { MoreOrEqualThanImpl moreOrEqualThan = new MoreOrEqualThanImpl(); return moreOrEqualThan; } /** * * * @generated */ public Plus createPlus() { PlusImpl plus = new PlusImpl(); return plus; } /** * * * @generated */ public Minus createMinus() { MinusImpl minus = new MinusImpl(); return minus; } /** * * * @generated */ public Multiply createMultiply() { MultiplyImpl multiply = new MultiplyImpl(); return multiply; } /** * * * @generated */ public Divison createDivison() { DivisonImpl divison = new DivisonImpl(); return divison; } /** * * * @generated */ public Mod createMod() { ModImpl mod = new ModImpl(); return mod; } /** * * * @generated */ public Assertion createAssertion() { AssertionImpl assertion = new AssertionImpl(); return assertion; } /** * * * @generated */ public ConstantDefinition createConstantDefinition() { ConstantDefinitionImpl constantDefinition = new ConstantDefinitionImpl(); return constantDefinition; } /** * * * @generated */ public RelationDefinition createRelationDefinition() { RelationDefinitionImpl relationDefinition = new RelationDefinitionImpl(); return relationDefinition; } /** * * * @generated */ public FunctionDefinition createFunctionDefinition() { FunctionDefinitionImpl functionDefinition = new FunctionDefinitionImpl(); return functionDefinition; } /** * * * @generated */ public IfThenElse createIfThenElse() { IfThenElseImpl ifThenElse = new IfThenElseImpl(); return ifThenElse; } /** * * * @generated */ public ConstantDeclaration createConstantDeclaration() { ConstantDeclarationImpl constantDeclaration = new ConstantDeclarationImpl(); return constantDeclaration; } /** * * * @generated */ public RelationDeclaration createRelationDeclaration() { RelationDeclarationImpl relationDeclaration = new RelationDeclarationImpl(); return relationDeclaration; } /** * * * @generated */ public FunctionDeclaration createFunctionDeclaration() { FunctionDeclarationImpl functionDeclaration = new FunctionDeclarationImpl(); return functionDeclaration; } /** * * * @generated */ public TypeDeclaration createTypeDeclaration() { TypeDeclarationImpl typeDeclaration = new TypeDeclarationImpl(); return typeDeclaration; } /** * * * @generated */ public UnknownBecauseUninterpreted createUnknownBecauseUninterpreted() { UnknownBecauseUninterpretedImpl unknownBecauseUninterpreted = new UnknownBecauseUninterpretedImpl(); return unknownBecauseUninterpreted; } /** * * * @generated */ public InstanceOf createInstanceOf() { InstanceOfImpl instanceOf = new InstanceOfImpl(); return instanceOf; } /** * * * @generated */ public StringTypeReference createStringTypeReference() { StringTypeReferenceImpl stringTypeReference = new StringTypeReferenceImpl(); return stringTypeReference; } /** * * * @generated */ public StringLiteral createStringLiteral() { StringLiteralImpl stringLiteral = new StringLiteralImpl(); return stringLiteral; } /** * * * @generated */ public TransitiveClosure createTransitiveClosure() { TransitiveClosureImpl transitiveClosure = new TransitiveClosureImpl(); return transitiveClosure; } /** * * * @generated */ public LogiclanguagePackage getLogiclanguagePackage() { return (LogiclanguagePackage)getEPackage(); } /** * * * @deprecated * @generated */ @Deprecated public static LogiclanguagePackage getPackage() { return LogiclanguagePackage.eINSTANCE; } } //LogiclanguageFactoryImpl