diff options
author | 2020-06-13 19:24:25 -0400 | |
---|---|---|
committer | 2020-06-13 19:24:25 -0400 | |
commit | 022a1e52e0cf20f64d9cd6685c65d945c04eaecc (patch) | |
tree | c281cd871d008ae63640fbdd9ff5739e273cb224 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java | |
parent | Merge branch 'Vampire-New' into Vampire-New (diff) | |
download | VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.gz VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.zst VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.zip |
remove Alloy solver copy
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java | 529 |
1 files changed, 0 insertions, 529 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java deleted file mode 100644 index e2d89ff1..00000000 --- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java +++ /dev/null | |||
@@ -1,529 +0,0 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage; | ||
4 | |||
5 | import 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 | */ | ||
15 | public 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 String Scope</em>'. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @return a new object of class '<em>ALS String Scope</em>'. | ||
192 | * @generated | ||
193 | */ | ||
194 | ALSStringScope createALSStringScope(); | ||
195 | |||
196 | /** | ||
197 | * Returns a new object of class '<em>ALS Quantified Ex</em>'. | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @return a new object of class '<em>ALS Quantified Ex</em>'. | ||
201 | * @generated | ||
202 | */ | ||
203 | ALSQuantifiedEx createALSQuantifiedEx(); | ||
204 | |||
205 | /** | ||
206 | * Returns a new object of class '<em>ALS Or</em>'. | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @return a new object of class '<em>ALS Or</em>'. | ||
210 | * @generated | ||
211 | */ | ||
212 | ALSOr createALSOr(); | ||
213 | |||
214 | /** | ||
215 | * Returns a new object of class '<em>ALS Iff</em>'. | ||
216 | * <!-- begin-user-doc --> | ||
217 | * <!-- end-user-doc --> | ||
218 | * @return a new object of class '<em>ALS Iff</em>'. | ||
219 | * @generated | ||
220 | */ | ||
221 | ALSIff createALSIff(); | ||
222 | |||
223 | /** | ||
224 | * Returns a new object of class '<em>ALS Impl</em>'. | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @return a new object of class '<em>ALS Impl</em>'. | ||
228 | * @generated | ||
229 | */ | ||
230 | ALSImpl createALSImpl(); | ||
231 | |||
232 | /** | ||
233 | * Returns a new object of class '<em>ALS And</em>'. | ||
234 | * <!-- begin-user-doc --> | ||
235 | * <!-- end-user-doc --> | ||
236 | * @return a new object of class '<em>ALS And</em>'. | ||
237 | * @generated | ||
238 | */ | ||
239 | ALSAnd createALSAnd(); | ||
240 | |||
241 | /** | ||
242 | * Returns a new object of class '<em>ALS Equals</em>'. | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @return a new object of class '<em>ALS Equals</em>'. | ||
246 | * @generated | ||
247 | */ | ||
248 | ALSEquals createALSEquals(); | ||
249 | |||
250 | /** | ||
251 | * Returns a new object of class '<em>ALS Not Equals</em>'. | ||
252 | * <!-- begin-user-doc --> | ||
253 | * <!-- end-user-doc --> | ||
254 | * @return a new object of class '<em>ALS Not Equals</em>'. | ||
255 | * @generated | ||
256 | */ | ||
257 | ALSNotEquals createALSNotEquals(); | ||
258 | |||
259 | /** | ||
260 | * Returns a new object of class '<em>ALS Subset</em>'. | ||
261 | * <!-- begin-user-doc --> | ||
262 | * <!-- end-user-doc --> | ||
263 | * @return a new object of class '<em>ALS Subset</em>'. | ||
264 | * @generated | ||
265 | */ | ||
266 | ALSSubset createALSSubset(); | ||
267 | |||
268 | /** | ||
269 | * Returns a new object of class '<em>ALS Less</em>'. | ||
270 | * <!-- begin-user-doc --> | ||
271 | * <!-- end-user-doc --> | ||
272 | * @return a new object of class '<em>ALS Less</em>'. | ||
273 | * @generated | ||
274 | */ | ||
275 | ALSLess createALSLess(); | ||
276 | |||
277 | /** | ||
278 | * Returns a new object of class '<em>ALS Leq</em>'. | ||
279 | * <!-- begin-user-doc --> | ||
280 | * <!-- end-user-doc --> | ||
281 | * @return a new object of class '<em>ALS Leq</em>'. | ||
282 | * @generated | ||
283 | */ | ||
284 | ALSLeq createALSLeq(); | ||
285 | |||
286 | /** | ||
287 | * Returns a new object of class '<em>ALS More</em>'. | ||
288 | * <!-- begin-user-doc --> | ||
289 | * <!-- end-user-doc --> | ||
290 | * @return a new object of class '<em>ALS More</em>'. | ||
291 | * @generated | ||
292 | */ | ||
293 | ALSMore createALSMore(); | ||
294 | |||
295 | /** | ||
296 | * Returns a new object of class '<em>ALS Meq</em>'. | ||
297 | * <!-- begin-user-doc --> | ||
298 | * <!-- end-user-doc --> | ||
299 | * @return a new object of class '<em>ALS Meq</em>'. | ||
300 | * @generated | ||
301 | */ | ||
302 | ALSMeq createALSMeq(); | ||
303 | |||
304 | /** | ||
305 | * Returns a new object of class '<em>ALS Override</em>'. | ||
306 | * <!-- begin-user-doc --> | ||
307 | * <!-- end-user-doc --> | ||
308 | * @return a new object of class '<em>ALS Override</em>'. | ||
309 | * @generated | ||
310 | */ | ||
311 | ALSOverride createALSOverride(); | ||
312 | |||
313 | /** | ||
314 | * Returns a new object of class '<em>ALS Range Restriction Right</em>'. | ||
315 | * <!-- begin-user-doc --> | ||
316 | * <!-- end-user-doc --> | ||
317 | * @return a new object of class '<em>ALS Range Restriction Right</em>'. | ||
318 | * @generated | ||
319 | */ | ||
320 | ALSRangeRestrictionRight createALSRangeRestrictionRight(); | ||
321 | |||
322 | /** | ||
323 | * Returns a new object of class '<em>ALS Range Restriction Left</em>'. | ||
324 | * <!-- begin-user-doc --> | ||
325 | * <!-- end-user-doc --> | ||
326 | * @return a new object of class '<em>ALS Range Restriction Left</em>'. | ||
327 | * @generated | ||
328 | */ | ||
329 | ALSRangeRestrictionLeft createALSRangeRestrictionLeft(); | ||
330 | |||
331 | /** | ||
332 | * Returns a new object of class '<em>ALS Join</em>'. | ||
333 | * <!-- begin-user-doc --> | ||
334 | * <!-- end-user-doc --> | ||
335 | * @return a new object of class '<em>ALS Join</em>'. | ||
336 | * @generated | ||
337 | */ | ||
338 | ALSJoin createALSJoin(); | ||
339 | |||
340 | /** | ||
341 | * Returns a new object of class '<em>ALS Minus</em>'. | ||
342 | * <!-- begin-user-doc --> | ||
343 | * <!-- end-user-doc --> | ||
344 | * @return a new object of class '<em>ALS Minus</em>'. | ||
345 | * @generated | ||
346 | */ | ||
347 | ALSMinus createALSMinus(); | ||
348 | |||
349 | /** | ||
350 | * Returns a new object of class '<em>ALS Plus</em>'. | ||
351 | * <!-- begin-user-doc --> | ||
352 | * <!-- end-user-doc --> | ||
353 | * @return a new object of class '<em>ALS Plus</em>'. | ||
354 | * @generated | ||
355 | */ | ||
356 | ALSPlus createALSPlus(); | ||
357 | |||
358 | /** | ||
359 | * Returns a new object of class '<em>ALS Intersection</em>'. | ||
360 | * <!-- begin-user-doc --> | ||
361 | * <!-- end-user-doc --> | ||
362 | * @return a new object of class '<em>ALS Intersection</em>'. | ||
363 | * @generated | ||
364 | */ | ||
365 | ALSIntersection createALSIntersection(); | ||
366 | |||
367 | /** | ||
368 | * Returns a new object of class '<em>ALS Direct Product</em>'. | ||
369 | * <!-- begin-user-doc --> | ||
370 | * <!-- end-user-doc --> | ||
371 | * @return a new object of class '<em>ALS Direct Product</em>'. | ||
372 | * @generated | ||
373 | */ | ||
374 | ALSDirectProduct createALSDirectProduct(); | ||
375 | |||
376 | /** | ||
377 | * Returns a new object of class '<em>ALS Not</em>'. | ||
378 | * <!-- begin-user-doc --> | ||
379 | * <!-- end-user-doc --> | ||
380 | * @return a new object of class '<em>ALS Not</em>'. | ||
381 | * @generated | ||
382 | */ | ||
383 | ALSNot createALSNot(); | ||
384 | |||
385 | /** | ||
386 | * Returns a new object of class '<em>ALS Inverse Relation</em>'. | ||
387 | * <!-- begin-user-doc --> | ||
388 | * <!-- end-user-doc --> | ||
389 | * @return a new object of class '<em>ALS Inverse Relation</em>'. | ||
390 | * @generated | ||
391 | */ | ||
392 | ALSInverseRelation createALSInverseRelation(); | ||
393 | |||
394 | /** | ||
395 | * Returns a new object of class '<em>Al STransitive Closure</em>'. | ||
396 | * <!-- begin-user-doc --> | ||
397 | * <!-- end-user-doc --> | ||
398 | * @return a new object of class '<em>Al STransitive Closure</em>'. | ||
399 | * @generated | ||
400 | */ | ||
401 | AlSTransitiveClosure createAlSTransitiveClosure(); | ||
402 | |||
403 | /** | ||
404 | * Returns a new object of class '<em>ALS Reflective Transitive Closure</em>'. | ||
405 | * <!-- begin-user-doc --> | ||
406 | * <!-- end-user-doc --> | ||
407 | * @return a new object of class '<em>ALS Reflective Transitive Closure</em>'. | ||
408 | * @generated | ||
409 | */ | ||
410 | ALSReflectiveTransitiveClosure createALSReflectiveTransitiveClosure(); | ||
411 | |||
412 | /** | ||
413 | * Returns a new object of class '<em>ALS Cardinality</em>'. | ||
414 | * <!-- begin-user-doc --> | ||
415 | * <!-- end-user-doc --> | ||
416 | * @return a new object of class '<em>ALS Cardinality</em>'. | ||
417 | * @generated | ||
418 | */ | ||
419 | ALSCardinality createALSCardinality(); | ||
420 | |||
421 | /** | ||
422 | * Returns a new object of class '<em>ALS Unary Minus</em>'. | ||
423 | * <!-- begin-user-doc --> | ||
424 | * <!-- end-user-doc --> | ||
425 | * @return a new object of class '<em>ALS Unary Minus</em>'. | ||
426 | * @generated | ||
427 | */ | ||
428 | ALSUnaryMinus createALSUnaryMinus(); | ||
429 | |||
430 | /** | ||
431 | * Returns a new object of class '<em>ALS Sum</em>'. | ||
432 | * <!-- begin-user-doc --> | ||
433 | * <!-- end-user-doc --> | ||
434 | * @return a new object of class '<em>ALS Sum</em>'. | ||
435 | * @generated | ||
436 | */ | ||
437 | ALSSum createALSSum(); | ||
438 | |||
439 | /** | ||
440 | * Returns a new object of class '<em>ALS Function Call</em>'. | ||
441 | * <!-- begin-user-doc --> | ||
442 | * <!-- end-user-doc --> | ||
443 | * @return a new object of class '<em>ALS Function Call</em>'. | ||
444 | * @generated | ||
445 | */ | ||
446 | ALSFunctionCall createALSFunctionCall(); | ||
447 | |||
448 | /** | ||
449 | * Returns a new object of class '<em>ALS None</em>'. | ||
450 | * <!-- begin-user-doc --> | ||
451 | * <!-- end-user-doc --> | ||
452 | * @return a new object of class '<em>ALS None</em>'. | ||
453 | * @generated | ||
454 | */ | ||
455 | ALSNone createALSNone(); | ||
456 | |||
457 | /** | ||
458 | * Returns a new object of class '<em>ALS Iden</em>'. | ||
459 | * <!-- begin-user-doc --> | ||
460 | * <!-- end-user-doc --> | ||
461 | * @return a new object of class '<em>ALS Iden</em>'. | ||
462 | * @generated | ||
463 | */ | ||
464 | ALSIden createALSIden(); | ||
465 | |||
466 | /** | ||
467 | * Returns a new object of class '<em>ALS Univ</em>'. | ||
468 | * <!-- begin-user-doc --> | ||
469 | * <!-- end-user-doc --> | ||
470 | * @return a new object of class '<em>ALS Univ</em>'. | ||
471 | * @generated | ||
472 | */ | ||
473 | ALSUniv createALSUniv(); | ||
474 | |||
475 | /** | ||
476 | * Returns a new object of class '<em>ALS Int</em>'. | ||
477 | * <!-- begin-user-doc --> | ||
478 | * <!-- end-user-doc --> | ||
479 | * @return a new object of class '<em>ALS Int</em>'. | ||
480 | * @generated | ||
481 | */ | ||
482 | ALSInt createALSInt(); | ||
483 | |||
484 | /** | ||
485 | * Returns a new object of class '<em>ALS String</em>'. | ||
486 | * <!-- begin-user-doc --> | ||
487 | * <!-- end-user-doc --> | ||
488 | * @return a new object of class '<em>ALS String</em>'. | ||
489 | * @generated | ||
490 | */ | ||
491 | ALSString createALSString(); | ||
492 | |||
493 | /** | ||
494 | * Returns a new object of class '<em>ALS Reference</em>'. | ||
495 | * <!-- begin-user-doc --> | ||
496 | * <!-- end-user-doc --> | ||
497 | * @return a new object of class '<em>ALS Reference</em>'. | ||
498 | * @generated | ||
499 | */ | ||
500 | ALSReference createALSReference(); | ||
501 | |||
502 | /** | ||
503 | * Returns a new object of class '<em>ALS Number Literal</em>'. | ||
504 | * <!-- begin-user-doc --> | ||
505 | * <!-- end-user-doc --> | ||
506 | * @return a new object of class '<em>ALS Number Literal</em>'. | ||
507 | * @generated | ||
508 | */ | ||
509 | ALSNumberLiteral createALSNumberLiteral(); | ||
510 | |||
511 | /** | ||
512 | * Returns a new object of class '<em>ALS String Literal</em>'. | ||
513 | * <!-- begin-user-doc --> | ||
514 | * <!-- end-user-doc --> | ||
515 | * @return a new object of class '<em>ALS String Literal</em>'. | ||
516 | * @generated | ||
517 | */ | ||
518 | ALSStringLiteral createALSStringLiteral(); | ||
519 | |||
520 | /** | ||
521 | * Returns the package supported by this factory. | ||
522 | * <!-- begin-user-doc --> | ||
523 | * <!-- end-user-doc --> | ||
524 | * @return the package supported by this factory. | ||
525 | * @generated | ||
526 | */ | ||
527 | AlloyLanguagePackage getAlloyLanguagePackage(); | ||
528 | |||
529 | } //AlloyLanguageFactory | ||