diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-02-20 01:27:51 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:55:46 +0200 |
commit | 01960723de5ca42e28dc8f162d4fe9e24c23c0b8 (patch) | |
tree | c391738a378d079d4c3b1aa8966c6b66d60ee4c9 /subprojects/language-model/src/main/resources/model/problem.genmodel | |
parent | feat: subproject for z3 integration (diff) | |
download | refinery-01960723de5ca42e28dc8f162d4fe9e24c23c0b8.tar.gz refinery-01960723de5ca42e28dc8f162d4fe9e24c23c0b8.tar.zst refinery-01960723de5ca42e28dc8f162d4fe9e24c23c0b8.zip |
feat(language): datatype declarations
Also changes ReferenceDeclaration to declare attributes, since reference and
attributes can only be distinguished at linking time.
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 23458ee5..29df79cf 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -36,6 +36,7 @@ | |||
36 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/ABS_NOT_EQ"/> | 36 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/ABS_NOT_EQ"/> |
37 | </genEnums> | 37 | </genEnums> |
38 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ReferenceKind"> | 38 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ReferenceKind"> |
39 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/DEFAULT"/> | ||
39 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/REFERENCE"/> | 40 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/REFERENCE"/> |
40 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINMENT"/> | 41 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINMENT"/> |
41 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINER"/> | 42 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINER"/> |
@@ -59,11 +60,6 @@ | |||
59 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MIN"/> | 60 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MIN"/> |
60 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MAX"/> | 61 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MAX"/> |
61 | </genEnums> | 62 | </genEnums> |
62 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//PrimitiveType"> | ||
63 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/INT"/> | ||
64 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/REAL"/> | ||
65 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/STRING"/> | ||
66 | </genEnums> | ||
67 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ModuleKind"> | 63 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ModuleKind"> |
68 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/PROBLEM"/> | 64 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/PROBLEM"/> |
69 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/MODULE"/> | 65 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/MODULE"/> |
@@ -210,7 +206,7 @@ | |||
210 | <genClasses ecoreClass="problem.ecore#//QuantifiedUnaryExpr"/> | 206 | <genClasses ecoreClass="problem.ecore#//QuantifiedUnaryExpr"/> |
211 | <genClasses ecoreClass="problem.ecore#//FunctionDefinition"> | 207 | <genClasses ecoreClass="problem.ecore#//FunctionDefinition"> |
212 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/cases"/> | 208 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/cases"/> |
213 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//FunctionDefinition/functionType"/> | 209 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/functionType"/> |
214 | </genClasses> | 210 | </genClasses> |
215 | <genClasses ecoreClass="problem.ecore#//Case"/> | 211 | <genClasses ecoreClass="problem.ecore#//Case"/> |
216 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | 212 | <genClasses ecoreClass="problem.ecore#//Conjunction"> |
@@ -231,11 +227,6 @@ | |||
231 | </genClasses> | 227 | </genClasses> |
232 | <genClasses ecoreClass="problem.ecore#//RangeExpr"/> | 228 | <genClasses ecoreClass="problem.ecore#//RangeExpr"/> |
233 | <genClasses ecoreClass="problem.ecore#//InfConstant"/> | 229 | <genClasses ecoreClass="problem.ecore#//InfConstant"/> |
234 | <genClasses ecoreClass="problem.ecore#//FeatureDeclaration"/> | ||
235 | <genClasses ecoreClass="problem.ecore#//AttributeDeclaration"> | ||
236 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//AttributeDeclaration/attributeType"/> | ||
237 | </genClasses> | ||
238 | <genClasses ecoreClass="problem.ecore#//FlagDeclaration"/> | ||
239 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> | 230 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> |
240 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/logicValue"/> | 231 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/logicValue"/> |
241 | </genClasses> | 232 | </genClasses> |
@@ -243,5 +234,6 @@ | |||
243 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ImportStatement/importedModule"/> | 234 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ImportStatement/importedModule"/> |
244 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ImportStatement/alias"/> | 235 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ImportStatement/alias"/> |
245 | </genClasses> | 236 | </genClasses> |
237 | <genClasses ecoreClass="problem.ecore#//DatatypeDeclaration"/> | ||
246 | </genPackages> | 238 | </genPackages> |
247 | </genmodel:GenModel> | 239 | </genmodel:GenModel> |