diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-09-19 21:33:55 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-09-19 21:42:05 +0200 |
| commit | 7fb99f0225911a8962aaf3493b89f41e791df359 (patch) | |
| tree | f289ac1433f91e2b1c9e1a5eab92ae6b52aa9d83 /subprojects/language-model/src/main/resources | |
| parent | refactor(language): clarify containment hierarchy (diff) | |
| download | refinery-7fb99f0225911a8962aaf3493b89f41e791df359.tar.gz refinery-7fb99f0225911a8962aaf3493b89f41e791df359.tar.zst refinery-7fb99f0225911a8962aaf3493b89f41e791df359.zip | |
feat(language): problem desugaring
Diffstat (limited to 'subprojects/language-model/src/main/resources')
| -rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 1 | ||||
| -rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.ecore b/subprojects/language-model/src/main/resources/model/problem.ecore index 58f26eae..0106dd61 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
| @@ -129,6 +129,7 @@ | |||
| 129 | <eClassifiers xsi:type="ecore:EClass" name="ConstantAssertionArgument" eSuperTypes="#//AssertionArgument"> | 129 | <eClassifiers xsi:type="ecore:EClass" name="ConstantAssertionArgument" eSuperTypes="#//AssertionArgument"> |
| 130 | <eStructuralFeatures xsi:type="ecore:EReference" name="constant" eType="#//Constant" | 130 | <eStructuralFeatures xsi:type="ecore:EReference" name="constant" eType="#//Constant" |
| 131 | containment="true"/> | 131 | containment="true"/> |
| 132 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//Node" containment="true"/> | ||
| 132 | </eClassifiers> | 133 | </eClassifiers> |
| 133 | <eClassifiers xsi:type="ecore:EClass" name="NodeValueAssertion" eSuperTypes="#//Statement"> | 134 | <eClassifiers xsi:type="ecore:EClass" name="NodeValueAssertion" eSuperTypes="#//Statement"> |
| 134 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//Node"/> | 135 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//Node"/> |
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 5442d29d..da70f922 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
| @@ -140,6 +140,7 @@ | |||
| 140 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> | 140 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> |
| 141 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> | 141 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> |
| 142 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> | 142 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> |
| 143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/node"/> | ||
| 143 | </genClasses> | 144 | </genClasses> |
| 144 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> | 145 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> |
| 145 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> | 146 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> |