1 files changed, 18 insertions, 3 deletions

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 2b575c63..ffb5e5e6 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,6 +6,11 @@
     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#//DocumentLevelSpecification">

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/none"/>

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/normal"/>

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/full"/>

+    </genEnums>

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

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

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

@@ -98,9 +103,19 @@
     <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 ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry"/>

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

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

+    </genClasses>

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

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

+    </genClasses>

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

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

+    </genClasses>

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

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

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

     </genClasses>

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

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