diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 18:28:19 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 18:28:19 +0200 |
commit | 419e76265ecbdf65e960e0624be006d31ed1e191 (patch) | |
tree | dad200fe9fd0beae7adde969206b77691a51b85a /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | |
parent | Fix check expressions in generated VIATRA (diff) | |
download | VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.gz VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.zst VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.zip |
Update solver language grammar
First version, still needs TokenSource and Linker to work.
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | 1465 |
1 files changed, 930 insertions, 535 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java index f617be3f..393a2545 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | |||
@@ -1,67 +1,70 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | 4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; |
5 | 5 | ||
6 | import org.eclipse.emf.ecore.EAttribute; | 6 | import org.eclipse.emf.ecore.EAttribute; |
7 | import org.eclipse.emf.ecore.EClass; | 7 | import org.eclipse.emf.ecore.EClass; |
8 | import org.eclipse.emf.ecore.EEnum; | ||
8 | import org.eclipse.emf.ecore.EPackage; | 9 | import org.eclipse.emf.ecore.EPackage; |
9 | import org.eclipse.emf.ecore.EReference; | 10 | import org.eclipse.emf.ecore.EReference; |
10 | 11 | ||
11 | import org.eclipse.emf.ecore.impl.EPackageImpl; | 12 | import org.eclipse.emf.ecore.impl.EPackageImpl; |
12 | 13 | ||
13 | import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; | 14 | import org.eclipse.viatra.solver.language.solverLanguage.Aggregation; |
14 | import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; | 15 | import org.eclipse.viatra.solver.language.solverLanguage.AggregationOp; |
15 | import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; | 16 | import org.eclipse.viatra.solver.language.solverLanguage.Argument; |
16 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; | 17 | import org.eclipse.viatra.solver.language.solverLanguage.ArgumentList; |
17 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; | 18 | import org.eclipse.viatra.solver.language.solverLanguage.Assertion; |
18 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; | 19 | import org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression; |
19 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; | 20 | import org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator; |
20 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; | 21 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity; |
21 | import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; | 22 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition; |
22 | import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; | 23 | import org.eclipse.viatra.solver.language.solverLanguage.Call; |
23 | import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; | 24 | import org.eclipse.viatra.solver.language.solverLanguage.Case; |
24 | import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; | 25 | import org.eclipse.viatra.solver.language.solverLanguage.Comparison; |
25 | import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | 26 | import org.eclipse.viatra.solver.language.solverLanguage.Conjunction; |
26 | import org.eclipse.viatra.solver.language.solverLanguage.DataObject; | 27 | import org.eclipse.viatra.solver.language.solverLanguage.Count; |
27 | import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | 28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition; |
28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | 29 | import org.eclipse.viatra.solver.language.solverLanguage.Disjunction; |
29 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | 30 | import org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral; |
30 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | 31 | import org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity; |
31 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | 32 | import org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition; |
32 | import org.eclipse.viatra.solver.language.solverLanguage.False; | 33 | import org.eclipse.viatra.solver.language.solverLanguage.Expression; |
33 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | 34 | import org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument; |
34 | import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; | 35 | import org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition; |
35 | import org.eclipse.viatra.solver.language.solverLanguage.IntObject; | 36 | import org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition; |
36 | import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; | 37 | import org.eclipse.viatra.solver.language.solverLanguage.IfElse; |
37 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | 38 | import org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral; |
38 | import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; | 39 | import org.eclipse.viatra.solver.language.solverLanguage.Interval; |
39 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; | 40 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; |
40 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | 41 | import org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral; |
41 | import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; | 42 | import org.eclipse.viatra.solver.language.solverLanguage.LogicValue; |
42 | import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | 43 | import org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition; |
43 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | 44 | import org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity; |
44 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | 45 | import org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition; |
45 | import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; | 46 | import org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition; |
46 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | 47 | import org.eclipse.viatra.solver.language.solverLanguage.MetricType; |
47 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | 48 | import org.eclipse.viatra.solver.language.solverLanguage.Multiplicity; |
48 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | 49 | import org.eclipse.viatra.solver.language.solverLanguage.NamedElement; |
49 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | 50 | import org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 54 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | 55 | import org.eclipse.viatra.solver.language.solverLanguage.Reference; |
52 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | 56 | import org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition; |
53 | import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure; | ||
54 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory; | 57 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory; |
55 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | 58 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; |
59 | import org.eclipse.viatra.solver.language.solverLanguage.StarArgument; | ||
56 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | 60 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; |
57 | import org.eclipse.viatra.solver.language.solverLanguage.StringObject; | 61 | import org.eclipse.viatra.solver.language.solverLanguage.StringLiteral; |
58 | import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; | 62 | import org.eclipse.viatra.solver.language.solverLanguage.Switch; |
59 | import org.eclipse.viatra.solver.language.solverLanguage.Symbol; | 63 | import org.eclipse.viatra.solver.language.solverLanguage.TypedArgument; |
60 | import org.eclipse.viatra.solver.language.solverLanguage.True; | 64 | import org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument; |
61 | import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; | 65 | import org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression; |
62 | import org.eclipse.viatra.solver.language.solverLanguage.Unknown; | 66 | import org.eclipse.viatra.solver.language.solverLanguage.UnaryOp; |
63 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; | 67 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition; |
64 | import org.eclipse.viatra.solver.language.solverLanguage.Variable; | ||
65 | 68 | ||
66 | /** | 69 | /** |
67 | * <!-- begin-user-doc --> | 70 | * <!-- begin-user-doc --> |
@@ -90,350 +93,350 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
90 | * <!-- end-user-doc --> | 93 | * <!-- end-user-doc --> |
91 | * @generated | 94 | * @generated |
92 | */ | 95 | */ |
93 | private EClass booleanValueEClass = null; | 96 | private EClass predicateDefinitionEClass = null; |
94 | 97 | ||
95 | /** | 98 | /** |
96 | * <!-- begin-user-doc --> | 99 | * <!-- begin-user-doc --> |
97 | * <!-- end-user-doc --> | 100 | * <!-- end-user-doc --> |
98 | * @generated | 101 | * @generated |
99 | */ | 102 | */ |
100 | private EClass truthValueEClass = null; | 103 | private EClass unnamedErrorPrediateDefinitionEClass = null; |
101 | 104 | ||
102 | /** | 105 | /** |
103 | * <!-- begin-user-doc --> | 106 | * <!-- begin-user-doc --> |
104 | * <!-- end-user-doc --> | 107 | * <!-- end-user-doc --> |
105 | * @generated | 108 | * @generated |
106 | */ | 109 | */ |
107 | private EClass interpretationEClass = null; | 110 | private EClass defaultDefinitionEClass = null; |
108 | 111 | ||
109 | /** | 112 | /** |
110 | * <!-- begin-user-doc --> | 113 | * <!-- begin-user-doc --> |
111 | * <!-- end-user-doc --> | 114 | * <!-- end-user-doc --> |
112 | * @generated | 115 | * @generated |
113 | */ | 116 | */ |
114 | private EClass basicInterpretationEClass = null; | 117 | private EClass externPredicateDefinitionEClass = null; |
115 | 118 | ||
116 | /** | 119 | /** |
117 | * <!-- begin-user-doc --> | 120 | * <!-- begin-user-doc --> |
118 | * <!-- end-user-doc --> | 121 | * <!-- end-user-doc --> |
119 | * @generated | 122 | * @generated |
120 | */ | 123 | */ |
121 | private EClass symbolEClass = null; | 124 | private EClass metricDefinitionEClass = null; |
122 | 125 | ||
123 | /** | 126 | /** |
124 | * <!-- begin-user-doc --> | 127 | * <!-- begin-user-doc --> |
125 | * <!-- end-user-doc --> | 128 | * <!-- end-user-doc --> |
126 | * @generated | 129 | * @generated |
127 | */ | 130 | */ |
128 | private EClass modelSymbolEClass = null; | 131 | private EClass externMetricDefinitionEClass = null; |
129 | 132 | ||
130 | /** | 133 | /** |
131 | * <!-- begin-user-doc --> | 134 | * <!-- begin-user-doc --> |
132 | * <!-- end-user-doc --> | 135 | * <!-- end-user-doc --> |
133 | * @generated | 136 | * @generated |
134 | */ | 137 | */ |
135 | private EClass partialitySymbolEClass = null; | 138 | private EClass expressionEClass = null; |
136 | 139 | ||
137 | /** | 140 | /** |
138 | * <!-- begin-user-doc --> | 141 | * <!-- begin-user-doc --> |
139 | * <!-- end-user-doc --> | 142 | * <!-- end-user-doc --> |
140 | * @generated | 143 | * @generated |
141 | */ | 144 | */ |
142 | private EClass existSymbolEClass = null; | 145 | private EClass ifElseEClass = null; |
143 | 146 | ||
144 | /** | 147 | /** |
145 | * <!-- begin-user-doc --> | 148 | * <!-- begin-user-doc --> |
146 | * <!-- end-user-doc --> | 149 | * <!-- end-user-doc --> |
147 | * @generated | 150 | * @generated |
148 | */ | 151 | */ |
149 | private EClass equalsSymbolEClass = null; | 152 | private EClass caseEClass = null; |
150 | 153 | ||
151 | /** | 154 | /** |
152 | * <!-- begin-user-doc --> | 155 | * <!-- begin-user-doc --> |
153 | * <!-- end-user-doc --> | 156 | * <!-- end-user-doc --> |
154 | * @generated | 157 | * @generated |
155 | */ | 158 | */ |
156 | private EClass dataSymbolEClass = null; | 159 | private EClass countEClass = null; |
157 | 160 | ||
158 | /** | 161 | /** |
159 | * <!-- begin-user-doc --> | 162 | * <!-- begin-user-doc --> |
160 | * <!-- end-user-doc --> | 163 | * <!-- end-user-doc --> |
161 | * @generated | 164 | * @generated |
162 | */ | 165 | */ |
163 | private EClass booleanSymbolEClass = null; | 166 | private EClass aggregationEClass = null; |
164 | 167 | ||
165 | /** | 168 | /** |
166 | * <!-- begin-user-doc --> | 169 | * <!-- begin-user-doc --> |
167 | * <!-- end-user-doc --> | 170 | * <!-- end-user-doc --> |
168 | * @generated | 171 | * @generated |
169 | */ | 172 | */ |
170 | private EClass integerSymbolEClass = null; | 173 | private EClass callEClass = null; |
171 | 174 | ||
172 | /** | 175 | /** |
173 | * <!-- begin-user-doc --> | 176 | * <!-- begin-user-doc --> |
174 | * <!-- end-user-doc --> | 177 | * <!-- end-user-doc --> |
175 | * @generated | 178 | * @generated |
176 | */ | 179 | */ |
177 | private EClass realSymbolEClass = null; | 180 | private EClass argumentListEClass = null; |
178 | 181 | ||
179 | /** | 182 | /** |
180 | * <!-- begin-user-doc --> | 183 | * <!-- begin-user-doc --> |
181 | * <!-- end-user-doc --> | 184 | * <!-- end-user-doc --> |
182 | * @generated | 185 | * @generated |
183 | */ | 186 | */ |
184 | private EClass stringSymbolEClass = null; | 187 | private EClass argumentEClass = null; |
185 | 188 | ||
186 | /** | 189 | /** |
187 | * <!-- begin-user-doc --> | 190 | * <!-- begin-user-doc --> |
188 | * <!-- end-user-doc --> | 191 | * <!-- end-user-doc --> |
189 | * @generated | 192 | * @generated |
190 | */ | 193 | */ |
191 | private EClass complexObjectEClass = null; | 194 | private EClass expressionArgumentEClass = null; |
192 | 195 | ||
193 | /** | 196 | /** |
194 | * <!-- begin-user-doc --> | 197 | * <!-- begin-user-doc --> |
195 | * <!-- end-user-doc --> | 198 | * <!-- end-user-doc --> |
196 | * @generated | 199 | * @generated |
197 | */ | 200 | */ |
198 | private EClass objectEClass = null; | 201 | private EClass starArgumentEClass = null; |
199 | 202 | ||
200 | /** | 203 | /** |
201 | * <!-- begin-user-doc --> | 204 | * <!-- begin-user-doc --> |
202 | * <!-- end-user-doc --> | 205 | * <!-- end-user-doc --> |
203 | * @generated | 206 | * @generated |
204 | */ | 207 | */ |
205 | private EClass namedObjectEClass = null; | 208 | private EClass typedArgumentEClass = null; |
206 | 209 | ||
207 | /** | 210 | /** |
208 | * <!-- begin-user-doc --> | 211 | * <!-- begin-user-doc --> |
209 | * <!-- end-user-doc --> | 212 | * <!-- end-user-doc --> |
210 | * @generated | 213 | * @generated |
211 | */ | 214 | */ |
212 | private EClass unnamedObjectEClass = null; | 215 | private EClass typedStarArgumentEClass = null; |
213 | 216 | ||
214 | /** | 217 | /** |
215 | * <!-- begin-user-doc --> | 218 | * <!-- begin-user-doc --> |
216 | * <!-- end-user-doc --> | 219 | * <!-- end-user-doc --> |
217 | * @generated | 220 | * @generated |
218 | */ | 221 | */ |
219 | private EClass dataObjectEClass = null; | 222 | private EClass referenceEClass = null; |
220 | 223 | ||
221 | /** | 224 | /** |
222 | * <!-- begin-user-doc --> | 225 | * <!-- begin-user-doc --> |
223 | * <!-- end-user-doc --> | 226 | * <!-- end-user-doc --> |
224 | * @generated | 227 | * @generated |
225 | */ | 228 | */ |
226 | private EClass booleanObjectEClass = null; | 229 | private EClass intervalEClass = null; |
227 | 230 | ||
228 | /** | 231 | /** |
229 | * <!-- begin-user-doc --> | 232 | * <!-- begin-user-doc --> |
230 | * <!-- end-user-doc --> | 233 | * <!-- end-user-doc --> |
231 | * @generated | 234 | * @generated |
232 | */ | 235 | */ |
233 | private EClass intObjectEClass = null; | 236 | private EClass literalEClass = null; |
234 | 237 | ||
235 | /** | 238 | /** |
236 | * <!-- begin-user-doc --> | 239 | * <!-- begin-user-doc --> |
237 | * <!-- end-user-doc --> | 240 | * <!-- end-user-doc --> |
238 | * @generated | 241 | * @generated |
239 | */ | 242 | */ |
240 | private EClass realObjectEClass = null; | 243 | private EClass logicLiteralEClass = null; |
241 | 244 | ||
242 | /** | 245 | /** |
243 | * <!-- begin-user-doc --> | 246 | * <!-- begin-user-doc --> |
244 | * <!-- end-user-doc --> | 247 | * <!-- end-user-doc --> |
245 | * @generated | 248 | * @generated |
246 | */ | 249 | */ |
247 | private EClass stringObjectEClass = null; | 250 | private EClass numericLiteralEClass = null; |
248 | 251 | ||
249 | /** | 252 | /** |
250 | * <!-- begin-user-doc --> | 253 | * <!-- begin-user-doc --> |
251 | * <!-- end-user-doc --> | 254 | * <!-- end-user-doc --> |
252 | * @generated | 255 | * @generated |
253 | */ | 256 | */ |
254 | private EClass predicateEClass = null; | 257 | private EClass infinityLiteralEClass = null; |
255 | 258 | ||
256 | /** | 259 | /** |
257 | * <!-- begin-user-doc --> | 260 | * <!-- begin-user-doc --> |
258 | * <!-- end-user-doc --> | 261 | * <!-- end-user-doc --> |
259 | * @generated | 262 | * @generated |
260 | */ | 263 | */ |
261 | private EClass parameterEClass = null; | 264 | private EClass emptyIntervalLiteralEClass = null; |
262 | 265 | ||
263 | /** | 266 | /** |
264 | * <!-- begin-user-doc --> | 267 | * <!-- begin-user-doc --> |
265 | * <!-- end-user-doc --> | 268 | * <!-- end-user-doc --> |
266 | * @generated | 269 | * @generated |
267 | */ | 270 | */ |
268 | private EClass patternBodyEClass = null; | 271 | private EClass stringLiteralEClass = null; |
269 | 272 | ||
270 | /** | 273 | /** |
271 | * <!-- begin-user-doc --> | 274 | * <!-- begin-user-doc --> |
272 | * <!-- end-user-doc --> | 275 | * <!-- end-user-doc --> |
273 | * @generated | 276 | * @generated |
274 | */ | 277 | */ |
275 | private EClass polarityEClass = null; | 278 | private EClass memberDefinitionEClass = null; |
276 | 279 | ||
277 | /** | 280 | /** |
278 | * <!-- begin-user-doc --> | 281 | * <!-- begin-user-doc --> |
279 | * <!-- end-user-doc --> | 282 | * <!-- end-user-doc --> |
280 | * @generated | 283 | * @generated |
281 | */ | 284 | */ |
282 | private EClass constraintEClass = null; | 285 | private EClass multiplicityEClass = null; |
283 | 286 | ||
284 | /** | 287 | /** |
285 | * <!-- begin-user-doc --> | 288 | * <!-- begin-user-doc --> |
286 | * <!-- end-user-doc --> | 289 | * <!-- end-user-doc --> |
287 | * @generated | 290 | * @generated |
288 | */ | 291 | */ |
289 | private EClass closureTypeEClass = null; | 292 | private EClass manyMultiplicityEClass = null; |
290 | 293 | ||
291 | /** | 294 | /** |
292 | * <!-- begin-user-doc --> | 295 | * <!-- begin-user-doc --> |
293 | * <!-- end-user-doc --> | 296 | * <!-- end-user-doc --> |
294 | * @generated | 297 | * @generated |
295 | */ | 298 | */ |
296 | private EClass literalEClass = null; | 299 | private EClass exactMultiplicityEClass = null; |
297 | 300 | ||
298 | /** | 301 | /** |
299 | * <!-- begin-user-doc --> | 302 | * <!-- begin-user-doc --> |
300 | * <!-- end-user-doc --> | 303 | * <!-- end-user-doc --> |
301 | * @generated | 304 | * @generated |
302 | */ | 305 | */ |
303 | private EClass variableEClass = null; | 306 | private EClass boundedMultiplicityEClass = null; |
304 | 307 | ||
305 | /** | 308 | /** |
306 | * <!-- begin-user-doc --> | 309 | * <!-- begin-user-doc --> |
307 | * <!-- end-user-doc --> | 310 | * <!-- end-user-doc --> |
308 | * @generated | 311 | * @generated |
309 | */ | 312 | */ |
310 | private EClass allInstancesEClass = null; | 313 | private EClass scopeDefinitionEClass = null; |
311 | 314 | ||
312 | /** | 315 | /** |
313 | * <!-- begin-user-doc --> | 316 | * <!-- begin-user-doc --> |
314 | * <!-- end-user-doc --> | 317 | * <!-- end-user-doc --> |
315 | * @generated | 318 | * @generated |
316 | */ | 319 | */ |
317 | private EClass allObjectsEClass = null; | 320 | private EClass exactScopeDefinitionEClass = null; |
318 | 321 | ||
319 | /** | 322 | /** |
320 | * <!-- begin-user-doc --> | 323 | * <!-- begin-user-doc --> |
321 | * <!-- end-user-doc --> | 324 | * <!-- end-user-doc --> |
322 | * @generated | 325 | * @generated |
323 | */ | 326 | */ |
324 | private EClass defaultInterpretationEClass = null; | 327 | private EClass boundedScopeDefinitionEClass = null; |
325 | 328 | ||
326 | /** | 329 | /** |
327 | * <!-- begin-user-doc --> | 330 | * <!-- begin-user-doc --> |
328 | * <!-- end-user-doc --> | 331 | * <!-- end-user-doc --> |
329 | * @generated | 332 | * @generated |
330 | */ | 333 | */ |
331 | private EClass cdInterpretationEClass = null; | 334 | private EClass lowerBoundedScopeDefinitionEClass = null; |
332 | 335 | ||
333 | /** | 336 | /** |
334 | * <!-- begin-user-doc --> | 337 | * <!-- begin-user-doc --> |
335 | * <!-- end-user-doc --> | 338 | * <!-- end-user-doc --> |
336 | * @generated | 339 | * @generated |
337 | */ | 340 | */ |
338 | private EClass classInterpretationEClass = null; | 341 | private EClass objectiveDefinitionEClass = null; |
339 | 342 | ||
340 | /** | 343 | /** |
341 | * <!-- begin-user-doc --> | 344 | * <!-- begin-user-doc --> |
342 | * <!-- end-user-doc --> | 345 | * <!-- end-user-doc --> |
343 | * @generated | 346 | * @generated |
344 | */ | 347 | */ |
345 | private EClass enumInterpretationEClass = null; | 348 | private EClass namedElementEClass = null; |
346 | 349 | ||
347 | /** | 350 | /** |
348 | * <!-- begin-user-doc --> | 351 | * <!-- begin-user-doc --> |
349 | * <!-- end-user-doc --> | 352 | * <!-- end-user-doc --> |
350 | * @generated | 353 | * @generated |
351 | */ | 354 | */ |
352 | private EClass fieldRelationInterpretationEClass = null; | 355 | private EClass assertionEClass = null; |
353 | 356 | ||
354 | /** | 357 | /** |
355 | * <!-- begin-user-doc --> | 358 | * <!-- begin-user-doc --> |
356 | * <!-- end-user-doc --> | 359 | * <!-- end-user-doc --> |
357 | * @generated | 360 | * @generated |
358 | */ | 361 | */ |
359 | private EClass globalRelationInterpretationEClass = null; | 362 | private EClass disjunctionEClass = null; |
360 | 363 | ||
361 | /** | 364 | /** |
362 | * <!-- begin-user-doc --> | 365 | * <!-- begin-user-doc --> |
363 | * <!-- end-user-doc --> | 366 | * <!-- end-user-doc --> |
364 | * @generated | 367 | * @generated |
365 | */ | 368 | */ |
366 | private EClass multiplicityDefinitionEClass = null; | 369 | private EClass switchEClass = null; |
367 | 370 | ||
368 | /** | 371 | /** |
369 | * <!-- begin-user-doc --> | 372 | * <!-- begin-user-doc --> |
370 | * <!-- end-user-doc --> | 373 | * <!-- end-user-doc --> |
371 | * @generated | 374 | * @generated |
372 | */ | 375 | */ |
373 | private EClass booleanTrueEClass = null; | 376 | private EClass conjunctionEClass = null; |
374 | 377 | ||
375 | /** | 378 | /** |
376 | * <!-- begin-user-doc --> | 379 | * <!-- begin-user-doc --> |
377 | * <!-- end-user-doc --> | 380 | * <!-- end-user-doc --> |
378 | * @generated | 381 | * @generated |
379 | */ | 382 | */ |
380 | private EClass booleanFalseEClass = null; | 383 | private EClass comparisonEClass = null; |
381 | 384 | ||
382 | /** | 385 | /** |
383 | * <!-- begin-user-doc --> | 386 | * <!-- begin-user-doc --> |
384 | * <!-- end-user-doc --> | 387 | * <!-- end-user-doc --> |
385 | * @generated | 388 | * @generated |
386 | */ | 389 | */ |
387 | private EClass trueEClass = null; | 390 | private EClass binaryExpressionEClass = null; |
388 | 391 | ||
389 | /** | 392 | /** |
390 | * <!-- begin-user-doc --> | 393 | * <!-- begin-user-doc --> |
391 | * <!-- end-user-doc --> | 394 | * <!-- end-user-doc --> |
392 | * @generated | 395 | * @generated |
393 | */ | 396 | */ |
394 | private EClass falseEClass = null; | 397 | private EClass unaryExpressionEClass = null; |
395 | 398 | ||
396 | /** | 399 | /** |
397 | * <!-- begin-user-doc --> | 400 | * <!-- begin-user-doc --> |
398 | * <!-- end-user-doc --> | 401 | * <!-- end-user-doc --> |
399 | * @generated | 402 | * @generated |
400 | */ | 403 | */ |
401 | private EClass unknownEClass = null; | 404 | private EEnum metricTypeEEnum = null; |
402 | 405 | ||
403 | /** | 406 | /** |
404 | * <!-- begin-user-doc --> | 407 | * <!-- begin-user-doc --> |
405 | * <!-- end-user-doc --> | 408 | * <!-- end-user-doc --> |
406 | * @generated | 409 | * @generated |
407 | */ | 410 | */ |
408 | private EClass errorEClass = null; | 411 | private EEnum binaryOperatorEEnum = null; |
409 | 412 | ||
410 | /** | 413 | /** |
411 | * <!-- begin-user-doc --> | 414 | * <!-- begin-user-doc --> |
412 | * <!-- end-user-doc --> | 415 | * <!-- end-user-doc --> |
413 | * @generated | 416 | * @generated |
414 | */ | 417 | */ |
415 | private EClass positiveEClass = null; | 418 | private EEnum unaryOpEEnum = null; |
416 | 419 | ||
417 | /** | 420 | /** |
418 | * <!-- begin-user-doc --> | 421 | * <!-- begin-user-doc --> |
419 | * <!-- end-user-doc --> | 422 | * <!-- end-user-doc --> |
420 | * @generated | 423 | * @generated |
421 | */ | 424 | */ |
422 | private EClass negativeEClass = null; | 425 | private EEnum aggregationOpEEnum = null; |
423 | 426 | ||
424 | /** | 427 | /** |
425 | * <!-- begin-user-doc --> | 428 | * <!-- begin-user-doc --> |
426 | * <!-- end-user-doc --> | 429 | * <!-- end-user-doc --> |
427 | * @generated | 430 | * @generated |
428 | */ | 431 | */ |
429 | private EClass reflexiveClosureEClass = null; | 432 | private EEnum logicValueEEnum = null; |
430 | 433 | ||
431 | /** | 434 | /** |
432 | * <!-- begin-user-doc --> | 435 | * <!-- begin-user-doc --> |
433 | * <!-- end-user-doc --> | 436 | * <!-- end-user-doc --> |
434 | * @generated | 437 | * @generated |
435 | */ | 438 | */ |
436 | private EClass irreflexiveClosureEClass = null; | 439 | private EEnum objectiveKindEEnum = null; |
437 | 440 | ||
438 | /** | 441 | /** |
439 | * Creates an instance of the model <b>Package</b>, registered with | 442 | * Creates an instance of the model <b>Package</b>, registered with |
@@ -537,9 +540,108 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
537 | * @generated | 540 | * @generated |
538 | */ | 541 | */ |
539 | @Override | 542 | @Override |
540 | public EClass getBooleanValue() | 543 | public EAttribute getStatement_Abstract() |
544 | { | ||
545 | return (EAttribute)statementEClass.getEStructuralFeatures().get(0); | ||
546 | } | ||
547 | |||
548 | /** | ||
549 | * <!-- begin-user-doc --> | ||
550 | * <!-- end-user-doc --> | ||
551 | * @generated | ||
552 | */ | ||
553 | @Override | ||
554 | public EAttribute getStatement_Name() | ||
555 | { | ||
556 | return (EAttribute)statementEClass.getEStructuralFeatures().get(1); | ||
557 | } | ||
558 | |||
559 | /** | ||
560 | * <!-- begin-user-doc --> | ||
561 | * <!-- end-user-doc --> | ||
562 | * @generated | ||
563 | */ | ||
564 | @Override | ||
565 | public EReference getStatement_Superclasses() | ||
566 | { | ||
567 | return (EReference)statementEClass.getEStructuralFeatures().get(2); | ||
568 | } | ||
569 | |||
570 | /** | ||
571 | * <!-- begin-user-doc --> | ||
572 | * <!-- end-user-doc --> | ||
573 | * @generated | ||
574 | */ | ||
575 | @Override | ||
576 | public EReference getStatement_Members() | ||
577 | { | ||
578 | return (EReference)statementEClass.getEStructuralFeatures().get(3); | ||
579 | } | ||
580 | |||
581 | /** | ||
582 | * <!-- begin-user-doc --> | ||
583 | * <!-- end-user-doc --> | ||
584 | * @generated | ||
585 | */ | ||
586 | @Override | ||
587 | public EClass getPredicateDefinition() | ||
588 | { | ||
589 | return predicateDefinitionEClass; | ||
590 | } | ||
591 | |||
592 | /** | ||
593 | * <!-- begin-user-doc --> | ||
594 | * <!-- end-user-doc --> | ||
595 | * @generated | ||
596 | */ | ||
597 | @Override | ||
598 | public EReference getPredicateDefinition_Head() | ||
599 | { | ||
600 | return (EReference)predicateDefinitionEClass.getEStructuralFeatures().get(0); | ||
601 | } | ||
602 | |||
603 | /** | ||
604 | * <!-- begin-user-doc --> | ||
605 | * <!-- end-user-doc --> | ||
606 | * @generated | ||
607 | */ | ||
608 | @Override | ||
609 | public EReference getPredicateDefinition_Body() | ||
610 | { | ||
611 | return (EReference)predicateDefinitionEClass.getEStructuralFeatures().get(1); | ||
612 | } | ||
613 | |||
614 | /** | ||
615 | * <!-- begin-user-doc --> | ||
616 | * <!-- end-user-doc --> | ||
617 | * @generated | ||
618 | */ | ||
619 | @Override | ||
620 | public EAttribute getPredicateDefinition_Functional() | ||
621 | { | ||
622 | return (EAttribute)predicateDefinitionEClass.getEStructuralFeatures().get(2); | ||
623 | } | ||
624 | |||
625 | /** | ||
626 | * <!-- begin-user-doc --> | ||
627 | * <!-- end-user-doc --> | ||
628 | * @generated | ||
629 | */ | ||
630 | @Override | ||
631 | public EAttribute getPredicateDefinition_Error() | ||
632 | { | ||
633 | return (EAttribute)predicateDefinitionEClass.getEStructuralFeatures().get(3); | ||
634 | } | ||
635 | |||
636 | /** | ||
637 | * <!-- begin-user-doc --> | ||
638 | * <!-- end-user-doc --> | ||
639 | * @generated | ||
640 | */ | ||
641 | @Override | ||
642 | public EClass getUnnamedErrorPrediateDefinition() | ||
541 | { | 643 | { |
542 | return booleanValueEClass; | 644 | return unnamedErrorPrediateDefinitionEClass; |
543 | } | 645 | } |
544 | 646 | ||
545 | /** | 647 | /** |
@@ -548,9 +650,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
548 | * @generated | 650 | * @generated |
549 | */ | 651 | */ |
550 | @Override | 652 | @Override |
551 | public EClass getTruthValue() | 653 | public EReference getUnnamedErrorPrediateDefinition_ArgumentList() |
552 | { | 654 | { |
553 | return truthValueEClass; | 655 | return (EReference)unnamedErrorPrediateDefinitionEClass.getEStructuralFeatures().get(0); |
554 | } | 656 | } |
555 | 657 | ||
556 | /** | 658 | /** |
@@ -559,9 +661,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
559 | * @generated | 661 | * @generated |
560 | */ | 662 | */ |
561 | @Override | 663 | @Override |
562 | public EClass getInterpretation() | 664 | public EReference getUnnamedErrorPrediateDefinition_Body() |
563 | { | 665 | { |
564 | return interpretationEClass; | 666 | return (EReference)unnamedErrorPrediateDefinitionEClass.getEStructuralFeatures().get(1); |
565 | } | 667 | } |
566 | 668 | ||
567 | /** | 669 | /** |
@@ -570,9 +672,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
570 | * @generated | 672 | * @generated |
571 | */ | 673 | */ |
572 | @Override | 674 | @Override |
573 | public EClass getBasicInterpretation() | 675 | public EClass getDefaultDefinition() |
574 | { | 676 | { |
575 | return basicInterpretationEClass; | 677 | return defaultDefinitionEClass; |
576 | } | 678 | } |
577 | 679 | ||
578 | /** | 680 | /** |
@@ -581,9 +683,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
581 | * @generated | 683 | * @generated |
582 | */ | 684 | */ |
583 | @Override | 685 | @Override |
584 | public EReference getBasicInterpretation_Symbol() | 686 | public EReference getDefaultDefinition_Head() |
585 | { | 687 | { |
586 | return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(0); | 688 | return (EReference)defaultDefinitionEClass.getEStructuralFeatures().get(0); |
587 | } | 689 | } |
588 | 690 | ||
589 | /** | 691 | /** |
@@ -592,9 +694,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
592 | * @generated | 694 | * @generated |
593 | */ | 695 | */ |
594 | @Override | 696 | @Override |
595 | public EReference getBasicInterpretation_Objects() | 697 | public EReference getDefaultDefinition_Range() |
596 | { | 698 | { |
597 | return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(1); | 699 | return (EReference)defaultDefinitionEClass.getEStructuralFeatures().get(1); |
598 | } | 700 | } |
599 | 701 | ||
600 | /** | 702 | /** |
@@ -603,9 +705,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
603 | * @generated | 705 | * @generated |
604 | */ | 706 | */ |
605 | @Override | 707 | @Override |
606 | public EReference getBasicInterpretation_Value() | 708 | public EClass getExternPredicateDefinition() |
607 | { | 709 | { |
608 | return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(2); | 710 | return externPredicateDefinitionEClass; |
609 | } | 711 | } |
610 | 712 | ||
611 | /** | 713 | /** |
@@ -614,9 +716,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
614 | * @generated | 716 | * @generated |
615 | */ | 717 | */ |
616 | @Override | 718 | @Override |
617 | public EClass getSymbol() | 719 | public EReference getExternPredicateDefinition_Head() |
618 | { | 720 | { |
619 | return symbolEClass; | 721 | return (EReference)externPredicateDefinitionEClass.getEStructuralFeatures().get(0); |
620 | } | 722 | } |
621 | 723 | ||
622 | /** | 724 | /** |
@@ -625,9 +727,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
625 | * @generated | 727 | * @generated |
626 | */ | 728 | */ |
627 | @Override | 729 | @Override |
628 | public EClass getModelSymbol() | 730 | public EClass getMetricDefinition() |
629 | { | 731 | { |
630 | return modelSymbolEClass; | 732 | return metricDefinitionEClass; |
631 | } | 733 | } |
632 | 734 | ||
633 | /** | 735 | /** |
@@ -636,9 +738,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
636 | * @generated | 738 | * @generated |
637 | */ | 739 | */ |
638 | @Override | 740 | @Override |
639 | public EAttribute getModelSymbol_Name() | 741 | public EReference getMetricDefinition_Head() |
640 | { | 742 | { |
641 | return (EAttribute)modelSymbolEClass.getEStructuralFeatures().get(0); | 743 | return (EReference)metricDefinitionEClass.getEStructuralFeatures().get(0); |
642 | } | 744 | } |
643 | 745 | ||
644 | /** | 746 | /** |
@@ -647,9 +749,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
647 | * @generated | 749 | * @generated |
648 | */ | 750 | */ |
649 | @Override | 751 | @Override |
650 | public EClass getPartialitySymbol() | 752 | public EReference getMetricDefinition_Body() |
651 | { | 753 | { |
652 | return partialitySymbolEClass; | 754 | return (EReference)metricDefinitionEClass.getEStructuralFeatures().get(1); |
653 | } | 755 | } |
654 | 756 | ||
655 | /** | 757 | /** |
@@ -658,9 +760,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
658 | * @generated | 760 | * @generated |
659 | */ | 761 | */ |
660 | @Override | 762 | @Override |
661 | public EClass getExistSymbol() | 763 | public EAttribute getMetricDefinition_Type() |
662 | { | 764 | { |
663 | return existSymbolEClass; | 765 | return (EAttribute)metricDefinitionEClass.getEStructuralFeatures().get(2); |
664 | } | 766 | } |
665 | 767 | ||
666 | /** | 768 | /** |
@@ -669,9 +771,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
669 | * @generated | 771 | * @generated |
670 | */ | 772 | */ |
671 | @Override | 773 | @Override |
672 | public EClass getEqualsSymbol() | 774 | public EClass getExternMetricDefinition() |
673 | { | 775 | { |
674 | return equalsSymbolEClass; | 776 | return externMetricDefinitionEClass; |
675 | } | 777 | } |
676 | 778 | ||
677 | /** | 779 | /** |
@@ -680,9 +782,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
680 | * @generated | 782 | * @generated |
681 | */ | 783 | */ |
682 | @Override | 784 | @Override |
683 | public EClass getDataSymbol() | 785 | public EAttribute getExternMetricDefinition_Type() |
684 | { | 786 | { |
685 | return dataSymbolEClass; | 787 | return (EAttribute)externMetricDefinitionEClass.getEStructuralFeatures().get(0); |
686 | } | 788 | } |
687 | 789 | ||
688 | /** | 790 | /** |
@@ -691,9 +793,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
691 | * @generated | 793 | * @generated |
692 | */ | 794 | */ |
693 | @Override | 795 | @Override |
694 | public EClass getBooleanSymbol() | 796 | public EReference getExternMetricDefinition_Head() |
695 | { | 797 | { |
696 | return booleanSymbolEClass; | 798 | return (EReference)externMetricDefinitionEClass.getEStructuralFeatures().get(1); |
697 | } | 799 | } |
698 | 800 | ||
699 | /** | 801 | /** |
@@ -702,9 +804,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
702 | * @generated | 804 | * @generated |
703 | */ | 805 | */ |
704 | @Override | 806 | @Override |
705 | public EClass getIntegerSymbol() | 807 | public EClass getExpression() |
706 | { | 808 | { |
707 | return integerSymbolEClass; | 809 | return expressionEClass; |
708 | } | 810 | } |
709 | 811 | ||
710 | /** | 812 | /** |
@@ -713,9 +815,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
713 | * @generated | 815 | * @generated |
714 | */ | 816 | */ |
715 | @Override | 817 | @Override |
716 | public EClass getRealSymbol() | 818 | public EClass getIfElse() |
717 | { | 819 | { |
718 | return realSymbolEClass; | 820 | return ifElseEClass; |
719 | } | 821 | } |
720 | 822 | ||
721 | /** | 823 | /** |
@@ -724,9 +826,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
724 | * @generated | 826 | * @generated |
725 | */ | 827 | */ |
726 | @Override | 828 | @Override |
727 | public EClass getStringSymbol() | 829 | public EReference getIfElse_Condition() |
728 | { | 830 | { |
729 | return stringSymbolEClass; | 831 | return (EReference)ifElseEClass.getEStructuralFeatures().get(0); |
730 | } | 832 | } |
731 | 833 | ||
732 | /** | 834 | /** |
@@ -735,9 +837,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
735 | * @generated | 837 | * @generated |
736 | */ | 838 | */ |
737 | @Override | 839 | @Override |
738 | public EClass getComplexObject() | 840 | public EReference getIfElse_Then() |
739 | { | 841 | { |
740 | return complexObjectEClass; | 842 | return (EReference)ifElseEClass.getEStructuralFeatures().get(1); |
741 | } | 843 | } |
742 | 844 | ||
743 | /** | 845 | /** |
@@ -746,9 +848,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
746 | * @generated | 848 | * @generated |
747 | */ | 849 | */ |
748 | @Override | 850 | @Override |
749 | public EClass getObject() | 851 | public EReference getIfElse_Else() |
750 | { | 852 | { |
751 | return objectEClass; | 853 | return (EReference)ifElseEClass.getEStructuralFeatures().get(2); |
752 | } | 854 | } |
753 | 855 | ||
754 | /** | 856 | /** |
@@ -757,9 +859,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
757 | * @generated | 859 | * @generated |
758 | */ | 860 | */ |
759 | @Override | 861 | @Override |
760 | public EClass getNamedObject() | 862 | public EClass getCase() |
761 | { | 863 | { |
762 | return namedObjectEClass; | 864 | return caseEClass; |
763 | } | 865 | } |
764 | 866 | ||
765 | /** | 867 | /** |
@@ -768,9 +870,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
768 | * @generated | 870 | * @generated |
769 | */ | 871 | */ |
770 | @Override | 872 | @Override |
771 | public EAttribute getNamedObject_Name() | 873 | public EReference getCase_Condition() |
772 | { | 874 | { |
773 | return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(0); | 875 | return (EReference)caseEClass.getEStructuralFeatures().get(0); |
774 | } | 876 | } |
775 | 877 | ||
776 | /** | 878 | /** |
@@ -779,9 +881,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
779 | * @generated | 881 | * @generated |
780 | */ | 882 | */ |
781 | @Override | 883 | @Override |
782 | public EClass getUnnamedObject() | 884 | public EReference getCase_Body() |
783 | { | 885 | { |
784 | return unnamedObjectEClass; | 886 | return (EReference)caseEClass.getEStructuralFeatures().get(1); |
785 | } | 887 | } |
786 | 888 | ||
787 | /** | 889 | /** |
@@ -790,9 +892,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
790 | * @generated | 892 | * @generated |
791 | */ | 893 | */ |
792 | @Override | 894 | @Override |
793 | public EAttribute getUnnamedObject_Name() | 895 | public EClass getCount() |
794 | { | 896 | { |
795 | return (EAttribute)unnamedObjectEClass.getEStructuralFeatures().get(0); | 897 | return countEClass; |
796 | } | 898 | } |
797 | 899 | ||
798 | /** | 900 | /** |
@@ -801,9 +903,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
801 | * @generated | 903 | * @generated |
802 | */ | 904 | */ |
803 | @Override | 905 | @Override |
804 | public EClass getDataObject() | 906 | public EReference getCount_Body() |
805 | { | 907 | { |
806 | return dataObjectEClass; | 908 | return (EReference)countEClass.getEStructuralFeatures().get(0); |
807 | } | 909 | } |
808 | 910 | ||
809 | /** | 911 | /** |
@@ -812,9 +914,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
812 | * @generated | 914 | * @generated |
813 | */ | 915 | */ |
814 | @Override | 916 | @Override |
815 | public EClass getBooleanObject() | 917 | public EClass getAggregation() |
816 | { | 918 | { |
817 | return booleanObjectEClass; | 919 | return aggregationEClass; |
818 | } | 920 | } |
819 | 921 | ||
820 | /** | 922 | /** |
@@ -823,9 +925,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
823 | * @generated | 925 | * @generated |
824 | */ | 926 | */ |
825 | @Override | 927 | @Override |
826 | public EReference getBooleanObject_Value() | 928 | public EAttribute getAggregation_Op() |
827 | { | 929 | { |
828 | return (EReference)booleanObjectEClass.getEStructuralFeatures().get(0); | 930 | return (EAttribute)aggregationEClass.getEStructuralFeatures().get(0); |
829 | } | 931 | } |
830 | 932 | ||
831 | /** | 933 | /** |
@@ -834,9 +936,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
834 | * @generated | 936 | * @generated |
835 | */ | 937 | */ |
836 | @Override | 938 | @Override |
837 | public EClass getIntObject() | 939 | public EReference getAggregation_Body() |
838 | { | 940 | { |
839 | return intObjectEClass; | 941 | return (EReference)aggregationEClass.getEStructuralFeatures().get(1); |
840 | } | 942 | } |
841 | 943 | ||
842 | /** | 944 | /** |
@@ -845,9 +947,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
845 | * @generated | 947 | * @generated |
846 | */ | 948 | */ |
847 | @Override | 949 | @Override |
848 | public EAttribute getIntObject_Value() | 950 | public EReference getAggregation_Condition() |
849 | { | 951 | { |
850 | return (EAttribute)intObjectEClass.getEStructuralFeatures().get(0); | 952 | return (EReference)aggregationEClass.getEStructuralFeatures().get(2); |
851 | } | 953 | } |
852 | 954 | ||
853 | /** | 955 | /** |
@@ -856,9 +958,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
856 | * @generated | 958 | * @generated |
857 | */ | 959 | */ |
858 | @Override | 960 | @Override |
859 | public EClass getRealObject() | 961 | public EClass getCall() |
860 | { | 962 | { |
861 | return realObjectEClass; | 963 | return callEClass; |
862 | } | 964 | } |
863 | 965 | ||
864 | /** | 966 | /** |
@@ -867,9 +969,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
867 | * @generated | 969 | * @generated |
868 | */ | 970 | */ |
869 | @Override | 971 | @Override |
870 | public EAttribute getRealObject_Value() | 972 | public EReference getCall_Functor() |
871 | { | 973 | { |
872 | return (EAttribute)realObjectEClass.getEStructuralFeatures().get(0); | 974 | return (EReference)callEClass.getEStructuralFeatures().get(0); |
873 | } | 975 | } |
874 | 976 | ||
875 | /** | 977 | /** |
@@ -878,9 +980,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
878 | * @generated | 980 | * @generated |
879 | */ | 981 | */ |
880 | @Override | 982 | @Override |
881 | public EClass getStringObject() | 983 | public EReference getCall_ArgumentList() |
882 | { | 984 | { |
883 | return stringObjectEClass; | 985 | return (EReference)callEClass.getEStructuralFeatures().get(1); |
884 | } | 986 | } |
885 | 987 | ||
886 | /** | 988 | /** |
@@ -889,9 +991,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
889 | * @generated | 991 | * @generated |
890 | */ | 992 | */ |
891 | @Override | 993 | @Override |
892 | public EAttribute getStringObject_Value() | 994 | public EAttribute getCall_TransitiveClosure() |
893 | { | 995 | { |
894 | return (EAttribute)stringObjectEClass.getEStructuralFeatures().get(0); | 996 | return (EAttribute)callEClass.getEStructuralFeatures().get(2); |
895 | } | 997 | } |
896 | 998 | ||
897 | /** | 999 | /** |
@@ -900,9 +1002,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
900 | * @generated | 1002 | * @generated |
901 | */ | 1003 | */ |
902 | @Override | 1004 | @Override |
903 | public EClass getPredicate() | 1005 | public EAttribute getCall_ReflexiveTransitiveClosure() |
904 | { | 1006 | { |
905 | return predicateEClass; | 1007 | return (EAttribute)callEClass.getEStructuralFeatures().get(3); |
906 | } | 1008 | } |
907 | 1009 | ||
908 | /** | 1010 | /** |
@@ -911,9 +1013,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
911 | * @generated | 1013 | * @generated |
912 | */ | 1014 | */ |
913 | @Override | 1015 | @Override |
914 | public EAttribute getPredicate_IsError() | 1016 | public EClass getArgumentList() |
915 | { | 1017 | { |
916 | return (EAttribute)predicateEClass.getEStructuralFeatures().get(0); | 1018 | return argumentListEClass; |
917 | } | 1019 | } |
918 | 1020 | ||
919 | /** | 1021 | /** |
@@ -922,9 +1024,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
922 | * @generated | 1024 | * @generated |
923 | */ | 1025 | */ |
924 | @Override | 1026 | @Override |
925 | public EReference getPredicate_Symbol() | 1027 | public EReference getArgumentList_Arguments() |
926 | { | 1028 | { |
927 | return (EReference)predicateEClass.getEStructuralFeatures().get(1); | 1029 | return (EReference)argumentListEClass.getEStructuralFeatures().get(0); |
928 | } | 1030 | } |
929 | 1031 | ||
930 | /** | 1032 | /** |
@@ -933,9 +1035,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
933 | * @generated | 1035 | * @generated |
934 | */ | 1036 | */ |
935 | @Override | 1037 | @Override |
936 | public EReference getPredicate_Parameters() | 1038 | public EClass getArgument() |
937 | { | 1039 | { |
938 | return (EReference)predicateEClass.getEStructuralFeatures().get(2); | 1040 | return argumentEClass; |
939 | } | 1041 | } |
940 | 1042 | ||
941 | /** | 1043 | /** |
@@ -944,9 +1046,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
944 | * @generated | 1046 | * @generated |
945 | */ | 1047 | */ |
946 | @Override | 1048 | @Override |
947 | public EReference getPredicate_Bodies() | 1049 | public EClass getExpressionArgument() |
948 | { | 1050 | { |
949 | return (EReference)predicateEClass.getEStructuralFeatures().get(3); | 1051 | return expressionArgumentEClass; |
950 | } | 1052 | } |
951 | 1053 | ||
952 | /** | 1054 | /** |
@@ -955,9 +1057,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
955 | * @generated | 1057 | * @generated |
956 | */ | 1058 | */ |
957 | @Override | 1059 | @Override |
958 | public EClass getParameter() | 1060 | public EReference getExpressionArgument_Body() |
959 | { | 1061 | { |
960 | return parameterEClass; | 1062 | return (EReference)expressionArgumentEClass.getEStructuralFeatures().get(0); |
961 | } | 1063 | } |
962 | 1064 | ||
963 | /** | 1065 | /** |
@@ -966,9 +1068,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
966 | * @generated | 1068 | * @generated |
967 | */ | 1069 | */ |
968 | @Override | 1070 | @Override |
969 | public EReference getParameter_Variable() | 1071 | public EClass getStarArgument() |
970 | { | 1072 | { |
971 | return (EReference)parameterEClass.getEStructuralFeatures().get(0); | 1073 | return starArgumentEClass; |
972 | } | 1074 | } |
973 | 1075 | ||
974 | /** | 1076 | /** |
@@ -977,9 +1079,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
977 | * @generated | 1079 | * @generated |
978 | */ | 1080 | */ |
979 | @Override | 1081 | @Override |
980 | public EReference getParameter_Type() | 1082 | public EClass getTypedArgument() |
981 | { | 1083 | { |
982 | return (EReference)parameterEClass.getEStructuralFeatures().get(1); | 1084 | return typedArgumentEClass; |
983 | } | 1085 | } |
984 | 1086 | ||
985 | /** | 1087 | /** |
@@ -988,9 +1090,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
988 | * @generated | 1090 | * @generated |
989 | */ | 1091 | */ |
990 | @Override | 1092 | @Override |
991 | public EClass getPatternBody() | 1093 | public EReference getTypedArgument_Type() |
992 | { | 1094 | { |
993 | return patternBodyEClass; | 1095 | return (EReference)typedArgumentEClass.getEStructuralFeatures().get(0); |
994 | } | 1096 | } |
995 | 1097 | ||
996 | /** | 1098 | /** |
@@ -999,9 +1101,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
999 | * @generated | 1101 | * @generated |
1000 | */ | 1102 | */ |
1001 | @Override | 1103 | @Override |
1002 | public EReference getPatternBody_Constraints() | 1104 | public EReference getTypedArgument_Variable() |
1003 | { | 1105 | { |
1004 | return (EReference)patternBodyEClass.getEStructuralFeatures().get(0); | 1106 | return (EReference)typedArgumentEClass.getEStructuralFeatures().get(1); |
1005 | } | 1107 | } |
1006 | 1108 | ||
1007 | /** | 1109 | /** |
@@ -1010,9 +1112,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1010 | * @generated | 1112 | * @generated |
1011 | */ | 1113 | */ |
1012 | @Override | 1114 | @Override |
1013 | public EClass getPolarity() | 1115 | public EClass getTypedStarArgument() |
1014 | { | 1116 | { |
1015 | return polarityEClass; | 1117 | return typedStarArgumentEClass; |
1016 | } | 1118 | } |
1017 | 1119 | ||
1018 | /** | 1120 | /** |
@@ -1021,9 +1123,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1021 | * @generated | 1123 | * @generated |
1022 | */ | 1124 | */ |
1023 | @Override | 1125 | @Override |
1024 | public EClass getConstraint() | 1126 | public EReference getTypedStarArgument_Type() |
1025 | { | 1127 | { |
1026 | return constraintEClass; | 1128 | return (EReference)typedStarArgumentEClass.getEStructuralFeatures().get(0); |
1027 | } | 1129 | } |
1028 | 1130 | ||
1029 | /** | 1131 | /** |
@@ -1032,9 +1134,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1032 | * @generated | 1134 | * @generated |
1033 | */ | 1135 | */ |
1034 | @Override | 1136 | @Override |
1035 | public EReference getConstraint_Polarity() | 1137 | public EClass getReference() |
1036 | { | 1138 | { |
1037 | return (EReference)constraintEClass.getEStructuralFeatures().get(0); | 1139 | return referenceEClass; |
1038 | } | 1140 | } |
1039 | 1141 | ||
1040 | /** | 1142 | /** |
@@ -1043,9 +1145,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1043 | * @generated | 1145 | * @generated |
1044 | */ | 1146 | */ |
1045 | @Override | 1147 | @Override |
1046 | public EReference getConstraint_Symbol() | 1148 | public EReference getReference_Referred() |
1047 | { | 1149 | { |
1048 | return (EReference)constraintEClass.getEStructuralFeatures().get(1); | 1150 | return (EReference)referenceEClass.getEStructuralFeatures().get(0); |
1049 | } | 1151 | } |
1050 | 1152 | ||
1051 | /** | 1153 | /** |
@@ -1054,9 +1156,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1054 | * @generated | 1156 | * @generated |
1055 | */ | 1157 | */ |
1056 | @Override | 1158 | @Override |
1057 | public EReference getConstraint_Params() | 1159 | public EClass getInterval() |
1058 | { | 1160 | { |
1059 | return (EReference)constraintEClass.getEStructuralFeatures().get(2); | 1161 | return intervalEClass; |
1060 | } | 1162 | } |
1061 | 1163 | ||
1062 | /** | 1164 | /** |
@@ -1065,9 +1167,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1065 | * @generated | 1167 | * @generated |
1066 | */ | 1168 | */ |
1067 | @Override | 1169 | @Override |
1068 | public EReference getConstraint_ClosureType() | 1170 | public EReference getInterval_LowerBound() |
1069 | { | 1171 | { |
1070 | return (EReference)constraintEClass.getEStructuralFeatures().get(3); | 1172 | return (EReference)intervalEClass.getEStructuralFeatures().get(0); |
1071 | } | 1173 | } |
1072 | 1174 | ||
1073 | /** | 1175 | /** |
@@ -1076,9 +1178,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1076 | * @generated | 1178 | * @generated |
1077 | */ | 1179 | */ |
1078 | @Override | 1180 | @Override |
1079 | public EClass getClosureType() | 1181 | public EReference getInterval_UpperBound() |
1080 | { | 1182 | { |
1081 | return closureTypeEClass; | 1183 | return (EReference)intervalEClass.getEStructuralFeatures().get(1); |
1082 | } | 1184 | } |
1083 | 1185 | ||
1084 | /** | 1186 | /** |
@@ -1098,9 +1200,207 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1098 | * @generated | 1200 | * @generated |
1099 | */ | 1201 | */ |
1100 | @Override | 1202 | @Override |
1101 | public EClass getVariable() | 1203 | public EClass getLogicLiteral() |
1204 | { | ||
1205 | return logicLiteralEClass; | ||
1206 | } | ||
1207 | |||
1208 | /** | ||
1209 | * <!-- begin-user-doc --> | ||
1210 | * <!-- end-user-doc --> | ||
1211 | * @generated | ||
1212 | */ | ||
1213 | @Override | ||
1214 | public EAttribute getLogicLiteral_Value() | ||
1215 | { | ||
1216 | return (EAttribute)logicLiteralEClass.getEStructuralFeatures().get(0); | ||
1217 | } | ||
1218 | |||
1219 | /** | ||
1220 | * <!-- begin-user-doc --> | ||
1221 | * <!-- end-user-doc --> | ||
1222 | * @generated | ||
1223 | */ | ||
1224 | @Override | ||
1225 | public EClass getNumericLiteral() | ||
1226 | { | ||
1227 | return numericLiteralEClass; | ||
1228 | } | ||
1229 | |||
1230 | /** | ||
1231 | * <!-- begin-user-doc --> | ||
1232 | * <!-- end-user-doc --> | ||
1233 | * @generated | ||
1234 | */ | ||
1235 | @Override | ||
1236 | public EAttribute getNumericLiteral_Value() | ||
1237 | { | ||
1238 | return (EAttribute)numericLiteralEClass.getEStructuralFeatures().get(0); | ||
1239 | } | ||
1240 | |||
1241 | /** | ||
1242 | * <!-- begin-user-doc --> | ||
1243 | * <!-- end-user-doc --> | ||
1244 | * @generated | ||
1245 | */ | ||
1246 | @Override | ||
1247 | public EClass getInfinityLiteral() | ||
1248 | { | ||
1249 | return infinityLiteralEClass; | ||
1250 | } | ||
1251 | |||
1252 | /** | ||
1253 | * <!-- begin-user-doc --> | ||
1254 | * <!-- end-user-doc --> | ||
1255 | * @generated | ||
1256 | */ | ||
1257 | @Override | ||
1258 | public EClass getEmptyIntervalLiteral() | ||
1259 | { | ||
1260 | return emptyIntervalLiteralEClass; | ||
1261 | } | ||
1262 | |||
1263 | /** | ||
1264 | * <!-- begin-user-doc --> | ||
1265 | * <!-- end-user-doc --> | ||
1266 | * @generated | ||
1267 | */ | ||
1268 | @Override | ||
1269 | public EClass getStringLiteral() | ||
1270 | { | ||
1271 | return stringLiteralEClass; | ||
1272 | } | ||
1273 | |||
1274 | /** | ||
1275 | * <!-- begin-user-doc --> | ||
1276 | * <!-- end-user-doc --> | ||
1277 | * @generated | ||
1278 | */ | ||
1279 | @Override | ||
1280 | public EAttribute getStringLiteral_Value() | ||
1281 | { | ||
1282 | return (EAttribute)stringLiteralEClass.getEStructuralFeatures().get(0); | ||
1283 | } | ||
1284 | |||
1285 | /** | ||
1286 | * <!-- begin-user-doc --> | ||
1287 | * <!-- end-user-doc --> | ||
1288 | * @generated | ||
1289 | */ | ||
1290 | @Override | ||
1291 | public EClass getMemberDefinition() | ||
1292 | { | ||
1293 | return memberDefinitionEClass; | ||
1294 | } | ||
1295 | |||
1296 | /** | ||
1297 | * <!-- begin-user-doc --> | ||
1298 | * <!-- end-user-doc --> | ||
1299 | * @generated | ||
1300 | */ | ||
1301 | @Override | ||
1302 | public EAttribute getMemberDefinition_Containment() | ||
1303 | { | ||
1304 | return (EAttribute)memberDefinitionEClass.getEStructuralFeatures().get(0); | ||
1305 | } | ||
1306 | |||
1307 | /** | ||
1308 | * <!-- begin-user-doc --> | ||
1309 | * <!-- end-user-doc --> | ||
1310 | * @generated | ||
1311 | */ | ||
1312 | @Override | ||
1313 | public EReference getMemberDefinition_Type() | ||
1314 | { | ||
1315 | return (EReference)memberDefinitionEClass.getEStructuralFeatures().get(1); | ||
1316 | } | ||
1317 | |||
1318 | /** | ||
1319 | * <!-- begin-user-doc --> | ||
1320 | * <!-- end-user-doc --> | ||
1321 | * @generated | ||
1322 | */ | ||
1323 | @Override | ||
1324 | public EReference getMemberDefinition_Multiplicity() | ||
1325 | { | ||
1326 | return (EReference)memberDefinitionEClass.getEStructuralFeatures().get(2); | ||
1327 | } | ||
1328 | |||
1329 | /** | ||
1330 | * <!-- begin-user-doc --> | ||
1331 | * <!-- end-user-doc --> | ||
1332 | * @generated | ||
1333 | */ | ||
1334 | @Override | ||
1335 | public EAttribute getMemberDefinition_Name() | ||
1336 | { | ||
1337 | return (EAttribute)memberDefinitionEClass.getEStructuralFeatures().get(3); | ||
1338 | } | ||
1339 | |||
1340 | /** | ||
1341 | * <!-- begin-user-doc --> | ||
1342 | * <!-- end-user-doc --> | ||
1343 | * @generated | ||
1344 | */ | ||
1345 | @Override | ||
1346 | public EReference getMemberDefinition_Opposite() | ||
1347 | { | ||
1348 | return (EReference)memberDefinitionEClass.getEStructuralFeatures().get(4); | ||
1349 | } | ||
1350 | |||
1351 | /** | ||
1352 | * <!-- begin-user-doc --> | ||
1353 | * <!-- end-user-doc --> | ||
1354 | * @generated | ||
1355 | */ | ||
1356 | @Override | ||
1357 | public EClass getMultiplicity() | ||
1358 | { | ||
1359 | return multiplicityEClass; | ||
1360 | } | ||
1361 | |||
1362 | /** | ||
1363 | * <!-- begin-user-doc --> | ||
1364 | * <!-- end-user-doc --> | ||
1365 | * @generated | ||
1366 | */ | ||
1367 | @Override | ||
1368 | public EClass getManyMultiplicity() | ||
1369 | { | ||
1370 | return manyMultiplicityEClass; | ||
1371 | } | ||
1372 | |||
1373 | /** | ||
1374 | * <!-- begin-user-doc --> | ||
1375 | * <!-- end-user-doc --> | ||
1376 | * @generated | ||
1377 | */ | ||
1378 | @Override | ||
1379 | public EClass getExactMultiplicity() | ||
1380 | { | ||
1381 | return exactMultiplicityEClass; | ||
1382 | } | ||
1383 | |||
1384 | /** | ||
1385 | * <!-- begin-user-doc --> | ||
1386 | * <!-- end-user-doc --> | ||
1387 | * @generated | ||
1388 | */ | ||
1389 | @Override | ||
1390 | public EAttribute getExactMultiplicity_Multiplicity() | ||
1391 | { | ||
1392 | return (EAttribute)exactMultiplicityEClass.getEStructuralFeatures().get(0); | ||
1393 | } | ||
1394 | |||
1395 | /** | ||
1396 | * <!-- begin-user-doc --> | ||
1397 | * <!-- end-user-doc --> | ||
1398 | * @generated | ||
1399 | */ | ||
1400 | @Override | ||
1401 | public EClass getBoundedMultiplicity() | ||
1102 | { | 1402 | { |
1103 | return variableEClass; | 1403 | return boundedMultiplicityEClass; |
1104 | } | 1404 | } |
1105 | 1405 | ||
1106 | /** | 1406 | /** |
@@ -1109,9 +1409,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1109 | * @generated | 1409 | * @generated |
1110 | */ | 1410 | */ |
1111 | @Override | 1411 | @Override |
1112 | public EAttribute getVariable_Name() | 1412 | public EAttribute getBoundedMultiplicity_LowerBound() |
1113 | { | 1413 | { |
1114 | return (EAttribute)variableEClass.getEStructuralFeatures().get(0); | 1414 | return (EAttribute)boundedMultiplicityEClass.getEStructuralFeatures().get(0); |
1115 | } | 1415 | } |
1116 | 1416 | ||
1117 | /** | 1417 | /** |
@@ -1120,9 +1420,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1120 | * @generated | 1420 | * @generated |
1121 | */ | 1421 | */ |
1122 | @Override | 1422 | @Override |
1123 | public EClass getAllInstances() | 1423 | public EAttribute getBoundedMultiplicity_UpperBound() |
1124 | { | 1424 | { |
1125 | return allInstancesEClass; | 1425 | return (EAttribute)boundedMultiplicityEClass.getEStructuralFeatures().get(1); |
1126 | } | 1426 | } |
1127 | 1427 | ||
1128 | /** | 1428 | /** |
@@ -1131,9 +1431,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1131 | * @generated | 1431 | * @generated |
1132 | */ | 1432 | */ |
1133 | @Override | 1433 | @Override |
1134 | public EReference getAllInstances_Symbol() | 1434 | public EClass getScopeDefinition() |
1135 | { | 1435 | { |
1136 | return (EReference)allInstancesEClass.getEStructuralFeatures().get(0); | 1436 | return scopeDefinitionEClass; |
1137 | } | 1437 | } |
1138 | 1438 | ||
1139 | /** | 1439 | /** |
@@ -1142,9 +1442,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1142 | * @generated | 1442 | * @generated |
1143 | */ | 1443 | */ |
1144 | @Override | 1444 | @Override |
1145 | public EClass getAllObjects() | 1445 | public EReference getScopeDefinition_Type() |
1146 | { | 1446 | { |
1147 | return allObjectsEClass; | 1447 | return (EReference)scopeDefinitionEClass.getEStructuralFeatures().get(0); |
1148 | } | 1448 | } |
1149 | 1449 | ||
1150 | /** | 1450 | /** |
@@ -1153,9 +1453,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1153 | * @generated | 1453 | * @generated |
1154 | */ | 1454 | */ |
1155 | @Override | 1455 | @Override |
1156 | public EClass getDefaultInterpretation() | 1456 | public EClass getExactScopeDefinition() |
1157 | { | 1457 | { |
1158 | return defaultInterpretationEClass; | 1458 | return exactScopeDefinitionEClass; |
1159 | } | 1459 | } |
1160 | 1460 | ||
1161 | /** | 1461 | /** |
@@ -1164,9 +1464,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1164 | * @generated | 1464 | * @generated |
1165 | */ | 1465 | */ |
1166 | @Override | 1466 | @Override |
1167 | public EReference getDefaultInterpretation_Interpretation() | 1467 | public EAttribute getExactScopeDefinition_ExactScope() |
1168 | { | 1468 | { |
1169 | return (EReference)defaultInterpretationEClass.getEStructuralFeatures().get(0); | 1469 | return (EAttribute)exactScopeDefinitionEClass.getEStructuralFeatures().get(0); |
1170 | } | 1470 | } |
1171 | 1471 | ||
1172 | /** | 1472 | /** |
@@ -1175,9 +1475,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1175 | * @generated | 1475 | * @generated |
1176 | */ | 1476 | */ |
1177 | @Override | 1477 | @Override |
1178 | public EClass getCDInterpretation() | 1478 | public EClass getBoundedScopeDefinition() |
1179 | { | 1479 | { |
1180 | return cdInterpretationEClass; | 1480 | return boundedScopeDefinitionEClass; |
1181 | } | 1481 | } |
1182 | 1482 | ||
1183 | /** | 1483 | /** |
@@ -1186,9 +1486,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1186 | * @generated | 1486 | * @generated |
1187 | */ | 1487 | */ |
1188 | @Override | 1488 | @Override |
1189 | public EClass getClassInterpretation() | 1489 | public EAttribute getBoundedScopeDefinition_LowerBound() |
1190 | { | 1490 | { |
1191 | return classInterpretationEClass; | 1491 | return (EAttribute)boundedScopeDefinitionEClass.getEStructuralFeatures().get(0); |
1192 | } | 1492 | } |
1193 | 1493 | ||
1194 | /** | 1494 | /** |
@@ -1197,9 +1497,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1197 | * @generated | 1497 | * @generated |
1198 | */ | 1498 | */ |
1199 | @Override | 1499 | @Override |
1200 | public EAttribute getClassInterpretation_Abstract() | 1500 | public EAttribute getBoundedScopeDefinition_UpperBound() |
1201 | { | 1501 | { |
1202 | return (EAttribute)classInterpretationEClass.getEStructuralFeatures().get(0); | 1502 | return (EAttribute)boundedScopeDefinitionEClass.getEStructuralFeatures().get(1); |
1203 | } | 1503 | } |
1204 | 1504 | ||
1205 | /** | 1505 | /** |
@@ -1208,9 +1508,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1208 | * @generated | 1508 | * @generated |
1209 | */ | 1509 | */ |
1210 | @Override | 1510 | @Override |
1211 | public EReference getClassInterpretation_Symbol() | 1511 | public EClass getLowerBoundedScopeDefinition() |
1212 | { | 1512 | { |
1213 | return (EReference)classInterpretationEClass.getEStructuralFeatures().get(1); | 1513 | return lowerBoundedScopeDefinitionEClass; |
1214 | } | 1514 | } |
1215 | 1515 | ||
1216 | /** | 1516 | /** |
@@ -1219,9 +1519,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1219 | * @generated | 1519 | * @generated |
1220 | */ | 1520 | */ |
1221 | @Override | 1521 | @Override |
1222 | public EReference getClassInterpretation_Supertypes() | 1522 | public EAttribute getLowerBoundedScopeDefinition_LowerBound() |
1223 | { | 1523 | { |
1224 | return (EReference)classInterpretationEClass.getEStructuralFeatures().get(2); | 1524 | return (EAttribute)lowerBoundedScopeDefinitionEClass.getEStructuralFeatures().get(0); |
1225 | } | 1525 | } |
1226 | 1526 | ||
1227 | /** | 1527 | /** |
@@ -1230,9 +1530,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1230 | * @generated | 1530 | * @generated |
1231 | */ | 1531 | */ |
1232 | @Override | 1532 | @Override |
1233 | public EReference getClassInterpretation_Fielt() | 1533 | public EClass getObjectiveDefinition() |
1234 | { | 1534 | { |
1235 | return (EReference)classInterpretationEClass.getEStructuralFeatures().get(3); | 1535 | return objectiveDefinitionEClass; |
1236 | } | 1536 | } |
1237 | 1537 | ||
1238 | /** | 1538 | /** |
@@ -1241,9 +1541,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1241 | * @generated | 1541 | * @generated |
1242 | */ | 1542 | */ |
1243 | @Override | 1543 | @Override |
1244 | public EClass getEnumInterpretation() | 1544 | public EAttribute getObjectiveDefinition_Kind() |
1245 | { | 1545 | { |
1246 | return enumInterpretationEClass; | 1546 | return (EAttribute)objectiveDefinitionEClass.getEStructuralFeatures().get(0); |
1247 | } | 1547 | } |
1248 | 1548 | ||
1249 | /** | 1549 | /** |
@@ -1252,9 +1552,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1252 | * @generated | 1552 | * @generated |
1253 | */ | 1553 | */ |
1254 | @Override | 1554 | @Override |
1255 | public EReference getEnumInterpretation_Symbol() | 1555 | public EReference getObjectiveDefinition_Objective() |
1256 | { | 1556 | { |
1257 | return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(0); | 1557 | return (EReference)objectiveDefinitionEClass.getEStructuralFeatures().get(1); |
1258 | } | 1558 | } |
1259 | 1559 | ||
1260 | /** | 1560 | /** |
@@ -1263,9 +1563,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1263 | * @generated | 1563 | * @generated |
1264 | */ | 1564 | */ |
1265 | @Override | 1565 | @Override |
1266 | public EReference getEnumInterpretation_Objects() | 1566 | public EClass getNamedElement() |
1267 | { | 1567 | { |
1268 | return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(1); | 1568 | return namedElementEClass; |
1269 | } | 1569 | } |
1270 | 1570 | ||
1271 | /** | 1571 | /** |
@@ -1274,9 +1574,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1274 | * @generated | 1574 | * @generated |
1275 | */ | 1575 | */ |
1276 | @Override | 1576 | @Override |
1277 | public EClass getFieldRelationInterpretation() | 1577 | public EAttribute getNamedElement_Name() |
1278 | { | 1578 | { |
1279 | return fieldRelationInterpretationEClass; | 1579 | return (EAttribute)namedElementEClass.getEStructuralFeatures().get(0); |
1280 | } | 1580 | } |
1281 | 1581 | ||
1282 | /** | 1582 | /** |
@@ -1285,9 +1585,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1285 | * @generated | 1585 | * @generated |
1286 | */ | 1586 | */ |
1287 | @Override | 1587 | @Override |
1288 | public EAttribute getFieldRelationInterpretation_Containment() | 1588 | public EClass getAssertion() |
1289 | { | 1589 | { |
1290 | return (EAttribute)fieldRelationInterpretationEClass.getEStructuralFeatures().get(0); | 1590 | return assertionEClass; |
1291 | } | 1591 | } |
1292 | 1592 | ||
1293 | /** | 1593 | /** |
@@ -1296,9 +1596,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1296 | * @generated | 1596 | * @generated |
1297 | */ | 1597 | */ |
1298 | @Override | 1598 | @Override |
1299 | public EReference getFieldRelationInterpretation_Symbol() | 1599 | public EReference getAssertion_Body() |
1300 | { | 1600 | { |
1301 | return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(1); | 1601 | return (EReference)assertionEClass.getEStructuralFeatures().get(0); |
1302 | } | 1602 | } |
1303 | 1603 | ||
1304 | /** | 1604 | /** |
@@ -1307,9 +1607,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1307 | * @generated | 1607 | * @generated |
1308 | */ | 1608 | */ |
1309 | @Override | 1609 | @Override |
1310 | public EReference getFieldRelationInterpretation_Multiplicity() | 1610 | public EReference getAssertion_Range() |
1311 | { | 1611 | { |
1312 | return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(2); | 1612 | return (EReference)assertionEClass.getEStructuralFeatures().get(1); |
1313 | } | 1613 | } |
1314 | 1614 | ||
1315 | /** | 1615 | /** |
@@ -1318,9 +1618,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1318 | * @generated | 1618 | * @generated |
1319 | */ | 1619 | */ |
1320 | @Override | 1620 | @Override |
1321 | public EReference getFieldRelationInterpretation_Target() | 1621 | public EClass getDisjunction() |
1322 | { | 1622 | { |
1323 | return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(3); | 1623 | return disjunctionEClass; |
1324 | } | 1624 | } |
1325 | 1625 | ||
1326 | /** | 1626 | /** |
@@ -1329,9 +1629,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1329 | * @generated | 1629 | * @generated |
1330 | */ | 1630 | */ |
1331 | @Override | 1631 | @Override |
1332 | public EClass getGlobalRelationInterpretation() | 1632 | public EReference getDisjunction_Children() |
1333 | { | 1633 | { |
1334 | return globalRelationInterpretationEClass; | 1634 | return (EReference)disjunctionEClass.getEStructuralFeatures().get(0); |
1335 | } | 1635 | } |
1336 | 1636 | ||
1337 | /** | 1637 | /** |
@@ -1340,9 +1640,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1340 | * @generated | 1640 | * @generated |
1341 | */ | 1641 | */ |
1342 | @Override | 1642 | @Override |
1343 | public EAttribute getGlobalRelationInterpretation_Containment() | 1643 | public EClass getSwitch() |
1344 | { | 1644 | { |
1345 | return (EAttribute)globalRelationInterpretationEClass.getEStructuralFeatures().get(0); | 1645 | return switchEClass; |
1346 | } | 1646 | } |
1347 | 1647 | ||
1348 | /** | 1648 | /** |
@@ -1351,9 +1651,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1351 | * @generated | 1651 | * @generated |
1352 | */ | 1652 | */ |
1353 | @Override | 1653 | @Override |
1354 | public EReference getGlobalRelationInterpretation_Symbol() | 1654 | public EReference getSwitch_Cases() |
1355 | { | 1655 | { |
1356 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(1); | 1656 | return (EReference)switchEClass.getEStructuralFeatures().get(0); |
1357 | } | 1657 | } |
1358 | 1658 | ||
1359 | /** | 1659 | /** |
@@ -1362,9 +1662,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1362 | * @generated | 1662 | * @generated |
1363 | */ | 1663 | */ |
1364 | @Override | 1664 | @Override |
1365 | public EReference getGlobalRelationInterpretation_SourceMultiplicity() | 1665 | public EClass getConjunction() |
1366 | { | 1666 | { |
1367 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(2); | 1667 | return conjunctionEClass; |
1368 | } | 1668 | } |
1369 | 1669 | ||
1370 | /** | 1670 | /** |
@@ -1373,9 +1673,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1373 | * @generated | 1673 | * @generated |
1374 | */ | 1674 | */ |
1375 | @Override | 1675 | @Override |
1376 | public EReference getGlobalRelationInterpretation_Source() | 1676 | public EReference getConjunction_Children() |
1377 | { | 1677 | { |
1378 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(3); | 1678 | return (EReference)conjunctionEClass.getEStructuralFeatures().get(0); |
1379 | } | 1679 | } |
1380 | 1680 | ||
1381 | /** | 1681 | /** |
@@ -1384,9 +1684,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1384 | * @generated | 1684 | * @generated |
1385 | */ | 1685 | */ |
1386 | @Override | 1686 | @Override |
1387 | public EReference getGlobalRelationInterpretation_TargetMultiplicity() | 1687 | public EClass getComparison() |
1388 | { | 1688 | { |
1389 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(4); | 1689 | return comparisonEClass; |
1390 | } | 1690 | } |
1391 | 1691 | ||
1392 | /** | 1692 | /** |
@@ -1395,9 +1695,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1395 | * @generated | 1695 | * @generated |
1396 | */ | 1696 | */ |
1397 | @Override | 1697 | @Override |
1398 | public EReference getGlobalRelationInterpretation_Target() | 1698 | public EReference getComparison_Left() |
1399 | { | 1699 | { |
1400 | return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(5); | 1700 | return (EReference)comparisonEClass.getEStructuralFeatures().get(0); |
1401 | } | 1701 | } |
1402 | 1702 | ||
1403 | /** | 1703 | /** |
@@ -1406,9 +1706,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1406 | * @generated | 1706 | * @generated |
1407 | */ | 1707 | */ |
1408 | @Override | 1708 | @Override |
1409 | public EClass getMultiplicityDefinition() | 1709 | public EAttribute getComparison_Op() |
1410 | { | 1710 | { |
1411 | return multiplicityDefinitionEClass; | 1711 | return (EAttribute)comparisonEClass.getEStructuralFeatures().get(1); |
1412 | } | 1712 | } |
1413 | 1713 | ||
1414 | /** | 1714 | /** |
@@ -1417,9 +1717,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1417 | * @generated | 1717 | * @generated |
1418 | */ | 1718 | */ |
1419 | @Override | 1719 | @Override |
1420 | public EAttribute getMultiplicityDefinition_Lower() | 1720 | public EReference getComparison_Right() |
1421 | { | 1721 | { |
1422 | return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(0); | 1722 | return (EReference)comparisonEClass.getEStructuralFeatures().get(2); |
1423 | } | 1723 | } |
1424 | 1724 | ||
1425 | /** | 1725 | /** |
@@ -1428,9 +1728,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1428 | * @generated | 1728 | * @generated |
1429 | */ | 1729 | */ |
1430 | @Override | 1730 | @Override |
1431 | public EAttribute getMultiplicityDefinition_Upper() | 1731 | public EClass getBinaryExpression() |
1432 | { | 1732 | { |
1433 | return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(1); | 1733 | return binaryExpressionEClass; |
1434 | } | 1734 | } |
1435 | 1735 | ||
1436 | /** | 1736 | /** |
@@ -1439,9 +1739,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1439 | * @generated | 1739 | * @generated |
1440 | */ | 1740 | */ |
1441 | @Override | 1741 | @Override |
1442 | public EAttribute getMultiplicityDefinition_UnlimitedUpper() | 1742 | public EReference getBinaryExpression_Left() |
1443 | { | 1743 | { |
1444 | return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(2); | 1744 | return (EReference)binaryExpressionEClass.getEStructuralFeatures().get(0); |
1445 | } | 1745 | } |
1446 | 1746 | ||
1447 | /** | 1747 | /** |
@@ -1450,9 +1750,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1450 | * @generated | 1750 | * @generated |
1451 | */ | 1751 | */ |
1452 | @Override | 1752 | @Override |
1453 | public EClass getBooleanTrue() | 1753 | public EAttribute getBinaryExpression_Op() |
1454 | { | 1754 | { |
1455 | return booleanTrueEClass; | 1755 | return (EAttribute)binaryExpressionEClass.getEStructuralFeatures().get(1); |
1456 | } | 1756 | } |
1457 | 1757 | ||
1458 | /** | 1758 | /** |
@@ -1461,9 +1761,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1461 | * @generated | 1761 | * @generated |
1462 | */ | 1762 | */ |
1463 | @Override | 1763 | @Override |
1464 | public EClass getBooleanFalse() | 1764 | public EReference getBinaryExpression_Right() |
1465 | { | 1765 | { |
1466 | return booleanFalseEClass; | 1766 | return (EReference)binaryExpressionEClass.getEStructuralFeatures().get(2); |
1467 | } | 1767 | } |
1468 | 1768 | ||
1469 | /** | 1769 | /** |
@@ -1472,9 +1772,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1472 | * @generated | 1772 | * @generated |
1473 | */ | 1773 | */ |
1474 | @Override | 1774 | @Override |
1475 | public EClass getTrue() | 1775 | public EClass getUnaryExpression() |
1476 | { | 1776 | { |
1477 | return trueEClass; | 1777 | return unaryExpressionEClass; |
1478 | } | 1778 | } |
1479 | 1779 | ||
1480 | /** | 1780 | /** |
@@ -1483,9 +1783,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1483 | * @generated | 1783 | * @generated |
1484 | */ | 1784 | */ |
1485 | @Override | 1785 | @Override |
1486 | public EClass getFalse() | 1786 | public EAttribute getUnaryExpression_Op() |
1487 | { | 1787 | { |
1488 | return falseEClass; | 1788 | return (EAttribute)unaryExpressionEClass.getEStructuralFeatures().get(0); |
1489 | } | 1789 | } |
1490 | 1790 | ||
1491 | /** | 1791 | /** |
@@ -1494,9 +1794,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1494 | * @generated | 1794 | * @generated |
1495 | */ | 1795 | */ |
1496 | @Override | 1796 | @Override |
1497 | public EClass getUnknown() | 1797 | public EReference getUnaryExpression_Body() |
1498 | { | 1798 | { |
1499 | return unknownEClass; | 1799 | return (EReference)unaryExpressionEClass.getEStructuralFeatures().get(1); |
1500 | } | 1800 | } |
1501 | 1801 | ||
1502 | /** | 1802 | /** |
@@ -1505,9 +1805,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1505 | * @generated | 1805 | * @generated |
1506 | */ | 1806 | */ |
1507 | @Override | 1807 | @Override |
1508 | public EClass getError() | 1808 | public EEnum getMetricType() |
1509 | { | 1809 | { |
1510 | return errorEClass; | 1810 | return metricTypeEEnum; |
1511 | } | 1811 | } |
1512 | 1812 | ||
1513 | /** | 1813 | /** |
@@ -1516,9 +1816,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1516 | * @generated | 1816 | * @generated |
1517 | */ | 1817 | */ |
1518 | @Override | 1818 | @Override |
1519 | public EClass getPositive() | 1819 | public EEnum getBinaryOperator() |
1520 | { | 1820 | { |
1521 | return positiveEClass; | 1821 | return binaryOperatorEEnum; |
1522 | } | 1822 | } |
1523 | 1823 | ||
1524 | /** | 1824 | /** |
@@ -1527,9 +1827,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1527 | * @generated | 1827 | * @generated |
1528 | */ | 1828 | */ |
1529 | @Override | 1829 | @Override |
1530 | public EClass getNegative() | 1830 | public EEnum getUnaryOp() |
1531 | { | 1831 | { |
1532 | return negativeEClass; | 1832 | return unaryOpEEnum; |
1533 | } | 1833 | } |
1534 | 1834 | ||
1535 | /** | 1835 | /** |
@@ -1538,9 +1838,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1538 | * @generated | 1838 | * @generated |
1539 | */ | 1839 | */ |
1540 | @Override | 1840 | @Override |
1541 | public EClass getReflexiveClosure() | 1841 | public EEnum getAggregationOp() |
1542 | { | 1842 | { |
1543 | return reflexiveClosureEClass; | 1843 | return aggregationOpEEnum; |
1544 | } | 1844 | } |
1545 | 1845 | ||
1546 | /** | 1846 | /** |
@@ -1549,9 +1849,20 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1549 | * @generated | 1849 | * @generated |
1550 | */ | 1850 | */ |
1551 | @Override | 1851 | @Override |
1552 | public EClass getIrreflexiveClosure() | 1852 | public EEnum getLogicValue() |
1553 | { | 1853 | { |
1554 | return irreflexiveClosureEClass; | 1854 | return logicValueEEnum; |
1855 | } | ||
1856 | |||
1857 | /** | ||
1858 | * <!-- begin-user-doc --> | ||
1859 | * <!-- end-user-doc --> | ||
1860 | * @generated | ||
1861 | */ | ||
1862 | @Override | ||
1863 | public EEnum getObjectiveKind() | ||
1864 | { | ||
1865 | return objectiveKindEEnum; | ||
1555 | } | 1866 | } |
1556 | 1867 | ||
1557 | /** | 1868 | /** |
@@ -1589,149 +1900,173 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1589 | createEReference(problemEClass, PROBLEM__STATEMENTS); | 1900 | createEReference(problemEClass, PROBLEM__STATEMENTS); |
1590 | 1901 | ||
1591 | statementEClass = createEClass(STATEMENT); | 1902 | statementEClass = createEClass(STATEMENT); |
1903 | createEAttribute(statementEClass, STATEMENT__ABSTRACT); | ||
1904 | createEAttribute(statementEClass, STATEMENT__NAME); | ||
1905 | createEReference(statementEClass, STATEMENT__SUPERCLASSES); | ||
1906 | createEReference(statementEClass, STATEMENT__MEMBERS); | ||
1592 | 1907 | ||
1593 | booleanValueEClass = createEClass(BOOLEAN_VALUE); | 1908 | predicateDefinitionEClass = createEClass(PREDICATE_DEFINITION); |
1594 | 1909 | createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__HEAD); | |
1595 | truthValueEClass = createEClass(TRUTH_VALUE); | 1910 | createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__BODY); |
1596 | 1911 | createEAttribute(predicateDefinitionEClass, PREDICATE_DEFINITION__FUNCTIONAL); | |
1597 | interpretationEClass = createEClass(INTERPRETATION); | 1912 | createEAttribute(predicateDefinitionEClass, PREDICATE_DEFINITION__ERROR); |
1598 | |||
1599 | basicInterpretationEClass = createEClass(BASIC_INTERPRETATION); | ||
1600 | createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__SYMBOL); | ||
1601 | createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__OBJECTS); | ||
1602 | createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__VALUE); | ||
1603 | |||
1604 | symbolEClass = createEClass(SYMBOL); | ||
1605 | 1913 | ||
1606 | modelSymbolEClass = createEClass(MODEL_SYMBOL); | 1914 | unnamedErrorPrediateDefinitionEClass = createEClass(UNNAMED_ERROR_PREDIATE_DEFINITION); |
1607 | createEAttribute(modelSymbolEClass, MODEL_SYMBOL__NAME); | 1915 | createEReference(unnamedErrorPrediateDefinitionEClass, UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST); |
1916 | createEReference(unnamedErrorPrediateDefinitionEClass, UNNAMED_ERROR_PREDIATE_DEFINITION__BODY); | ||
1608 | 1917 | ||
1609 | partialitySymbolEClass = createEClass(PARTIALITY_SYMBOL); | 1918 | defaultDefinitionEClass = createEClass(DEFAULT_DEFINITION); |
1919 | createEReference(defaultDefinitionEClass, DEFAULT_DEFINITION__HEAD); | ||
1920 | createEReference(defaultDefinitionEClass, DEFAULT_DEFINITION__RANGE); | ||
1610 | 1921 | ||
1611 | existSymbolEClass = createEClass(EXIST_SYMBOL); | 1922 | externPredicateDefinitionEClass = createEClass(EXTERN_PREDICATE_DEFINITION); |
1923 | createEReference(externPredicateDefinitionEClass, EXTERN_PREDICATE_DEFINITION__HEAD); | ||
1612 | 1924 | ||
1613 | equalsSymbolEClass = createEClass(EQUALS_SYMBOL); | 1925 | metricDefinitionEClass = createEClass(METRIC_DEFINITION); |
1926 | createEReference(metricDefinitionEClass, METRIC_DEFINITION__HEAD); | ||
1927 | createEReference(metricDefinitionEClass, METRIC_DEFINITION__BODY); | ||
1928 | createEAttribute(metricDefinitionEClass, METRIC_DEFINITION__TYPE); | ||
1614 | 1929 | ||
1615 | dataSymbolEClass = createEClass(DATA_SYMBOL); | 1930 | externMetricDefinitionEClass = createEClass(EXTERN_METRIC_DEFINITION); |
1931 | createEAttribute(externMetricDefinitionEClass, EXTERN_METRIC_DEFINITION__TYPE); | ||
1932 | createEReference(externMetricDefinitionEClass, EXTERN_METRIC_DEFINITION__HEAD); | ||
1616 | 1933 | ||
1617 | booleanSymbolEClass = createEClass(BOOLEAN_SYMBOL); | 1934 | expressionEClass = createEClass(EXPRESSION); |
1618 | 1935 | ||
1619 | integerSymbolEClass = createEClass(INTEGER_SYMBOL); | 1936 | ifElseEClass = createEClass(IF_ELSE); |
1937 | createEReference(ifElseEClass, IF_ELSE__CONDITION); | ||
1938 | createEReference(ifElseEClass, IF_ELSE__THEN); | ||
1939 | createEReference(ifElseEClass, IF_ELSE__ELSE); | ||
1620 | 1940 | ||
1621 | realSymbolEClass = createEClass(REAL_SYMBOL); | 1941 | caseEClass = createEClass(CASE); |
1942 | createEReference(caseEClass, CASE__CONDITION); | ||
1943 | createEReference(caseEClass, CASE__BODY); | ||
1622 | 1944 | ||
1623 | stringSymbolEClass = createEClass(STRING_SYMBOL); | 1945 | countEClass = createEClass(COUNT); |
1946 | createEReference(countEClass, COUNT__BODY); | ||
1624 | 1947 | ||
1625 | complexObjectEClass = createEClass(COMPLEX_OBJECT); | 1948 | aggregationEClass = createEClass(AGGREGATION); |
1949 | createEAttribute(aggregationEClass, AGGREGATION__OP); | ||
1950 | createEReference(aggregationEClass, AGGREGATION__BODY); | ||
1951 | createEReference(aggregationEClass, AGGREGATION__CONDITION); | ||
1626 | 1952 | ||
1627 | objectEClass = createEClass(OBJECT); | 1953 | callEClass = createEClass(CALL); |
1954 | createEReference(callEClass, CALL__FUNCTOR); | ||
1955 | createEReference(callEClass, CALL__ARGUMENT_LIST); | ||
1956 | createEAttribute(callEClass, CALL__TRANSITIVE_CLOSURE); | ||
1957 | createEAttribute(callEClass, CALL__REFLEXIVE_TRANSITIVE_CLOSURE); | ||
1628 | 1958 | ||
1629 | namedObjectEClass = createEClass(NAMED_OBJECT); | 1959 | argumentListEClass = createEClass(ARGUMENT_LIST); |
1630 | createEAttribute(namedObjectEClass, NAMED_OBJECT__NAME); | 1960 | createEReference(argumentListEClass, ARGUMENT_LIST__ARGUMENTS); |
1631 | 1961 | ||
1632 | unnamedObjectEClass = createEClass(UNNAMED_OBJECT); | 1962 | argumentEClass = createEClass(ARGUMENT); |
1633 | createEAttribute(unnamedObjectEClass, UNNAMED_OBJECT__NAME); | ||
1634 | 1963 | ||
1635 | dataObjectEClass = createEClass(DATA_OBJECT); | 1964 | expressionArgumentEClass = createEClass(EXPRESSION_ARGUMENT); |
1965 | createEReference(expressionArgumentEClass, EXPRESSION_ARGUMENT__BODY); | ||
1636 | 1966 | ||
1637 | booleanObjectEClass = createEClass(BOOLEAN_OBJECT); | 1967 | starArgumentEClass = createEClass(STAR_ARGUMENT); |
1638 | createEReference(booleanObjectEClass, BOOLEAN_OBJECT__VALUE); | ||
1639 | 1968 | ||
1640 | intObjectEClass = createEClass(INT_OBJECT); | 1969 | typedArgumentEClass = createEClass(TYPED_ARGUMENT); |
1641 | createEAttribute(intObjectEClass, INT_OBJECT__VALUE); | 1970 | createEReference(typedArgumentEClass, TYPED_ARGUMENT__TYPE); |
1971 | createEReference(typedArgumentEClass, TYPED_ARGUMENT__VARIABLE); | ||
1642 | 1972 | ||
1643 | realObjectEClass = createEClass(REAL_OBJECT); | 1973 | typedStarArgumentEClass = createEClass(TYPED_STAR_ARGUMENT); |
1644 | createEAttribute(realObjectEClass, REAL_OBJECT__VALUE); | 1974 | createEReference(typedStarArgumentEClass, TYPED_STAR_ARGUMENT__TYPE); |
1645 | 1975 | ||
1646 | stringObjectEClass = createEClass(STRING_OBJECT); | 1976 | referenceEClass = createEClass(REFERENCE); |
1647 | createEAttribute(stringObjectEClass, STRING_OBJECT__VALUE); | 1977 | createEReference(referenceEClass, REFERENCE__REFERRED); |
1648 | 1978 | ||
1649 | predicateEClass = createEClass(PREDICATE); | 1979 | intervalEClass = createEClass(INTERVAL); |
1650 | createEAttribute(predicateEClass, PREDICATE__IS_ERROR); | 1980 | createEReference(intervalEClass, INTERVAL__LOWER_BOUND); |
1651 | createEReference(predicateEClass, PREDICATE__SYMBOL); | 1981 | createEReference(intervalEClass, INTERVAL__UPPER_BOUND); |
1652 | createEReference(predicateEClass, PREDICATE__PARAMETERS); | ||
1653 | createEReference(predicateEClass, PREDICATE__BODIES); | ||
1654 | 1982 | ||
1655 | parameterEClass = createEClass(PARAMETER); | 1983 | literalEClass = createEClass(LITERAL); |
1656 | createEReference(parameterEClass, PARAMETER__VARIABLE); | ||
1657 | createEReference(parameterEClass, PARAMETER__TYPE); | ||
1658 | |||
1659 | patternBodyEClass = createEClass(PATTERN_BODY); | ||
1660 | createEReference(patternBodyEClass, PATTERN_BODY__CONSTRAINTS); | ||
1661 | 1984 | ||
1662 | polarityEClass = createEClass(POLARITY); | 1985 | logicLiteralEClass = createEClass(LOGIC_LITERAL); |
1986 | createEAttribute(logicLiteralEClass, LOGIC_LITERAL__VALUE); | ||
1663 | 1987 | ||
1664 | constraintEClass = createEClass(CONSTRAINT); | 1988 | numericLiteralEClass = createEClass(NUMERIC_LITERAL); |
1665 | createEReference(constraintEClass, CONSTRAINT__POLARITY); | 1989 | createEAttribute(numericLiteralEClass, NUMERIC_LITERAL__VALUE); |
1666 | createEReference(constraintEClass, CONSTRAINT__SYMBOL); | ||
1667 | createEReference(constraintEClass, CONSTRAINT__PARAMS); | ||
1668 | createEReference(constraintEClass, CONSTRAINT__CLOSURE_TYPE); | ||
1669 | 1990 | ||
1670 | closureTypeEClass = createEClass(CLOSURE_TYPE); | 1991 | infinityLiteralEClass = createEClass(INFINITY_LITERAL); |
1671 | 1992 | ||
1672 | literalEClass = createEClass(LITERAL); | 1993 | emptyIntervalLiteralEClass = createEClass(EMPTY_INTERVAL_LITERAL); |
1673 | 1994 | ||
1674 | variableEClass = createEClass(VARIABLE); | 1995 | stringLiteralEClass = createEClass(STRING_LITERAL); |
1675 | createEAttribute(variableEClass, VARIABLE__NAME); | 1996 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); |
1676 | 1997 | ||
1677 | allInstancesEClass = createEClass(ALL_INSTANCES); | 1998 | memberDefinitionEClass = createEClass(MEMBER_DEFINITION); |
1678 | createEReference(allInstancesEClass, ALL_INSTANCES__SYMBOL); | 1999 | createEAttribute(memberDefinitionEClass, MEMBER_DEFINITION__CONTAINMENT); |
2000 | createEReference(memberDefinitionEClass, MEMBER_DEFINITION__TYPE); | ||
2001 | createEReference(memberDefinitionEClass, MEMBER_DEFINITION__MULTIPLICITY); | ||
2002 | createEAttribute(memberDefinitionEClass, MEMBER_DEFINITION__NAME); | ||
2003 | createEReference(memberDefinitionEClass, MEMBER_DEFINITION__OPPOSITE); | ||
1679 | 2004 | ||
1680 | allObjectsEClass = createEClass(ALL_OBJECTS); | 2005 | multiplicityEClass = createEClass(MULTIPLICITY); |
1681 | 2006 | ||
1682 | defaultInterpretationEClass = createEClass(DEFAULT_INTERPRETATION); | 2007 | manyMultiplicityEClass = createEClass(MANY_MULTIPLICITY); |
1683 | createEReference(defaultInterpretationEClass, DEFAULT_INTERPRETATION__INTERPRETATION); | ||
1684 | 2008 | ||
1685 | cdInterpretationEClass = createEClass(CD_INTERPRETATION); | 2009 | exactMultiplicityEClass = createEClass(EXACT_MULTIPLICITY); |
2010 | createEAttribute(exactMultiplicityEClass, EXACT_MULTIPLICITY__MULTIPLICITY); | ||
1686 | 2011 | ||
1687 | classInterpretationEClass = createEClass(CLASS_INTERPRETATION); | 2012 | boundedMultiplicityEClass = createEClass(BOUNDED_MULTIPLICITY); |
1688 | createEAttribute(classInterpretationEClass, CLASS_INTERPRETATION__ABSTRACT); | 2013 | createEAttribute(boundedMultiplicityEClass, BOUNDED_MULTIPLICITY__LOWER_BOUND); |
1689 | createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SYMBOL); | 2014 | createEAttribute(boundedMultiplicityEClass, BOUNDED_MULTIPLICITY__UPPER_BOUND); |
1690 | createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SUPERTYPES); | ||
1691 | createEReference(classInterpretationEClass, CLASS_INTERPRETATION__FIELT); | ||
1692 | 2015 | ||
1693 | enumInterpretationEClass = createEClass(ENUM_INTERPRETATION); | 2016 | scopeDefinitionEClass = createEClass(SCOPE_DEFINITION); |
1694 | createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__SYMBOL); | 2017 | createEReference(scopeDefinitionEClass, SCOPE_DEFINITION__TYPE); |
1695 | createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__OBJECTS); | ||
1696 | 2018 | ||
1697 | fieldRelationInterpretationEClass = createEClass(FIELD_RELATION_INTERPRETATION); | 2019 | exactScopeDefinitionEClass = createEClass(EXACT_SCOPE_DEFINITION); |
1698 | createEAttribute(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__CONTAINMENT); | 2020 | createEAttribute(exactScopeDefinitionEClass, EXACT_SCOPE_DEFINITION__EXACT_SCOPE); |
1699 | createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__SYMBOL); | ||
1700 | createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__MULTIPLICITY); | ||
1701 | createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__TARGET); | ||
1702 | 2021 | ||
1703 | globalRelationInterpretationEClass = createEClass(GLOBAL_RELATION_INTERPRETATION); | 2022 | boundedScopeDefinitionEClass = createEClass(BOUNDED_SCOPE_DEFINITION); |
1704 | createEAttribute(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__CONTAINMENT); | 2023 | createEAttribute(boundedScopeDefinitionEClass, BOUNDED_SCOPE_DEFINITION__LOWER_BOUND); |
1705 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SYMBOL); | 2024 | createEAttribute(boundedScopeDefinitionEClass, BOUNDED_SCOPE_DEFINITION__UPPER_BOUND); |
1706 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY); | ||
1707 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE); | ||
1708 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY); | ||
1709 | createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET); | ||
1710 | 2025 | ||
1711 | multiplicityDefinitionEClass = createEClass(MULTIPLICITY_DEFINITION); | 2026 | lowerBoundedScopeDefinitionEClass = createEClass(LOWER_BOUNDED_SCOPE_DEFINITION); |
1712 | createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__LOWER); | 2027 | createEAttribute(lowerBoundedScopeDefinitionEClass, LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND); |
1713 | createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UPPER); | ||
1714 | createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UNLIMITED_UPPER); | ||
1715 | 2028 | ||
1716 | booleanTrueEClass = createEClass(BOOLEAN_TRUE); | 2029 | objectiveDefinitionEClass = createEClass(OBJECTIVE_DEFINITION); |
2030 | createEAttribute(objectiveDefinitionEClass, OBJECTIVE_DEFINITION__KIND); | ||
2031 | createEReference(objectiveDefinitionEClass, OBJECTIVE_DEFINITION__OBJECTIVE); | ||
1717 | 2032 | ||
1718 | booleanFalseEClass = createEClass(BOOLEAN_FALSE); | 2033 | namedElementEClass = createEClass(NAMED_ELEMENT); |
2034 | createEAttribute(namedElementEClass, NAMED_ELEMENT__NAME); | ||
1719 | 2035 | ||
1720 | trueEClass = createEClass(TRUE); | 2036 | assertionEClass = createEClass(ASSERTION); |
2037 | createEReference(assertionEClass, ASSERTION__BODY); | ||
2038 | createEReference(assertionEClass, ASSERTION__RANGE); | ||
1721 | 2039 | ||
1722 | falseEClass = createEClass(FALSE); | 2040 | disjunctionEClass = createEClass(DISJUNCTION); |
2041 | createEReference(disjunctionEClass, DISJUNCTION__CHILDREN); | ||
1723 | 2042 | ||
1724 | unknownEClass = createEClass(UNKNOWN); | 2043 | switchEClass = createEClass(SWITCH); |
2044 | createEReference(switchEClass, SWITCH__CASES); | ||
1725 | 2045 | ||
1726 | errorEClass = createEClass(ERROR); | 2046 | conjunctionEClass = createEClass(CONJUNCTION); |
2047 | createEReference(conjunctionEClass, CONJUNCTION__CHILDREN); | ||
1727 | 2048 | ||
1728 | positiveEClass = createEClass(POSITIVE); | 2049 | comparisonEClass = createEClass(COMPARISON); |
2050 | createEReference(comparisonEClass, COMPARISON__LEFT); | ||
2051 | createEAttribute(comparisonEClass, COMPARISON__OP); | ||
2052 | createEReference(comparisonEClass, COMPARISON__RIGHT); | ||
1729 | 2053 | ||
1730 | negativeEClass = createEClass(NEGATIVE); | 2054 | binaryExpressionEClass = createEClass(BINARY_EXPRESSION); |
2055 | createEReference(binaryExpressionEClass, BINARY_EXPRESSION__LEFT); | ||
2056 | createEAttribute(binaryExpressionEClass, BINARY_EXPRESSION__OP); | ||
2057 | createEReference(binaryExpressionEClass, BINARY_EXPRESSION__RIGHT); | ||
1731 | 2058 | ||
1732 | reflexiveClosureEClass = createEClass(REFLEXIVE_CLOSURE); | 2059 | unaryExpressionEClass = createEClass(UNARY_EXPRESSION); |
2060 | createEAttribute(unaryExpressionEClass, UNARY_EXPRESSION__OP); | ||
2061 | createEReference(unaryExpressionEClass, UNARY_EXPRESSION__BODY); | ||
1733 | 2062 | ||
1734 | irreflexiveClosureEClass = createEClass(IRREFLEXIVE_CLOSURE); | 2063 | // Create enums |
2064 | metricTypeEEnum = createEEnum(METRIC_TYPE); | ||
2065 | binaryOperatorEEnum = createEEnum(BINARY_OPERATOR); | ||
2066 | unaryOpEEnum = createEEnum(UNARY_OP); | ||
2067 | aggregationOpEEnum = createEEnum(AGGREGATION_OP); | ||
2068 | logicValueEEnum = createEEnum(LOGIC_VALUE); | ||
2069 | objectiveKindEEnum = createEEnum(OBJECTIVE_KIND); | ||
1735 | } | 2070 | } |
1736 | 2071 | ||
1737 | /** | 2072 | /** |
@@ -1763,195 +2098,255 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1763 | // Set bounds for type parameters | 2098 | // Set bounds for type parameters |
1764 | 2099 | ||
1765 | // Add supertypes to classes | 2100 | // Add supertypes to classes |
1766 | interpretationEClass.getESuperTypes().add(this.getStatement()); | 2101 | predicateDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1767 | basicInterpretationEClass.getESuperTypes().add(this.getInterpretation()); | 2102 | unnamedErrorPrediateDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1768 | modelSymbolEClass.getESuperTypes().add(this.getSymbol()); | 2103 | defaultDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1769 | partialitySymbolEClass.getESuperTypes().add(this.getSymbol()); | 2104 | externPredicateDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1770 | existSymbolEClass.getESuperTypes().add(this.getPartialitySymbol()); | 2105 | metricDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1771 | equalsSymbolEClass.getESuperTypes().add(this.getPartialitySymbol()); | 2106 | externMetricDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1772 | dataSymbolEClass.getESuperTypes().add(this.getSymbol()); | 2107 | expressionEClass.getESuperTypes().add(this.getStatement()); |
1773 | booleanSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | 2108 | ifElseEClass.getESuperTypes().add(this.getExpression()); |
1774 | integerSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | 2109 | caseEClass.getESuperTypes().add(this.getExpression()); |
1775 | realSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | 2110 | countEClass.getESuperTypes().add(this.getExpression()); |
1776 | stringSymbolEClass.getESuperTypes().add(this.getDataSymbol()); | 2111 | aggregationEClass.getESuperTypes().add(this.getExpression()); |
1777 | objectEClass.getESuperTypes().add(this.getComplexObject()); | 2112 | callEClass.getESuperTypes().add(this.getExpression()); |
1778 | namedObjectEClass.getESuperTypes().add(this.getObject()); | 2113 | expressionArgumentEClass.getESuperTypes().add(this.getArgument()); |
1779 | namedObjectEClass.getESuperTypes().add(this.getLiteral()); | 2114 | starArgumentEClass.getESuperTypes().add(this.getArgument()); |
1780 | unnamedObjectEClass.getESuperTypes().add(this.getObject()); | 2115 | typedArgumentEClass.getESuperTypes().add(this.getArgument()); |
1781 | dataObjectEClass.getESuperTypes().add(this.getObject()); | 2116 | typedStarArgumentEClass.getESuperTypes().add(this.getArgument()); |
1782 | dataObjectEClass.getESuperTypes().add(this.getLiteral()); | 2117 | referenceEClass.getESuperTypes().add(this.getExpression()); |
1783 | booleanObjectEClass.getESuperTypes().add(this.getDataObject()); | 2118 | intervalEClass.getESuperTypes().add(this.getExpression()); |
1784 | intObjectEClass.getESuperTypes().add(this.getDataObject()); | 2119 | literalEClass.getESuperTypes().add(this.getExpression()); |
1785 | realObjectEClass.getESuperTypes().add(this.getDataObject()); | 2120 | logicLiteralEClass.getESuperTypes().add(this.getLiteral()); |
1786 | stringObjectEClass.getESuperTypes().add(this.getDataObject()); | 2121 | numericLiteralEClass.getESuperTypes().add(this.getLiteral()); |
1787 | predicateEClass.getESuperTypes().add(this.getStatement()); | 2122 | infinityLiteralEClass.getESuperTypes().add(this.getLiteral()); |
1788 | variableEClass.getESuperTypes().add(this.getLiteral()); | 2123 | emptyIntervalLiteralEClass.getESuperTypes().add(this.getLiteral()); |
1789 | allInstancesEClass.getESuperTypes().add(this.getComplexObject()); | 2124 | stringLiteralEClass.getESuperTypes().add(this.getLiteral()); |
1790 | allObjectsEClass.getESuperTypes().add(this.getComplexObject()); | 2125 | manyMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1791 | defaultInterpretationEClass.getESuperTypes().add(this.getInterpretation()); | 2126 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1792 | cdInterpretationEClass.getESuperTypes().add(this.getInterpretation()); | 2127 | boundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1793 | classInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); | 2128 | scopeDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1794 | enumInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); | 2129 | exactScopeDefinitionEClass.getESuperTypes().add(this.getScopeDefinition()); |
1795 | globalRelationInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); | 2130 | boundedScopeDefinitionEClass.getESuperTypes().add(this.getScopeDefinition()); |
1796 | booleanTrueEClass.getESuperTypes().add(this.getBooleanValue()); | 2131 | lowerBoundedScopeDefinitionEClass.getESuperTypes().add(this.getScopeDefinition()); |
1797 | booleanFalseEClass.getESuperTypes().add(this.getBooleanValue()); | 2132 | objectiveDefinitionEClass.getESuperTypes().add(this.getStatement()); |
1798 | trueEClass.getESuperTypes().add(this.getTruthValue()); | 2133 | assertionEClass.getESuperTypes().add(this.getStatement()); |
1799 | falseEClass.getESuperTypes().add(this.getTruthValue()); | 2134 | disjunctionEClass.getESuperTypes().add(this.getExpression()); |
1800 | unknownEClass.getESuperTypes().add(this.getTruthValue()); | 2135 | switchEClass.getESuperTypes().add(this.getExpression()); |
1801 | errorEClass.getESuperTypes().add(this.getTruthValue()); | 2136 | conjunctionEClass.getESuperTypes().add(this.getExpression()); |
1802 | positiveEClass.getESuperTypes().add(this.getPolarity()); | 2137 | comparisonEClass.getESuperTypes().add(this.getExpression()); |
1803 | negativeEClass.getESuperTypes().add(this.getPolarity()); | 2138 | binaryExpressionEClass.getESuperTypes().add(this.getExpression()); |
1804 | reflexiveClosureEClass.getESuperTypes().add(this.getClosureType()); | 2139 | unaryExpressionEClass.getESuperTypes().add(this.getExpression()); |
1805 | irreflexiveClosureEClass.getESuperTypes().add(this.getClosureType()); | ||
1806 | 2140 | ||
1807 | // Initialize classes and features; add operations and parameters | 2141 | // Initialize classes and features; add operations and parameters |
1808 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2142 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1809 | initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2143 | initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1810 | 2144 | ||
1811 | initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2145 | initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2146 | initEAttribute(getStatement_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2147 | initEAttribute(getStatement_Name(), ecorePackage.getEString(), "name", null, 0, 1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2148 | initEReference(getStatement_Superclasses(), this.getNamedElement(), null, "superclasses", null, 0, -1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2149 | initEReference(getStatement_Members(), this.getMemberDefinition(), null, "members", null, 0, -1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1812 | 2150 | ||
1813 | initEClass(booleanValueEClass, BooleanValue.class, "BooleanValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2151 | initEClass(predicateDefinitionEClass, PredicateDefinition.class, "PredicateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1814 | 2152 | initEReference(getPredicateDefinition_Head(), this.getExpression(), null, "head", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | |
1815 | initEClass(truthValueEClass, TruthValue.class, "TruthValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2153 | initEReference(getPredicateDefinition_Body(), this.getExpression(), null, "body", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1816 | 2154 | initEAttribute(getPredicateDefinition_Functional(), ecorePackage.getEBoolean(), "functional", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | |
1817 | initEClass(interpretationEClass, Interpretation.class, "Interpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2155 | initEAttribute(getPredicateDefinition_Error(), ecorePackage.getEBoolean(), "error", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1818 | |||
1819 | initEClass(basicInterpretationEClass, BasicInterpretation.class, "BasicInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1820 | initEReference(getBasicInterpretation_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1821 | initEReference(getBasicInterpretation_Objects(), this.getComplexObject(), null, "objects", null, 0, -1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1822 | initEReference(getBasicInterpretation_Value(), this.getTruthValue(), null, "value", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1823 | |||
1824 | initEClass(symbolEClass, Symbol.class, "Symbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1825 | |||
1826 | initEClass(modelSymbolEClass, ModelSymbol.class, "ModelSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1827 | initEAttribute(getModelSymbol_Name(), ecorePackage.getEString(), "name", null, 0, 1, ModelSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1828 | |||
1829 | initEClass(partialitySymbolEClass, PartialitySymbol.class, "PartialitySymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1830 | 2156 | ||
1831 | initEClass(existSymbolEClass, ExistSymbol.class, "ExistSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2157 | initEClass(unnamedErrorPrediateDefinitionEClass, UnnamedErrorPrediateDefinition.class, "UnnamedErrorPrediateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2158 | initEReference(getUnnamedErrorPrediateDefinition_ArgumentList(), this.getArgumentList(), null, "argumentList", null, 0, 1, UnnamedErrorPrediateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2159 | initEReference(getUnnamedErrorPrediateDefinition_Body(), this.getExpression(), null, "body", null, 0, 1, UnnamedErrorPrediateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1832 | 2160 | ||
1833 | initEClass(equalsSymbolEClass, EqualsSymbol.class, "EqualsSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2161 | initEClass(defaultDefinitionEClass, DefaultDefinition.class, "DefaultDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2162 | initEReference(getDefaultDefinition_Head(), this.getCall(), null, "head", null, 0, 1, DefaultDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2163 | initEReference(getDefaultDefinition_Range(), this.getExpression(), null, "range", null, 0, 1, DefaultDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1834 | 2164 | ||
1835 | initEClass(dataSymbolEClass, DataSymbol.class, "DataSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2165 | initEClass(externPredicateDefinitionEClass, ExternPredicateDefinition.class, "ExternPredicateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2166 | initEReference(getExternPredicateDefinition_Head(), this.getCall(), null, "head", null, 0, 1, ExternPredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1836 | 2167 | ||
1837 | initEClass(booleanSymbolEClass, BooleanSymbol.class, "BooleanSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2168 | initEClass(metricDefinitionEClass, MetricDefinition.class, "MetricDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2169 | initEReference(getMetricDefinition_Head(), this.getExpression(), null, "head", null, 0, 1, MetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2170 | initEReference(getMetricDefinition_Body(), this.getExpression(), null, "body", null, 0, 1, MetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2171 | initEAttribute(getMetricDefinition_Type(), this.getMetricType(), "type", null, 0, 1, MetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1838 | 2172 | ||
1839 | initEClass(integerSymbolEClass, IntegerSymbol.class, "IntegerSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2173 | initEClass(externMetricDefinitionEClass, ExternMetricDefinition.class, "ExternMetricDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2174 | initEAttribute(getExternMetricDefinition_Type(), this.getMetricType(), "type", null, 0, 1, ExternMetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2175 | initEReference(getExternMetricDefinition_Head(), this.getCall(), null, "head", null, 0, 1, ExternMetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1840 | 2176 | ||
1841 | initEClass(realSymbolEClass, RealSymbol.class, "RealSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2177 | initEClass(expressionEClass, Expression.class, "Expression", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1842 | 2178 | ||
1843 | initEClass(stringSymbolEClass, StringSymbol.class, "StringSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2179 | initEClass(ifElseEClass, IfElse.class, "IfElse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2180 | initEReference(getIfElse_Condition(), this.getExpression(), null, "condition", null, 0, 1, IfElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2181 | initEReference(getIfElse_Then(), this.getExpression(), null, "then", null, 0, 1, IfElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2182 | initEReference(getIfElse_Else(), this.getExpression(), null, "else", null, 0, 1, IfElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1844 | 2183 | ||
1845 | initEClass(complexObjectEClass, ComplexObject.class, "ComplexObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2184 | initEClass(caseEClass, Case.class, "Case", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2185 | initEReference(getCase_Condition(), this.getExpression(), null, "condition", null, 0, 1, Case.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2186 | initEReference(getCase_Body(), this.getExpression(), null, "body", null, 0, 1, Case.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1846 | 2187 | ||
1847 | initEClass(objectEClass, org.eclipse.viatra.solver.language.solverLanguage.Object.class, "Object", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2188 | initEClass(countEClass, Count.class, "Count", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2189 | initEReference(getCount_Body(), this.getExpression(), null, "body", null, 0, 1, Count.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1848 | 2190 | ||
1849 | initEClass(namedObjectEClass, NamedObject.class, "NamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2191 | initEClass(aggregationEClass, Aggregation.class, "Aggregation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1850 | initEAttribute(getNamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2192 | initEAttribute(getAggregation_Op(), this.getAggregationOp(), "op", null, 0, 1, Aggregation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2193 | initEReference(getAggregation_Body(), this.getExpression(), null, "body", null, 0, 1, Aggregation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2194 | initEReference(getAggregation_Condition(), this.getExpression(), null, "condition", null, 0, 1, Aggregation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1851 | 2195 | ||
1852 | initEClass(unnamedObjectEClass, UnnamedObject.class, "UnnamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2196 | initEClass(callEClass, Call.class, "Call", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1853 | initEAttribute(getUnnamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, UnnamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2197 | initEReference(getCall_Functor(), this.getReference(), null, "functor", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2198 | initEReference(getCall_ArgumentList(), this.getArgumentList(), null, "argumentList", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2199 | initEAttribute(getCall_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2200 | initEAttribute(getCall_ReflexiveTransitiveClosure(), ecorePackage.getEBoolean(), "reflexiveTransitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1854 | 2201 | ||
1855 | initEClass(dataObjectEClass, DataObject.class, "DataObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2202 | initEClass(argumentListEClass, ArgumentList.class, "ArgumentList", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2203 | initEReference(getArgumentList_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, ArgumentList.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1856 | 2204 | ||
1857 | initEClass(booleanObjectEClass, BooleanObject.class, "BooleanObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2205 | initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1858 | initEReference(getBooleanObject_Value(), this.getBooleanValue(), null, "value", null, 0, 1, BooleanObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1859 | 2206 | ||
1860 | initEClass(intObjectEClass, IntObject.class, "IntObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2207 | initEClass(expressionArgumentEClass, ExpressionArgument.class, "ExpressionArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1861 | initEAttribute(getIntObject_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2208 | initEReference(getExpressionArgument_Body(), this.getExpression(), null, "body", null, 0, 1, ExpressionArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1862 | 2209 | ||
1863 | initEClass(realObjectEClass, RealObject.class, "RealObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2210 | initEClass(starArgumentEClass, StarArgument.class, "StarArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1864 | initEAttribute(getRealObject_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1865 | 2211 | ||
1866 | initEClass(stringObjectEClass, StringObject.class, "StringObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2212 | initEClass(typedArgumentEClass, TypedArgument.class, "TypedArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1867 | initEAttribute(getStringObject_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2213 | initEReference(getTypedArgument_Type(), this.getNamedElement(), null, "type", null, 0, 1, TypedArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2214 | initEReference(getTypedArgument_Variable(), this.getNamedElement(), null, "variable", null, 0, 1, TypedArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1868 | 2215 | ||
1869 | initEClass(predicateEClass, Predicate.class, "Predicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2216 | initEClass(typedStarArgumentEClass, TypedStarArgument.class, "TypedStarArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1870 | initEAttribute(getPredicate_IsError(), ecorePackage.getEBoolean(), "isError", null, 0, 1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2217 | initEReference(getTypedStarArgument_Type(), this.getNamedElement(), null, "type", null, 0, 1, TypedStarArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1871 | initEReference(getPredicate_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1872 | initEReference(getPredicate_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1873 | initEReference(getPredicate_Bodies(), this.getPatternBody(), null, "bodies", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1874 | 2218 | ||
1875 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2219 | initEClass(referenceEClass, Reference.class, "Reference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1876 | initEReference(getParameter_Variable(), this.getVariable(), null, "variable", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2220 | initEReference(getReference_Referred(), this.getNamedElement(), null, "referred", null, 0, 1, Reference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1877 | initEReference(getParameter_Type(), this.getSymbol(), null, "type", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1878 | 2221 | ||
1879 | initEClass(patternBodyEClass, PatternBody.class, "PatternBody", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2222 | initEClass(intervalEClass, Interval.class, "Interval", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1880 | initEReference(getPatternBody_Constraints(), this.getConstraint(), null, "constraints", null, 0, -1, PatternBody.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2223 | initEReference(getInterval_LowerBound(), this.getExpression(), null, "lowerBound", null, 0, 1, Interval.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1881 | 2224 | initEReference(getInterval_UpperBound(), this.getExpression(), null, "upperBound", null, 0, 1, Interval.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | |
1882 | initEClass(polarityEClass, Polarity.class, "Polarity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1883 | |||
1884 | initEClass(constraintEClass, Constraint.class, "Constraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1885 | initEReference(getConstraint_Polarity(), this.getPolarity(), null, "polarity", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1886 | initEReference(getConstraint_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1887 | initEReference(getConstraint_Params(), this.getLiteral(), null, "params", null, 0, -1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1888 | initEReference(getConstraint_ClosureType(), this.getClosureType(), null, "closureType", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1889 | |||
1890 | initEClass(closureTypeEClass, ClosureType.class, "ClosureType", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1891 | 2225 | ||
1892 | initEClass(literalEClass, Literal.class, "Literal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2226 | initEClass(literalEClass, Literal.class, "Literal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1893 | 2227 | ||
1894 | initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2228 | initEClass(logicLiteralEClass, LogicLiteral.class, "LogicLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1895 | initEAttribute(getVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2229 | initEAttribute(getLogicLiteral_Value(), this.getLogicValue(), "value", null, 0, 1, LogicLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1896 | |||
1897 | initEClass(allInstancesEClass, AllInstances.class, "AllInstances", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1898 | initEReference(getAllInstances_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, AllInstances.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1899 | |||
1900 | initEClass(allObjectsEClass, AllObjects.class, "AllObjects", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1901 | |||
1902 | initEClass(defaultInterpretationEClass, DefaultInterpretation.class, "DefaultInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1903 | initEReference(getDefaultInterpretation_Interpretation(), this.getBasicInterpretation(), null, "interpretation", null, 0, 1, DefaultInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1904 | |||
1905 | initEClass(cdInterpretationEClass, CDInterpretation.class, "CDInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1906 | |||
1907 | initEClass(classInterpretationEClass, ClassInterpretation.class, "ClassInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1908 | initEAttribute(getClassInterpretation_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1909 | initEReference(getClassInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1910 | initEReference(getClassInterpretation_Supertypes(), this.getModelSymbol(), null, "supertypes", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1911 | initEReference(getClassInterpretation_Fielt(), this.getFieldRelationInterpretation(), null, "fielt", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1912 | |||
1913 | initEClass(enumInterpretationEClass, EnumInterpretation.class, "EnumInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1914 | initEReference(getEnumInterpretation_Symbol(), this.getModelSymbol(), null, "Symbol", null, 0, 1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1915 | initEReference(getEnumInterpretation_Objects(), this.getNamedObject(), null, "objects", null, 0, -1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1916 | |||
1917 | initEClass(fieldRelationInterpretationEClass, FieldRelationInterpretation.class, "FieldRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1918 | initEAttribute(getFieldRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1919 | initEReference(getFieldRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1920 | initEReference(getFieldRelationInterpretation_Multiplicity(), this.getMultiplicityDefinition(), null, "multiplicity", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1921 | initEReference(getFieldRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1922 | |||
1923 | initEClass(globalRelationInterpretationEClass, GlobalRelationInterpretation.class, "GlobalRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1924 | initEAttribute(getGlobalRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1925 | initEReference(getGlobalRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1926 | initEReference(getGlobalRelationInterpretation_SourceMultiplicity(), this.getMultiplicityDefinition(), null, "sourceMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1927 | initEReference(getGlobalRelationInterpretation_Source(), this.getSymbol(), null, "source", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1928 | initEReference(getGlobalRelationInterpretation_TargetMultiplicity(), this.getMultiplicityDefinition(), null, "targetMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1929 | initEReference(getGlobalRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1930 | |||
1931 | initEClass(multiplicityDefinitionEClass, MultiplicityDefinition.class, "MultiplicityDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1932 | initEAttribute(getMultiplicityDefinition_Lower(), ecorePackage.getEInt(), "lower", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1933 | initEAttribute(getMultiplicityDefinition_Upper(), ecorePackage.getEInt(), "upper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1934 | initEAttribute(getMultiplicityDefinition_UnlimitedUpper(), ecorePackage.getEBoolean(), "unlimitedUpper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1935 | |||
1936 | initEClass(booleanTrueEClass, BooleanTrue.class, "BooleanTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1937 | |||
1938 | initEClass(booleanFalseEClass, BooleanFalse.class, "BooleanFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1939 | |||
1940 | initEClass(trueEClass, True.class, "True", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1941 | |||
1942 | initEClass(falseEClass, False.class, "False", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1943 | |||
1944 | initEClass(unknownEClass, Unknown.class, "Unknown", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1945 | 2230 | ||
1946 | initEClass(errorEClass, org.eclipse.viatra.solver.language.solverLanguage.Error.class, "Error", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2231 | initEClass(numericLiteralEClass, NumericLiteral.class, "NumericLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2232 | initEAttribute(getNumericLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, NumericLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1947 | 2233 | ||
1948 | initEClass(positiveEClass, Positive.class, "Positive", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2234 | initEClass(infinityLiteralEClass, InfinityLiteral.class, "InfinityLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1949 | 2235 | ||
1950 | initEClass(negativeEClass, Negative.class, "Negative", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2236 | initEClass(emptyIntervalLiteralEClass, EmptyIntervalLiteral.class, "EmptyIntervalLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1951 | 2237 | ||
1952 | initEClass(reflexiveClosureEClass, ReflexiveClosure.class, "ReflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2238 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2239 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1953 | 2240 | ||
1954 | initEClass(irreflexiveClosureEClass, IrreflexiveClosure.class, "IrreflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2241 | initEClass(memberDefinitionEClass, MemberDefinition.class, "MemberDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2242 | initEAttribute(getMemberDefinition_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2243 | initEReference(getMemberDefinition_Type(), this.getNamedElement(), null, "type", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2244 | initEReference(getMemberDefinition_Multiplicity(), this.getMultiplicity(), null, "multiplicity", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2245 | initEAttribute(getMemberDefinition_Name(), ecorePackage.getEString(), "name", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2246 | initEReference(getMemberDefinition_Opposite(), this.getNamedElement(), null, "opposite", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2247 | |||
2248 | initEClass(multiplicityEClass, Multiplicity.class, "Multiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2249 | |||
2250 | initEClass(manyMultiplicityEClass, ManyMultiplicity.class, "ManyMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2251 | |||
2252 | initEClass(exactMultiplicityEClass, ExactMultiplicity.class, "ExactMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2253 | initEAttribute(getExactMultiplicity_Multiplicity(), ecorePackage.getEInt(), "multiplicity", null, 0, 1, ExactMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2254 | |||
2255 | initEClass(boundedMultiplicityEClass, BoundedMultiplicity.class, "BoundedMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2256 | initEAttribute(getBoundedMultiplicity_LowerBound(), ecorePackage.getEInt(), "lowerBound", null, 0, 1, BoundedMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2257 | initEAttribute(getBoundedMultiplicity_UpperBound(), ecorePackage.getEInt(), "upperBound", null, 0, 1, BoundedMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2258 | |||
2259 | initEClass(scopeDefinitionEClass, ScopeDefinition.class, "ScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2260 | initEReference(getScopeDefinition_Type(), this.getNamedElement(), null, "type", null, 0, 1, ScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2261 | |||
2262 | initEClass(exactScopeDefinitionEClass, ExactScopeDefinition.class, "ExactScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2263 | initEAttribute(getExactScopeDefinition_ExactScope(), ecorePackage.getEInt(), "exactScope", null, 0, 1, ExactScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2264 | |||
2265 | initEClass(boundedScopeDefinitionEClass, BoundedScopeDefinition.class, "BoundedScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2266 | initEAttribute(getBoundedScopeDefinition_LowerBound(), ecorePackage.getEInt(), "lowerBound", null, 0, 1, BoundedScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2267 | initEAttribute(getBoundedScopeDefinition_UpperBound(), ecorePackage.getEInt(), "upperBound", null, 0, 1, BoundedScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2268 | |||
2269 | initEClass(lowerBoundedScopeDefinitionEClass, LowerBoundedScopeDefinition.class, "LowerBoundedScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2270 | initEAttribute(getLowerBoundedScopeDefinition_LowerBound(), ecorePackage.getEInt(), "lowerBound", null, 0, 1, LowerBoundedScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2271 | |||
2272 | initEClass(objectiveDefinitionEClass, ObjectiveDefinition.class, "ObjectiveDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2273 | initEAttribute(getObjectiveDefinition_Kind(), this.getObjectiveKind(), "kind", null, 0, 1, ObjectiveDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2274 | initEReference(getObjectiveDefinition_Objective(), this.getExpression(), null, "objective", null, 0, 1, ObjectiveDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2275 | |||
2276 | initEClass(namedElementEClass, NamedElement.class, "NamedElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2277 | initEAttribute(getNamedElement_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2278 | |||
2279 | initEClass(assertionEClass, Assertion.class, "Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2280 | initEReference(getAssertion_Body(), this.getExpression(), null, "body", null, 0, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2281 | initEReference(getAssertion_Range(), this.getExpression(), null, "range", null, 0, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2282 | |||
2283 | initEClass(disjunctionEClass, Disjunction.class, "Disjunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2284 | initEReference(getDisjunction_Children(), this.getExpression(), null, "children", null, 0, -1, Disjunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2285 | |||
2286 | initEClass(switchEClass, Switch.class, "Switch", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2287 | initEReference(getSwitch_Cases(), this.getCase(), null, "cases", null, 0, -1, Switch.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2288 | |||
2289 | initEClass(conjunctionEClass, Conjunction.class, "Conjunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2290 | initEReference(getConjunction_Children(), this.getExpression(), null, "children", null, 0, -1, Conjunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2291 | |||
2292 | initEClass(comparisonEClass, Comparison.class, "Comparison", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2293 | initEReference(getComparison_Left(), this.getExpression(), null, "left", null, 0, 1, Comparison.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2294 | initEAttribute(getComparison_Op(), this.getBinaryOperator(), "op", null, 0, 1, Comparison.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2295 | initEReference(getComparison_Right(), this.getExpression(), null, "right", null, 0, 1, Comparison.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2296 | |||
2297 | initEClass(binaryExpressionEClass, BinaryExpression.class, "BinaryExpression", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2298 | initEReference(getBinaryExpression_Left(), this.getExpression(), null, "left", null, 0, 1, BinaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2299 | initEAttribute(getBinaryExpression_Op(), this.getBinaryOperator(), "op", null, 0, 1, BinaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2300 | initEReference(getBinaryExpression_Right(), this.getExpression(), null, "right", null, 0, 1, BinaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2301 | |||
2302 | initEClass(unaryExpressionEClass, UnaryExpression.class, "UnaryExpression", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2303 | initEAttribute(getUnaryExpression_Op(), this.getUnaryOp(), "op", null, 0, 1, UnaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2304 | initEReference(getUnaryExpression_Body(), this.getExpression(), null, "body", null, 0, 1, UnaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2305 | |||
2306 | // Initialize enums and add enum literals | ||
2307 | initEEnum(metricTypeEEnum, MetricType.class, "MetricType"); | ||
2308 | addEEnumLiteral(metricTypeEEnum, MetricType.INT); | ||
2309 | addEEnumLiteral(metricTypeEEnum, MetricType.REAL); | ||
2310 | |||
2311 | initEEnum(binaryOperatorEEnum, BinaryOperator.class, "BinaryOperator"); | ||
2312 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.EQ); | ||
2313 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.NOT_EQ); | ||
2314 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.LESS); | ||
2315 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.LESS_EQ); | ||
2316 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.GREATER); | ||
2317 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.GREATER_EQ); | ||
2318 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.IN); | ||
2319 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.ADD); | ||
2320 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.SUB); | ||
2321 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.MUL); | ||
2322 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.DIV); | ||
2323 | addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.POW); | ||
2324 | |||
2325 | initEEnum(unaryOpEEnum, UnaryOp.class, "UnaryOp"); | ||
2326 | addEEnumLiteral(unaryOpEEnum, UnaryOp.NEG); | ||
2327 | addEEnumLiteral(unaryOpEEnum, UnaryOp.PLUS); | ||
2328 | addEEnumLiteral(unaryOpEEnum, UnaryOp.MINUS); | ||
2329 | addEEnumLiteral(unaryOpEEnum, UnaryOp.MAY); | ||
2330 | addEEnumLiteral(unaryOpEEnum, UnaryOp.MUST); | ||
2331 | addEEnumLiteral(unaryOpEEnum, UnaryOp.CURRENT); | ||
2332 | |||
2333 | initEEnum(aggregationOpEEnum, AggregationOp.class, "AggregationOp"); | ||
2334 | addEEnumLiteral(aggregationOpEEnum, AggregationOp.ONLY); | ||
2335 | addEEnumLiteral(aggregationOpEEnum, AggregationOp.SUM); | ||
2336 | addEEnumLiteral(aggregationOpEEnum, AggregationOp.PROD); | ||
2337 | addEEnumLiteral(aggregationOpEEnum, AggregationOp.AVG); | ||
2338 | addEEnumLiteral(aggregationOpEEnum, AggregationOp.MIN); | ||
2339 | addEEnumLiteral(aggregationOpEEnum, AggregationOp.MAX); | ||
2340 | |||
2341 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); | ||
2342 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); | ||
2343 | addEEnumLiteral(logicValueEEnum, LogicValue.FALSE); | ||
2344 | addEEnumLiteral(logicValueEEnum, LogicValue.UNKNOWN); | ||
2345 | addEEnumLiteral(logicValueEEnum, LogicValue.ERROR); | ||
2346 | |||
2347 | initEEnum(objectiveKindEEnum, ObjectiveKind.class, "ObjectiveKind"); | ||
2348 | addEEnumLiteral(objectiveKindEEnum, ObjectiveKind.MINIMIZE); | ||
2349 | addEEnumLiteral(objectiveKindEEnum, ObjectiveKind.MAXIMIZE); | ||
1955 | 2350 | ||
1956 | // Create resource | 2351 | // Create resource |
1957 | createResource(eNS_URI); | 2352 | createResource(eNS_URI); |