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