aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-06-23 15:17:00 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-06-23 15:17:00 +0200
commit42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f (patch)
tree21d49c3a1dadc54dda399a4b8cfe8dc028563f51 /Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
parentMeasurements framework fixes (diff)
downloadVIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.gz
VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.zst
VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.zip
New configuration language parser WIP
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java592
1 files changed, 592 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
new file mode 100644
index 00000000..6192f942
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
@@ -0,0 +1,592 @@
1/**
2 */
3package org.eclipse.viatra.solver.language.solverLanguage;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
13 * @generated
14 */
15public interface SolverLanguageFactory extends EFactory {
16 /**
17 * The singleton instance of the factory.
18 * <!-- begin-user-doc -->
19 * <!-- end-user-doc -->
20 * @generated
21 */
22 SolverLanguageFactory eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguageFactoryImpl
23 .init();
24
25 /**
26 * Returns a new object of class '<em>Path Component</em>'.
27 * <!-- begin-user-doc -->
28 * <!-- end-user-doc -->
29 * @return a new object of class '<em>Path Component</em>'.
30 * @generated
31 */
32 PathComponent createPathComponent();
33
34 /**
35 * Returns a new object of class '<em>Call</em>'.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @return a new object of class '<em>Call</em>'.
39 * @generated
40 */
41 Call createCall();
42
43 /**
44 * Returns a new object of class '<em>Reference</em>'.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @return a new object of class '<em>Reference</em>'.
48 * @generated
49 */
50 Reference createReference();
51
52 /**
53 * Returns a new object of class '<em>Argument List</em>'.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @return a new object of class '<em>Argument List</em>'.
57 * @generated
58 */
59 ArgumentList createArgumentList();
60
61 /**
62 * Returns a new object of class '<em>Expression Argument</em>'.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @return a new object of class '<em>Expression Argument</em>'.
66 * @generated
67 */
68 ExpressionArgument createExpressionArgument();
69
70 /**
71 * Returns a new object of class '<em>Star Argument</em>'.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @return a new object of class '<em>Star Argument</em>'.
75 * @generated
76 */
77 StarArgument createStarArgument();
78
79 /**
80 * Returns a new object of class '<em>Variable</em>'.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @return a new object of class '<em>Variable</em>'.
84 * @generated
85 */
86 Variable createVariable();
87
88 /**
89 * Returns a new object of class '<em>Unary Expression</em>'.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @return a new object of class '<em>Unary Expression</em>'.
93 * @generated
94 */
95 UnaryExpression createUnaryExpression();
96
97 /**
98 * Returns a new object of class '<em>Binary Expression</em>'.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @return a new object of class '<em>Binary Expression</em>'.
102 * @generated
103 */
104 BinaryExpression createBinaryExpression();
105
106 /**
107 * Returns a new object of class '<em>Disjunction</em>'.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @return a new object of class '<em>Disjunction</em>'.
111 * @generated
112 */
113 Disjunction createDisjunction();
114
115 /**
116 * Returns a new object of class '<em>Conjunction</em>'.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @return a new object of class '<em>Conjunction</em>'.
120 * @generated
121 */
122 Conjunction createConjunction();
123
124 /**
125 * Returns a new object of class '<em>Conditional Expression</em>'.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @return a new object of class '<em>Conditional Expression</em>'.
129 * @generated
130 */
131 ConditionalExpression createConditionalExpression();
132
133 /**
134 * Returns a new object of class '<em>Switch</em>'.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @return a new object of class '<em>Switch</em>'.
138 * @generated
139 */
140 Switch createSwitch();
141
142 /**
143 * Returns a new object of class '<em>Case</em>'.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @return a new object of class '<em>Case</em>'.
147 * @generated
148 */
149 Case createCase();
150
151 /**
152 * Returns a new object of class '<em>Let Expression</em>'.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @return a new object of class '<em>Let Expression</em>'.
156 * @generated
157 */
158 LetExpression createLetExpression();
159
160 /**
161 * Returns a new object of class '<em>Let Binding</em>'.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @return a new object of class '<em>Let Binding</em>'.
165 * @generated
166 */
167 LetBinding createLetBinding();
168
169 /**
170 * Returns a new object of class '<em>Int Literal</em>'.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @return a new object of class '<em>Int Literal</em>'.
174 * @generated
175 */
176 IntLiteral createIntLiteral();
177
178 /**
179 * Returns a new object of class '<em>Real Literal</em>'.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @return a new object of class '<em>Real Literal</em>'.
183 * @generated
184 */
185 RealLiteral createRealLiteral();
186
187 /**
188 * Returns a new object of class '<em>String Literal</em>'.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @return a new object of class '<em>String Literal</em>'.
192 * @generated
193 */
194 StringLiteral createStringLiteral();
195
196 /**
197 * Returns a new object of class '<em>Logic Literal</em>'.
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @return a new object of class '<em>Logic Literal</em>'.
201 * @generated
202 */
203 LogicLiteral createLogicLiteral();
204
205 /**
206 * Returns a new object of class '<em>Empty Literal</em>'.
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @return a new object of class '<em>Empty Literal</em>'.
210 * @generated
211 */
212 EmptyLiteral createEmptyLiteral();
213
214 /**
215 * Returns a new object of class '<em>Cast Expression</em>'.
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @return a new object of class '<em>Cast Expression</em>'.
219 * @generated
220 */
221 CastExpression createCastExpression();
222
223 /**
224 * Returns a new object of class '<em>Count</em>'.
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @return a new object of class '<em>Count</em>'.
228 * @generated
229 */
230 Count createCount();
231
232 /**
233 * Returns a new object of class '<em>Aggregation</em>'.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @return a new object of class '<em>Aggregation</em>'.
237 * @generated
238 */
239 Aggregation createAggregation();
240
241 /**
242 * Returns a new object of class '<em>Forall</em>'.
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @return a new object of class '<em>Forall</em>'.
246 * @generated
247 */
248 Forall createForall();
249
250 /**
251 * Returns a new object of class '<em>Type Reference</em>'.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @return a new object of class '<em>Type Reference</em>'.
255 * @generated
256 */
257 TypeReference createTypeReference();
258
259 /**
260 * Returns a new object of class '<em>Infinity Literal</em>'.
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @return a new object of class '<em>Infinity Literal</em>'.
264 * @generated
265 */
266 InfinityLiteral createInfinityLiteral();
267
268 /**
269 * Returns a new object of class '<em>Interval</em>'.
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @return a new object of class '<em>Interval</em>'.
273 * @generated
274 */
275 Interval createInterval();
276
277 /**
278 * Returns a new object of class '<em>Base Relation</em>'.
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @return a new object of class '<em>Base Relation</em>'.
282 * @generated
283 */
284 BaseRelation createBaseRelation();
285
286 /**
287 * Returns a new object of class '<em>Predicate</em>'.
288 * <!-- begin-user-doc -->
289 * <!-- end-user-doc -->
290 * @return a new object of class '<em>Predicate</em>'.
291 * @generated
292 */
293 Predicate createPredicate();
294
295 /**
296 * Returns a new object of class '<em>Datatype</em>'.
297 * <!-- begin-user-doc -->
298 * <!-- end-user-doc -->
299 * @return a new object of class '<em>Datatype</em>'.
300 * @generated
301 */
302 Datatype createDatatype();
303
304 /**
305 * Returns a new object of class '<em>Metric</em>'.
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @return a new object of class '<em>Metric</em>'.
309 * @generated
310 */
311 Metric createMetric();
312
313 /**
314 * Returns a new object of class '<em>Operator</em>'.
315 * <!-- begin-user-doc -->
316 * <!-- end-user-doc -->
317 * @return a new object of class '<em>Operator</em>'.
318 * @generated
319 */
320 Operator createOperator();
321
322 /**
323 * Returns a new object of class '<em>Node</em>'.
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @return a new object of class '<em>Node</em>'.
327 * @generated
328 */
329 Node createNode();
330
331 /**
332 * Returns a new object of class '<em>Predicate Definition</em>'.
333 * <!-- begin-user-doc -->
334 * <!-- end-user-doc -->
335 * @return a new object of class '<em>Predicate Definition</em>'.
336 * @generated
337 */
338 PredicateDefinition createPredicateDefinition();
339
340 /**
341 * Returns a new object of class '<em>Function Definition</em>'.
342 * <!-- begin-user-doc -->
343 * <!-- end-user-doc -->
344 * @return a new object of class '<em>Function Definition</em>'.
345 * @generated
346 */
347 FunctionDefinition createFunctionDefinition();
348
349 /**
350 * Returns a new object of class '<em>Extern Predicate Declaration</em>'.
351 * <!-- begin-user-doc -->
352 * <!-- end-user-doc -->
353 * @return a new object of class '<em>Extern Predicate Declaration</em>'.
354 * @generated
355 */
356 ExternPredicateDeclaration createExternPredicateDeclaration();
357
358 /**
359 * Returns a new object of class '<em>Extern Function Declaration</em>'.
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @return a new object of class '<em>Extern Function Declaration</em>'.
363 * @generated
364 */
365 ExternFunctionDeclaration createExternFunctionDeclaration();
366
367 /**
368 * Returns a new object of class '<em>Extern Aggregation Operator Declaration</em>'.
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @return a new object of class '<em>Extern Aggregation Operator Declaration</em>'.
372 * @generated
373 */
374 ExternAggregationOperatorDeclaration createExternAggregationOperatorDeclaration();
375
376 /**
377 * Returns a new object of class '<em>Extern Datatype Declaration</em>'.
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @return a new object of class '<em>Extern Datatype Declaration</em>'.
381 * @generated
382 */
383 ExternDatatypeDeclaration createExternDatatypeDeclaration();
384
385 /**
386 * Returns a new object of class '<em>Class Declaration</em>'.
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @return a new object of class '<em>Class Declaration</em>'.
390 * @generated
391 */
392 ClassDeclaration createClassDeclaration();
393
394 /**
395 * Returns a new object of class '<em>Enum Declaration</em>'.
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @return a new object of class '<em>Enum Declaration</em>'.
399 * @generated
400 */
401 EnumDeclaration createEnumDeclaration();
402
403 /**
404 * Returns a new object of class '<em>Enum Literal</em>'.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @return a new object of class '<em>Enum Literal</em>'.
408 * @generated
409 */
410 EnumLiteral createEnumLiteral();
411
412 /**
413 * Returns a new object of class '<em>Field</em>'.
414 * <!-- begin-user-doc -->
415 * <!-- end-user-doc -->
416 * @return a new object of class '<em>Field</em>'.
417 * @generated
418 */
419 Field createField();
420
421 /**
422 * Returns a new object of class '<em>Default Assertion</em>'.
423 * <!-- begin-user-doc -->
424 * <!-- end-user-doc -->
425 * @return a new object of class '<em>Default Assertion</em>'.
426 * @generated
427 */
428 DefaultAssertion createDefaultAssertion();
429
430 /**
431 * Returns a new object of class '<em>Assertion</em>'.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @return a new object of class '<em>Assertion</em>'.
435 * @generated
436 */
437 Assertion createAssertion();
438
439 /**
440 * Returns a new object of class '<em>Unbounded Multiplicity</em>'.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @return a new object of class '<em>Unbounded Multiplicity</em>'.
444 * @generated
445 */
446 UnboundedMultiplicity createUnboundedMultiplicity();
447
448 /**
449 * Returns a new object of class '<em>Exact Multiplicity</em>'.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @return a new object of class '<em>Exact Multiplicity</em>'.
453 * @generated
454 */
455 ExactMultiplicity createExactMultiplicity();
456
457 /**
458 * Returns a new object of class '<em>Bounded Multiplicity</em>'.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @return a new object of class '<em>Bounded Multiplicity</em>'.
462 * @generated
463 */
464 BoundedMultiplicity createBoundedMultiplicity();
465
466 /**
467 * Returns a new object of class '<em>Aggregation Operator</em>'.
468 * <!-- begin-user-doc -->
469 * <!-- end-user-doc -->
470 * @return a new object of class '<em>Aggregation Operator</em>'.
471 * @generated
472 */
473 AggregationOperator createAggregationOperator();
474
475 /**
476 * Returns a new object of class '<em>Problem</em>'.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @return a new object of class '<em>Problem</em>'.
480 * @generated
481 */
482 Problem createProblem();
483
484 /**
485 * Returns a new object of class '<em>Typed Star Argument</em>'.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @return a new object of class '<em>Typed Star Argument</em>'.
489 * @generated
490 */
491 TypedStarArgument createTypedStarArgument();
492
493 /**
494 * Returns a new object of class '<em>Typed Variable Argument</em>'.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @return a new object of class '<em>Typed Variable Argument</em>'.
498 * @generated
499 */
500 TypedVariableArgument createTypedVariableArgument();
501
502 /**
503 * Returns a new object of class '<em>Unnamed Error Predicate Defintion</em>'.
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @return a new object of class '<em>Unnamed Error Predicate Defintion</em>'.
507 * @generated
508 */
509 UnnamedErrorPredicateDefintion createUnnamedErrorPredicateDefintion();
510
511 /**
512 * Returns a new object of class '<em>Objective Declaration</em>'.
513 * <!-- begin-user-doc -->
514 * <!-- end-user-doc -->
515 * @return a new object of class '<em>Objective Declaration</em>'.
516 * @generated
517 */
518 ObjectiveDeclaration createObjectiveDeclaration();
519
520 /**
521 * Returns a new object of class '<em>Scope Declaration</em>'.
522 * <!-- begin-user-doc -->
523 * <!-- end-user-doc -->
524 * @return a new object of class '<em>Scope Declaration</em>'.
525 * @generated
526 */
527 ScopeDeclaration createScopeDeclaration();
528
529 /**
530 * Returns a new object of class '<em>Exact Scope</em>'.
531 * <!-- begin-user-doc -->
532 * <!-- end-user-doc -->
533 * @return a new object of class '<em>Exact Scope</em>'.
534 * @generated
535 */
536 ExactScope createExactScope();
537
538 /**
539 * Returns a new object of class '<em>Bounded Scope</em>'.
540 * <!-- begin-user-doc -->
541 * <!-- end-user-doc -->
542 * @return a new object of class '<em>Bounded Scope</em>'.
543 * @generated
544 */
545 BoundedScope createBoundedScope();
546
547 /**
548 * Returns a new object of class '<em>Lower Bounded Scope</em>'.
549 * <!-- begin-user-doc -->
550 * <!-- end-user-doc -->
551 * @return a new object of class '<em>Lower Bounded Scope</em>'.
552 * @generated
553 */
554 LowerBoundedScope createLowerBoundedScope();
555
556 /**
557 * Returns a new object of class '<em>Namespace Import</em>'.
558 * <!-- begin-user-doc -->
559 * <!-- end-user-doc -->
560 * @return a new object of class '<em>Namespace Import</em>'.
561 * @generated
562 */
563 NamespaceImport createNamespaceImport();
564
565 /**
566 * Returns a new object of class '<em>Import</em>'.
567 * <!-- begin-user-doc -->
568 * <!-- end-user-doc -->
569 * @return a new object of class '<em>Import</em>'.
570 * @generated
571 */
572 Import createImport();
573
574 /**
575 * Returns a new object of class '<em>Uri Import</em>'.
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @return a new object of class '<em>Uri Import</em>'.
579 * @generated
580 */
581 UriImport createUriImport();
582
583 /**
584 * Returns the package supported by this factory.
585 * <!-- begin-user-doc -->
586 * <!-- end-user-doc -->
587 * @return the package supported by this factory.
588 * @generated
589 */
590 SolverLanguagePackage getSolverLanguagePackage();
591
592} //SolverLanguageFactory
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 04:29:05 +0000