diff options
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 57 |
1 files changed, 23 insertions, 34 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 23458ee5..2a1d8522 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -16,12 +16,6 @@ | |||
16 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/UNKNOWN"/> | 16 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/UNKNOWN"/> |
17 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/ERROR"/> | 17 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/ERROR"/> |
18 | </genEnums> | 18 | </genEnums> |
19 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//Modality"> | ||
20 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//Modality/DEFAULT"/> | ||
21 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//Modality/MAY"/> | ||
22 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//Modality/MUST"/> | ||
23 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//Modality/CURRENT"/> | ||
24 | </genEnums> | ||
25 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ComparisonOp"> | 19 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ComparisonOp"> |
26 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/LESS"/> | 20 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/LESS"/> |
27 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/LESS_EQ"/> | 21 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/LESS_EQ"/> |
@@ -30,12 +24,11 @@ | |||
30 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/EQ"/> | 24 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/EQ"/> |
31 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/NOT_EQ"/> | 25 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/NOT_EQ"/> |
32 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/IN"/> | 26 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/IN"/> |
33 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/SUBSUMES"/> | 27 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/NODE_EQ"/> |
34 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/SUBSUMED_BY"/> | 28 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/NODE_NOT_EQ"/> |
35 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/ABS_EQ"/> | ||
36 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/ABS_NOT_EQ"/> | ||
37 | </genEnums> | 29 | </genEnums> |
38 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ReferenceKind"> | 30 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ReferenceKind"> |
31 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/DEFAULT"/> | ||
39 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/REFERENCE"/> | 32 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/REFERENCE"/> |
40 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINMENT"/> | 33 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINMENT"/> |
41 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINER"/> | 34 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/CONTAINER"/> |
@@ -50,19 +43,9 @@ | |||
50 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/MUL"/> | 43 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/MUL"/> |
51 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/DIV"/> | 44 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/DIV"/> |
52 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/POW"/> | 45 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/POW"/> |
53 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/MEET"/> | 46 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/AND"/> |
54 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/JOIN"/> | 47 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/OR"/> |
55 | </genEnums> | 48 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/XOR"/> |
56 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//AggregationOp"> | ||
57 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/SUM"/> | ||
58 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/PROD"/> | ||
59 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MIN"/> | ||
60 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MAX"/> | ||
61 | </genEnums> | ||
62 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//PrimitiveType"> | ||
63 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/INT"/> | ||
64 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/REAL"/> | ||
65 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PrimitiveType/STRING"/> | ||
66 | </genEnums> | 49 | </genEnums> |
67 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ModuleKind"> | 50 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ModuleKind"> |
68 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/PROBLEM"/> | 51 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ModuleKind/PROBLEM"/> |
@@ -73,6 +56,10 @@ | |||
73 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/ATOM"/> | 56 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/ATOM"/> |
74 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/MULTI"/> | 57 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//NodeKind/MULTI"/> |
75 | </genEnums> | 58 | </genEnums> |
59 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LatticeBinaryOp"> | ||
60 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LatticeBinaryOp/MEET"/> | ||
61 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LatticeBinaryOp/JOIN"/> | ||
62 | </genEnums> | ||
76 | <genClasses ecoreClass="problem.ecore#//Problem"> | 63 | <genClasses ecoreClass="problem.ecore#//Problem"> |
77 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> | 64 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> |
78 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> | 65 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> |
@@ -202,7 +189,7 @@ | |||
202 | <genClasses ecoreClass="problem.ecore#//AggregationExpr"> | 189 | <genClasses ecoreClass="problem.ecore#//AggregationExpr"> |
203 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/value"/> | 190 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/value"/> |
204 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/condition"/> | 191 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/condition"/> |
205 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//AggregationExpr/op"/> | 192 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/aggregator"/> |
206 | </genClasses> | 193 | </genClasses> |
207 | <genClasses ecoreClass="problem.ecore#//ComparisonExpr"> | 194 | <genClasses ecoreClass="problem.ecore#//ComparisonExpr"> |
208 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ComparisonExpr/op"/> | 195 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ComparisonExpr/op"/> |
@@ -210,7 +197,7 @@ | |||
210 | <genClasses ecoreClass="problem.ecore#//QuantifiedUnaryExpr"/> | 197 | <genClasses ecoreClass="problem.ecore#//QuantifiedUnaryExpr"/> |
211 | <genClasses ecoreClass="problem.ecore#//FunctionDefinition"> | 198 | <genClasses ecoreClass="problem.ecore#//FunctionDefinition"> |
212 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/cases"/> | 199 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/cases"/> |
213 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//FunctionDefinition/functionType"/> | 200 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/functionType"/> |
214 | </genClasses> | 201 | </genClasses> |
215 | <genClasses ecoreClass="problem.ecore#//Case"/> | 202 | <genClasses ecoreClass="problem.ecore#//Case"/> |
216 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | 203 | <genClasses ecoreClass="problem.ecore#//Conjunction"> |
@@ -226,16 +213,7 @@ | |||
226 | <genClasses ecoreClass="problem.ecore#//NegationExpr"/> | 213 | <genClasses ecoreClass="problem.ecore#//NegationExpr"/> |
227 | <genClasses ecoreClass="problem.ecore#//CountExpr"/> | 214 | <genClasses ecoreClass="problem.ecore#//CountExpr"/> |
228 | <genClasses ecoreClass="problem.ecore#//Relation"/> | 215 | <genClasses ecoreClass="problem.ecore#//Relation"/> |
229 | <genClasses ecoreClass="problem.ecore#//ModalExpr"> | ||
230 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ModalExpr/modality"/> | ||
231 | </genClasses> | ||
232 | <genClasses ecoreClass="problem.ecore#//RangeExpr"/> | 216 | <genClasses ecoreClass="problem.ecore#//RangeExpr"/> |
233 | <genClasses ecoreClass="problem.ecore#//InfConstant"/> | ||
234 | <genClasses ecoreClass="problem.ecore#//FeatureDeclaration"/> | ||
235 | <genClasses ecoreClass="problem.ecore#//AttributeDeclaration"> | ||
236 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//AttributeDeclaration/attributeType"/> | ||
237 | </genClasses> | ||
238 | <genClasses ecoreClass="problem.ecore#//FlagDeclaration"/> | ||
239 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> | 217 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> |
240 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/logicValue"/> | 218 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/logicValue"/> |
241 | </genClasses> | 219 | </genClasses> |
@@ -243,5 +221,16 @@ | |||
243 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ImportStatement/importedModule"/> | 221 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ImportStatement/importedModule"/> |
244 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ImportStatement/alias"/> | 222 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ImportStatement/alias"/> |
245 | </genClasses> | 223 | </genClasses> |
224 | <genClasses ecoreClass="problem.ecore#//DatatypeDeclaration"/> | ||
225 | <genClasses ecoreClass="problem.ecore#//LatticeBinaryExpr"> | ||
226 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LatticeBinaryExpr/op"/> | ||
227 | </genClasses> | ||
228 | <genClasses ecoreClass="problem.ecore#//CastExpr"> | ||
229 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//CastExpr/body"/> | ||
230 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//CastExpr/targetType"/> | ||
231 | </genClasses> | ||
232 | <genClasses ecoreClass="problem.ecore#//AssignmentExpr"/> | ||
233 | <genClasses ecoreClass="problem.ecore#//InfiniteConstant"/> | ||
234 | <genClasses ecoreClass="problem.ecore#//AggregatorDeclaration"/> | ||
246 | </genPackages> | 235 | </genPackages> |
247 | </genmodel:GenModel> | 236 | </genmodel:GenModel> |