diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:39:37 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:39:37 +0200 |
| commit | b77c6762fb0f784811614e2bd53d5a74cdf866c0 (patch) | |
| tree | 3df109b845b42744c574ef06a6f0cbd4aad01395 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore | |
| parent | If scope available, then it is maintained during generation via VS (diff) | |
| download | VIATRA-Generator-b77c6762fb0f784811614e2bd53d5a74cdf866c0.tar.gz VIATRA-Generator-b77c6762fb0f784811614e2bd53d5a74cdf866c0.tar.zst VIATRA-Generator-b77c6762fb0f784811614e2bd53d5a74cdf866c0.zip | |
Alloy support for string literals
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore index a825966e..3e88c460 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore | |||
| @@ -91,6 +91,7 @@ | |||
| 91 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ALSSignatureDeclaration"/> | 91 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ALSSignatureDeclaration"/> |
| 92 | </eClassifiers> | 92 | </eClassifiers> |
| 93 | <eClassifiers xsi:type="ecore:EClass" name="ALSIntScope" eSuperTypes="#//ALSTypeScope"/> | 93 | <eClassifiers xsi:type="ecore:EClass" name="ALSIntScope" eSuperTypes="#//ALSTypeScope"/> |
| 94 | <eClassifiers xsi:type="ecore:EClass" name="ALSStringScope" eSuperTypes="#//ALSTypeScope"/> | ||
| 94 | <eClassifiers xsi:type="ecore:EClass" name="ALSQuantifiedEx" eSuperTypes="#//ALSTerm"> | 95 | <eClassifiers xsi:type="ecore:EClass" name="ALSQuantifiedEx" eSuperTypes="#//ALSTerm"> |
| 95 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//ALSMultiplicity"/> | 96 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//ALSMultiplicity"/> |
| 96 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="disj" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | 97 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="disj" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> |
| @@ -258,10 +259,14 @@ | |||
| 258 | <eClassifiers xsi:type="ecore:EClass" name="ALSIden" eSuperTypes="#//ALSTerm"/> | 259 | <eClassifiers xsi:type="ecore:EClass" name="ALSIden" eSuperTypes="#//ALSTerm"/> |
| 259 | <eClassifiers xsi:type="ecore:EClass" name="ALSUniv" eSuperTypes="#//ALSTerm"/> | 260 | <eClassifiers xsi:type="ecore:EClass" name="ALSUniv" eSuperTypes="#//ALSTerm"/> |
| 260 | <eClassifiers xsi:type="ecore:EClass" name="ALSInt" eSuperTypes="#//ALSTerm"/> | 261 | <eClassifiers xsi:type="ecore:EClass" name="ALSInt" eSuperTypes="#//ALSTerm"/> |
| 262 | <eClassifiers xsi:type="ecore:EClass" name="ALSString" eSuperTypes="#//ALSTerm"/> | ||
| 261 | <eClassifiers xsi:type="ecore:EClass" name="ALSReference" eSuperTypes="#//ALSTerm"> | 263 | <eClassifiers xsi:type="ecore:EClass" name="ALSReference" eSuperTypes="#//ALSTerm"> |
| 262 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ALSRelationDeclaration"/> | 264 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ALSRelationDeclaration"/> |
| 263 | </eClassifiers> | 265 | </eClassifiers> |
| 264 | <eClassifiers xsi:type="ecore:EClass" name="ALSNumberLiteral" eSuperTypes="#//ALSTerm"> | 266 | <eClassifiers xsi:type="ecore:EClass" name="ALSNumberLiteral" eSuperTypes="#//ALSTerm"> |
| 265 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 267 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
| 266 | </eClassifiers> | 268 | </eClassifiers> |
| 269 | <eClassifiers xsi:type="ecore:EClass" name="ALSStringLiteral" eSuperTypes="#//ALSTerm"> | ||
| 270 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
| 271 | </eClassifiers> | ||
| 267 | </ecore:EPackage> | 272 | </ecore:EPackage> |