aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java')
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java502
1 files changed, 502 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java
new file mode 100644
index 00000000..06919ba8
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java
@@ -0,0 +1,502 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.alloyLanguage;
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 hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage
13 * @generated
14 */
15public interface AlloyLanguageFactory extends EFactory
16{
17 /**
18 * The singleton instance of the factory.
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 AlloyLanguageFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguageFactoryImpl.init();
24
25 /**
26 * Returns a new object of class '<em>ALS Document</em>'.
27 * <!-- begin-user-doc -->
28 * <!-- end-user-doc -->
29 * @return a new object of class '<em>ALS Document</em>'.
30 * @generated
31 */
32 ALSDocument createALSDocument();
33
34 /**
35 * Returns a new object of class '<em>ALS Relation Declaration</em>'.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @return a new object of class '<em>ALS Relation Declaration</em>'.
39 * @generated
40 */
41 ALSRelationDeclaration createALSRelationDeclaration();
42
43 /**
44 * Returns a new object of class '<em>ALS Type Declaration</em>'.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @return a new object of class '<em>ALS Type Declaration</em>'.
48 * @generated
49 */
50 ALSTypeDeclaration createALSTypeDeclaration();
51
52 /**
53 * Returns a new object of class '<em>ALS Enum Declaration</em>'.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @return a new object of class '<em>ALS Enum Declaration</em>'.
57 * @generated
58 */
59 ALSEnumDeclaration createALSEnumDeclaration();
60
61 /**
62 * Returns a new object of class '<em>ALS Enum Literal</em>'.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @return a new object of class '<em>ALS Enum Literal</em>'.
66 * @generated
67 */
68 ALSEnumLiteral createALSEnumLiteral();
69
70 /**
71 * Returns a new object of class '<em>ALS Signature Declaration</em>'.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @return a new object of class '<em>ALS Signature Declaration</em>'.
75 * @generated
76 */
77 ALSSignatureDeclaration createALSSignatureDeclaration();
78
79 /**
80 * Returns a new object of class '<em>ALS Signature Body</em>'.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @return a new object of class '<em>ALS Signature Body</em>'.
84 * @generated
85 */
86 ALSSignatureBody createALSSignatureBody();
87
88 /**
89 * Returns a new object of class '<em>ALS Field Declaration</em>'.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @return a new object of class '<em>ALS Field Declaration</em>'.
93 * @generated
94 */
95 ALSFieldDeclaration createALSFieldDeclaration();
96
97 /**
98 * Returns a new object of class '<em>ALS Definition</em>'.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @return a new object of class '<em>ALS Definition</em>'.
102 * @generated
103 */
104 ALSDefinition createALSDefinition();
105
106 /**
107 * Returns a new object of class '<em>ALS Function Definition</em>'.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @return a new object of class '<em>ALS Function Definition</em>'.
111 * @generated
112 */
113 ALSFunctionDefinition createALSFunctionDefinition();
114
115 /**
116 * Returns a new object of class '<em>ALS Relation Definition</em>'.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @return a new object of class '<em>ALS Relation Definition</em>'.
120 * @generated
121 */
122 ALSRelationDefinition createALSRelationDefinition();
123
124 /**
125 * Returns a new object of class '<em>ALS Fact Declaration</em>'.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @return a new object of class '<em>ALS Fact Declaration</em>'.
129 * @generated
130 */
131 ALSFactDeclaration createALSFactDeclaration();
132
133 /**
134 * Returns a new object of class '<em>ALS Term</em>'.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @return a new object of class '<em>ALS Term</em>'.
138 * @generated
139 */
140 ALSTerm createALSTerm();
141
142 /**
143 * Returns a new object of class '<em>ALS Variable Declaration</em>'.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @return a new object of class '<em>ALS Variable Declaration</em>'.
147 * @generated
148 */
149 ALSVariableDeclaration createALSVariableDeclaration();
150
151 /**
152 * Returns a new object of class '<em>ALS Run Command</em>'.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @return a new object of class '<em>ALS Run Command</em>'.
156 * @generated
157 */
158 ALSRunCommand createALSRunCommand();
159
160 /**
161 * Returns a new object of class '<em>ALS Type Scope</em>'.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @return a new object of class '<em>ALS Type Scope</em>'.
165 * @generated
166 */
167 ALSTypeScope createALSTypeScope();
168
169 /**
170 * Returns a new object of class '<em>ALS Sig Scope</em>'.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @return a new object of class '<em>ALS Sig Scope</em>'.
174 * @generated
175 */
176 ALSSigScope createALSSigScope();
177
178 /**
179 * Returns a new object of class '<em>ALS Int Scope</em>'.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @return a new object of class '<em>ALS Int Scope</em>'.
183 * @generated
184 */
185 ALSIntScope createALSIntScope();
186
187 /**
188 * Returns a new object of class '<em>ALS Quantified Ex</em>'.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @return a new object of class '<em>ALS Quantified Ex</em>'.
192 * @generated
193 */
194 ALSQuantifiedEx createALSQuantifiedEx();
195
196 /**
197 * Returns a new object of class '<em>ALS Or</em>'.
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @return a new object of class '<em>ALS Or</em>'.
201 * @generated
202 */
203 ALSOr createALSOr();
204
205 /**
206 * Returns a new object of class '<em>ALS Iff</em>'.
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @return a new object of class '<em>ALS Iff</em>'.
210 * @generated
211 */
212 ALSIff createALSIff();
213
214 /**
215 * Returns a new object of class '<em>ALS Impl</em>'.
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @return a new object of class '<em>ALS Impl</em>'.
219 * @generated
220 */
221 ALSImpl createALSImpl();
222
223 /**
224 * Returns a new object of class '<em>ALS And</em>'.
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @return a new object of class '<em>ALS And</em>'.
228 * @generated
229 */
230 ALSAnd createALSAnd();
231
232 /**
233 * Returns a new object of class '<em>ALS Equals</em>'.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @return a new object of class '<em>ALS Equals</em>'.
237 * @generated
238 */
239 ALSEquals createALSEquals();
240
241 /**
242 * Returns a new object of class '<em>ALS Not Equals</em>'.
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @return a new object of class '<em>ALS Not Equals</em>'.
246 * @generated
247 */
248 ALSNotEquals createALSNotEquals();
249
250 /**
251 * Returns a new object of class '<em>ALS Subset</em>'.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @return a new object of class '<em>ALS Subset</em>'.
255 * @generated
256 */
257 ALSSubset createALSSubset();
258
259 /**
260 * Returns a new object of class '<em>ALS Less</em>'.
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @return a new object of class '<em>ALS Less</em>'.
264 * @generated
265 */
266 ALSLess createALSLess();
267
268 /**
269 * Returns a new object of class '<em>ALS Leq</em>'.
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @return a new object of class '<em>ALS Leq</em>'.
273 * @generated
274 */
275 ALSLeq createALSLeq();
276
277 /**
278 * Returns a new object of class '<em>ALS More</em>'.
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @return a new object of class '<em>ALS More</em>'.
282 * @generated
283 */
284 ALSMore createALSMore();
285
286 /**
287 * Returns a new object of class '<em>ALS Meq</em>'.
288 * <!-- begin-user-doc -->
289 * <!-- end-user-doc -->
290 * @return a new object of class '<em>ALS Meq</em>'.
291 * @generated
292 */
293 ALSMeq createALSMeq();
294
295 /**
296 * Returns a new object of class '<em>ALS Override</em>'.
297 * <!-- begin-user-doc -->
298 * <!-- end-user-doc -->
299 * @return a new object of class '<em>ALS Override</em>'.
300 * @generated
301 */
302 ALSOverride createALSOverride();
303
304 /**
305 * Returns a new object of class '<em>ALS Range Restriction Right</em>'.
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @return a new object of class '<em>ALS Range Restriction Right</em>'.
309 * @generated
310 */
311 ALSRangeRestrictionRight createALSRangeRestrictionRight();
312
313 /**
314 * Returns a new object of class '<em>ALS Range Restriction Left</em>'.
315 * <!-- begin-user-doc -->
316 * <!-- end-user-doc -->
317 * @return a new object of class '<em>ALS Range Restriction Left</em>'.
318 * @generated
319 */
320 ALSRangeRestrictionLeft createALSRangeRestrictionLeft();
321
322 /**
323 * Returns a new object of class '<em>ALS Join</em>'.
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @return a new object of class '<em>ALS Join</em>'.
327 * @generated
328 */
329 ALSJoin createALSJoin();
330
331 /**
332 * Returns a new object of class '<em>ALS Minus</em>'.
333 * <!-- begin-user-doc -->
334 * <!-- end-user-doc -->
335 * @return a new object of class '<em>ALS Minus</em>'.
336 * @generated
337 */
338 ALSMinus createALSMinus();
339
340 /**
341 * Returns a new object of class '<em>ALS Plus</em>'.
342 * <!-- begin-user-doc -->
343 * <!-- end-user-doc -->
344 * @return a new object of class '<em>ALS Plus</em>'.
345 * @generated
346 */
347 ALSPlus createALSPlus();
348
349 /**
350 * Returns a new object of class '<em>ALS Intersection</em>'.
351 * <!-- begin-user-doc -->
352 * <!-- end-user-doc -->
353 * @return a new object of class '<em>ALS Intersection</em>'.
354 * @generated
355 */
356 ALSIntersection createALSIntersection();
357
358 /**
359 * Returns a new object of class '<em>ALS Direct Product</em>'.
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @return a new object of class '<em>ALS Direct Product</em>'.
363 * @generated
364 */
365 ALSDirectProduct createALSDirectProduct();
366
367 /**
368 * Returns a new object of class '<em>ALS Not</em>'.
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @return a new object of class '<em>ALS Not</em>'.
372 * @generated
373 */
374 ALSNot createALSNot();
375
376 /**
377 * Returns a new object of class '<em>ALS Inverse Relation</em>'.
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @return a new object of class '<em>ALS Inverse Relation</em>'.
381 * @generated
382 */
383 ALSInverseRelation createALSInverseRelation();
384
385 /**
386 * Returns a new object of class '<em>Al STransitive Closure</em>'.
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @return a new object of class '<em>Al STransitive Closure</em>'.
390 * @generated
391 */
392 AlSTransitiveClosure createAlSTransitiveClosure();
393
394 /**
395 * Returns a new object of class '<em>ALS Reflective Transitive Closure</em>'.
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @return a new object of class '<em>ALS Reflective Transitive Closure</em>'.
399 * @generated
400 */
401 ALSReflectiveTransitiveClosure createALSReflectiveTransitiveClosure();
402
403 /**
404 * Returns a new object of class '<em>ALS Cardinality</em>'.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @return a new object of class '<em>ALS Cardinality</em>'.
408 * @generated
409 */
410 ALSCardinality createALSCardinality();
411
412 /**
413 * Returns a new object of class '<em>ALS Unary Minus</em>'.
414 * <!-- begin-user-doc -->
415 * <!-- end-user-doc -->
416 * @return a new object of class '<em>ALS Unary Minus</em>'.
417 * @generated
418 */
419 ALSUnaryMinus createALSUnaryMinus();
420
421 /**
422 * Returns a new object of class '<em>ALS Sum</em>'.
423 * <!-- begin-user-doc -->
424 * <!-- end-user-doc -->
425 * @return a new object of class '<em>ALS Sum</em>'.
426 * @generated
427 */
428 ALSSum createALSSum();
429
430 /**
431 * Returns a new object of class '<em>ALS Function Call</em>'.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @return a new object of class '<em>ALS Function Call</em>'.
435 * @generated
436 */
437 ALSFunctionCall createALSFunctionCall();
438
439 /**
440 * Returns a new object of class '<em>ALS None</em>'.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @return a new object of class '<em>ALS None</em>'.
444 * @generated
445 */
446 ALSNone createALSNone();
447
448 /**
449 * Returns a new object of class '<em>ALS Iden</em>'.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @return a new object of class '<em>ALS Iden</em>'.
453 * @generated
454 */
455 ALSIden createALSIden();
456
457 /**
458 * Returns a new object of class '<em>ALS Univ</em>'.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @return a new object of class '<em>ALS Univ</em>'.
462 * @generated
463 */
464 ALSUniv createALSUniv();
465
466 /**
467 * Returns a new object of class '<em>ALS Int</em>'.
468 * <!-- begin-user-doc -->
469 * <!-- end-user-doc -->
470 * @return a new object of class '<em>ALS Int</em>'.
471 * @generated
472 */
473 ALSInt createALSInt();
474
475 /**
476 * Returns a new object of class '<em>ALS Reference</em>'.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @return a new object of class '<em>ALS Reference</em>'.
480 * @generated
481 */
482 ALSReference createALSReference();
483
484 /**
485 * Returns a new object of class '<em>ALS Number Literal</em>'.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @return a new object of class '<em>ALS Number Literal</em>'.
489 * @generated
490 */
491 ALSNumberLiteral createALSNumberLiteral();
492
493 /**
494 * Returns the package supported by this factory.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @return the package supported by this factory.
498 * @generated
499 */
500 AlloyLanguagePackage getAlloyLanguagePackage();
501
502} //AlloyLanguageFactory
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 23:07:18 +0000