diff options
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.ecore')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 46 |
1 files changed, 32 insertions, 14 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.ecore b/subprojects/language-model/src/main/resources/model/problem.ecore index 9a349490..e6af9fab 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
@@ -38,6 +38,9 @@ | |||
38 | </eClassifiers> | 38 | </eClassifiers> |
39 | <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//Variable"> | 39 | <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//Variable"> |
40 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameterType" eType="#//Relation"/> | 40 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameterType" eType="#//Relation"/> |
41 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="concreteness" eType="#//Concreteness"/> | ||
42 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="modality" eType="#//Modality"/> | ||
43 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="binding" eType="#//ParameterBinding"/> | ||
41 | </eClassifiers> | 44 | </eClassifiers> |
42 | <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//VariableOrNode"/> | 45 | <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//VariableOrNode"/> |
43 | <eClassifiers xsi:type="ecore:EClass" name="Atom" eSuperTypes="#//Expr"> | 46 | <eClassifiers xsi:type="ecore:EClass" name="Atom" eSuperTypes="#//Expr"> |
@@ -109,7 +112,7 @@ | |||
109 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="stringValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 112 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="stringValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
110 | </eClassifiers> | 113 | </eClassifiers> |
111 | <eClassifiers xsi:type="ecore:EClass" name="NodeAssertionArgument" eSuperTypes="#//AssertionArgument"> | 114 | <eClassifiers xsi:type="ecore:EClass" name="NodeAssertionArgument" eSuperTypes="#//AssertionArgument"> |
112 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//Node"/> | 115 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//VariableOrNode"/> |
113 | </eClassifiers> | 116 | </eClassifiers> |
114 | <eClassifiers xsi:type="ecore:EClass" name="AssertionArgument" abstract="true"/> | 117 | <eClassifiers xsi:type="ecore:EClass" name="AssertionArgument" abstract="true"/> |
115 | <eClassifiers xsi:type="ecore:EClass" name="NodeDeclaration" eSuperTypes="#//Statement"> | 118 | <eClassifiers xsi:type="ecore:EClass" name="NodeDeclaration" eSuperTypes="#//Statement"> |
@@ -128,6 +131,7 @@ | |||
128 | eType="#//Consequent" containment="true"/> | 131 | eType="#//Consequent" containment="true"/> |
129 | <eStructuralFeatures xsi:type="ecore:EReference" name="preconditions" upperBound="-1" | 132 | <eStructuralFeatures xsi:type="ecore:EReference" name="preconditions" upperBound="-1" |
130 | eType="#//Conjunction" containment="true"/> | 133 | eType="#//Conjunction" containment="true"/> |
134 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" eType="#//RuleKind"/> | ||
131 | </eClassifiers> | 135 | </eClassifiers> |
132 | <eClassifiers xsi:type="ecore:EClass" name="Consequent"> | 136 | <eClassifiers xsi:type="ecore:EClass" name="Consequent"> |
133 | <eStructuralFeatures xsi:type="ecore:EReference" name="actions" upperBound="-1" | 137 | <eStructuralFeatures xsi:type="ecore:EReference" name="actions" upperBound="-1" |
@@ -135,21 +139,12 @@ | |||
135 | </eClassifiers> | 139 | </eClassifiers> |
136 | <eClassifiers xsi:type="ecore:EClass" name="Action" abstract="true"/> | 140 | <eClassifiers xsi:type="ecore:EClass" name="Action" abstract="true"/> |
137 | <eClassifiers xsi:type="ecore:EClass" name="AssertionAction" eSuperTypes="#//Action"> | 141 | <eClassifiers xsi:type="ecore:EClass" name="AssertionAction" eSuperTypes="#//Action"> |
138 | <eStructuralFeatures xsi:type="ecore:EReference" name="atom" eType="#//Atom" containment="true"/> | 142 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Expr" |
139 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//LogicValue" | ||
140 | defaultValueLiteral="TRUE"/> | ||
141 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="overwrite" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" | ||
142 | defaultValueLiteral="FALSE"/> | ||
143 | </eClassifiers> | ||
144 | <eClassifiers xsi:type="ecore:EClass" name="DeleteAction" eSuperTypes="#//Action"> | ||
145 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableOrNode" eType="#//VariableOrNode"/> | ||
146 | </eClassifiers> | ||
147 | <eClassifiers xsi:type="ecore:EClass" name="NewAction" eSuperTypes="#//Action"> | ||
148 | <eStructuralFeatures xsi:type="ecore:EReference" name="variable" eType="#//NewVariable" | ||
149 | containment="true"/> | 143 | containment="true"/> |
150 | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//VariableOrNode"/> | 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"/> | ||
151 | </eClassifiers> | 147 | </eClassifiers> |
152 | <eClassifiers xsi:type="ecore:EClass" name="NewVariable" eSuperTypes="#//Variable"/> | ||
153 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOp"> | 148 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOp"> |
154 | <eLiterals name="LESS"/> | 149 | <eLiterals name="LESS"/> |
155 | <eLiterals name="LESS_EQ" value="1"/> | 150 | <eLiterals name="LESS_EQ" value="1"/> |
@@ -264,4 +259,27 @@ | |||
264 | <eClassifiers xsi:type="ecore:EClass" name="AssignmentExpr" eSuperTypes="#//BinaryExpr"/> | 259 | <eClassifiers xsi:type="ecore:EClass" name="AssignmentExpr" eSuperTypes="#//BinaryExpr"/> |
265 | <eClassifiers xsi:type="ecore:EClass" name="InfiniteConstant" eSuperTypes="#//Constant"/> | 260 | <eClassifiers xsi:type="ecore:EClass" name="InfiniteConstant" eSuperTypes="#//Constant"/> |
266 | <eClassifiers xsi:type="ecore:EClass" name="AggregatorDeclaration" eSuperTypes="#//Statement #//NamedElement"/> | 261 | <eClassifiers xsi:type="ecore:EClass" name="AggregatorDeclaration" eSuperTypes="#//Statement #//NamedElement"/> |
262 | <eClassifiers xsi:type="ecore:EClass" name="ModalExpr" eSuperTypes="#//UnaryExpr"> | ||
263 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="concreteness" eType="#//Concreteness"/> | ||
264 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="modality" eType="#//Modality"/> | ||
265 | </eClassifiers> | ||
266 | <eClassifiers xsi:type="ecore:EEnum" name="Modality"> | ||
267 | <eLiterals name="NONE"/> | ||
268 | <eLiterals name="MUST" value="1"/> | ||
269 | <eLiterals name="MAY" value="2"/> | ||
270 | </eClassifiers> | ||
271 | <eClassifiers xsi:type="ecore:EEnum" name="Concreteness"> | ||
272 | <eLiterals name="PARTIAL"/> | ||
273 | <eLiterals name="CANDIDATE" value="1"/> | ||
274 | </eClassifiers> | ||
275 | <eClassifiers xsi:type="ecore:EEnum" name="RuleKind"> | ||
276 | <eLiterals name="REFINEMENT"/> | ||
277 | <eLiterals name="PROPAGATION" value="1"/> | ||
278 | <eLiterals name="DECISION" value="2"/> | ||
279 | </eClassifiers> | ||
280 | <eClassifiers xsi:type="ecore:EEnum" name="ParameterBinding"> | ||
281 | <eLiterals name="SINGLE"/> | ||
282 | <eLiterals name="FOCUS" value="1"/> | ||
283 | <eLiterals name="MULTI" value="2"/> | ||
284 | </eClassifiers> | ||
267 | </ecore:EPackage> | 285 | </ecore:EPackage> |