From e55fc0c91990c1de9cfdc02b5859b7419735abd3 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszkar.semerath@gmail.com>
Date: Wed, 24 Jan 2018 01:06:37 +0100
Subject: New Scope format: #String += 2..*

---
 .../impl/AllPatternEntryImpl.java                  | 166 ++++
 .../impl/ApplicationConfigurationPackageImpl.java  |  44 +-
 .../impl/ClassReferenceImpl.java                   | 194 +++++
 .../impl/ConfigDeclarationImpl.java                | 194 +++++
 .../impl/ConfigEntryImpl.java                      | 234 +++++
 .../applicationConfiguration/impl/ConfigImpl.java  |  43 +
 .../impl/ConfigReferenceImpl.java                  | 173 ++++
 .../impl/ConfigSpecificationImpl.java              | 166 ++++
 .../impl/FileDeclarationImpl.java                  | 194 +++++
 .../applicationConfiguration/impl/FileImpl.java    |  43 +
 .../impl/FileReferenceImpl.java                    | 173 ++++
 .../impl/FileSpecificationImpl.java                | 177 ++++
 .../impl/FolderEntryImpl.java                      | 166 ++++
 .../impl/GenerationTaskImpl.java                   | 951 +++++++++++++++++++++
 .../impl/GraphPatternDeclarationImpl.java          | 194 +++++
 .../impl/GraphPatternImpl.java                     |  43 +
 .../impl/GraphPatternReferenceImpl.java            | 173 ++++
 .../impl/IntegerReferenceImpl.java                 |  41 +
 .../impl/IntegerScopeImpl.java                     |  41 +
 .../impl/ModelEntryImpl.java                       |  41 +
 .../impl/ObjectReferenceImpl.java                  |  41 +
 .../impl/PartialModelDeclarationImpl.java          | 194 +++++
 .../impl/PartialModelEntryImpl.java                | 195 +++++
 .../impl/PartialModelImpl.java                     |  43 +
 .../impl/PartialModelReferenceImpl.java            | 173 ++++
 .../impl/PartialModelSpecificationImpl.java        | 166 ++++
 .../impl/PatternElementImpl.java                   | 174 ++++
 .../impl/PatternEntryImpl.java                     | 175 ++++
 .../impl/PatternSpecificationImpl.java             | 166 ++++
 .../impl/RealReferenceImpl.java                    |  41 +
 .../impl/RealScopeImpl.java                        |  41 +
 .../impl/ScopeDeclarationImpl.java                 | 194 +++++
 .../applicationConfiguration/impl/ScopeImpl.java   |  43 +
 .../impl/ScopeReferenceImpl.java                   | 173 ++++
 .../impl/ScopeSpecificationImpl.java               | 166 ++++
 .../impl/StringReferenceImpl.java                  |  41 +
 .../impl/StringScopeImpl.java                      |  41 +
 .../applicationConfiguration/impl/TaskImpl.java    |  41 +
 .../impl/TypeReferenceImpl.java                    |  43 +
 .../impl/TypeScopeImpl.java                        | 490 +++++++++++
 40 files changed, 6064 insertions(+), 28 deletions(-)
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl')

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java
new file mode 100644
index 00000000..8838fe85
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java
@@ -0,0 +1,166 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatternEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>All Pattern Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.AllPatternEntryImpl#getExclusuion <em>Exclusuion</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class AllPatternEntryImpl extends PatternEntryImpl implements AllPatternEntry
+{
+  /**
+   * The cached value of the '{@link #getExclusuion() <em>Exclusuion</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getExclusuion()
+   * @generated
+   * @ordered
+   */
+  protected EList<PatternElement> exclusuion;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected AllPatternEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.ALL_PATTERN_ENTRY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<PatternElement> getExclusuion()
+  {
+    if (exclusuion == null)
+    {
+      exclusuion = new EObjectContainmentEList<PatternElement>(PatternElement.class, this, ApplicationConfigurationPackage.ALL_PATTERN_ENTRY__EXCLUSUION);
+    }
+    return exclusuion;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.ALL_PATTERN_ENTRY__EXCLUSUION:
+        return ((InternalEList<?>)getExclusuion()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.ALL_PATTERN_ENTRY__EXCLUSUION:
+        return getExclusuion();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.ALL_PATTERN_ENTRY__EXCLUSUION:
+        getExclusuion().clear();
+        getExclusuion().addAll((Collection<? extends PatternElement>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.ALL_PATTERN_ENTRY__EXCLUSUION:
+        getExclusuion().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.ALL_PATTERN_ENTRY__EXCLUSUION:
+        return exclusuion != null && !exclusuion.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //AllPatternEntryImpl
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 a623702e..ece5be15 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
@@ -1221,9 +1221,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  public EAttribute getTypeScope_Min()
+  public EReference getTypeScope_Type()
   {
-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(0);
+    return (EReference)typeScopeEClass.getEStructuralFeatures().get(0);
   }
 
   /**
@@ -1231,7 +1231,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  public EAttribute getTypeScope_Greather()
+  public EAttribute getTypeScope_SetsNew()
   {
     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(1);
   }
@@ -1241,7 +1241,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  public EAttribute getTypeScope_GreaterOrEqual()
+  public EAttribute getTypeScope_SetsSum()
   {
     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(2);
   }
@@ -1251,9 +1251,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  public EReference getTypeScope_Type()
+  public EAttribute getTypeScope_Min()
   {
-    return (EReference)typeScopeEClass.getEStructuralFeatures().get(3);
+    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(3);
   }
 
   /**
@@ -1261,21 +1261,11 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  public EAttribute getTypeScope_Less()
+  public EAttribute getTypeScope_MaxUnlimited()
   {
     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(4);
   }
 
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  public EAttribute getTypeScope_LessOrEqual()
-  {
-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(5);
-  }
-
   /**
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
@@ -1283,7 +1273,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    */
   public EAttribute getTypeScope_Max()
   {
-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(6);
+    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(5);
   }
 
   /**
@@ -1723,12 +1713,11 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     createEReference(scopeSpecificationEClass, SCOPE_SPECIFICATION__SCOPES);
 
     typeScopeEClass = createEClass(TYPE_SCOPE);
-    createEAttribute(typeScopeEClass, TYPE_SCOPE__MIN);
-    createEAttribute(typeScopeEClass, TYPE_SCOPE__GREATHER);
-    createEAttribute(typeScopeEClass, TYPE_SCOPE__GREATER_OR_EQUAL);
     createEReference(typeScopeEClass, TYPE_SCOPE__TYPE);
-    createEAttribute(typeScopeEClass, TYPE_SCOPE__LESS);
-    createEAttribute(typeScopeEClass, TYPE_SCOPE__LESS_OR_EQUAL);
+    createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_NEW);
+    createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_SUM);
+    createEAttribute(typeScopeEClass, TYPE_SCOPE__MIN);
+    createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX_UNLIMITED);
     createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX);
 
     typeReferenceEClass = createEClass(TYPE_REFERENCE);
@@ -1957,12 +1946,11 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     initEReference(getScopeSpecification_Scopes(), this.getTypeScope(), null, "scopes", null, 0, -1, ScopeSpecification.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
     initEClass(typeScopeEClass, TypeScope.class, "TypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-    initEAttribute(getTypeScope_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEAttribute(getTypeScope_Greather(), theEcorePackage.getEBoolean(), "greather", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEAttribute(getTypeScope_GreaterOrEqual(), theEcorePackage.getEBoolean(), "greaterOrEqual", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
     initEReference(getTypeScope_Type(), this.getTypeReference(), null, "type", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEAttribute(getTypeScope_Less(), theEcorePackage.getEBoolean(), "less", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEAttribute(getTypeScope_LessOrEqual(), theEcorePackage.getEBoolean(), "lessOrEqual", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEAttribute(getTypeScope_SetsNew(), theEcorePackage.getEBoolean(), "setsNew", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEAttribute(getTypeScope_SetsSum(), theEcorePackage.getEBoolean(), "setsSum", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEAttribute(getTypeScope_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEAttribute(getTypeScope_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
     initEAttribute(getTypeScope_Max(), theEcorePackage.getEInt(), "max", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
     initEClass(typeReferenceEClass, TypeReference.class, "TypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java
new file mode 100644
index 00000000..0cb8c9e0
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Class Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl#getElement <em>Element</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ClassReferenceImpl extends TypeReferenceImpl implements ClassReference
+{
+  /**
+   * The cached value of the '{@link #getElement() <em>Element</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getElement()
+   * @generated
+   * @ordered
+   */
+  protected MetamodelElement element;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ClassReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.CLASS_REFERENCE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public MetamodelElement getElement()
+  {
+    return element;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetElement(MetamodelElement newElement, NotificationChain msgs)
+  {
+    MetamodelElement oldElement = element;
+    element = newElement;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT, oldElement, newElement);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setElement(MetamodelElement newElement)
+  {
+    if (newElement != element)
+    {
+      NotificationChain msgs = null;
+      if (element != null)
+        msgs = ((InternalEObject)element).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT, null, msgs);
+      if (newElement != null)
+        msgs = ((InternalEObject)newElement).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT, null, msgs);
+      msgs = basicSetElement(newElement, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT, newElement, newElement));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT:
+        return basicSetElement(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT:
+        return getElement();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT:
+        setElement((MetamodelElement)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT:
+        setElement((MetamodelElement)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CLASS_REFERENCE__ELEMENT:
+        return element != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ClassReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java
new file mode 100644
index 00000000..48d6831a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpecification;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Config Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ConfigDeclarationImpl#getSpecification <em>Specification</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ConfigDeclarationImpl extends DeclarationImpl implements ConfigDeclaration
+{
+  /**
+   * The cached value of the '{@link #getSpecification() <em>Specification</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSpecification()
+   * @generated
+   * @ordered
+   */
+  protected ConfigSpecification specification;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ConfigDeclarationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.CONFIG_DECLARATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public ConfigSpecification getSpecification()
+  {
+    return specification;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetSpecification(ConfigSpecification newSpecification, NotificationChain msgs)
+  {
+    ConfigSpecification oldSpecification = specification;
+    specification = newSpecification;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION, oldSpecification, newSpecification);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSpecification(ConfigSpecification newSpecification)
+  {
+    if (newSpecification != specification)
+    {
+      NotificationChain msgs = null;
+      if (specification != null)
+        msgs = ((InternalEObject)specification).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION, null, msgs);
+      if (newSpecification != null)
+        msgs = ((InternalEObject)newSpecification).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION, null, msgs);
+      msgs = basicSetSpecification(newSpecification, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION, newSpecification, newSpecification));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION:
+        return basicSetSpecification(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION:
+        return getSpecification();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION:
+        setSpecification((ConfigSpecification)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION:
+        setSpecification((ConfigSpecification)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_DECLARATION__SPECIFICATION:
+        return specification != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ConfigDeclarationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java
new file mode 100644
index 00000000..3ab3d587
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java
@@ -0,0 +1,234 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigEntry;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Config Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ConfigEntryImpl#getKey <em>Key</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ConfigEntryImpl#getValue <em>Value</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ConfigEntryImpl extends MinimalEObjectImpl.Container implements ConfigEntry
+{
+  /**
+   * The default value of the '{@link #getKey() <em>Key</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getKey()
+   * @generated
+   * @ordered
+   */
+  protected static final String KEY_EDEFAULT = null;
+
+  /**
+   * The cached value of the '{@link #getKey() <em>Key</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getKey()
+   * @generated
+   * @ordered
+   */
+  protected String key = KEY_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #getValue() <em>Value</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getValue()
+   * @generated
+   * @ordered
+   */
+  protected static final String VALUE_EDEFAULT = null;
+
+  /**
+   * The cached value of the '{@link #getValue() <em>Value</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getValue()
+   * @generated
+   * @ordered
+   */
+  protected String value = VALUE_EDEFAULT;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ConfigEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.CONFIG_ENTRY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public String getKey()
+  {
+    return key;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setKey(String newKey)
+  {
+    String oldKey = key;
+    key = newKey;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CONFIG_ENTRY__KEY, oldKey, key));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public String getValue()
+  {
+    return value;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setValue(String newValue)
+  {
+    String oldValue = value;
+    value = newValue;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CONFIG_ENTRY__VALUE, oldValue, value));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__KEY:
+        return getKey();
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__VALUE:
+        return getValue();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__KEY:
+        setKey((String)newValue);
+        return;
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__VALUE:
+        setValue((String)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__KEY:
+        setKey(KEY_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__VALUE:
+        setValue(VALUE_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__KEY:
+        return KEY_EDEFAULT == null ? key != null : !KEY_EDEFAULT.equals(key);
+      case ApplicationConfigurationPackage.CONFIG_ENTRY__VALUE:
+        return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value);
+    }
+    return super.eIsSet(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+
+    StringBuffer result = new StringBuffer(super.toString());
+    result.append(" (key: ");
+    result.append(key);
+    result.append(", value: ");
+    result.append(value);
+    result.append(')');
+    return result.toString();
+  }
+
+} //ConfigEntryImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java
new file mode 100644
index 00000000..d05e968b
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Config</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class ConfigImpl extends MinimalEObjectImpl.Container implements Config
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ConfigImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.CONFIG;
+  }
+
+} //ConfigImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java
new file mode 100644
index 00000000..5051ccd6
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java
@@ -0,0 +1,173 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigReference;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Config Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ConfigReferenceImpl#getConfig <em>Config</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ConfigReferenceImpl extends ConfigImpl implements ConfigReference
+{
+  /**
+   * The cached value of the '{@link #getConfig() <em>Config</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getConfig()
+   * @generated
+   * @ordered
+   */
+  protected ConfigDeclaration config;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ConfigReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.CONFIG_REFERENCE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public ConfigDeclaration getConfig()
+  {
+    if (config != null && config.eIsProxy())
+    {
+      InternalEObject oldConfig = (InternalEObject)config;
+      config = (ConfigDeclaration)eResolveProxy(oldConfig);
+      if (config != oldConfig)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.CONFIG_REFERENCE__CONFIG, oldConfig, config));
+      }
+    }
+    return config;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public ConfigDeclaration basicGetConfig()
+  {
+    return config;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setConfig(ConfigDeclaration newConfig)
+  {
+    ConfigDeclaration oldConfig = config;
+    config = newConfig;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CONFIG_REFERENCE__CONFIG, oldConfig, config));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_REFERENCE__CONFIG:
+        if (resolve) return getConfig();
+        return basicGetConfig();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_REFERENCE__CONFIG:
+        setConfig((ConfigDeclaration)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_REFERENCE__CONFIG:
+        setConfig((ConfigDeclaration)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_REFERENCE__CONFIG:
+        return config != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ConfigReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java
new file mode 100644
index 00000000..6056d7a4
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java
@@ -0,0 +1,166 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpecification;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Config Specification</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ConfigSpecificationImpl#getEntries <em>Entries</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ConfigSpecificationImpl extends ConfigImpl implements ConfigSpecification
+{
+  /**
+   * The cached value of the '{@link #getEntries() <em>Entries</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getEntries()
+   * @generated
+   * @ordered
+   */
+  protected EList<ConfigEntry> entries;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ConfigSpecificationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.CONFIG_SPECIFICATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<ConfigEntry> getEntries()
+  {
+    if (entries == null)
+    {
+      entries = new EObjectContainmentEList<ConfigEntry>(ConfigEntry.class, this, ApplicationConfigurationPackage.CONFIG_SPECIFICATION__ENTRIES);
+    }
+    return entries;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_SPECIFICATION__ENTRIES:
+        return ((InternalEList<?>)getEntries()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_SPECIFICATION__ENTRIES:
+        return getEntries();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_SPECIFICATION__ENTRIES:
+        getEntries().clear();
+        getEntries().addAll((Collection<? extends ConfigEntry>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_SPECIFICATION__ENTRIES:
+        getEntries().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.CONFIG_SPECIFICATION__ENTRIES:
+        return entries != null && !entries.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ConfigSpecificationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java
new file mode 100644
index 00000000..6ad7f209
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileSpecification;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>File Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.FileDeclarationImpl#getSpecification <em>Specification</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class FileDeclarationImpl extends DeclarationImpl implements FileDeclaration
+{
+  /**
+   * The cached value of the '{@link #getSpecification() <em>Specification</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSpecification()
+   * @generated
+   * @ordered
+   */
+  protected FileSpecification specification;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected FileDeclarationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.FILE_DECLARATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public FileSpecification getSpecification()
+  {
+    return specification;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetSpecification(FileSpecification newSpecification, NotificationChain msgs)
+  {
+    FileSpecification oldSpecification = specification;
+    specification = newSpecification;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION, oldSpecification, newSpecification);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSpecification(FileSpecification newSpecification)
+  {
+    if (newSpecification != specification)
+    {
+      NotificationChain msgs = null;
+      if (specification != null)
+        msgs = ((InternalEObject)specification).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION, null, msgs);
+      if (newSpecification != null)
+        msgs = ((InternalEObject)newSpecification).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION, null, msgs);
+      msgs = basicSetSpecification(newSpecification, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION, newSpecification, newSpecification));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION:
+        return basicSetSpecification(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION:
+        return getSpecification();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION:
+        setSpecification((FileSpecification)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION:
+        setSpecification((FileSpecification)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_DECLARATION__SPECIFICATION:
+        return specification != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //FileDeclarationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java
new file mode 100644
index 00000000..c0972e97
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>File</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class FileImpl extends MinimalEObjectImpl.Container implements File
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected FileImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.FILE;
+  }
+
+} //FileImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java
new file mode 100644
index 00000000..a8382432
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java
@@ -0,0 +1,173 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileReference;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>File Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.FileReferenceImpl#getReferred <em>Referred</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class FileReferenceImpl extends FileImpl implements FileReference
+{
+  /**
+   * The cached value of the '{@link #getReferred() <em>Referred</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getReferred()
+   * @generated
+   * @ordered
+   */
+  protected FileDeclaration referred;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected FileReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.FILE_REFERENCE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public FileDeclaration getReferred()
+  {
+    if (referred != null && referred.eIsProxy())
+    {
+      InternalEObject oldReferred = (InternalEObject)referred;
+      referred = (FileDeclaration)eResolveProxy(oldReferred);
+      if (referred != oldReferred)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.FILE_REFERENCE__REFERRED, oldReferred, referred));
+      }
+    }
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public FileDeclaration basicGetReferred()
+  {
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setReferred(FileDeclaration newReferred)
+  {
+    FileDeclaration oldReferred = referred;
+    referred = newReferred;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.FILE_REFERENCE__REFERRED, oldReferred, referred));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_REFERENCE__REFERRED:
+        if (resolve) return getReferred();
+        return basicGetReferred();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_REFERENCE__REFERRED:
+        setReferred((FileDeclaration)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_REFERENCE__REFERRED:
+        setReferred((FileDeclaration)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_REFERENCE__REFERRED:
+        return referred != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //FileReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
new file mode 100644
index 00000000..25fb7994
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
@@ -0,0 +1,177 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileSpecification;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>File Specification</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.FileSpecificationImpl#getPath <em>Path</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class FileSpecificationImpl extends FileImpl implements FileSpecification
+{
+  /**
+   * The default value of the '{@link #getPath() <em>Path</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPath()
+   * @generated
+   * @ordered
+   */
+  protected static final String PATH_EDEFAULT = null;
+
+  /**
+   * The cached value of the '{@link #getPath() <em>Path</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPath()
+   * @generated
+   * @ordered
+   */
+  protected String path = PATH_EDEFAULT;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected FileSpecificationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.FILE_SPECIFICATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public String getPath()
+  {
+    return path;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setPath(String newPath)
+  {
+    String oldPath = path;
+    path = newPath;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.FILE_SPECIFICATION__PATH, oldPath, path));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_SPECIFICATION__PATH:
+        return getPath();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_SPECIFICATION__PATH:
+        setPath((String)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_SPECIFICATION__PATH:
+        setPath(PATH_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FILE_SPECIFICATION__PATH:
+        return PATH_EDEFAULT == null ? path != null : !PATH_EDEFAULT.equals(path);
+    }
+    return super.eIsSet(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+
+    StringBuffer result = new StringBuffer(super.toString());
+    result.append(" (path: ");
+    result.append(path);
+    result.append(')');
+    return result.toString();
+  }
+
+} //FileSpecificationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java
new file mode 100644
index 00000000..0d65b1b6
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java
@@ -0,0 +1,166 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FolderEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Folder Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.FolderEntryImpl#getExclusion <em>Exclusion</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class FolderEntryImpl extends PartialModelEntryImpl implements FolderEntry
+{
+  /**
+   * The cached value of the '{@link #getExclusion() <em>Exclusion</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getExclusion()
+   * @generated
+   * @ordered
+   */
+  protected EList<ModelEntry> exclusion;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected FolderEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.FOLDER_ENTRY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<ModelEntry> getExclusion()
+  {
+    if (exclusion == null)
+    {
+      exclusion = new EObjectContainmentEList<ModelEntry>(ModelEntry.class, this, ApplicationConfigurationPackage.FOLDER_ENTRY__EXCLUSION);
+    }
+    return exclusion;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FOLDER_ENTRY__EXCLUSION:
+        return ((InternalEList<?>)getExclusion()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FOLDER_ENTRY__EXCLUSION:
+        return getExclusion();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FOLDER_ENTRY__EXCLUSION:
+        getExclusion().clear();
+        getExclusion().addAll((Collection<? extends ModelEntry>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FOLDER_ENTRY__EXCLUSION:
+        getExclusion().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.FOLDER_ENTRY__EXCLUSION:
+        return exclusion != null && !exclusion.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //FolderEntryImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
new file mode 100644
index 00000000..a4c27c8d
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
@@ -0,0 +1,951 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPattern;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Generation Task</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getMetamodel <em>Metamodel</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPartialModel <em>Partial Model</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPatterns <em>Patterns</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getScope <em>Scope</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getNumber <em>Number</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getRuns <em>Runs</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getSolver <em>Solver</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getConfig <em>Config</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder <em>Taget Folder</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getDebugFolder <em>Debug Folder</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetLogFile <em>Target Log File</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetStatisticsFile <em>Target Statistics File</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class GenerationTaskImpl extends TaskImpl implements GenerationTask
+{
+  /**
+   * The cached value of the '{@link #getMetamodel() <em>Metamodel</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getMetamodel()
+   * @generated
+   * @ordered
+   */
+  protected Metamodel metamodel;
+
+  /**
+   * The cached value of the '{@link #getPartialModel() <em>Partial Model</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPartialModel()
+   * @generated
+   * @ordered
+   */
+  protected PartialModel partialModel;
+
+  /**
+   * The cached value of the '{@link #getPatterns() <em>Patterns</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPatterns()
+   * @generated
+   * @ordered
+   */
+  protected GraphPattern patterns;
+
+  /**
+   * The cached value of the '{@link #getScope() <em>Scope</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getScope()
+   * @generated
+   * @ordered
+   */
+  protected Scope scope;
+
+  /**
+   * The default value of the '{@link #getNumber() <em>Number</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getNumber()
+   * @generated
+   * @ordered
+   */
+  protected static final int NUMBER_EDEFAULT = 0;
+
+  /**
+   * The cached value of the '{@link #getNumber() <em>Number</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getNumber()
+   * @generated
+   * @ordered
+   */
+  protected int number = NUMBER_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #getRuns() <em>Runs</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getRuns()
+   * @generated
+   * @ordered
+   */
+  protected static final int RUNS_EDEFAULT = 0;
+
+  /**
+   * The cached value of the '{@link #getRuns() <em>Runs</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getRuns()
+   * @generated
+   * @ordered
+   */
+  protected int runs = RUNS_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #getSolver() <em>Solver</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSolver()
+   * @generated
+   * @ordered
+   */
+  protected static final Solver SOLVER_EDEFAULT = Solver.SMT_SOLVER;
+
+  /**
+   * The cached value of the '{@link #getSolver() <em>Solver</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSolver()
+   * @generated
+   * @ordered
+   */
+  protected Solver solver = SOLVER_EDEFAULT;
+
+  /**
+   * The cached value of the '{@link #getConfig() <em>Config</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getConfig()
+   * @generated
+   * @ordered
+   */
+  protected Config config;
+
+  /**
+   * The cached value of the '{@link #getTagetFolder() <em>Taget Folder</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTagetFolder()
+   * @generated
+   * @ordered
+   */
+  protected File tagetFolder;
+
+  /**
+   * The cached value of the '{@link #getDebugFolder() <em>Debug Folder</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getDebugFolder()
+   * @generated
+   * @ordered
+   */
+  protected File debugFolder;
+
+  /**
+   * The cached value of the '{@link #getTargetLogFile() <em>Target Log File</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTargetLogFile()
+   * @generated
+   * @ordered
+   */
+  protected File targetLogFile;
+
+  /**
+   * The cached value of the '{@link #getTargetStatisticsFile() <em>Target Statistics File</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTargetStatisticsFile()
+   * @generated
+   * @ordered
+   */
+  protected File targetStatisticsFile;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected GenerationTaskImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.GENERATION_TASK;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public Metamodel getMetamodel()
+  {
+    return metamodel;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetMetamodel(Metamodel newMetamodel, NotificationChain msgs)
+  {
+    Metamodel oldMetamodel = metamodel;
+    metamodel = newMetamodel;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL, oldMetamodel, newMetamodel);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setMetamodel(Metamodel newMetamodel)
+  {
+    if (newMetamodel != metamodel)
+    {
+      NotificationChain msgs = null;
+      if (metamodel != null)
+        msgs = ((InternalEObject)metamodel).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL, null, msgs);
+      if (newMetamodel != null)
+        msgs = ((InternalEObject)newMetamodel).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL, null, msgs);
+      msgs = basicSetMetamodel(newMetamodel, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL, newMetamodel, newMetamodel));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PartialModel getPartialModel()
+  {
+    return partialModel;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetPartialModel(PartialModel newPartialModel, NotificationChain msgs)
+  {
+    PartialModel oldPartialModel = partialModel;
+    partialModel = newPartialModel;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL, oldPartialModel, newPartialModel);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setPartialModel(PartialModel newPartialModel)
+  {
+    if (newPartialModel != partialModel)
+    {
+      NotificationChain msgs = null;
+      if (partialModel != null)
+        msgs = ((InternalEObject)partialModel).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL, null, msgs);
+      if (newPartialModel != null)
+        msgs = ((InternalEObject)newPartialModel).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL, null, msgs);
+      msgs = basicSetPartialModel(newPartialModel, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL, newPartialModel, newPartialModel));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public GraphPattern getPatterns()
+  {
+    return patterns;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetPatterns(GraphPattern newPatterns, NotificationChain msgs)
+  {
+    GraphPattern oldPatterns = patterns;
+    patterns = newPatterns;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS, oldPatterns, newPatterns);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setPatterns(GraphPattern newPatterns)
+  {
+    if (newPatterns != patterns)
+    {
+      NotificationChain msgs = null;
+      if (patterns != null)
+        msgs = ((InternalEObject)patterns).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS, null, msgs);
+      if (newPatterns != null)
+        msgs = ((InternalEObject)newPatterns).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS, null, msgs);
+      msgs = basicSetPatterns(newPatterns, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS, newPatterns, newPatterns));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public Scope getScope()
+  {
+    return scope;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetScope(Scope newScope, NotificationChain msgs)
+  {
+    Scope oldScope = scope;
+    scope = newScope;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__SCOPE, oldScope, newScope);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setScope(Scope newScope)
+  {
+    if (newScope != scope)
+    {
+      NotificationChain msgs = null;
+      if (scope != null)
+        msgs = ((InternalEObject)scope).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__SCOPE, null, msgs);
+      if (newScope != null)
+        msgs = ((InternalEObject)newScope).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__SCOPE, null, msgs);
+      msgs = basicSetScope(newScope, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__SCOPE, newScope, newScope));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public int getNumber()
+  {
+    return number;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setNumber(int newNumber)
+  {
+    int oldNumber = number;
+    number = newNumber;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__NUMBER, oldNumber, number));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public int getRuns()
+  {
+    return runs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setRuns(int newRuns)
+  {
+    int oldRuns = runs;
+    runs = newRuns;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__RUNS, oldRuns, runs));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public Solver getSolver()
+  {
+    return solver;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSolver(Solver newSolver)
+  {
+    Solver oldSolver = solver;
+    solver = newSolver == null ? SOLVER_EDEFAULT : newSolver;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__SOLVER, oldSolver, solver));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public Config getConfig()
+  {
+    return config;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetConfig(Config newConfig, NotificationChain msgs)
+  {
+    Config oldConfig = config;
+    config = newConfig;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__CONFIG, oldConfig, newConfig);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setConfig(Config newConfig)
+  {
+    if (newConfig != config)
+    {
+      NotificationChain msgs = null;
+      if (config != null)
+        msgs = ((InternalEObject)config).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__CONFIG, null, msgs);
+      if (newConfig != null)
+        msgs = ((InternalEObject)newConfig).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__CONFIG, null, msgs);
+      msgs = basicSetConfig(newConfig, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__CONFIG, newConfig, newConfig));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public File getTagetFolder()
+  {
+    return tagetFolder;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs)
+  {
+    File oldTagetFolder = tagetFolder;
+    tagetFolder = newTagetFolder;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setTagetFolder(File newTagetFolder)
+  {
+    if (newTagetFolder != tagetFolder)
+    {
+      NotificationChain msgs = null;
+      if (tagetFolder != null)
+        msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);
+      if (newTagetFolder != null)
+        msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);
+      msgs = basicSetTagetFolder(newTagetFolder, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public File getDebugFolder()
+  {
+    return debugFolder;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetDebugFolder(File newDebugFolder, NotificationChain msgs)
+  {
+    File oldDebugFolder = debugFolder;
+    debugFolder = newDebugFolder;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER, oldDebugFolder, newDebugFolder);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setDebugFolder(File newDebugFolder)
+  {
+    if (newDebugFolder != debugFolder)
+    {
+      NotificationChain msgs = null;
+      if (debugFolder != null)
+        msgs = ((InternalEObject)debugFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER, null, msgs);
+      if (newDebugFolder != null)
+        msgs = ((InternalEObject)newDebugFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER, null, msgs);
+      msgs = basicSetDebugFolder(newDebugFolder, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER, newDebugFolder, newDebugFolder));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public File getTargetLogFile()
+  {
+    return targetLogFile;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetTargetLogFile(File newTargetLogFile, NotificationChain msgs)
+  {
+    File oldTargetLogFile = targetLogFile;
+    targetLogFile = newTargetLogFile;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE, oldTargetLogFile, newTargetLogFile);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setTargetLogFile(File newTargetLogFile)
+  {
+    if (newTargetLogFile != targetLogFile)
+    {
+      NotificationChain msgs = null;
+      if (targetLogFile != null)
+        msgs = ((InternalEObject)targetLogFile).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE, null, msgs);
+      if (newTargetLogFile != null)
+        msgs = ((InternalEObject)newTargetLogFile).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE, null, msgs);
+      msgs = basicSetTargetLogFile(newTargetLogFile, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE, newTargetLogFile, newTargetLogFile));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public File getTargetStatisticsFile()
+  {
+    return targetStatisticsFile;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetTargetStatisticsFile(File newTargetStatisticsFile, NotificationChain msgs)
+  {
+    File oldTargetStatisticsFile = targetStatisticsFile;
+    targetStatisticsFile = newTargetStatisticsFile;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE, oldTargetStatisticsFile, newTargetStatisticsFile);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setTargetStatisticsFile(File newTargetStatisticsFile)
+  {
+    if (newTargetStatisticsFile != targetStatisticsFile)
+    {
+      NotificationChain msgs = null;
+      if (targetStatisticsFile != null)
+        msgs = ((InternalEObject)targetStatisticsFile).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE, null, msgs);
+      if (newTargetStatisticsFile != null)
+        msgs = ((InternalEObject)newTargetStatisticsFile).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE, null, msgs);
+      msgs = basicSetTargetStatisticsFile(newTargetStatisticsFile, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE, newTargetStatisticsFile, newTargetStatisticsFile));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL:
+        return basicSetMetamodel(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL:
+        return basicSetPartialModel(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS:
+        return basicSetPatterns(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
+        return basicSetScope(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
+        return basicSetConfig(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+        return basicSetTagetFolder(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
+        return basicSetDebugFolder(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
+        return basicSetTargetLogFile(null, msgs);
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
+        return basicSetTargetStatisticsFile(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL:
+        return getMetamodel();
+      case ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL:
+        return getPartialModel();
+      case ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS:
+        return getPatterns();
+      case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
+        return getScope();
+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
+        return getNumber();
+      case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
+        return getRuns();
+      case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:
+        return getSolver();
+      case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
+        return getConfig();
+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+        return getTagetFolder();
+      case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
+        return getDebugFolder();
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
+        return getTargetLogFile();
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
+        return getTargetStatisticsFile();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL:
+        setMetamodel((Metamodel)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL:
+        setPartialModel((PartialModel)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS:
+        setPatterns((GraphPattern)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
+        setScope((Scope)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
+        setNumber((Integer)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
+        setRuns((Integer)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:
+        setSolver((Solver)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
+        setConfig((Config)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+        setTagetFolder((File)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
+        setDebugFolder((File)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
+        setTargetLogFile((File)newValue);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
+        setTargetStatisticsFile((File)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL:
+        setMetamodel((Metamodel)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL:
+        setPartialModel((PartialModel)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS:
+        setPatterns((GraphPattern)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
+        setScope((Scope)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
+        setNumber(NUMBER_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
+        setRuns(RUNS_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:
+        setSolver(SOLVER_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
+        setConfig((Config)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+        setTagetFolder((File)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
+        setDebugFolder((File)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
+        setTargetLogFile((File)null);
+        return;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
+        setTargetStatisticsFile((File)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GENERATION_TASK__METAMODEL:
+        return metamodel != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__PARTIAL_MODEL:
+        return partialModel != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__PATTERNS:
+        return patterns != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
+        return scope != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
+        return number != NUMBER_EDEFAULT;
+      case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
+        return runs != RUNS_EDEFAULT;
+      case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:
+        return solver != SOLVER_EDEFAULT;
+      case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
+        return config != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+        return tagetFolder != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
+        return debugFolder != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
+        return targetLogFile != null;
+      case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
+        return targetStatisticsFile != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+
+    StringBuffer result = new StringBuffer(super.toString());
+    result.append(" (number: ");
+    result.append(number);
+    result.append(", runs: ");
+    result.append(runs);
+    result.append(", solver: ");
+    result.append(solver);
+    result.append(')');
+    return result.toString();
+  }
+
+} //GenerationTaskImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java
new file mode 100644
index 00000000..f9028b90
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Graph Pattern Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GraphPatternDeclarationImpl#getSpecification <em>Specification</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class GraphPatternDeclarationImpl extends DeclarationImpl implements GraphPatternDeclaration
+{
+  /**
+   * The cached value of the '{@link #getSpecification() <em>Specification</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSpecification()
+   * @generated
+   * @ordered
+   */
+  protected PatternSpecification specification;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected GraphPatternDeclarationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.GRAPH_PATTERN_DECLARATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PatternSpecification getSpecification()
+  {
+    return specification;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetSpecification(PatternSpecification newSpecification, NotificationChain msgs)
+  {
+    PatternSpecification oldSpecification = specification;
+    specification = newSpecification;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION, oldSpecification, newSpecification);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSpecification(PatternSpecification newSpecification)
+  {
+    if (newSpecification != specification)
+    {
+      NotificationChain msgs = null;
+      if (specification != null)
+        msgs = ((InternalEObject)specification).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION, null, msgs);
+      if (newSpecification != null)
+        msgs = ((InternalEObject)newSpecification).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION, null, msgs);
+      msgs = basicSetSpecification(newSpecification, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION, newSpecification, newSpecification));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION:
+        return basicSetSpecification(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION:
+        return getSpecification();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION:
+        setSpecification((PatternSpecification)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION:
+        setSpecification((PatternSpecification)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_DECLARATION__SPECIFICATION:
+        return specification != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //GraphPatternDeclarationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java
new file mode 100644
index 00000000..c16c760e
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPattern;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Graph Pattern</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class GraphPatternImpl extends MinimalEObjectImpl.Container implements GraphPattern
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected GraphPatternImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.GRAPH_PATTERN;
+  }
+
+} //GraphPatternImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java
new file mode 100644
index 00000000..3f3e69d3
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java
@@ -0,0 +1,173 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternReference;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Graph Pattern Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GraphPatternReferenceImpl#getReferred <em>Referred</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class GraphPatternReferenceImpl extends GraphPatternImpl implements GraphPatternReference
+{
+  /**
+   * The cached value of the '{@link #getReferred() <em>Referred</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getReferred()
+   * @generated
+   * @ordered
+   */
+  protected GraphPatternDeclaration referred;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected GraphPatternReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.GRAPH_PATTERN_REFERENCE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public GraphPatternDeclaration getReferred()
+  {
+    if (referred != null && referred.eIsProxy())
+    {
+      InternalEObject oldReferred = (InternalEObject)referred;
+      referred = (GraphPatternDeclaration)eResolveProxy(oldReferred);
+      if (referred != oldReferred)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.GRAPH_PATTERN_REFERENCE__REFERRED, oldReferred, referred));
+      }
+    }
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public GraphPatternDeclaration basicGetReferred()
+  {
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setReferred(GraphPatternDeclaration newReferred)
+  {
+    GraphPatternDeclaration oldReferred = referred;
+    referred = newReferred;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GRAPH_PATTERN_REFERENCE__REFERRED, oldReferred, referred));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_REFERENCE__REFERRED:
+        if (resolve) return getReferred();
+        return basicGetReferred();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_REFERENCE__REFERRED:
+        setReferred((GraphPatternDeclaration)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_REFERENCE__REFERRED:
+        setReferred((GraphPatternDeclaration)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.GRAPH_PATTERN_REFERENCE__REFERRED:
+        return referred != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //GraphPatternReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java
new file mode 100644
index 00000000..679a427e
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Integer Reference</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class IntegerReferenceImpl extends TypeReferenceImpl implements IntegerReference
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected IntegerReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.INTEGER_REFERENCE;
+  }
+
+} //IntegerReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java
new file mode 100644
index 00000000..18682765
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Integer Scope</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class IntegerScopeImpl extends IntegerReferenceImpl implements IntegerScope
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected IntegerScopeImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.INTEGER_SCOPE;
+  }
+
+} //IntegerScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java
new file mode 100644
index 00000000..4a513df4
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Model Entry</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class ModelEntryImpl extends PartialModelEntryImpl implements ModelEntry
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ModelEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.MODEL_ENTRY;
+  }
+
+} //ModelEntryImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java
new file mode 100644
index 00000000..f3c82772
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Object Reference</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class ObjectReferenceImpl extends TypeReferenceImpl implements ObjectReference
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ObjectReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.OBJECT_REFERENCE;
+  }
+
+} //ObjectReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java
new file mode 100644
index 00000000..237f3f5d
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Partial Model Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PartialModelDeclarationImpl#getSpecification <em>Specification</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PartialModelDeclarationImpl extends DeclarationImpl implements PartialModelDeclaration
+{
+  /**
+   * The cached value of the '{@link #getSpecification() <em>Specification</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSpecification()
+   * @generated
+   * @ordered
+   */
+  protected PartialModelSpecification specification;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PartialModelDeclarationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PARTIAL_MODEL_DECLARATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PartialModelSpecification getSpecification()
+  {
+    return specification;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetSpecification(PartialModelSpecification newSpecification, NotificationChain msgs)
+  {
+    PartialModelSpecification oldSpecification = specification;
+    specification = newSpecification;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION, oldSpecification, newSpecification);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSpecification(PartialModelSpecification newSpecification)
+  {
+    if (newSpecification != specification)
+    {
+      NotificationChain msgs = null;
+      if (specification != null)
+        msgs = ((InternalEObject)specification).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION, null, msgs);
+      if (newSpecification != null)
+        msgs = ((InternalEObject)newSpecification).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION, null, msgs);
+      msgs = basicSetSpecification(newSpecification, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION, newSpecification, newSpecification));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION:
+        return basicSetSpecification(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION:
+        return getSpecification();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION:
+        setSpecification((PartialModelSpecification)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION:
+        setSpecification((PartialModelSpecification)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_DECLARATION__SPECIFICATION:
+        return specification != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PartialModelDeclarationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java
new file mode 100644
index 00000000..c8932cf6
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java
@@ -0,0 +1,195 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Partial Model Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PartialModelEntryImpl#getPath <em>Path</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PartialModelEntryImpl extends MinimalEObjectImpl.Container implements PartialModelEntry
+{
+  /**
+   * The cached value of the '{@link #getPath() <em>Path</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPath()
+   * @generated
+   * @ordered
+   */
+  protected File path;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PartialModelEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PARTIAL_MODEL_ENTRY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public File getPath()
+  {
+    return path;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetPath(File newPath, NotificationChain msgs)
+  {
+    File oldPath = path;
+    path = newPath;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH, oldPath, newPath);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setPath(File newPath)
+  {
+    if (newPath != path)
+    {
+      NotificationChain msgs = null;
+      if (path != null)
+        msgs = ((InternalEObject)path).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH, null, msgs);
+      if (newPath != null)
+        msgs = ((InternalEObject)newPath).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH, null, msgs);
+      msgs = basicSetPath(newPath, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH, newPath, newPath));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH:
+        return basicSetPath(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH:
+        return getPath();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH:
+        setPath((File)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH:
+        setPath((File)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_ENTRY__PATH:
+        return path != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PartialModelEntryImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java
new file mode 100644
index 00000000..07fb5f92
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Partial Model</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class PartialModelImpl extends MinimalEObjectImpl.Container implements PartialModel
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PartialModelImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PARTIAL_MODEL;
+  }
+
+} //PartialModelImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java
new file mode 100644
index 00000000..36398a23
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java
@@ -0,0 +1,173 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelReference;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Partial Model Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PartialModelReferenceImpl#getReferred <em>Referred</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PartialModelReferenceImpl extends PartialModelImpl implements PartialModelReference
+{
+  /**
+   * The cached value of the '{@link #getReferred() <em>Referred</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getReferred()
+   * @generated
+   * @ordered
+   */
+  protected PartialModelDeclaration referred;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PartialModelReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PARTIAL_MODEL_REFERENCE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PartialModelDeclaration getReferred()
+  {
+    if (referred != null && referred.eIsProxy())
+    {
+      InternalEObject oldReferred = (InternalEObject)referred;
+      referred = (PartialModelDeclaration)eResolveProxy(oldReferred);
+      if (referred != oldReferred)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.PARTIAL_MODEL_REFERENCE__REFERRED, oldReferred, referred));
+      }
+    }
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PartialModelDeclaration basicGetReferred()
+  {
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setReferred(PartialModelDeclaration newReferred)
+  {
+    PartialModelDeclaration oldReferred = referred;
+    referred = newReferred;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PARTIAL_MODEL_REFERENCE__REFERRED, oldReferred, referred));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_REFERENCE__REFERRED:
+        if (resolve) return getReferred();
+        return basicGetReferred();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_REFERENCE__REFERRED:
+        setReferred((PartialModelDeclaration)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_REFERENCE__REFERRED:
+        setReferred((PartialModelDeclaration)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_REFERENCE__REFERRED:
+        return referred != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PartialModelReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java
new file mode 100644
index 00000000..adc3f715
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java
@@ -0,0 +1,166 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Partial Model Specification</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PartialModelSpecificationImpl#getEntry <em>Entry</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PartialModelSpecificationImpl extends PartialModelImpl implements PartialModelSpecification
+{
+  /**
+   * The cached value of the '{@link #getEntry() <em>Entry</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getEntry()
+   * @generated
+   * @ordered
+   */
+  protected EList<PartialModelEntry> entry;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PartialModelSpecificationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PARTIAL_MODEL_SPECIFICATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<PartialModelEntry> getEntry()
+  {
+    if (entry == null)
+    {
+      entry = new EObjectContainmentEList<PartialModelEntry>(PartialModelEntry.class, this, ApplicationConfigurationPackage.PARTIAL_MODEL_SPECIFICATION__ENTRY);
+    }
+    return entry;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_SPECIFICATION__ENTRY:
+        return ((InternalEList<?>)getEntry()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_SPECIFICATION__ENTRY:
+        return getEntry();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_SPECIFICATION__ENTRY:
+        getEntry().clear();
+        getEntry().addAll((Collection<? extends PartialModelEntry>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_SPECIFICATION__ENTRY:
+        getEntry().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PARTIAL_MODEL_SPECIFICATION__ENTRY:
+        return entry != null && !entry.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PartialModelSpecificationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java
new file mode 100644
index 00000000..d2b9df58
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java
@@ -0,0 +1,174 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+import org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Pattern Element</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PatternElementImpl#getPattern <em>Pattern</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PatternElementImpl extends PatternEntryImpl implements PatternElement
+{
+  /**
+   * The cached value of the '{@link #getPattern() <em>Pattern</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPattern()
+   * @generated
+   * @ordered
+   */
+  protected Pattern pattern;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PatternElementImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PATTERN_ELEMENT;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public Pattern getPattern()
+  {
+    if (pattern != null && pattern.eIsProxy())
+    {
+      InternalEObject oldPattern = (InternalEObject)pattern;
+      pattern = (Pattern)eResolveProxy(oldPattern);
+      if (pattern != oldPattern)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.PATTERN_ELEMENT__PATTERN, oldPattern, pattern));
+      }
+    }
+    return pattern;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public Pattern basicGetPattern()
+  {
+    return pattern;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setPattern(Pattern newPattern)
+  {
+    Pattern oldPattern = pattern;
+    pattern = newPattern;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PATTERN_ELEMENT__PATTERN, oldPattern, pattern));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ELEMENT__PATTERN:
+        if (resolve) return getPattern();
+        return basicGetPattern();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ELEMENT__PATTERN:
+        setPattern((Pattern)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ELEMENT__PATTERN:
+        setPattern((Pattern)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ELEMENT__PATTERN:
+        return pattern != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PatternElementImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
new file mode 100644
index 00000000..27903c3b
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
@@ -0,0 +1,175 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.viatra.query.patternlanguage.patternLanguage.PatternModel;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Pattern Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PatternEntryImpl#getPackage <em>Package</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PatternEntryImpl extends MinimalEObjectImpl.Container implements PatternEntry
+{
+  /**
+   * The cached value of the '{@link #getPackage() <em>Package</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPackage()
+   * @generated
+   * @ordered
+   */
+  protected PatternModel package_;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PatternEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PATTERN_ENTRY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PatternModel getPackage()
+  {
+    if (package_ != null && package_.eIsProxy())
+    {
+      InternalEObject oldPackage = (InternalEObject)package_;
+      package_ = (PatternModel)eResolveProxy(oldPackage);
+      if (package_ != oldPackage)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE, oldPackage, package_));
+      }
+    }
+    return package_;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PatternModel basicGetPackage()
+  {
+    return package_;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setPackage(PatternModel newPackage)
+  {
+    PatternModel oldPackage = package_;
+    package_ = newPackage;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE, oldPackage, package_));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        if (resolve) return getPackage();
+        return basicGetPackage();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        setPackage((PatternModel)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        setPackage((PatternModel)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        return package_ != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PatternEntryImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java
new file mode 100644
index 00000000..055c9beb
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java
@@ -0,0 +1,166 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Pattern Specification</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PatternSpecificationImpl#getEntries <em>Entries</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PatternSpecificationImpl extends GraphPatternImpl implements PatternSpecification
+{
+  /**
+   * The cached value of the '{@link #getEntries() <em>Entries</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getEntries()
+   * @generated
+   * @ordered
+   */
+  protected EList<PatternEntry> entries;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PatternSpecificationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PATTERN_SPECIFICATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<PatternEntry> getEntries()
+  {
+    if (entries == null)
+    {
+      entries = new EObjectContainmentEList<PatternEntry>(PatternEntry.class, this, ApplicationConfigurationPackage.PATTERN_SPECIFICATION__ENTRIES);
+    }
+    return entries;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_SPECIFICATION__ENTRIES:
+        return ((InternalEList<?>)getEntries()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_SPECIFICATION__ENTRIES:
+        return getEntries();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_SPECIFICATION__ENTRIES:
+        getEntries().clear();
+        getEntries().addAll((Collection<? extends PatternEntry>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_SPECIFICATION__ENTRIES:
+        getEntries().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_SPECIFICATION__ENTRIES:
+        return entries != null && !entries.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PatternSpecificationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java
new file mode 100644
index 00000000..13966640
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Real Reference</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class RealReferenceImpl extends TypeReferenceImpl implements RealReference
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected RealReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.REAL_REFERENCE;
+  }
+
+} //RealReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java
new file mode 100644
index 00000000..c00b711a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Real Scope</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class RealScopeImpl extends RealReferenceImpl implements RealScope
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected RealScopeImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.REAL_SCOPE;
+  }
+
+} //RealScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java
new file mode 100644
index 00000000..3ec2bf39
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Scope Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl#getSpecification <em>Specification</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ScopeDeclarationImpl extends DeclarationImpl implements ScopeDeclaration
+{
+  /**
+   * The cached value of the '{@link #getSpecification() <em>Specification</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getSpecification()
+   * @generated
+   * @ordered
+   */
+  protected ScopeSpecification specification;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ScopeDeclarationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.SCOPE_DECLARATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public ScopeSpecification getSpecification()
+  {
+    return specification;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetSpecification(ScopeSpecification newSpecification, NotificationChain msgs)
+  {
+    ScopeSpecification oldSpecification = specification;
+    specification = newSpecification;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION, oldSpecification, newSpecification);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSpecification(ScopeSpecification newSpecification)
+  {
+    if (newSpecification != specification)
+    {
+      NotificationChain msgs = null;
+      if (specification != null)
+        msgs = ((InternalEObject)specification).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION, null, msgs);
+      if (newSpecification != null)
+        msgs = ((InternalEObject)newSpecification).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION, null, msgs);
+      msgs = basicSetSpecification(newSpecification, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION, newSpecification, newSpecification));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION:
+        return basicSetSpecification(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION:
+        return getSpecification();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION:
+        setSpecification((ScopeSpecification)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION:
+        setSpecification((ScopeSpecification)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_DECLARATION__SPECIFICATION:
+        return specification != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ScopeDeclarationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java
new file mode 100644
index 00000000..3187f7f0
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Scope</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ScopeImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.SCOPE;
+  }
+
+} //ScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java
new file mode 100644
index 00000000..3f516183
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java
@@ -0,0 +1,173 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeReference;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Scope Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeReferenceImpl#getReferred <em>Referred</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ScopeReferenceImpl extends ScopeImpl implements ScopeReference
+{
+  /**
+   * The cached value of the '{@link #getReferred() <em>Referred</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getReferred()
+   * @generated
+   * @ordered
+   */
+  protected ScopeDeclaration referred;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ScopeReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.SCOPE_REFERENCE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public ScopeDeclaration getReferred()
+  {
+    if (referred != null && referred.eIsProxy())
+    {
+      InternalEObject oldReferred = (InternalEObject)referred;
+      referred = (ScopeDeclaration)eResolveProxy(oldReferred);
+      if (referred != oldReferred)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.SCOPE_REFERENCE__REFERRED, oldReferred, referred));
+      }
+    }
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public ScopeDeclaration basicGetReferred()
+  {
+    return referred;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setReferred(ScopeDeclaration newReferred)
+  {
+    ScopeDeclaration oldReferred = referred;
+    referred = newReferred;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.SCOPE_REFERENCE__REFERRED, oldReferred, referred));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_REFERENCE__REFERRED:
+        if (resolve) return getReferred();
+        return basicGetReferred();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_REFERENCE__REFERRED:
+        setReferred((ScopeDeclaration)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_REFERENCE__REFERRED:
+        setReferred((ScopeDeclaration)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_REFERENCE__REFERRED:
+        return referred != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ScopeReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java
new file mode 100644
index 00000000..a36883ad
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java
@@ -0,0 +1,166 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Scope Specification</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeSpecificationImpl#getScopes <em>Scopes</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ScopeSpecificationImpl extends ScopeImpl implements ScopeSpecification
+{
+  /**
+   * The cached value of the '{@link #getScopes() <em>Scopes</em>}' containment reference list.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getScopes()
+   * @generated
+   * @ordered
+   */
+  protected EList<TypeScope> scopes;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ScopeSpecificationImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.SCOPE_SPECIFICATION;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public EList<TypeScope> getScopes()
+  {
+    if (scopes == null)
+    {
+      scopes = new EObjectContainmentEList<TypeScope>(TypeScope.class, this, ApplicationConfigurationPackage.SCOPE_SPECIFICATION__SCOPES);
+    }
+    return scopes;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_SPECIFICATION__SCOPES:
+        return ((InternalEList<?>)getScopes()).basicRemove(otherEnd, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_SPECIFICATION__SCOPES:
+        return getScopes();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @SuppressWarnings("unchecked")
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_SPECIFICATION__SCOPES:
+        getScopes().clear();
+        getScopes().addAll((Collection<? extends TypeScope>)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_SPECIFICATION__SCOPES:
+        getScopes().clear();
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.SCOPE_SPECIFICATION__SCOPES:
+        return scopes != null && !scopes.isEmpty();
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //ScopeSpecificationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java
new file mode 100644
index 00000000..a6206202
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>String Reference</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class StringReferenceImpl extends TypeReferenceImpl implements StringReference
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected StringReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.STRING_REFERENCE;
+  }
+
+} //StringReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java
new file mode 100644
index 00000000..dd4e679c
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringScope;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>String Scope</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class StringScopeImpl extends StringReferenceImpl implements StringScope
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected StringScopeImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.STRING_SCOPE;
+  }
+
+} //StringScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java
new file mode 100644
index 00000000..bef54421
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Task</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class TaskImpl extends CommandImpl implements Task
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected TaskImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.TASK;
+  }
+
+} //TaskImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java
new file mode 100644
index 00000000..f969a0a7
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Type Reference</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class TypeReferenceImpl extends MinimalEObjectImpl.Container implements TypeReference
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected TypeReferenceImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.TYPE_REFERENCE;
+  }
+
+} //TypeReferenceImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
new file mode 100644
index 00000000..0cc0e0bf
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
@@ -0,0 +1,490 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Type Scope</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getType <em>Type</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsNew <em>Sets New</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsSum <em>Sets Sum</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMin <em>Min</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isMaxUnlimited <em>Max Unlimited</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMax <em>Max</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeScope
+{
+  /**
+   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getType()
+   * @generated
+   * @ordered
+   */
+  protected TypeReference type;
+
+  /**
+   * The default value of the '{@link #isSetsNew() <em>Sets New</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #isSetsNew()
+   * @generated
+   * @ordered
+   */
+  protected static final boolean SETS_NEW_EDEFAULT = false;
+
+  /**
+   * The cached value of the '{@link #isSetsNew() <em>Sets New</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #isSetsNew()
+   * @generated
+   * @ordered
+   */
+  protected boolean setsNew = SETS_NEW_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #isSetsSum() <em>Sets Sum</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #isSetsSum()
+   * @generated
+   * @ordered
+   */
+  protected static final boolean SETS_SUM_EDEFAULT = false;
+
+  /**
+   * The cached value of the '{@link #isSetsSum() <em>Sets Sum</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #isSetsSum()
+   * @generated
+   * @ordered
+   */
+  protected boolean setsSum = SETS_SUM_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #getMin() <em>Min</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getMin()
+   * @generated
+   * @ordered
+   */
+  protected static final int MIN_EDEFAULT = 0;
+
+  /**
+   * The cached value of the '{@link #getMin() <em>Min</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getMin()
+   * @generated
+   * @ordered
+   */
+  protected int min = MIN_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #isMaxUnlimited()
+   * @generated
+   * @ordered
+   */
+  protected static final boolean MAX_UNLIMITED_EDEFAULT = false;
+
+  /**
+   * The cached value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #isMaxUnlimited()
+   * @generated
+   * @ordered
+   */
+  protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT;
+
+  /**
+   * The default value of the '{@link #getMax() <em>Max</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getMax()
+   * @generated
+   * @ordered
+   */
+  protected static final int MAX_EDEFAULT = 0;
+
+  /**
+   * The cached value of the '{@link #getMax() <em>Max</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getMax()
+   * @generated
+   * @ordered
+   */
+  protected int max = MAX_EDEFAULT;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected TypeScopeImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.TYPE_SCOPE;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public TypeReference getType()
+  {
+    return type;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetType(TypeReference newType, NotificationChain msgs)
+  {
+    TypeReference oldType = type;
+    type = newType;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, oldType, newType);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setType(TypeReference newType)
+  {
+    if (newType != type)
+    {
+      NotificationChain msgs = null;
+      if (type != null)
+        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs);
+      if (newType != null)
+        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs);
+      msgs = basicSetType(newType, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, newType, newType));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public boolean isSetsNew()
+  {
+    return setsNew;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSetsNew(boolean newSetsNew)
+  {
+    boolean oldSetsNew = setsNew;
+    setsNew = newSetsNew;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW, oldSetsNew, setsNew));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public boolean isSetsSum()
+  {
+    return setsSum;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setSetsSum(boolean newSetsSum)
+  {
+    boolean oldSetsSum = setsSum;
+    setsSum = newSetsSum;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM, oldSetsSum, setsSum));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public int getMin()
+  {
+    return min;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setMin(int newMin)
+  {
+    int oldMin = min;
+    min = newMin;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MIN, oldMin, min));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public boolean isMaxUnlimited()
+  {
+    return maxUnlimited;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setMaxUnlimited(boolean newMaxUnlimited)
+  {
+    boolean oldMaxUnlimited = maxUnlimited;
+    maxUnlimited = newMaxUnlimited;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public int getMax()
+  {
+    return max;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setMax(int newMax)
+  {
+    int oldMax = max;
+    max = newMax;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX, oldMax, max));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
+        return basicSetType(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
+        return getType();
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
+        return isSetsNew();
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
+        return isSetsSum();
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
+        return getMin();
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
+        return isMaxUnlimited();
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
+        return getMax();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
+        setType((TypeReference)newValue);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
+        setSetsNew((Boolean)newValue);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
+        setSetsSum((Boolean)newValue);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
+        setMin((Integer)newValue);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
+        setMaxUnlimited((Boolean)newValue);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
+        setMax((Integer)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
+        setType((TypeReference)null);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
+        setSetsNew(SETS_NEW_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
+        setSetsSum(SETS_SUM_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
+        setMin(MIN_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
+        setMaxUnlimited(MAX_UNLIMITED_EDEFAULT);
+        return;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
+        setMax(MAX_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
+        return type != null;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
+        return setsNew != SETS_NEW_EDEFAULT;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
+        return setsSum != SETS_SUM_EDEFAULT;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
+        return min != MIN_EDEFAULT;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
+        return maxUnlimited != MAX_UNLIMITED_EDEFAULT;
+      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
+        return max != MAX_EDEFAULT;
+    }
+    return super.eIsSet(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+
+    StringBuffer result = new StringBuffer(super.toString());
+    result.append(" (setsNew: ");
+    result.append(setsNew);
+    result.append(", setsSum: ");
+    result.append(setsSum);
+    result.append(", min: ");
+    result.append(min);
+    result.append(", maxUnlimited: ");
+    result.append(maxUnlimited);
+    result.append(", max: ");
+    result.append(max);
+    result.append(')');
+    return result.toString();
+  }
+
+} //TypeScopeImpl
-- 
cgit v1.2.3-54-g00ecf