diff options
author | 2024-01-31 02:00:09 +0100 | |
---|---|---|
committer | 2024-01-31 18:45:13 +0100 | |
commit | c63126d2f1ce5f571c316b37e00fb43d2da7c7d3 (patch) | |
tree | 16e9dd04624565f7c9ccedd17749a9f264e89cb0 /subprojects/language-model/src/main/resources/model/problem.genmodel | |
parent | fix(build): avoid cyclic dependency (diff) | |
download | refinery-c63126d2f1ce5f571c316b37e00fb43d2da7c7d3.tar.gz refinery-c63126d2f1ce5f571c316b37e00fb43d2da7c7d3.tar.zst refinery-c63126d2f1ce5f571c316b37e00fb43d2da7c7d3.zip |
refactor(language): module and node declarations
* New default file extension: .refinery (.problem is also supported).
* Add module keyword for self-contained modules.
* Rename indiv declarations to atom declaration.
* Add node and multi declarations for explicitly declared nodes and
multi-objects, respectively.
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index b5aa81c4..be8b62eb 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -64,9 +64,19 @@ | |||
64 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/REAL"/> | 64 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/REAL"/> |
65 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/STRING"/> | 65 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/STRING"/> |
66 | </genEnums> | 66 | </genEnums> |
67 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ModuleKind"> | ||
68 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/PROBLEM"/> | ||
69 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/MODULE"/> | ||
70 | </genEnums> | ||
71 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//NodeKind"> | ||
72 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/NODE"/> | ||
73 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/ATOM"/> | ||
74 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/MULTI"/> | ||
75 | </genEnums> | ||
67 | <genClasses ecoreClass="problem.ecore#//Problem"> | 76 | <genClasses ecoreClass="problem.ecore#//Problem"> |
68 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> | 77 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> |
69 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> | 78 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> |
79 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Problem/kind"/> | ||
70 | </genClasses> | 80 | </genClasses> |
71 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> | 81 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> |
72 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> | 82 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> |
@@ -144,8 +154,9 @@ | |||
144 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> | 154 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> |
145 | </genClasses> | 155 | </genClasses> |
146 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> | 156 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> |
147 | <genClasses ecoreClass="problem.ecore#//IndividualDeclaration"> | 157 | <genClasses ecoreClass="problem.ecore#//NodeDeclaration"> |
148 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//IndividualDeclaration/nodes"/> | 158 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NodeDeclaration/nodes"/> |
159 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NodeDeclaration/kind"/> | ||
149 | </genClasses> | 160 | </genClasses> |
150 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> | 161 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> |
151 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> | 162 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> |