diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | 524 |
1 files changed, 524 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java new file mode 100644 index 00000000..876947e4 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | |||
@@ -0,0 +1,524 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model <b>Factory</b>. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @generated | ||
20 | */ | ||
21 | public class LogiclanguageFactoryImpl extends EFactoryImpl implements LogiclanguageFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static LogiclanguageFactory init() { | ||
29 | try { | ||
30 | LogiclanguageFactory theLogiclanguageFactory = (LogiclanguageFactory)EPackage.Registry.INSTANCE.getEFactory(LogiclanguagePackage.eNS_URI); | ||
31 | if (theLogiclanguageFactory != null) { | ||
32 | return theLogiclanguageFactory; | ||
33 | } | ||
34 | } | ||
35 | catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new LogiclanguageFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public LogiclanguageFactoryImpl() { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | public EObject create(EClass eClass) { | ||
58 | switch (eClass.getClassifierID()) { | ||
59 | case LogiclanguagePackage.DEFINED_ELEMENT: return createDefinedElement(); | ||
60 | case LogiclanguagePackage.TYPE_DEFINITION: return createTypeDefinition(); | ||
61 | case LogiclanguagePackage.COMPLEX_TYPE_REFERENCE: return createComplexTypeReference(); | ||
62 | case LogiclanguagePackage.INT_TYPE_REFERENCE: return createIntTypeReference(); | ||
63 | case LogiclanguagePackage.BOOL_TYPE_REFERENCE: return createBoolTypeReference(); | ||
64 | case LogiclanguagePackage.REAL_TYPE_REFERENCE: return createRealTypeReference(); | ||
65 | case LogiclanguagePackage.SYMBOLIC_VALUE: return createSymbolicValue(); | ||
66 | case LogiclanguagePackage.INT_LITERAL: return createIntLiteral(); | ||
67 | case LogiclanguagePackage.BOOL_LITERAL: return createBoolLiteral(); | ||
68 | case LogiclanguagePackage.REAL_LITERAL: return createRealLiteral(); | ||
69 | case LogiclanguagePackage.VARIABLE: return createVariable(); | ||
70 | case LogiclanguagePackage.EXISTS: return createExists(); | ||
71 | case LogiclanguagePackage.FORALL: return createForall(); | ||
72 | case LogiclanguagePackage.AND: return createAnd(); | ||
73 | case LogiclanguagePackage.OR: return createOr(); | ||
74 | case LogiclanguagePackage.IMPL: return createImpl(); | ||
75 | case LogiclanguagePackage.NOT: return createNot(); | ||
76 | case LogiclanguagePackage.IFF: return createIff(); | ||
77 | case LogiclanguagePackage.EQUALS: return createEquals(); | ||
78 | case LogiclanguagePackage.DISTINCT: return createDistinct(); | ||
79 | case LogiclanguagePackage.LESS_THAN: return createLessThan(); | ||
80 | case LogiclanguagePackage.MORE_THAN: return createMoreThan(); | ||
81 | case LogiclanguagePackage.LESS_OR_EQUAL_THAN: return createLessOrEqualThan(); | ||
82 | case LogiclanguagePackage.MORE_OR_EQUAL_THAN: return createMoreOrEqualThan(); | ||
83 | case LogiclanguagePackage.PLUS: return createPlus(); | ||
84 | case LogiclanguagePackage.MINUS: return createMinus(); | ||
85 | case LogiclanguagePackage.MULTIPLY: return createMultiply(); | ||
86 | case LogiclanguagePackage.DIVISON: return createDivison(); | ||
87 | case LogiclanguagePackage.MOD: return createMod(); | ||
88 | case LogiclanguagePackage.ASSERTION: return createAssertion(); | ||
89 | case LogiclanguagePackage.CONSTANT_DEFINITION: return createConstantDefinition(); | ||
90 | case LogiclanguagePackage.RELATION_DEFINITION: return createRelationDefinition(); | ||
91 | case LogiclanguagePackage.FUNCTION_DEFINITION: return createFunctionDefinition(); | ||
92 | case LogiclanguagePackage.IF_THEN_ELSE: return createIfThenElse(); | ||
93 | case LogiclanguagePackage.CONSTANT_DECLARATION: return createConstantDeclaration(); | ||
94 | case LogiclanguagePackage.RELATION_DECLARATION: return createRelationDeclaration(); | ||
95 | case LogiclanguagePackage.FUNCTION_DECLARATION: return createFunctionDeclaration(); | ||
96 | case LogiclanguagePackage.TYPE_DECLARATION: return createTypeDeclaration(); | ||
97 | case LogiclanguagePackage.UNKNOWN_BECAUSE_UNINTERPRETED: return createUnknownBecauseUninterpreted(); | ||
98 | case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); | ||
99 | default: | ||
100 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
101 | } | ||
102 | } | ||
103 | |||
104 | /** | ||
105 | * <!-- begin-user-doc --> | ||
106 | * <!-- end-user-doc --> | ||
107 | * @generated | ||
108 | */ | ||
109 | public DefinedElement createDefinedElement() { | ||
110 | DefinedElementImpl definedElement = new DefinedElementImpl(); | ||
111 | return definedElement; | ||
112 | } | ||
113 | |||
114 | /** | ||
115 | * <!-- begin-user-doc --> | ||
116 | * <!-- end-user-doc --> | ||
117 | * @generated | ||
118 | */ | ||
119 | public TypeDefinition createTypeDefinition() { | ||
120 | TypeDefinitionImpl typeDefinition = new TypeDefinitionImpl(); | ||
121 | return typeDefinition; | ||
122 | } | ||
123 | |||
124 | /** | ||
125 | * <!-- begin-user-doc --> | ||
126 | * <!-- end-user-doc --> | ||
127 | * @generated | ||
128 | */ | ||
129 | public ComplexTypeReference createComplexTypeReference() { | ||
130 | ComplexTypeReferenceImpl complexTypeReference = new ComplexTypeReferenceImpl(); | ||
131 | return complexTypeReference; | ||
132 | } | ||
133 | |||
134 | /** | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | */ | ||
139 | public IntTypeReference createIntTypeReference() { | ||
140 | IntTypeReferenceImpl intTypeReference = new IntTypeReferenceImpl(); | ||
141 | return intTypeReference; | ||
142 | } | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | public BoolTypeReference createBoolTypeReference() { | ||
150 | BoolTypeReferenceImpl boolTypeReference = new BoolTypeReferenceImpl(); | ||
151 | return boolTypeReference; | ||
152 | } | ||
153 | |||
154 | /** | ||
155 | * <!-- begin-user-doc --> | ||
156 | * <!-- end-user-doc --> | ||
157 | * @generated | ||
158 | */ | ||
159 | public RealTypeReference createRealTypeReference() { | ||
160 | RealTypeReferenceImpl realTypeReference = new RealTypeReferenceImpl(); | ||
161 | return realTypeReference; | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | public SymbolicValue createSymbolicValue() { | ||
170 | SymbolicValueImpl symbolicValue = new SymbolicValueImpl(); | ||
171 | return symbolicValue; | ||
172 | } | ||
173 | |||
174 | /** | ||
175 | * <!-- begin-user-doc --> | ||
176 | * <!-- end-user-doc --> | ||
177 | * @generated | ||
178 | */ | ||
179 | public IntLiteral createIntLiteral() { | ||
180 | IntLiteralImpl intLiteral = new IntLiteralImpl(); | ||
181 | return intLiteral; | ||
182 | } | ||
183 | |||
184 | /** | ||
185 | * <!-- begin-user-doc --> | ||
186 | * <!-- end-user-doc --> | ||
187 | * @generated | ||
188 | */ | ||
189 | public BoolLiteral createBoolLiteral() { | ||
190 | BoolLiteralImpl boolLiteral = new BoolLiteralImpl(); | ||
191 | return boolLiteral; | ||
192 | } | ||
193 | |||
194 | /** | ||
195 | * <!-- begin-user-doc --> | ||
196 | * <!-- end-user-doc --> | ||
197 | * @generated | ||
198 | */ | ||
199 | public RealLiteral createRealLiteral() { | ||
200 | RealLiteralImpl realLiteral = new RealLiteralImpl(); | ||
201 | return realLiteral; | ||
202 | } | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | public Variable createVariable() { | ||
210 | VariableImpl variable = new VariableImpl(); | ||
211 | return variable; | ||
212 | } | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | public Exists createExists() { | ||
220 | ExistsImpl exists = new ExistsImpl(); | ||
221 | return exists; | ||
222 | } | ||
223 | |||
224 | /** | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | */ | ||
229 | public Forall createForall() { | ||
230 | ForallImpl forall = new ForallImpl(); | ||
231 | return forall; | ||
232 | } | ||
233 | |||
234 | /** | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @generated | ||
238 | */ | ||
239 | public And createAnd() { | ||
240 | AndImpl and = new AndImpl(); | ||
241 | return and; | ||
242 | } | ||
243 | |||
244 | /** | ||
245 | * <!-- begin-user-doc --> | ||
246 | * <!-- end-user-doc --> | ||
247 | * @generated | ||
248 | */ | ||
249 | public Or createOr() { | ||
250 | OrImpl or = new OrImpl(); | ||
251 | return or; | ||
252 | } | ||
253 | |||
254 | /** | ||
255 | * <!-- begin-user-doc --> | ||
256 | * <!-- end-user-doc --> | ||
257 | * @generated | ||
258 | */ | ||
259 | public Impl createImpl() { | ||
260 | ImplImpl impl = new ImplImpl(); | ||
261 | return impl; | ||
262 | } | ||
263 | |||
264 | /** | ||
265 | * <!-- begin-user-doc --> | ||
266 | * <!-- end-user-doc --> | ||
267 | * @generated | ||
268 | */ | ||
269 | public Not createNot() { | ||
270 | NotImpl not = new NotImpl(); | ||
271 | return not; | ||
272 | } | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | public Iff createIff() { | ||
280 | IffImpl iff = new IffImpl(); | ||
281 | return iff; | ||
282 | } | ||
283 | |||
284 | /** | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @generated | ||
288 | */ | ||
289 | public Equals createEquals() { | ||
290 | EqualsImpl equals = new EqualsImpl(); | ||
291 | return equals; | ||
292 | } | ||
293 | |||
294 | /** | ||
295 | * <!-- begin-user-doc --> | ||
296 | * <!-- end-user-doc --> | ||
297 | * @generated | ||
298 | */ | ||
299 | public Distinct createDistinct() { | ||
300 | DistinctImpl distinct = new DistinctImpl(); | ||
301 | return distinct; | ||
302 | } | ||
303 | |||
304 | /** | ||
305 | * <!-- begin-user-doc --> | ||
306 | * <!-- end-user-doc --> | ||
307 | * @generated | ||
308 | */ | ||
309 | public LessThan createLessThan() { | ||
310 | LessThanImpl lessThan = new LessThanImpl(); | ||
311 | return lessThan; | ||
312 | } | ||
313 | |||
314 | /** | ||
315 | * <!-- begin-user-doc --> | ||
316 | * <!-- end-user-doc --> | ||
317 | * @generated | ||
318 | */ | ||
319 | public MoreThan createMoreThan() { | ||
320 | MoreThanImpl moreThan = new MoreThanImpl(); | ||
321 | return moreThan; | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * <!-- begin-user-doc --> | ||
326 | * <!-- end-user-doc --> | ||
327 | * @generated | ||
328 | */ | ||
329 | public LessOrEqualThan createLessOrEqualThan() { | ||
330 | LessOrEqualThanImpl lessOrEqualThan = new LessOrEqualThanImpl(); | ||
331 | return lessOrEqualThan; | ||
332 | } | ||
333 | |||
334 | /** | ||
335 | * <!-- begin-user-doc --> | ||
336 | * <!-- end-user-doc --> | ||
337 | * @generated | ||
338 | */ | ||
339 | public MoreOrEqualThan createMoreOrEqualThan() { | ||
340 | MoreOrEqualThanImpl moreOrEqualThan = new MoreOrEqualThanImpl(); | ||
341 | return moreOrEqualThan; | ||
342 | } | ||
343 | |||
344 | /** | ||
345 | * <!-- begin-user-doc --> | ||
346 | * <!-- end-user-doc --> | ||
347 | * @generated | ||
348 | */ | ||
349 | public Plus createPlus() { | ||
350 | PlusImpl plus = new PlusImpl(); | ||
351 | return plus; | ||
352 | } | ||
353 | |||
354 | /** | ||
355 | * <!-- begin-user-doc --> | ||
356 | * <!-- end-user-doc --> | ||
357 | * @generated | ||
358 | */ | ||
359 | public Minus createMinus() { | ||
360 | MinusImpl minus = new MinusImpl(); | ||
361 | return minus; | ||
362 | } | ||
363 | |||
364 | /** | ||
365 | * <!-- begin-user-doc --> | ||
366 | * <!-- end-user-doc --> | ||
367 | * @generated | ||
368 | */ | ||
369 | public Multiply createMultiply() { | ||
370 | MultiplyImpl multiply = new MultiplyImpl(); | ||
371 | return multiply; | ||
372 | } | ||
373 | |||
374 | /** | ||
375 | * <!-- begin-user-doc --> | ||
376 | * <!-- end-user-doc --> | ||
377 | * @generated | ||
378 | */ | ||
379 | public Divison createDivison() { | ||
380 | DivisonImpl divison = new DivisonImpl(); | ||
381 | return divison; | ||
382 | } | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | public Mod createMod() { | ||
390 | ModImpl mod = new ModImpl(); | ||
391 | return mod; | ||
392 | } | ||
393 | |||
394 | /** | ||
395 | * <!-- begin-user-doc --> | ||
396 | * <!-- end-user-doc --> | ||
397 | * @generated | ||
398 | */ | ||
399 | public Assertion createAssertion() { | ||
400 | AssertionImpl assertion = new AssertionImpl(); | ||
401 | return assertion; | ||
402 | } | ||
403 | |||
404 | /** | ||
405 | * <!-- begin-user-doc --> | ||
406 | * <!-- end-user-doc --> | ||
407 | * @generated | ||
408 | */ | ||
409 | public ConstantDefinition createConstantDefinition() { | ||
410 | ConstantDefinitionImpl constantDefinition = new ConstantDefinitionImpl(); | ||
411 | return constantDefinition; | ||
412 | } | ||
413 | |||
414 | /** | ||
415 | * <!-- begin-user-doc --> | ||
416 | * <!-- end-user-doc --> | ||
417 | * @generated | ||
418 | */ | ||
419 | public RelationDefinition createRelationDefinition() { | ||
420 | RelationDefinitionImpl relationDefinition = new RelationDefinitionImpl(); | ||
421 | return relationDefinition; | ||
422 | } | ||
423 | |||
424 | /** | ||
425 | * <!-- begin-user-doc --> | ||
426 | * <!-- end-user-doc --> | ||
427 | * @generated | ||
428 | */ | ||
429 | public FunctionDefinition createFunctionDefinition() { | ||
430 | FunctionDefinitionImpl functionDefinition = new FunctionDefinitionImpl(); | ||
431 | return functionDefinition; | ||
432 | } | ||
433 | |||
434 | /** | ||
435 | * <!-- begin-user-doc --> | ||
436 | * <!-- end-user-doc --> | ||
437 | * @generated | ||
438 | */ | ||
439 | public IfThenElse createIfThenElse() { | ||
440 | IfThenElseImpl ifThenElse = new IfThenElseImpl(); | ||
441 | return ifThenElse; | ||
442 | } | ||
443 | |||
444 | /** | ||
445 | * <!-- begin-user-doc --> | ||
446 | * <!-- end-user-doc --> | ||
447 | * @generated | ||
448 | */ | ||
449 | public ConstantDeclaration createConstantDeclaration() { | ||
450 | ConstantDeclarationImpl constantDeclaration = new ConstantDeclarationImpl(); | ||
451 | return constantDeclaration; | ||
452 | } | ||
453 | |||
454 | /** | ||
455 | * <!-- begin-user-doc --> | ||
456 | * <!-- end-user-doc --> | ||
457 | * @generated | ||
458 | */ | ||
459 | public RelationDeclaration createRelationDeclaration() { | ||
460 | RelationDeclarationImpl relationDeclaration = new RelationDeclarationImpl(); | ||
461 | return relationDeclaration; | ||
462 | } | ||
463 | |||
464 | /** | ||
465 | * <!-- begin-user-doc --> | ||
466 | * <!-- end-user-doc --> | ||
467 | * @generated | ||
468 | */ | ||
469 | public FunctionDeclaration createFunctionDeclaration() { | ||
470 | FunctionDeclarationImpl functionDeclaration = new FunctionDeclarationImpl(); | ||
471 | return functionDeclaration; | ||
472 | } | ||
473 | |||
474 | /** | ||
475 | * <!-- begin-user-doc --> | ||
476 | * <!-- end-user-doc --> | ||
477 | * @generated | ||
478 | */ | ||
479 | public TypeDeclaration createTypeDeclaration() { | ||
480 | TypeDeclarationImpl typeDeclaration = new TypeDeclarationImpl(); | ||
481 | return typeDeclaration; | ||
482 | } | ||
483 | |||
484 | /** | ||
485 | * <!-- begin-user-doc --> | ||
486 | * <!-- end-user-doc --> | ||
487 | * @generated | ||
488 | */ | ||
489 | public UnknownBecauseUninterpreted createUnknownBecauseUninterpreted() { | ||
490 | UnknownBecauseUninterpretedImpl unknownBecauseUninterpreted = new UnknownBecauseUninterpretedImpl(); | ||
491 | return unknownBecauseUninterpreted; | ||
492 | } | ||
493 | |||
494 | /** | ||
495 | * <!-- begin-user-doc --> | ||
496 | * <!-- end-user-doc --> | ||
497 | * @generated | ||
498 | */ | ||
499 | public InstanceOf createInstanceOf() { | ||
500 | InstanceOfImpl instanceOf = new InstanceOfImpl(); | ||
501 | return instanceOf; | ||
502 | } | ||
503 | |||
504 | /** | ||
505 | * <!-- begin-user-doc --> | ||
506 | * <!-- end-user-doc --> | ||
507 | * @generated | ||
508 | */ | ||
509 | public LogiclanguagePackage getLogiclanguagePackage() { | ||
510 | return (LogiclanguagePackage)getEPackage(); | ||
511 | } | ||
512 | |||
513 | /** | ||
514 | * <!-- begin-user-doc --> | ||
515 | * <!-- end-user-doc --> | ||
516 | * @deprecated | ||
517 | * @generated | ||
518 | */ | ||
519 | @Deprecated | ||
520 | public static LogiclanguagePackage getPackage() { | ||
521 | return LogiclanguagePackage.eINSTANCE; | ||
522 | } | ||
523 | |||
524 | } //LogiclanguageFactoryImpl | ||