diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel index 97c59724..f8505d33 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel | |||
@@ -5,7 +5,7 @@ | |||
5 | modelPluginID="hu.bme.mit.inf.dslreasoner.alloy.language" forceOverwrite="true" | 5 | modelPluginID="hu.bme.mit.inf.dslreasoner.alloy.language" forceOverwrite="true" |
6 | modelName="AlloyLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | 6 | modelName="AlloyLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" |
7 | complianceLevel="6.0" copyrightFields="false" editPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.edit" | 7 | complianceLevel="6.0" copyrightFields="false" editPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.edit" |
8 | editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.12"> | 8 | editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.13"> |
9 | <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true" | 9 | <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true" |
10 | fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/"> | 10 | fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/"> |
11 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity"> | 11 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity"> |
@@ -80,6 +80,7 @@ | |||
80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSigScope/type"/> | 80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSigScope/type"/> |
81 | </genClasses> | 81 | </genClasses> |
82 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIntScope"/> | 82 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIntScope"/> |
83 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSStringScope"/> | ||
83 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSQuantifiedEx"> | 84 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSQuantifiedEx"> |
84 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/type"/> | 85 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/type"/> |
85 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/disj"/> | 86 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/disj"/> |
@@ -196,11 +197,15 @@ | |||
196 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIden"/> | 197 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIden"/> |
197 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSUniv"/> | 198 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSUniv"/> |
198 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSInt"/> | 199 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSInt"/> |
200 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSString"/> | ||
199 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSReference"> | 201 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSReference"> |
200 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSReference/referred"/> | 202 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSReference/referred"/> |
201 | </genClasses> | 203 | </genClasses> |
202 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNumberLiteral"> | 204 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNumberLiteral"> |
203 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSNumberLiteral/value"/> | 205 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSNumberLiteral/value"/> |
204 | </genClasses> | 206 | </genClasses> |
207 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSStringLiteral"> | ||
208 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSStringLiteral/value"/> | ||
209 | </genClasses> | ||
205 | </genPackages> | 210 | </genPackages> |
206 | </genmodel:GenModel> | 211 | </genmodel:GenModel> |