1 files changed, 143 insertions, 4 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index d549ad84..dd1a5e81 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -612,7 +612,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 

   /**

    * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.

-   * 

+   *

    * <p>This method is used to initialize {@link ApplicationConfigurationPackage#eINSTANCE} when that field is accessed.

    * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

    * <!-- begin-user-doc -->

@@ -627,7 +627,8 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     if (isInited) return (ApplicationConfigurationPackage)EPackage.Registry.INSTANCE.getEPackage(ApplicationConfigurationPackage.eNS_URI);

 

     // Obtain or create and register package

-    ApplicationConfigurationPackageImpl theApplicationConfigurationPackage = (ApplicationConfigurationPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof ApplicationConfigurationPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new ApplicationConfigurationPackageImpl());

+    Object registeredApplicationConfigurationPackage = EPackage.Registry.INSTANCE.get(eNS_URI);

+    ApplicationConfigurationPackageImpl theApplicationConfigurationPackage = registeredApplicationConfigurationPackage instanceof ApplicationConfigurationPackageImpl ? (ApplicationConfigurationPackageImpl)registeredApplicationConfigurationPackage : new ApplicationConfigurationPackageImpl();

 

     isInited = true;

 

@@ -647,7 +648,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     // Mark meta-data to indicate it can't be changed

     theApplicationConfigurationPackage.freeze();

 

-  

     // Update the registry and return the package

     EPackage.Registry.INSTANCE.put(ApplicationConfigurationPackage.eNS_URI, theApplicationConfigurationPackage);

     return theApplicationConfigurationPackage;

@@ -658,6 +658,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigurationScript()

   {

     return configurationScriptEClass;

@@ -668,6 +669,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigurationScript_Imports()

   {

     return (EReference)configurationScriptEClass.getEStructuralFeatures().get(0);

@@ -678,6 +680,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigurationScript_Commands()

   {

     return (EReference)configurationScriptEClass.getEStructuralFeatures().get(1);

@@ -688,6 +691,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getCommand()

   {

     return commandEClass;

@@ -698,6 +702,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getImport()

   {

     return importEClass;

@@ -708,6 +713,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getEPackageImport()

   {

     return ePackageImportEClass;

@@ -718,6 +724,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getEPackageImport_ImportedPackage()

   {

     return (EReference)ePackageImportEClass.getEStructuralFeatures().get(0);

@@ -728,6 +735,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getViatraImport()

   {

     return viatraImportEClass;

@@ -738,6 +746,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getViatraImport_ImportedViatra()

   {

     return (EReference)viatraImportEClass.getEStructuralFeatures().get(0);

@@ -748,6 +757,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getDeclaration()

   {

     return declarationEClass;

@@ -758,6 +768,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getDeclaration_Name()

   {

     return (EAttribute)declarationEClass.getEStructuralFeatures().get(0);

@@ -768,6 +779,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFileSpecification()

   {

     return fileSpecificationEClass;

@@ -778,6 +790,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getFileSpecification_Path()

   {

     return (EAttribute)fileSpecificationEClass.getEStructuralFeatures().get(0);

@@ -788,6 +801,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFileDeclaration()

   {

     return fileDeclarationEClass;

@@ -798,6 +812,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getFileDeclaration_Specification()

   {

     return (EReference)fileDeclarationEClass.getEStructuralFeatures().get(0);

@@ -808,6 +823,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFileReference()

   {

     return fileReferenceEClass;

@@ -818,6 +834,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getFileReference_Referred()

   {

     return (EReference)fileReferenceEClass.getEStructuralFeatures().get(0);

@@ -828,6 +845,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFile()

   {

     return fileEClass;

@@ -838,6 +856,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelSpecification()

   {

     return metamodelSpecificationEClass;

@@ -848,6 +867,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelSpecification_Entries()

   {

     return (EReference)metamodelSpecificationEClass.getEStructuralFeatures().get(0);

@@ -858,6 +878,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelEntry()

   {

     return metamodelEntryEClass;

@@ -868,6 +889,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelEntry_Package()

   {

     return (EReference)metamodelEntryEClass.getEStructuralFeatures().get(0);

@@ -878,6 +900,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getAllPackageEntry()

   {

     return allPackageEntryEClass;

@@ -888,6 +911,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getAllPackageEntry_Exclusion()

   {

     return (EReference)allPackageEntryEClass.getEStructuralFeatures().get(0);

@@ -898,6 +922,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelElement()

   {

     return metamodelElementEClass;

@@ -908,6 +933,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelElement_Classifier()

   {

     return (EReference)metamodelElementEClass.getEStructuralFeatures().get(0);

@@ -918,6 +944,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelElement_Feature()

   {

     return (EReference)metamodelElementEClass.getEStructuralFeatures().get(1);

@@ -928,6 +955,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelDeclaration()

   {

     return metamodelDeclarationEClass;

@@ -938,6 +966,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelDeclaration_Specification()

   {

     return (EReference)metamodelDeclarationEClass.getEStructuralFeatures().get(0);

@@ -948,6 +977,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelReference()

   {

     return metamodelReferenceEClass;

@@ -958,6 +988,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelReference_Referred()

   {

     return (EReference)metamodelReferenceEClass.getEStructuralFeatures().get(0);

@@ -968,6 +999,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodel()

   {

     return metamodelEClass;

@@ -978,6 +1010,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelSpecification()

   {

     return partialModelSpecificationEClass;

@@ -988,6 +1021,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelSpecification_Entry()

   {

     return (EReference)partialModelSpecificationEClass.getEStructuralFeatures().get(0);

@@ -998,6 +1032,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelEntry()

   {

     return partialModelEntryEClass;

@@ -1008,6 +1043,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelEntry_Path()

   {

     return (EReference)partialModelEntryEClass.getEStructuralFeatures().get(0);

@@ -1018,6 +1054,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getModelEntry()

   {

     return modelEntryEClass;

@@ -1028,6 +1065,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFolderEntry()

   {

     return folderEntryEClass;

@@ -1038,6 +1076,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getFolderEntry_Exclusion()

   {

     return (EReference)folderEntryEClass.getEStructuralFeatures().get(0);

@@ -1048,6 +1087,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelDeclaration()

   {

     return partialModelDeclarationEClass;

@@ -1058,6 +1098,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelDeclaration_Specification()

   {

     return (EReference)partialModelDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1068,6 +1109,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelReference()

   {

     return partialModelReferenceEClass;

@@ -1078,6 +1120,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelReference_Referred()

   {

     return (EReference)partialModelReferenceEClass.getEStructuralFeatures().get(0);

@@ -1088,6 +1131,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModel()

   {

     return partialModelEClass;

@@ -1098,6 +1142,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPatternSpecification()

   {

     return patternSpecificationEClass;

@@ -1108,6 +1153,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPatternSpecification_Entries()

   {

     return (EReference)patternSpecificationEClass.getEStructuralFeatures().get(0);

@@ -1118,6 +1164,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPatternEntry()

   {

     return patternEntryEClass;

@@ -1128,6 +1175,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPatternEntry_Package()

   {

     return (EReference)patternEntryEClass.getEStructuralFeatures().get(0);

@@ -1138,6 +1186,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getAllPatternEntry()

   {

     return allPatternEntryEClass;

@@ -1148,6 +1197,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getAllPatternEntry_Exclusuion()

   {

     return (EReference)allPatternEntryEClass.getEStructuralFeatures().get(0);

@@ -1158,6 +1208,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPatternElement()

   {

     return patternElementEClass;

@@ -1168,6 +1219,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPatternElement_Pattern()

   {

     return (EReference)patternElementEClass.getEStructuralFeatures().get(0);

@@ -1178,6 +1230,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGraphPatternDeclaration()

   {

     return graphPatternDeclarationEClass;

@@ -1188,6 +1241,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGraphPatternDeclaration_Specification()

   {

     return (EReference)graphPatternDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1198,6 +1252,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGraphPatternReference()

   {

     return graphPatternReferenceEClass;

@@ -1208,6 +1263,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGraphPatternReference_Referred()

   {

     return (EReference)graphPatternReferenceEClass.getEStructuralFeatures().get(0);

@@ -1218,6 +1274,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGraphPattern()

   {

     return graphPatternEClass;

@@ -1228,6 +1285,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigSpecification()

   {

     return configSpecificationEClass;

@@ -1238,6 +1296,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigSpecification_Entries()

   {

     return (EReference)configSpecificationEClass.getEStructuralFeatures().get(0);

@@ -1248,6 +1307,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigDeclaration()

   {

     return configDeclarationEClass;

@@ -1258,6 +1318,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigDeclaration_Specification()

   {

     return (EReference)configDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1268,6 +1329,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigEntry()

   {

     return configEntryEClass;

@@ -1278,6 +1340,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getDocumentationEntry()

   {

     return documentationEntryEClass;

@@ -1288,6 +1351,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getDocumentationEntry_Level()

   {

     return (EAttribute)documentationEntryEClass.getEStructuralFeatures().get(0);

@@ -1298,6 +1362,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRuntimeEntry()

   {

     return runtimeEntryEClass;

@@ -1308,6 +1373,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getRuntimeEntry_MillisecLimit()

   {

     return (EAttribute)runtimeEntryEClass.getEStructuralFeatures().get(0);

@@ -1318,6 +1384,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMemoryEntry()

   {

     return memoryEntryEClass;

@@ -1328,6 +1395,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getMemoryEntry_MegabyteLimit()

   {

     return (EAttribute)memoryEntryEClass.getEStructuralFeatures().get(0);

@@ -1338,6 +1406,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getCustomEntry()

   {

     return customEntryEClass;

@@ -1348,6 +1417,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getCustomEntry_Key()

   {

     return (EAttribute)customEntryEClass.getEStructuralFeatures().get(0);

@@ -1358,6 +1428,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getCustomEntry_Value()

   {

     return (EAttribute)customEntryEClass.getEStructuralFeatures().get(1);

@@ -1368,6 +1439,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigReference()

   {

     return configReferenceEClass;

@@ -1378,6 +1450,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigReference_Config()

   {

     return (EReference)configReferenceEClass.getEStructuralFeatures().get(0);

@@ -1388,6 +1461,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfig()

   {

     return configEClass;

@@ -1398,6 +1472,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScopeSpecification()

   {

     return scopeSpecificationEClass;

@@ -1408,6 +1483,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getScopeSpecification_Scopes()

   {

     return (EReference)scopeSpecificationEClass.getEStructuralFeatures().get(0);

@@ -1418,6 +1494,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getTypeScope()

   {

     return typeScopeEClass;

@@ -1428,6 +1505,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getTypeScope_SetsNew()

   {

     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(0);

@@ -1438,6 +1516,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getTypeScope_SetsSum()

   {

     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(1);

@@ -1448,6 +1527,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getTypeScope_Number()

   {

     return (EReference)typeScopeEClass.getEStructuralFeatures().get(2);

@@ -1458,6 +1538,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getClassTypeScope()

   {

     return classTypeScopeEClass;

@@ -1468,6 +1549,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getClassTypeScope_Type()

   {

     return (EReference)classTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1478,6 +1560,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getObjectTypeScope()

   {

     return objectTypeScopeEClass;

@@ -1488,6 +1571,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getObjectTypeScope_Type()

   {

     return (EReference)objectTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1498,6 +1582,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntegerTypeScope()

   {

     return integerTypeScopeEClass;

@@ -1508,6 +1593,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getIntegerTypeScope_Type()

   {

     return (EReference)integerTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1518,6 +1604,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealTypeScope()

   {

     return realTypeScopeEClass;

@@ -1528,6 +1615,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getRealTypeScope_Type()

   {

     return (EReference)realTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1538,6 +1626,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringTypeScope()

   {

     return stringTypeScopeEClass;

@@ -1548,6 +1637,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getStringTypeScope_Type()

   {

     return (EReference)stringTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1558,6 +1648,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getTypeReference()

   {

     return typeReferenceEClass;

@@ -1568,6 +1659,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getClassReference()

   {

     return classReferenceEClass;

@@ -1578,6 +1670,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getClassReference_Element()

   {

     return (EReference)classReferenceEClass.getEStructuralFeatures().get(0);

@@ -1588,6 +1681,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getObjectReference()

   {

     return objectReferenceEClass;

@@ -1598,6 +1692,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntegerReference()

   {

     return integerReferenceEClass;

@@ -1608,6 +1703,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealReference()

   {

     return realReferenceEClass;

@@ -1618,6 +1714,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringReference()

   {

     return stringReferenceEClass;

@@ -1628,6 +1725,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getNumberSpecification()

   {

     return numberSpecificationEClass;

@@ -1638,6 +1736,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getExactNumber()

   {

     return exactNumberEClass;

@@ -1648,6 +1747,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getExactNumber_ExactNumber()

   {

     return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(0);

@@ -1658,6 +1758,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getExactNumber_ExactUnlimited()

   {

     return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(1);

@@ -1668,6 +1769,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntervallNumber()

   {

     return intervallNumberEClass;

@@ -1678,6 +1780,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntervallNumber_Min()

   {

     return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(0);

@@ -1688,6 +1791,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntervallNumber_MaxNumber()

   {

     return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(1);

@@ -1698,6 +1802,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntervallNumber_MaxUnlimited()

   {

     return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(2);

@@ -1708,6 +1813,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntEnumberation()

   {

     return intEnumberationEClass;

@@ -1718,6 +1824,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntEnumberation_Entry()

   {

     return (EAttribute)intEnumberationEClass.getEStructuralFeatures().get(0);

@@ -1728,6 +1835,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealEnumeration()

   {

     return realEnumerationEClass;

@@ -1738,6 +1846,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getRealEnumeration_Entry()

   {

     return (EAttribute)realEnumerationEClass.getEStructuralFeatures().get(0);

@@ -1748,6 +1857,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringEnumeration()

   {

     return stringEnumerationEClass;

@@ -1758,6 +1868,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getStringEnumeration_Entry()

   {

     return (EAttribute)stringEnumerationEClass.getEStructuralFeatures().get(0);

@@ -1768,6 +1879,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScopeDeclaration()

   {

     return scopeDeclarationEClass;

@@ -1778,6 +1890,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getScopeDeclaration_Specification()

   {

     return (EReference)scopeDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1788,6 +1901,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScopeReference()

   {

     return scopeReferenceEClass;

@@ -1798,6 +1912,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getScopeReference_Referred()

   {

     return (EReference)scopeReferenceEClass.getEStructuralFeatures().get(0);

@@ -1808,6 +1923,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScope()

   {

     return scopeEClass;

@@ -1818,6 +1934,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getTask()

   {

     return taskEClass;

@@ -1828,6 +1945,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGenerationTask()

   {

     return generationTaskEClass;

@@ -1838,6 +1956,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Metamodel()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(0);

@@ -1848,6 +1967,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_PartialModel()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(1);

@@ -1858,6 +1978,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Patterns()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(2);

@@ -1868,6 +1989,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Scope()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(3);

@@ -1878,6 +2000,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_NumberSpecified()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(4);

@@ -1888,6 +2011,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_Number()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(5);

@@ -1898,6 +2022,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_RunSpecified()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(6);

@@ -1908,6 +2033,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_Runs()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(7);

@@ -1918,6 +2044,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_Solver()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(8);

@@ -1928,6 +2055,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Config()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(9);

@@ -1938,6 +2066,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_DebugFolder()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(10);

@@ -1948,6 +2077,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_TargetLogFile()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(11);

@@ -1958,6 +2088,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_TargetStatisticsFile()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(12);

@@ -1968,6 +2099,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_TagetFolder()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(13);

@@ -1978,6 +2110,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntegerScope()

   {

     return integerScopeEClass;

@@ -1988,6 +2121,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealScope()

   {

     return realScopeEClass;

@@ -1998,6 +2132,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringScope()

   {

     return stringScopeEClass;

@@ -2008,6 +2143,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EEnum getDocumentLevelSpecification()

   {

     return documentLevelSpecificationEEnum;

@@ -2018,6 +2154,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EEnum getSolver()

   {

     return solverEEnum;

@@ -2028,6 +2165,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ApplicationConfigurationFactory getApplicationConfigurationFactory()

   {

     return (ApplicationConfigurationFactory)getEFactoryInstance();

@@ -2558,6 +2696,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     addEEnumLiteral(solverEEnum, Solver.SMT_SOLVER);

     addEEnumLiteral(solverEEnum, Solver.ALLOY_SOLVER);

     addEEnumLiteral(solverEEnum, Solver.VIATRA_SOLVER);

+    addEEnumLiteral(solverEEnum, Solver.TPTP_SOLVER);

 

     // Create resource

     createResource(eNS_URI);