diff options
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.java | 538 |
1 files changed, 0 insertions, 538 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 deleted file mode 100644 index 6589eaa4..00000000 --- a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java +++ /dev/null | |||
@@ -1,538 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage; | ||
5 | |||
6 | import 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 | */ | ||
16 | public 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 | ||