diff options
author | 2024-05-17 18:40:14 +0200 | |
---|---|---|
committer | 2024-05-26 17:22:32 +0200 | |
commit | 8faf73a84b51d94ee4d8cc49dbbf9ff82898f436 (patch) | |
tree | 5fe4657c90b0158ea843e0492486b0de5aa7ab3c /subprojects/language-model/src/main/resources/model | |
parent | feat(language): rule validation (diff) | |
download | refinery-8faf73a84b51d94ee4d8cc49dbbf9ff82898f436.tar.gz refinery-8faf73a84b51d94ee4d8cc49dbbf9ff82898f436.tar.zst refinery-8faf73a84b51d94ee4d8cc49dbbf9ff82898f436.zip |
refactor(language): merge Assertion and AssertionAction
Diffstat (limited to 'subprojects/language-model/src/main/resources/model')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 18 | ||||
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 18 |
2 files changed, 15 insertions, 21 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.ecore b/subprojects/language-model/src/main/resources/model/problem.ecore index e6af9fab..ed56d3b1 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
@@ -55,11 +55,9 @@ | |||
55 | <eStructuralFeatures xsi:type="ecore:EReference" name="implicitVariables" upperBound="-1" | 55 | <eStructuralFeatures xsi:type="ecore:EReference" name="implicitVariables" upperBound="-1" |
56 | eType="#//ImplicitVariable" transient="true" containment="true"/> | 56 | eType="#//ImplicitVariable" transient="true" containment="true"/> |
57 | </eClassifiers> | 57 | </eClassifiers> |
58 | <eClassifiers xsi:type="ecore:EClass" name="Assertion" eSuperTypes="#//Statement"> | 58 | <eClassifiers xsi:type="ecore:EClass" name="AbstractAssertion" abstract="true"> |
59 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" | 59 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" |
60 | eType="#//AssertionArgument" containment="true"/> | 60 | eType="#//AssertionArgument" containment="true"/> |
61 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="default" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" | ||
62 | defaultValueLiteral="false"/> | ||
63 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> | 61 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> |
64 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Expr" | 62 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Expr" |
65 | containment="true"/> | 63 | containment="true"/> |
@@ -137,14 +135,8 @@ | |||
137 | <eStructuralFeatures xsi:type="ecore:EReference" name="actions" upperBound="-1" | 135 | <eStructuralFeatures xsi:type="ecore:EReference" name="actions" upperBound="-1" |
138 | eType="#//Action" containment="true"/> | 136 | eType="#//Action" containment="true"/> |
139 | </eClassifiers> | 137 | </eClassifiers> |
140 | <eClassifiers xsi:type="ecore:EClass" name="Action" abstract="true"/> | 138 | <eClassifiers xsi:type="ecore:EClass" name="Action" abstract="true" interface="true"/> |
141 | <eClassifiers xsi:type="ecore:EClass" name="AssertionAction" eSuperTypes="#//Action"> | 139 | <eClassifiers xsi:type="ecore:EClass" name="AssertionAction" eSuperTypes="#//Action #//AbstractAssertion"/> |
142 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Expr" | ||
143 | containment="true"/> | ||
144 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> | ||
145 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" | ||
146 | eType="#//AssertionArgument" containment="true"/> | ||
147 | </eClassifiers> | ||
148 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOp"> | 140 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOp"> |
149 | <eLiterals name="LESS"/> | 141 | <eLiterals name="LESS"/> |
150 | <eLiterals name="LESS_EQ" value="1"/> | 142 | <eLiterals name="LESS_EQ" value="1"/> |
@@ -282,4 +274,8 @@ | |||
282 | <eLiterals name="FOCUS" value="1"/> | 274 | <eLiterals name="FOCUS" value="1"/> |
283 | <eLiterals name="MULTI" value="2"/> | 275 | <eLiterals name="MULTI" value="2"/> |
284 | </eClassifiers> | 276 | </eClassifiers> |
277 | <eClassifiers xsi:type="ecore:EClass" name="Assertion" eSuperTypes="#//Statement #//AbstractAssertion"> | ||
278 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="default" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" | ||
279 | defaultValueLiteral="false"/> | ||
280 | </eClassifiers> | ||
285 | </ecore:EPackage> | 281 | </ecore:EPackage> |
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 7fc9f760..c7044885 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -121,11 +121,10 @@ | |||
121 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> | 121 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> |
122 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> | 122 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> |
123 | </genClasses> | 123 | </genClasses> |
124 | <genClasses ecoreClass="problem.ecore#//Assertion"> | 124 | <genClasses ecoreClass="problem.ecore#//AbstractAssertion"> |
125 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> | 125 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AbstractAssertion/arguments"/> |
126 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> | 126 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//AbstractAssertion/relation"/> |
127 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> | 127 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//AbstractAssertion/value"/> |
128 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/value"/> | ||
129 | </genClasses> | 128 | </genClasses> |
130 | <genClasses ecoreClass="problem.ecore#//Node"/> | 129 | <genClasses ecoreClass="problem.ecore#//Node"/> |
131 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> | 130 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> |
@@ -181,11 +180,7 @@ | |||
181 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Consequent/actions"/> | 180 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Consequent/actions"/> |
182 | </genClasses> | 181 | </genClasses> |
183 | <genClasses ecoreClass="problem.ecore#//Action"/> | 182 | <genClasses ecoreClass="problem.ecore#//Action"/> |
184 | <genClasses ecoreClass="problem.ecore#//AssertionAction"> | 183 | <genClasses ecoreClass="problem.ecore#//AssertionAction"/> |
185 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AssertionAction/value"/> | ||
186 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//AssertionAction/relation"/> | ||
187 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AssertionAction/arguments"/> | ||
188 | </genClasses> | ||
189 | <genClasses ecoreClass="problem.ecore#//Expr"/> | 184 | <genClasses ecoreClass="problem.ecore#//Expr"/> |
190 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeExpr"> | 185 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeExpr"> |
191 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeExpr/variableOrNode"/> | 186 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeExpr/variableOrNode"/> |
@@ -251,5 +246,8 @@ | |||
251 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ModalExpr/concreteness"/> | 246 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ModalExpr/concreteness"/> |
252 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ModalExpr/modality"/> | 247 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ModalExpr/modality"/> |
253 | </genClasses> | 248 | </genClasses> |
249 | <genClasses ecoreClass="problem.ecore#//Assertion"> | ||
250 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> | ||
251 | </genClasses> | ||
254 | </genPackages> | 252 | </genPackages> |
255 | </genmodel:GenModel> | 253 | </genmodel:GenModel> |