aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java538
1 files changed, 538 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
new file mode 100644
index 00000000..6589eaa4
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
@@ -0,0 +1,538 @@
1/**
2 * generated by Xtext 2.21.0
3 */
4package org.eclipse.viatra.solver.language.solverLanguage;
5
6import org.eclipse.emf.ecore.EFactory;
7
8/**
9 * <!-- begin-user-doc -->
10 * The <b>Factory</b> for the model.
11 * It provides a create method for each non-abstract class of the model.
12 * <!-- end-user-doc -->
13 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
14 * @generated
15 */
16public interface SolverLanguageFactory extends EFactory {
17 /**
18 * The singleton instance of the factory.
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 SolverLanguageFactory eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguageFactoryImpl.init();
24
25 /**
26 * Returns a new object of class '<em>Problem</em>'.
27 * <!-- begin-user-doc -->
28 * <!-- end-user-doc -->
29 * @return a new object of class '<em>Problem</em>'.
30 * @generated
31 */
32 Problem createProblem();
33
34 /**
35 * Returns a new object of class '<em>Statement</em>'.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @return a new object of class '<em>Statement</em>'.
39 * @generated
40 */
41 Statement createStatement();
42
43 /**
44 * Returns a new object of class '<em>Predicate Definition</em>'.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @return a new object of class '<em>Predicate Definition</em>'.
48 * @generated
49 */
50 PredicateDefinition createPredicateDefinition();
51
52 /**
53 * Returns a new object of class '<em>Unnamed Error Prediate Definition</em>'.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @return a new object of class '<em>Unnamed Error Prediate Definition</em>'.
57 * @generated
58 */
59 UnnamedErrorPrediateDefinition createUnnamedErrorPrediateDefinition();
60
61 /**
62 * Returns a new object of class '<em>Default Definition</em>'.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @return a new object of class '<em>Default Definition</em>'.
66 * @generated
67 */
68 DefaultDefinition createDefaultDefinition();
69
70 /**
71 * Returns a new object of class '<em>Metric Definition</em>'.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @return a new object of class '<em>Metric Definition</em>'.
75 * @generated
76 */
77 MetricDefinition createMetricDefinition();
78
79 /**
80 * Returns a new object of class '<em>Extern Predicate Definition</em>'.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @return a new object of class '<em>Extern Predicate Definition</em>'.
84 * @generated
85 */
86 ExternPredicateDefinition createExternPredicateDefinition();
87
88 /**
89 * Returns a new object of class '<em>Extern Metric Definition</em>'.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @return a new object of class '<em>Extern Metric Definition</em>'.
93 * @generated
94 */
95 ExternMetricDefinition createExternMetricDefinition();
96
97 /**
98 * Returns a new object of class '<em>Extern Aggregator Definition</em>'.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @return a new object of class '<em>Extern Aggregator Definition</em>'.
102 * @generated
103 */
104 ExternAggregatorDefinition createExternAggregatorDefinition();
105
106 /**
107 * Returns a new object of class '<em>Extern Datatype Definition</em>'.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @return a new object of class '<em>Extern Datatype Definition</em>'.
111 * @generated
112 */
113 ExternDatatypeDefinition createExternDatatypeDefinition();
114
115 /**
116 * Returns a new object of class '<em>Named Element</em>'.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @return a new object of class '<em>Named Element</em>'.
120 * @generated
121 */
122 NamedElement createNamedElement();
123
124 /**
125 * Returns a new object of class '<em>If Else</em>'.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @return a new object of class '<em>If Else</em>'.
129 * @generated
130 */
131 IfElse createIfElse();
132
133 /**
134 * Returns a new object of class '<em>Let</em>'.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @return a new object of class '<em>Let</em>'.
138 * @generated
139 */
140 Let createLet();
141
142 /**
143 * Returns a new object of class '<em>Let Binding</em>'.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @return a new object of class '<em>Let Binding</em>'.
147 * @generated
148 */
149 LetBinding createLetBinding();
150
151 /**
152 * Returns a new object of class '<em>Case</em>'.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @return a new object of class '<em>Case</em>'.
156 * @generated
157 */
158 Case createCase();
159
160 /**
161 * Returns a new object of class '<em>Local Variables</em>'.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @return a new object of class '<em>Local Variables</em>'.
165 * @generated
166 */
167 LocalVariables createLocalVariables();
168
169 /**
170 * Returns a new object of class '<em>Quantified Expression</em>'.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @return a new object of class '<em>Quantified Expression</em>'.
174 * @generated
175 */
176 QuantifiedExpression createQuantifiedExpression();
177
178 /**
179 * Returns a new object of class '<em>Aggregation</em>'.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @return a new object of class '<em>Aggregation</em>'.
183 * @generated
184 */
185 Aggregation createAggregation();
186
187 /**
188 * Returns a new object of class '<em>Call</em>'.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @return a new object of class '<em>Call</em>'.
192 * @generated
193 */
194 Call createCall();
195
196 /**
197 * Returns a new object of class '<em>Argument List</em>'.
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @return a new object of class '<em>Argument List</em>'.
201 * @generated
202 */
203 ArgumentList createArgumentList();
204
205 /**
206 * Returns a new object of class '<em>Argument</em>'.
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @return a new object of class '<em>Argument</em>'.
210 * @generated
211 */
212 Argument createArgument();
213
214 /**
215 * Returns a new object of class '<em>Expression Argument</em>'.
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @return a new object of class '<em>Expression Argument</em>'.
219 * @generated
220 */
221 ExpressionArgument createExpressionArgument();
222
223 /**
224 * Returns a new object of class '<em>Star Argument</em>'.
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @return a new object of class '<em>Star Argument</em>'.
228 * @generated
229 */
230 StarArgument createStarArgument();
231
232 /**
233 * Returns a new object of class '<em>Typed Argument</em>'.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @return a new object of class '<em>Typed Argument</em>'.
237 * @generated
238 */
239 TypedArgument createTypedArgument();
240
241 /**
242 * Returns a new object of class '<em>Typed Star Argument</em>'.
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @return a new object of class '<em>Typed Star Argument</em>'.
246 * @generated
247 */
248 TypedStarArgument createTypedStarArgument();
249
250 /**
251 * Returns a new object of class '<em>Reference</em>'.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @return a new object of class '<em>Reference</em>'.
255 * @generated
256 */
257 Reference createReference();
258
259 /**
260 * Returns a new object of class '<em>Interval</em>'.
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @return a new object of class '<em>Interval</em>'.
264 * @generated
265 */
266 Interval createInterval();
267
268 /**
269 * Returns a new object of class '<em>Literal</em>'.
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @return a new object of class '<em>Literal</em>'.
273 * @generated
274 */
275 Literal createLiteral();
276
277 /**
278 * Returns a new object of class '<em>Logic Literal</em>'.
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @return a new object of class '<em>Logic Literal</em>'.
282 * @generated
283 */
284 LogicLiteral createLogicLiteral();
285
286 /**
287 * Returns a new object of class '<em>Numeric Literal</em>'.
288 * <!-- begin-user-doc -->
289 * <!-- end-user-doc -->
290 * @return a new object of class '<em>Numeric Literal</em>'.
291 * @generated
292 */
293 NumericLiteral createNumericLiteral();
294
295 /**
296 * Returns a new object of class '<em>Infinity Literal</em>'.
297 * <!-- begin-user-doc -->
298 * <!-- end-user-doc -->
299 * @return a new object of class '<em>Infinity Literal</em>'.
300 * @generated
301 */
302 InfinityLiteral createInfinityLiteral();
303
304 /**
305 * Returns a new object of class '<em>Empty Interval Literal</em>'.
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @return a new object of class '<em>Empty Interval Literal</em>'.
309 * @generated
310 */
311 EmptyIntervalLiteral createEmptyIntervalLiteral();
312
313 /**
314 * Returns a new object of class '<em>String Literal</em>'.
315 * <!-- begin-user-doc -->
316 * <!-- end-user-doc -->
317 * @return a new object of class '<em>String Literal</em>'.
318 * @generated
319 */
320 StringLiteral createStringLiteral();
321
322 /**
323 * Returns a new object of class '<em>Class Definition</em>'.
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @return a new object of class '<em>Class Definition</em>'.
327 * @generated
328 */
329 ClassDefinition createClassDefinition();
330
331 /**
332 * Returns a new object of class '<em>Member Definition</em>'.
333 * <!-- begin-user-doc -->
334 * <!-- end-user-doc -->
335 * @return a new object of class '<em>Member Definition</em>'.
336 * @generated
337 */
338 MemberDefinition createMemberDefinition();
339
340 /**
341 * Returns a new object of class '<em>Multiplicity</em>'.
342 * <!-- begin-user-doc -->
343 * <!-- end-user-doc -->
344 * @return a new object of class '<em>Multiplicity</em>'.
345 * @generated
346 */
347 Multiplicity createMultiplicity();
348
349 /**
350 * Returns a new object of class '<em>Many Multiplicity</em>'.
351 * <!-- begin-user-doc -->
352 * <!-- end-user-doc -->
353 * @return a new object of class '<em>Many Multiplicity</em>'.
354 * @generated
355 */
356 ManyMultiplicity createManyMultiplicity();
357
358 /**
359 * Returns a new object of class '<em>Exact Multiplicity</em>'.
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @return a new object of class '<em>Exact Multiplicity</em>'.
363 * @generated
364 */
365 ExactMultiplicity createExactMultiplicity();
366
367 /**
368 * Returns a new object of class '<em>Bounded Multiplicity</em>'.
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @return a new object of class '<em>Bounded Multiplicity</em>'.
372 * @generated
373 */
374 BoundedMultiplicity createBoundedMultiplicity();
375
376 /**
377 * Returns a new object of class '<em>Scope Definition</em>'.
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @return a new object of class '<em>Scope Definition</em>'.
381 * @generated
382 */
383 ScopeDefinition createScopeDefinition();
384
385 /**
386 * Returns a new object of class '<em>Exact Scope Definition</em>'.
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @return a new object of class '<em>Exact Scope Definition</em>'.
390 * @generated
391 */
392 ExactScopeDefinition createExactScopeDefinition();
393
394 /**
395 * Returns a new object of class '<em>Bounded Scope Definition</em>'.
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @return a new object of class '<em>Bounded Scope Definition</em>'.
399 * @generated
400 */
401 BoundedScopeDefinition createBoundedScopeDefinition();
402
403 /**
404 * Returns a new object of class '<em>Lower Bounded Scope Definition</em>'.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @return a new object of class '<em>Lower Bounded Scope Definition</em>'.
408 * @generated
409 */
410 LowerBoundedScopeDefinition createLowerBoundedScopeDefinition();
411
412 /**
413 * Returns a new object of class '<em>Objective Definition</em>'.
414 * <!-- begin-user-doc -->
415 * <!-- end-user-doc -->
416 * @return a new object of class '<em>Objective Definition</em>'.
417 * @generated
418 */
419 ObjectiveDefinition createObjectiveDefinition();
420
421 /**
422 * Returns a new object of class '<em>Interpretation</em>'.
423 * <!-- begin-user-doc -->
424 * <!-- end-user-doc -->
425 * @return a new object of class '<em>Interpretation</em>'.
426 * @generated
427 */
428 Interpretation createInterpretation();
429
430 /**
431 * Returns a new object of class '<em>Variable</em>'.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @return a new object of class '<em>Variable</em>'.
435 * @generated
436 */
437 Variable createVariable();
438
439 /**
440 * Returns a new object of class '<em>Disjunction</em>'.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @return a new object of class '<em>Disjunction</em>'.
444 * @generated
445 */
446 Disjunction createDisjunction();
447
448 /**
449 * Returns a new object of class '<em>Switch</em>'.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @return a new object of class '<em>Switch</em>'.
453 * @generated
454 */
455 Switch createSwitch();
456
457 /**
458 * Returns a new object of class '<em>Conjunction</em>'.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @return a new object of class '<em>Conjunction</em>'.
462 * @generated
463 */
464 Conjunction createConjunction();
465
466 /**
467 * Returns a new object of class '<em>Comparison</em>'.
468 * <!-- begin-user-doc -->
469 * <!-- end-user-doc -->
470 * @return a new object of class '<em>Comparison</em>'.
471 * @generated
472 */
473 Comparison createComparison();
474
475 /**
476 * Returns a new object of class '<em>Binary Expression</em>'.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @return a new object of class '<em>Binary Expression</em>'.
480 * @generated
481 */
482 BinaryExpression createBinaryExpression();
483
484 /**
485 * Returns a new object of class '<em>Cast Expression</em>'.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @return a new object of class '<em>Cast Expression</em>'.
489 * @generated
490 */
491 CastExpression createCastExpression();
492
493 /**
494 * Returns a new object of class '<em>Unary Expression</em>'.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @return a new object of class '<em>Unary Expression</em>'.
498 * @generated
499 */
500 UnaryExpression createUnaryExpression();
501
502 /**
503 * Returns a new object of class '<em>Node</em>'.
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @return a new object of class '<em>Node</em>'.
507 * @generated
508 */
509 Node createNode();
510
511 /**
512 * Returns a new object of class '<em>Predicate</em>'.
513 * <!-- begin-user-doc -->
514 * <!-- end-user-doc -->
515 * @return a new object of class '<em>Predicate</em>'.
516 * @generated
517 */
518 Predicate createPredicate();
519
520 /**
521 * Returns a new object of class '<em>Metric</em>'.
522 * <!-- begin-user-doc -->
523 * <!-- end-user-doc -->
524 * @return a new object of class '<em>Metric</em>'.
525 * @generated
526 */
527 Metric createMetric();
528
529 /**
530 * Returns the package supported by this factory.
531 * <!-- begin-user-doc -->
532 * <!-- end-user-doc -->
533 * @return the package supported by this factory.
534 * @generated
535 */
536 SolverLanguagePackage getSolverLanguagePackage();
537
538} //SolverLanguageFactory