diff options
author | 2024-06-01 18:37:20 +0200 | |
---|---|---|
committer | 2024-06-01 20:17:47 +0200 | |
commit | 07b4048828d9ef8126282c4626dd3f0729213d91 (patch) | |
tree | 4523d01e7802585ae3a3c7ec622d1b0a1e3dfa91 /subprojects/language-model/src/main | |
parent | fix(reasoning): candidate count literal rewriting (diff) | |
download | refinery-07b4048828d9ef8126282c4626dd3f0729213d91.tar.gz refinery-07b4048828d9ef8126282c4626dd3f0729213d91.tar.zst refinery-07b4048828d9ef8126282c4626dd3f0729213d91.zip |
feat: partial references
References marked as partial are not concretized during model generation. The
should be managed by the user manually using propagation rules instead.
Diffstat (limited to 'subprojects/language-model/src/main')
-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 ed56d3b1..e830c724 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
@@ -153,6 +153,7 @@ | |||
153 | <eLiterals name="REFERENCE" value="2"/> | 153 | <eLiterals name="REFERENCE" value="2"/> |
154 | <eLiterals name="CONTAINMENT" value="3"/> | 154 | <eLiterals name="CONTAINMENT" value="3"/> |
155 | <eLiterals name="CONTAINER" value="3"/> | 155 | <eLiterals name="CONTAINER" value="3"/> |
156 | <eLiterals name="PARTIAL" value="4"/> | ||
156 | </eClassifiers> | 157 | </eClassifiers> |
157 | <eClassifiers xsi:type="ecore:EClass" name="Expr" abstract="true"/> | 158 | <eClassifiers xsi:type="ecore:EClass" name="Expr" abstract="true"/> |
158 | <eClassifiers xsi:type="ecore:EClass" name="VariableOrNodeExpr" eSuperTypes="#//Expr"> | 159 | <eClassifiers xsi:type="ecore:EClass" name="VariableOrNodeExpr" eSuperTypes="#//Expr"> |
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index c7044885..2ceb74a6 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -32,6 +32,7 @@ | |||
32 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/REFERENCE"/> | 32 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/REFERENCE"/> |
33 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINMENT"/> | 33 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINMENT"/> |
34 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINER"/> | 34 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINER"/> |
35 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/PARTIAL"/> | ||
35 | </genEnums> | 36 | </genEnums> |
36 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//UnaryOp"> | 37 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//UnaryOp"> |
37 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//UnaryOp/PLUS"/> | 38 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//UnaryOp/PLUS"/> |