diff options
Diffstat (limited to 'Application')
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 @@ | |||
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"/> |