aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java
diff options
context:
space:
mode:
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.java524
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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import 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 */
21public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 18:17:45 +0000