Scoping and linking of Viatra Packages and Patterns is completed

2 files changed, 248 insertions, 4 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
index cd6ed927..90093cf2 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
@@ -9,7 +9,6 @@
         eType="#//Command" containment="true"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="Command"/>

-  <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"/>

   <eClassifiers xsi:type="ecore:EClass" name="Import"/>

   <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import">

     <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/>

@@ -17,6 +16,20 @@
   <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import">

     <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//PatternModel"/>

   </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="File"/>

   <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel">

     <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"

         eType="#//MetamodelEntry" containment="true"/>

@@ -33,7 +46,6 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration">

-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>

     <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification"

         containment="true"/>

   </eClassifiers>

@@ -41,4 +53,125 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/>

+  <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1"

+        eType="#//PartialModelEntry" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/>

+  <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1"

+        eType="#//ModelEntry" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/>

+  <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"

+        eType="#//PatternEntry" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="PatternEntry">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//PatternModel"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1"

+        eType="#//PatternElement" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//Pattern"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/>

+  <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1"

+        eType="#//ConfigEntry" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Config"/>

+  <eClassifiers xsi:type="ecore:EEnum" name="Solver">

+    <eLiterals name="SMTSolver" literal="SMTSolver"/>

+    <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/>

+    <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"

+        eType="#//TypeScope" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="TypeScope">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="greather" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="greaterOrEqual" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeReference"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="less" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="lessOrEqual" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="max" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Scope"/>

+  <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/>

+  <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File"

+        containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File"

+        containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/>

+  <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/>

 </ecore:EPackage>

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
index add67f1e..7c488ef0 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
@@ -6,12 +6,16 @@
     complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.12" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.genmodel#//patternLanguage">

   <genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application"

       disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/">

+    <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//Solver">

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/>

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/>

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/ViatraSolver"/>

+    </genEnums>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigurationScript">

       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/imports"/>

       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/commands"/>

     </genClasses>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//Command"/>

-    <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration"/>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//Import"/>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//EPackageImport">

       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//EPackageImport/importedPackage"/>

@@ -19,6 +23,19 @@
     <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport">

       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/>

     </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration">

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//Declaration/name"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileSpecification">

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//FileSpecification/path"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileDeclaration">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileDeclaration/specification"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileReference">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileReference/referred"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//File"/>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelSpecification">

       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelSpecification/entries"/>

     </genClasses>

@@ -33,12 +50,106 @@
       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/feature"/>

     </genClasses>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelDeclaration">

-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//MetamodelDeclaration/name"/>

       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelDeclaration/specification"/>

     </genClasses>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelReference">

       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelReference/referred"/>

     </genClasses>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//Metamodel"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelSpecification">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelSpecification/entry"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelEntry">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelEntry/path"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ModelEntry"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//FolderEntry">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FolderEntry/exclusion"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelDeclaration">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelDeclaration/specification"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelReference">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelReference/referred"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModel"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternSpecification">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternSpecification/entries"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternEntry">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternEntry/package"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//AllPatternEntry">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//AllPatternEntry/exclusuion"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternElement">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternElement/pattern"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternDeclaration">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternDeclaration/specification"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternReference">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternReference/referred"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPattern"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigSpecification">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigSpecification/entries"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigDeclaration">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigDeclaration/specification"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry">

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/key"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/value"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigReference">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigReference/config"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//Config"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeSpecification">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeSpecification/scopes"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeScope">

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/min"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/greather"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/greaterOrEqual"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//TypeScope/type"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/less"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/lessOrEqual"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/max"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeReference"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ClassReference">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ClassReference/element"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectReference"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerReference"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealReference"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringReference"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeDeclaration">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeDeclaration/specification"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeReference">

+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeReference/referred"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//Scope"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//Task"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//GenerationTask">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/metamodel"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/partialModel"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/patterns"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/scope"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/number"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/runs"/>

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/solver"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/config"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/tagetFolder"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/debugFolder"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetLogFile"/>

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetStatisticsFile"/>

+    </genClasses>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerScope"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealScope"/>

+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringScope"/>

   </genPackages>

 </genmodel:GenModel>