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"/> |