Generated models

author: OszkarSemerath <oszkar.semerath@gmail.com> 2018-02-24 21:02:42 -0500
committer: OszkarSemerath <oszkar.semerath@gmail.com> 2018-02-24 21:02:42 -0500
commit: 7da7eb989193d54183e167c302095d2f6d9fcbce (patch)
tree: 15d5c5f2a7b05d0e16713e89f6e93c7d4754e592 /Application
parent: Handler calls executor (diff)
download: VIATRA-Generator-7da7eb989193d54183e167c302095d2f6d9fcbce.tar.gz
VIATRA-Generator-7da7eb989193d54183e167c302095d2f6d9fcbce.tar.zst
VIATRA-Generator-7da7eb989193d54183e167c302095d2f6d9fcbce.zip
2 files changed, 34 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 24cd9148..c9050706 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
@@ -103,7 +103,22 @@
    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification"
        containment="true"/>
  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry">
+  <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/>
+  <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification">
+    <eLiterals name="none" literal="none"/>
+    <eLiterals name="normal" value="1" literal="normal"/>
+    <eLiterals name="full" value="2" literal="full"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//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>
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">
+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry"/>
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/key"/>
+    <genClasses ecoreClass="ApplicationConfiguration.ecore#//DocumentationEntry">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/value"/>
+      <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"/>
author	OszkarSemerath <oszkar.semerath@gmail.com>	2018-02-24 21:02:42 -0500
committer	OszkarSemerath <oszkar.semerath@gmail.com>	2018-02-24 21:02:42 -0500
commit	7da7eb989193d54183e167c302095d2f6d9fcbce (patch)
tree	15d5c5f2a7b05d0e16713e89f6e93c7d4754e592 /Application
parent	Handler calls executor (diff)
download	VIATRA-Generator-7da7eb989193d54183e167c302095d2f6d9fcbce.tar.gz VIATRA-Generator-7da7eb989193d54183e167c302095d2f6d9fcbce.tar.zst VIATRA-Generator-7da7eb989193d54183e167c302095d2f6d9fcbce.zip

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 24cd9148..c9050706 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
@@ -103,7 +103,22 @@
103	<eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification"	103	<eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification"
104	containment="true"/>	104	containment="true"/>
105	</eClassifiers>	105	</eClassifiers>
106	<eClassifiers xsi:type="ecore:EClass" name="ConfigEntry">	106	<eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/>
		107	<eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry">
		108	<eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/>
		109	</eClassifiers>
		110	<eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification">
		111	<eLiterals name="none" literal="none"/>
		112	<eLiterals name="normal" value="1" literal="normal"/>
		113	<eLiterals name="full" value="2" literal="full"/>
		114	</eClassifiers>
		115	<eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry">
		116	<eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
		117	</eClassifiers>
		118	<eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry">
		119	<eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
		120	</eClassifiers>
		121	<eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry">
107	<eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>	122	<eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
108	<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>	123	<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
109	</eClassifiers>	124	</eClassifiers>


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 @@
6	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">	6	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">
7	<genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application"	7	<genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application"
8	disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/">	8	disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/">
		9	<genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//DocumentLevelSpecification">
		10	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/none"/>
		11	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/normal"/>
		12	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//DocumentLevelSpecification/full"/>
		13	</genEnums>
9	<genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//Solver">	14	<genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//Solver">
10	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/>	15	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/>
11	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/>	16	<genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/>
@@ -98,9 +103,19 @@
98	<genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigDeclaration">	103	<genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigDeclaration">
99	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigDeclaration/specification"/>	104	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigDeclaration/specification"/>
100	</genClasses>	105	</genClasses>
101	<genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry">	106	<genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry"/>
102	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/key"/>	107	<genClasses ecoreClass="ApplicationConfiguration.ecore#//DocumentationEntry">
103	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/value"/>	108	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//DocumentationEntry/level"/>
		109	</genClasses>
		110	<genClasses ecoreClass="ApplicationConfiguration.ecore#//RuntimeEntry">
		111	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//RuntimeEntry/millisecLimit"/>
		112	</genClasses>
		113	<genClasses ecoreClass="ApplicationConfiguration.ecore#//MemoryEntry">
		114	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//MemoryEntry/megabyteLimit"/>
		115	</genClasses>
		116	<genClasses ecoreClass="ApplicationConfiguration.ecore#//CustomEntry">
		117	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CustomEntry/key"/>
		118	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CustomEntry/value"/>
104	</genClasses>	119	</genClasses>
105	<genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigReference">	120	<genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigReference">
106	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigReference/config"/>	121	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigReference/config"/>