diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java | 458 |
1 files changed, 0 insertions, 458 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java deleted file mode 100644 index f6e293b9..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java +++ /dev/null | |||
@@ -1,458 +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 | /** | ||
19 | * The singleton instance of the factory. | ||
20 | * <!-- begin-user-doc --> | ||
21 | * <!-- end-user-doc --> | ||
22 | * @generated | ||
23 | */ | ||
24 | SolverLanguageFactory eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguageFactoryImpl.init(); | ||
25 | |||
26 | /** | ||
27 | * Returns a new object of class '<em>Problem</em>'. | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @return a new object of class '<em>Problem</em>'. | ||
31 | * @generated | ||
32 | */ | ||
33 | Problem createProblem(); | ||
34 | |||
35 | /** | ||
36 | * Returns a new object of class '<em>Statement</em>'. | ||
37 | * <!-- begin-user-doc --> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @return a new object of class '<em>Statement</em>'. | ||
40 | * @generated | ||
41 | */ | ||
42 | Statement createStatement(); | ||
43 | |||
44 | /** | ||
45 | * Returns a new object of class '<em>Predicate Definition</em>'. | ||
46 | * <!-- begin-user-doc --> | ||
47 | * <!-- end-user-doc --> | ||
48 | * @return a new object of class '<em>Predicate Definition</em>'. | ||
49 | * @generated | ||
50 | */ | ||
51 | PredicateDefinition createPredicateDefinition(); | ||
52 | |||
53 | /** | ||
54 | * Returns a new object of class '<em>Unnamed Error Prediate Definition</em>'. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @return a new object of class '<em>Unnamed Error Prediate Definition</em>'. | ||
58 | * @generated | ||
59 | */ | ||
60 | UnnamedErrorPrediateDefinition createUnnamedErrorPrediateDefinition(); | ||
61 | |||
62 | /** | ||
63 | * Returns a new object of class '<em>Default Definition</em>'. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @return a new object of class '<em>Default Definition</em>'. | ||
67 | * @generated | ||
68 | */ | ||
69 | DefaultDefinition createDefaultDefinition(); | ||
70 | |||
71 | /** | ||
72 | * Returns a new object of class '<em>Extern Predicate Definition</em>'. | ||
73 | * <!-- begin-user-doc --> | ||
74 | * <!-- end-user-doc --> | ||
75 | * @return a new object of class '<em>Extern Predicate Definition</em>'. | ||
76 | * @generated | ||
77 | */ | ||
78 | ExternPredicateDefinition createExternPredicateDefinition(); | ||
79 | |||
80 | /** | ||
81 | * Returns a new object of class '<em>Metric Definition</em>'. | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @return a new object of class '<em>Metric Definition</em>'. | ||
85 | * @generated | ||
86 | */ | ||
87 | MetricDefinition createMetricDefinition(); | ||
88 | |||
89 | /** | ||
90 | * Returns a new object of class '<em>Extern Metric Definition</em>'. | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @return a new object of class '<em>Extern Metric Definition</em>'. | ||
94 | * @generated | ||
95 | */ | ||
96 | ExternMetricDefinition createExternMetricDefinition(); | ||
97 | |||
98 | /** | ||
99 | * Returns a new object of class '<em>Expression</em>'. | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @return a new object of class '<em>Expression</em>'. | ||
103 | * @generated | ||
104 | */ | ||
105 | Expression createExpression(); | ||
106 | |||
107 | /** | ||
108 | * Returns a new object of class '<em>If Else</em>'. | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @return a new object of class '<em>If Else</em>'. | ||
112 | * @generated | ||
113 | */ | ||
114 | IfElse createIfElse(); | ||
115 | |||
116 | /** | ||
117 | * Returns a new object of class '<em>Case</em>'. | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @return a new object of class '<em>Case</em>'. | ||
121 | * @generated | ||
122 | */ | ||
123 | Case createCase(); | ||
124 | |||
125 | /** | ||
126 | * Returns a new object of class '<em>Count</em>'. | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @return a new object of class '<em>Count</em>'. | ||
130 | * @generated | ||
131 | */ | ||
132 | Count createCount(); | ||
133 | |||
134 | /** | ||
135 | * Returns a new object of class '<em>Aggregation</em>'. | ||
136 | * <!-- begin-user-doc --> | ||
137 | * <!-- end-user-doc --> | ||
138 | * @return a new object of class '<em>Aggregation</em>'. | ||
139 | * @generated | ||
140 | */ | ||
141 | Aggregation createAggregation(); | ||
142 | |||
143 | /** | ||
144 | * Returns a new object of class '<em>Call</em>'. | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @return a new object of class '<em>Call</em>'. | ||
148 | * @generated | ||
149 | */ | ||
150 | Call createCall(); | ||
151 | |||
152 | /** | ||
153 | * Returns a new object of class '<em>Argument List</em>'. | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @return a new object of class '<em>Argument List</em>'. | ||
157 | * @generated | ||
158 | */ | ||
159 | ArgumentList createArgumentList(); | ||
160 | |||
161 | /** | ||
162 | * Returns a new object of class '<em>Argument</em>'. | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @return a new object of class '<em>Argument</em>'. | ||
166 | * @generated | ||
167 | */ | ||
168 | Argument createArgument(); | ||
169 | |||
170 | /** | ||
171 | * Returns a new object of class '<em>Expression Argument</em>'. | ||
172 | * <!-- begin-user-doc --> | ||
173 | * <!-- end-user-doc --> | ||
174 | * @return a new object of class '<em>Expression Argument</em>'. | ||
175 | * @generated | ||
176 | */ | ||
177 | ExpressionArgument createExpressionArgument(); | ||
178 | |||
179 | /** | ||
180 | * Returns a new object of class '<em>Star Argument</em>'. | ||
181 | * <!-- begin-user-doc --> | ||
182 | * <!-- end-user-doc --> | ||
183 | * @return a new object of class '<em>Star Argument</em>'. | ||
184 | * @generated | ||
185 | */ | ||
186 | StarArgument createStarArgument(); | ||
187 | |||
188 | /** | ||
189 | * Returns a new object of class '<em>Typed Argument</em>'. | ||
190 | * <!-- begin-user-doc --> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @return a new object of class '<em>Typed Argument</em>'. | ||
193 | * @generated | ||
194 | */ | ||
195 | TypedArgument createTypedArgument(); | ||
196 | |||
197 | /** | ||
198 | * Returns a new object of class '<em>Typed Star Argument</em>'. | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @return a new object of class '<em>Typed Star Argument</em>'. | ||
202 | * @generated | ||
203 | */ | ||
204 | TypedStarArgument createTypedStarArgument(); | ||
205 | |||
206 | /** | ||
207 | * Returns a new object of class '<em>Reference</em>'. | ||
208 | * <!-- begin-user-doc --> | ||
209 | * <!-- end-user-doc --> | ||
210 | * @return a new object of class '<em>Reference</em>'. | ||
211 | * @generated | ||
212 | */ | ||
213 | Reference createReference(); | ||
214 | |||
215 | /** | ||
216 | * Returns a new object of class '<em>Interval</em>'. | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @return a new object of class '<em>Interval</em>'. | ||
220 | * @generated | ||
221 | */ | ||
222 | Interval createInterval(); | ||
223 | |||
224 | /** | ||
225 | * Returns a new object of class '<em>Literal</em>'. | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @return a new object of class '<em>Literal</em>'. | ||
229 | * @generated | ||
230 | */ | ||
231 | Literal createLiteral(); | ||
232 | |||
233 | /** | ||
234 | * Returns a new object of class '<em>Logic Literal</em>'. | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @return a new object of class '<em>Logic Literal</em>'. | ||
238 | * @generated | ||
239 | */ | ||
240 | LogicLiteral createLogicLiteral(); | ||
241 | |||
242 | /** | ||
243 | * Returns a new object of class '<em>Numeric Literal</em>'. | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @return a new object of class '<em>Numeric Literal</em>'. | ||
247 | * @generated | ||
248 | */ | ||
249 | NumericLiteral createNumericLiteral(); | ||
250 | |||
251 | /** | ||
252 | * Returns a new object of class '<em>Infinity Literal</em>'. | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @return a new object of class '<em>Infinity Literal</em>'. | ||
256 | * @generated | ||
257 | */ | ||
258 | InfinityLiteral createInfinityLiteral(); | ||
259 | |||
260 | /** | ||
261 | * Returns a new object of class '<em>Empty Interval Literal</em>'. | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @return a new object of class '<em>Empty Interval Literal</em>'. | ||
265 | * @generated | ||
266 | */ | ||
267 | EmptyIntervalLiteral createEmptyIntervalLiteral(); | ||
268 | |||
269 | /** | ||
270 | * Returns a new object of class '<em>String Literal</em>'. | ||
271 | * <!-- begin-user-doc --> | ||
272 | * <!-- end-user-doc --> | ||
273 | * @return a new object of class '<em>String Literal</em>'. | ||
274 | * @generated | ||
275 | */ | ||
276 | StringLiteral createStringLiteral(); | ||
277 | |||
278 | /** | ||
279 | * Returns a new object of class '<em>Class Definition</em>'. | ||
280 | * <!-- begin-user-doc --> | ||
281 | * <!-- end-user-doc --> | ||
282 | * @return a new object of class '<em>Class Definition</em>'. | ||
283 | * @generated | ||
284 | */ | ||
285 | ClassDefinition createClassDefinition(); | ||
286 | |||
287 | /** | ||
288 | * Returns a new object of class '<em>Member Definition</em>'. | ||
289 | * <!-- begin-user-doc --> | ||
290 | * <!-- end-user-doc --> | ||
291 | * @return a new object of class '<em>Member Definition</em>'. | ||
292 | * @generated | ||
293 | */ | ||
294 | MemberDefinition createMemberDefinition(); | ||
295 | |||
296 | /** | ||
297 | * Returns a new object of class '<em>Multiplicity</em>'. | ||
298 | * <!-- begin-user-doc --> | ||
299 | * <!-- end-user-doc --> | ||
300 | * @return a new object of class '<em>Multiplicity</em>'. | ||
301 | * @generated | ||
302 | */ | ||
303 | Multiplicity createMultiplicity(); | ||
304 | |||
305 | /** | ||
306 | * Returns a new object of class '<em>Many Multiplicity</em>'. | ||
307 | * <!-- begin-user-doc --> | ||
308 | * <!-- end-user-doc --> | ||
309 | * @return a new object of class '<em>Many Multiplicity</em>'. | ||
310 | * @generated | ||
311 | */ | ||
312 | ManyMultiplicity createManyMultiplicity(); | ||
313 | |||
314 | /** | ||
315 | * Returns a new object of class '<em>Exact Multiplicity</em>'. | ||
316 | * <!-- begin-user-doc --> | ||
317 | * <!-- end-user-doc --> | ||
318 | * @return a new object of class '<em>Exact Multiplicity</em>'. | ||
319 | * @generated | ||
320 | */ | ||
321 | ExactMultiplicity createExactMultiplicity(); | ||
322 | |||
323 | /** | ||
324 | * Returns a new object of class '<em>Bounded Multiplicity</em>'. | ||
325 | * <!-- begin-user-doc --> | ||
326 | * <!-- end-user-doc --> | ||
327 | * @return a new object of class '<em>Bounded Multiplicity</em>'. | ||
328 | * @generated | ||
329 | */ | ||
330 | BoundedMultiplicity createBoundedMultiplicity(); | ||
331 | |||
332 | /** | ||
333 | * Returns a new object of class '<em>Scope Definition</em>'. | ||
334 | * <!-- begin-user-doc --> | ||
335 | * <!-- end-user-doc --> | ||
336 | * @return a new object of class '<em>Scope Definition</em>'. | ||
337 | * @generated | ||
338 | */ | ||
339 | ScopeDefinition createScopeDefinition(); | ||
340 | |||
341 | /** | ||
342 | * Returns a new object of class '<em>Exact Scope Definition</em>'. | ||
343 | * <!-- begin-user-doc --> | ||
344 | * <!-- end-user-doc --> | ||
345 | * @return a new object of class '<em>Exact Scope Definition</em>'. | ||
346 | * @generated | ||
347 | */ | ||
348 | ExactScopeDefinition createExactScopeDefinition(); | ||
349 | |||
350 | /** | ||
351 | * Returns a new object of class '<em>Bounded Scope Definition</em>'. | ||
352 | * <!-- begin-user-doc --> | ||
353 | * <!-- end-user-doc --> | ||
354 | * @return a new object of class '<em>Bounded Scope Definition</em>'. | ||
355 | * @generated | ||
356 | */ | ||
357 | BoundedScopeDefinition createBoundedScopeDefinition(); | ||
358 | |||
359 | /** | ||
360 | * Returns a new object of class '<em>Lower Bounded Scope Definition</em>'. | ||
361 | * <!-- begin-user-doc --> | ||
362 | * <!-- end-user-doc --> | ||
363 | * @return a new object of class '<em>Lower Bounded Scope Definition</em>'. | ||
364 | * @generated | ||
365 | */ | ||
366 | LowerBoundedScopeDefinition createLowerBoundedScopeDefinition(); | ||
367 | |||
368 | /** | ||
369 | * Returns a new object of class '<em>Objective Definition</em>'. | ||
370 | * <!-- begin-user-doc --> | ||
371 | * <!-- end-user-doc --> | ||
372 | * @return a new object of class '<em>Objective Definition</em>'. | ||
373 | * @generated | ||
374 | */ | ||
375 | ObjectiveDefinition createObjectiveDefinition(); | ||
376 | |||
377 | /** | ||
378 | * Returns a new object of class '<em>Named Element</em>'. | ||
379 | * <!-- begin-user-doc --> | ||
380 | * <!-- end-user-doc --> | ||
381 | * @return a new object of class '<em>Named Element</em>'. | ||
382 | * @generated | ||
383 | */ | ||
384 | NamedElement createNamedElement(); | ||
385 | |||
386 | /** | ||
387 | * Returns a new object of class '<em>Assertion</em>'. | ||
388 | * <!-- begin-user-doc --> | ||
389 | * <!-- end-user-doc --> | ||
390 | * @return a new object of class '<em>Assertion</em>'. | ||
391 | * @generated | ||
392 | */ | ||
393 | Assertion createAssertion(); | ||
394 | |||
395 | /** | ||
396 | * Returns a new object of class '<em>Disjunction</em>'. | ||
397 | * <!-- begin-user-doc --> | ||
398 | * <!-- end-user-doc --> | ||
399 | * @return a new object of class '<em>Disjunction</em>'. | ||
400 | * @generated | ||
401 | */ | ||
402 | Disjunction createDisjunction(); | ||
403 | |||
404 | /** | ||
405 | * Returns a new object of class '<em>Switch</em>'. | ||
406 | * <!-- begin-user-doc --> | ||
407 | * <!-- end-user-doc --> | ||
408 | * @return a new object of class '<em>Switch</em>'. | ||
409 | * @generated | ||
410 | */ | ||
411 | Switch createSwitch(); | ||
412 | |||
413 | /** | ||
414 | * Returns a new object of class '<em>Conjunction</em>'. | ||
415 | * <!-- begin-user-doc --> | ||
416 | * <!-- end-user-doc --> | ||
417 | * @return a new object of class '<em>Conjunction</em>'. | ||
418 | * @generated | ||
419 | */ | ||
420 | Conjunction createConjunction(); | ||
421 | |||
422 | /** | ||
423 | * Returns a new object of class '<em>Comparison</em>'. | ||
424 | * <!-- begin-user-doc --> | ||
425 | * <!-- end-user-doc --> | ||
426 | * @return a new object of class '<em>Comparison</em>'. | ||
427 | * @generated | ||
428 | */ | ||
429 | Comparison createComparison(); | ||
430 | |||
431 | /** | ||
432 | * Returns a new object of class '<em>Binary Expression</em>'. | ||
433 | * <!-- begin-user-doc --> | ||
434 | * <!-- end-user-doc --> | ||
435 | * @return a new object of class '<em>Binary Expression</em>'. | ||
436 | * @generated | ||
437 | */ | ||
438 | BinaryExpression createBinaryExpression(); | ||
439 | |||
440 | /** | ||
441 | * Returns a new object of class '<em>Unary Expression</em>'. | ||
442 | * <!-- begin-user-doc --> | ||
443 | * <!-- end-user-doc --> | ||
444 | * @return a new object of class '<em>Unary Expression</em>'. | ||
445 | * @generated | ||
446 | */ | ||
447 | UnaryExpression createUnaryExpression(); | ||
448 | |||
449 | /** | ||
450 | * Returns the package supported by this factory. | ||
451 | * <!-- begin-user-doc --> | ||
452 | * <!-- end-user-doc --> | ||
453 | * @return the package supported by this factory. | ||
454 | * @generated | ||
455 | */ | ||
456 | SolverLanguagePackage getSolverLanguagePackage(); | ||
457 | |||
458 | } //SolverLanguageFactory | ||