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/model/problem.ecore | |
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/model/problem.ecore')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 1 |
1 files changed, 1 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"/> |