aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java851
1 files changed, 851 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java
new file mode 100644
index 00000000..12ffc551
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java
@@ -0,0 +1,851 @@
1/**
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.solverLanguage.impl;
5
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EObject;
8import org.eclipse.emf.ecore.EPackage;
9
10import org.eclipse.emf.ecore.impl.EFactoryImpl;
11
12import org.eclipse.emf.ecore.plugin.EcorePlugin;
13
14import org.eclipse.viatra.solver.language.solverLanguage.AllInstances;
15import org.eclipse.viatra.solver.language.solverLanguage.AllObjects;
16import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation;
17import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse;
18import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject;
19import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol;
20import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue;
21import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue;
22import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation;
23import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation;
24import org.eclipse.viatra.solver.language.solverLanguage.ClosureType;
25import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject;
26import org.eclipse.viatra.solver.language.solverLanguage.Constraint;
27import org.eclipse.viatra.solver.language.solverLanguage.DataObject;
28import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol;
29import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation;
30import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation;
31import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol;
32import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate;
33import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
34import org.eclipse.viatra.solver.language.solverLanguage.False;
35import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
36import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
37import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
38import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
39import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
40import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
41import org.eclipse.viatra.solver.language.solverLanguage.Literal;
42import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
43import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
44import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
45import org.eclipse.viatra.solver.language.solverLanguage.Negative;
46import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
47import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
48import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
49import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
50import org.eclipse.viatra.solver.language.solverLanguage.Positive;
51import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
52import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol;
53import org.eclipse.viatra.solver.language.solverLanguage.Problem;
54import org.eclipse.viatra.solver.language.solverLanguage.RealObject;
55import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;
56import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
57import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory;
58import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
59import org.eclipse.viatra.solver.language.solverLanguage.Statement;
60import org.eclipse.viatra.solver.language.solverLanguage.StringObject;
61import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;
62import org.eclipse.viatra.solver.language.solverLanguage.Symbol;
63import org.eclipse.viatra.solver.language.solverLanguage.True;
64import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;
65import org.eclipse.viatra.solver.language.solverLanguage.Unknown;
66import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;
67import org.eclipse.viatra.solver.language.solverLanguage.Variable;
68
69/**
70 * <!-- begin-user-doc -->
71 * An implementation of the model <b>Factory</b>.
72 * <!-- end-user-doc -->
73 * @generated
74 */
75public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLanguageFactory
76{
77 /**
78 * Creates the default factory implementation.
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 public static SolverLanguageFactory init()
84 {
85 try
86 {
87 SolverLanguageFactory theSolverLanguageFactory = (SolverLanguageFactory)EPackage.Registry.INSTANCE.getEFactory(SolverLanguagePackage.eNS_URI);
88 if (theSolverLanguageFactory != null)
89 {
90 return theSolverLanguageFactory;
91 }
92 }
93 catch (Exception exception)
94 {
95 EcorePlugin.INSTANCE.log(exception);
96 }
97 return new SolverLanguageFactoryImpl();
98 }
99
100 /**
101 * Creates an instance of the factory.
102 * <!-- begin-user-doc -->
103 * <!-- end-user-doc -->
104 * @generated
105 */
106 public SolverLanguageFactoryImpl()
107 {
108 super();
109 }
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 @Override
117 public EObject create(EClass eClass)
118 {
119 switch (eClass.getClassifierID())
120 {
121 case SolverLanguagePackage.PROBLEM: return createProblem();
122 case SolverLanguagePackage.STATEMENT: return createStatement();
123 case SolverLanguagePackage.BOOLEAN_VALUE: return createBooleanValue();
124 case SolverLanguagePackage.TRUTH_VALUE: return createTruthValue();
125 case SolverLanguagePackage.INTERPRETATION: return createInterpretation();
126 case SolverLanguagePackage.BASIC_INTERPRETATION: return createBasicInterpretation();
127 case SolverLanguagePackage.SYMBOL: return createSymbol();
128 case SolverLanguagePackage.MODEL_SYMBOL: return createModelSymbol();
129 case SolverLanguagePackage.PARTIALITY_SYMBOL: return createPartialitySymbol();
130 case SolverLanguagePackage.EXIST_SYMBOL: return createExistSymbol();
131 case SolverLanguagePackage.EQUALS_SYMBOL: return createEqualsSymbol();
132 case SolverLanguagePackage.DATA_SYMBOL: return createDataSymbol();
133 case SolverLanguagePackage.BOOLEAN_SYMBOL: return createBooleanSymbol();
134 case SolverLanguagePackage.INTEGER_SYMBOL: return createIntegerSymbol();
135 case SolverLanguagePackage.REAL_SYMBOL: return createRealSymbol();
136 case SolverLanguagePackage.STRING_SYMBOL: return createStringSymbol();
137 case SolverLanguagePackage.COMPLEX_OBJECT: return createComplexObject();
138 case SolverLanguagePackage.OBJECT: return createObject();
139 case SolverLanguagePackage.NAMED_OBJECT: return createNamedObject();
140 case SolverLanguagePackage.UNNAMED_OBJECT: return createUnnamedObject();
141 case SolverLanguagePackage.DATA_OBJECT: return createDataObject();
142 case SolverLanguagePackage.BOOLEAN_OBJECT: return createBooleanObject();
143 case SolverLanguagePackage.INT_OBJECT: return createIntObject();
144 case SolverLanguagePackage.REAL_OBJECT: return createRealObject();
145 case SolverLanguagePackage.STRING_OBJECT: return createStringObject();
146 case SolverLanguagePackage.PREDICATE: return createPredicate();
147 case SolverLanguagePackage.PREDICATE_SYMBOL: return createPredicateSymbol();
148 case SolverLanguagePackage.ERROR_PREDICATE: return createErrorPredicate();
149 case SolverLanguagePackage.PARAMETER: return createParameter();
150 case SolverLanguagePackage.PATTERN_BODY: return createPatternBody();
151 case SolverLanguagePackage.POLARITY: return createPolarity();
152 case SolverLanguagePackage.CONSTRAINT: return createConstraint();
153 case SolverLanguagePackage.CLOSURE_TYPE: return createClosureType();
154 case SolverLanguagePackage.LITERAL: return createLiteral();
155 case SolverLanguagePackage.VARIABLE: return createVariable();
156 case SolverLanguagePackage.ALL_INSTANCES: return createAllInstances();
157 case SolverLanguagePackage.ALL_OBJECTS: return createAllObjects();
158 case SolverLanguagePackage.DEFAULT_INTERPRETATION: return createDefaultInterpretation();
159 case SolverLanguagePackage.CD_INTERPRETATION: return createCDInterpretation();
160 case SolverLanguagePackage.CLASS_INTERPRETATION: return createClassInterpretation();
161 case SolverLanguagePackage.ENUM_INTERPRETATION: return createEnumInterpretation();
162 case SolverLanguagePackage.FIELD_RELATION_INTERPRETATION: return createFieldRelationInterpretation();
163 case SolverLanguagePackage.GLOBAL_RELATION_INTERPRETATION: return createGlobalRelationInterpretation();
164 case SolverLanguagePackage.MULTIPLICITY_DEFINITION: return createMultiplicityDefinition();
165 case SolverLanguagePackage.BOOLEAN_TRUE: return createBooleanTrue();
166 case SolverLanguagePackage.BOOLEAN_FALSE: return createBooleanFalse();
167 case SolverLanguagePackage.TRUE: return createTrue();
168 case SolverLanguagePackage.FALSE: return createFalse();
169 case SolverLanguagePackage.UNKNOWN: return createUnknown();
170 case SolverLanguagePackage.ERROR: return createError();
171 case SolverLanguagePackage.POSITIVE: return createPositive();
172 case SolverLanguagePackage.NEGATIVE: return createNegative();
173 case SolverLanguagePackage.REFLEXIVE_CLOSURE: return createReflexiveClosure();
174 case SolverLanguagePackage.IRREFLEXIVE_CLOSURE: return createIrreflexiveClosure();
175 default:
176 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
177 }
178 }
179
180 /**
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @generated
184 */
185 @Override
186 public Problem createProblem()
187 {
188 ProblemImpl problem = new ProblemImpl();
189 return problem;
190 }
191
192 /**
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @generated
196 */
197 @Override
198 public Statement createStatement()
199 {
200 StatementImpl statement = new StatementImpl();
201 return statement;
202 }
203
204 /**
205 * <!-- begin-user-doc -->
206 * <!-- end-user-doc -->
207 * @generated
208 */
209 @Override
210 public BooleanValue createBooleanValue()
211 {
212 BooleanValueImpl booleanValue = new BooleanValueImpl();
213 return booleanValue;
214 }
215
216 /**
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 */
221 @Override
222 public TruthValue createTruthValue()
223 {
224 TruthValueImpl truthValue = new TruthValueImpl();
225 return truthValue;
226 }
227
228 /**
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 */
233 @Override
234 public Interpretation createInterpretation()
235 {
236 InterpretationImpl interpretation = new InterpretationImpl();
237 return interpretation;
238 }
239
240 /**
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 */
245 @Override
246 public BasicInterpretation createBasicInterpretation()
247 {
248 BasicInterpretationImpl basicInterpretation = new BasicInterpretationImpl();
249 return basicInterpretation;
250 }
251
252 /**
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @generated
256 */
257 @Override
258 public Symbol createSymbol()
259 {
260 SymbolImpl symbol = new SymbolImpl();
261 return symbol;
262 }
263
264 /**
265 * <!-- begin-user-doc -->
266 * <!-- end-user-doc -->
267 * @generated
268 */
269 @Override
270 public ModelSymbol createModelSymbol()
271 {
272 ModelSymbolImpl modelSymbol = new ModelSymbolImpl();
273 return modelSymbol;
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 public PartialitySymbol createPartialitySymbol()
283 {
284 PartialitySymbolImpl partialitySymbol = new PartialitySymbolImpl();
285 return partialitySymbol;
286 }
287
288 /**
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @generated
292 */
293 @Override
294 public ExistSymbol createExistSymbol()
295 {
296 ExistSymbolImpl existSymbol = new ExistSymbolImpl();
297 return existSymbol;
298 }
299
300 /**
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 */
305 @Override
306 public EqualsSymbol createEqualsSymbol()
307 {
308 EqualsSymbolImpl equalsSymbol = new EqualsSymbolImpl();
309 return equalsSymbol;
310 }
311
312 /**
313 * <!-- begin-user-doc -->
314 * <!-- end-user-doc -->
315 * @generated
316 */
317 @Override
318 public DataSymbol createDataSymbol()
319 {
320 DataSymbolImpl dataSymbol = new DataSymbolImpl();
321 return dataSymbol;
322 }
323
324 /**
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @generated
328 */
329 @Override
330 public BooleanSymbol createBooleanSymbol()
331 {
332 BooleanSymbolImpl booleanSymbol = new BooleanSymbolImpl();
333 return booleanSymbol;
334 }
335
336 /**
337 * <!-- begin-user-doc -->
338 * <!-- end-user-doc -->
339 * @generated
340 */
341 @Override
342 public IntegerSymbol createIntegerSymbol()
343 {
344 IntegerSymbolImpl integerSymbol = new IntegerSymbolImpl();
345 return integerSymbol;
346 }
347
348 /**
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @generated
352 */
353 @Override
354 public RealSymbol createRealSymbol()
355 {
356 RealSymbolImpl realSymbol = new RealSymbolImpl();
357 return realSymbol;
358 }
359
360 /**
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @generated
364 */
365 @Override
366 public StringSymbol createStringSymbol()
367 {
368 StringSymbolImpl stringSymbol = new StringSymbolImpl();
369 return stringSymbol;
370 }
371
372 /**
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @generated
376 */
377 @Override
378 public ComplexObject createComplexObject()
379 {
380 ComplexObjectImpl complexObject = new ComplexObjectImpl();
381 return complexObject;
382 }
383
384 /**
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 */
389 @Override
390 public org.eclipse.viatra.solver.language.solverLanguage.Object createObject()
391 {
392 ObjectImpl object = new ObjectImpl();
393 return object;
394 }
395
396 /**
397 * <!-- begin-user-doc -->
398 * <!-- end-user-doc -->
399 * @generated
400 */
401 @Override
402 public NamedObject createNamedObject()
403 {
404 NamedObjectImpl namedObject = new NamedObjectImpl();
405 return namedObject;
406 }
407
408 /**
409 * <!-- begin-user-doc -->
410 * <!-- end-user-doc -->
411 * @generated
412 */
413 @Override
414 public UnnamedObject createUnnamedObject()
415 {
416 UnnamedObjectImpl unnamedObject = new UnnamedObjectImpl();
417 return unnamedObject;
418 }
419
420 /**
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 */
425 @Override
426 public DataObject createDataObject()
427 {
428 DataObjectImpl dataObject = new DataObjectImpl();
429 return dataObject;
430 }
431
432 /**
433 * <!-- begin-user-doc -->
434 * <!-- end-user-doc -->
435 * @generated
436 */
437 @Override
438 public BooleanObject createBooleanObject()
439 {
440 BooleanObjectImpl booleanObject = new BooleanObjectImpl();
441 return booleanObject;
442 }
443
444 /**
445 * <!-- begin-user-doc -->
446 * <!-- end-user-doc -->
447 * @generated
448 */
449 @Override
450 public IntObject createIntObject()
451 {
452 IntObjectImpl intObject = new IntObjectImpl();
453 return intObject;
454 }
455
456 /**
457 * <!-- begin-user-doc -->
458 * <!-- end-user-doc -->
459 * @generated
460 */
461 @Override
462 public RealObject createRealObject()
463 {
464 RealObjectImpl realObject = new RealObjectImpl();
465 return realObject;
466 }
467
468 /**
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @generated
472 */
473 @Override
474 public StringObject createStringObject()
475 {
476 StringObjectImpl stringObject = new StringObjectImpl();
477 return stringObject;
478 }
479
480 /**
481 * <!-- begin-user-doc -->
482 * <!-- end-user-doc -->
483 * @generated
484 */
485 @Override
486 public Predicate createPredicate()
487 {
488 PredicateImpl predicate = new PredicateImpl();
489 return predicate;
490 }
491
492 /**
493 * <!-- begin-user-doc -->
494 * <!-- end-user-doc -->
495 * @generated
496 */
497 @Override
498 public PredicateSymbol createPredicateSymbol()
499 {
500 PredicateSymbolImpl predicateSymbol = new PredicateSymbolImpl();
501 return predicateSymbol;
502 }
503
504 /**
505 * <!-- begin-user-doc -->
506 * <!-- end-user-doc -->
507 * @generated
508 */
509 @Override
510 public ErrorPredicate createErrorPredicate()
511 {
512 ErrorPredicateImpl errorPredicate = new ErrorPredicateImpl();
513 return errorPredicate;
514 }
515
516 /**
517 * <!-- begin-user-doc -->
518 * <!-- end-user-doc -->
519 * @generated
520 */
521 @Override
522 public Parameter createParameter()
523 {
524 ParameterImpl parameter = new ParameterImpl();
525 return parameter;
526 }
527
528 /**
529 * <!-- begin-user-doc -->
530 * <!-- end-user-doc -->
531 * @generated
532 */
533 @Override
534 public PatternBody createPatternBody()
535 {
536 PatternBodyImpl patternBody = new PatternBodyImpl();
537 return patternBody;
538 }
539
540 /**
541 * <!-- begin-user-doc -->
542 * <!-- end-user-doc -->
543 * @generated
544 */
545 @Override
546 public Polarity createPolarity()
547 {
548 PolarityImpl polarity = new PolarityImpl();
549 return polarity;
550 }
551
552 /**
553 * <!-- begin-user-doc -->
554 * <!-- end-user-doc -->
555 * @generated
556 */
557 @Override
558 public Constraint createConstraint()
559 {
560 ConstraintImpl constraint = new ConstraintImpl();
561 return constraint;
562 }
563
564 /**
565 * <!-- begin-user-doc -->
566 * <!-- end-user-doc -->
567 * @generated
568 */
569 @Override
570 public ClosureType createClosureType()
571 {
572 ClosureTypeImpl closureType = new ClosureTypeImpl();
573 return closureType;
574 }
575
576 /**
577 * <!-- begin-user-doc -->
578 * <!-- end-user-doc -->
579 * @generated
580 */
581 @Override
582 public Literal createLiteral()
583 {
584 LiteralImpl literal = new LiteralImpl();
585 return literal;
586 }
587
588 /**
589 * <!-- begin-user-doc -->
590 * <!-- end-user-doc -->
591 * @generated
592 */
593 @Override
594 public Variable createVariable()
595 {
596 VariableImpl variable = new VariableImpl();
597 return variable;
598 }
599
600 /**
601 * <!-- begin-user-doc -->
602 * <!-- end-user-doc -->
603 * @generated
604 */
605 @Override
606 public AllInstances createAllInstances()
607 {
608 AllInstancesImpl allInstances = new AllInstancesImpl();
609 return allInstances;
610 }
611
612 /**
613 * <!-- begin-user-doc -->
614 * <!-- end-user-doc -->
615 * @generated
616 */
617 @Override
618 public AllObjects createAllObjects()
619 {
620 AllObjectsImpl allObjects = new AllObjectsImpl();
621 return allObjects;
622 }
623
624 /**
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @generated
628 */
629 @Override
630 public DefaultInterpretation createDefaultInterpretation()
631 {
632 DefaultInterpretationImpl defaultInterpretation = new DefaultInterpretationImpl();
633 return defaultInterpretation;
634 }
635
636 /**
637 * <!-- begin-user-doc -->
638 * <!-- end-user-doc -->
639 * @generated
640 */
641 @Override
642 public CDInterpretation createCDInterpretation()
643 {
644 CDInterpretationImpl cdInterpretation = new CDInterpretationImpl();
645 return cdInterpretation;
646 }
647
648 /**
649 * <!-- begin-user-doc -->
650 * <!-- end-user-doc -->
651 * @generated
652 */
653 @Override
654 public ClassInterpretation createClassInterpretation()
655 {
656 ClassInterpretationImpl classInterpretation = new ClassInterpretationImpl();
657 return classInterpretation;
658 }
659
660 /**
661 * <!-- begin-user-doc -->
662 * <!-- end-user-doc -->
663 * @generated
664 */
665 @Override
666 public EnumInterpretation createEnumInterpretation()
667 {
668 EnumInterpretationImpl enumInterpretation = new EnumInterpretationImpl();
669 return enumInterpretation;
670 }
671
672 /**
673 * <!-- begin-user-doc -->
674 * <!-- end-user-doc -->
675 * @generated
676 */
677 @Override
678 public FieldRelationInterpretation createFieldRelationInterpretation()
679 {
680 FieldRelationInterpretationImpl fieldRelationInterpretation = new FieldRelationInterpretationImpl();
681 return fieldRelationInterpretation;
682 }
683
684 /**
685 * <!-- begin-user-doc -->
686 * <!-- end-user-doc -->
687 * @generated
688 */
689 @Override
690 public GlobalRelationInterpretation createGlobalRelationInterpretation()
691 {
692 GlobalRelationInterpretationImpl globalRelationInterpretation = new GlobalRelationInterpretationImpl();
693 return globalRelationInterpretation;
694 }
695
696 /**
697 * <!-- begin-user-doc -->
698 * <!-- end-user-doc -->
699 * @generated
700 */
701 @Override
702 public MultiplicityDefinition createMultiplicityDefinition()
703 {
704 MultiplicityDefinitionImpl multiplicityDefinition = new MultiplicityDefinitionImpl();
705 return multiplicityDefinition;
706 }
707
708 /**
709 * <!-- begin-user-doc -->
710 * <!-- end-user-doc -->
711 * @generated
712 */
713 @Override
714 public BooleanTrue createBooleanTrue()
715 {
716 BooleanTrueImpl booleanTrue = new BooleanTrueImpl();
717 return booleanTrue;
718 }
719
720 /**
721 * <!-- begin-user-doc -->
722 * <!-- end-user-doc -->
723 * @generated
724 */
725 @Override
726 public BooleanFalse createBooleanFalse()
727 {
728 BooleanFalseImpl booleanFalse = new BooleanFalseImpl();
729 return booleanFalse;
730 }
731
732 /**
733 * <!-- begin-user-doc -->
734 * <!-- end-user-doc -->
735 * @generated
736 */
737 @Override
738 public True createTrue()
739 {
740 TrueImpl true_ = new TrueImpl();
741 return true_;
742 }
743
744 /**
745 * <!-- begin-user-doc -->
746 * <!-- end-user-doc -->
747 * @generated
748 */
749 @Override
750 public False createFalse()
751 {
752 FalseImpl false_ = new FalseImpl();
753 return false_;
754 }
755
756 /**
757 * <!-- begin-user-doc -->
758 * <!-- end-user-doc -->
759 * @generated
760 */
761 @Override
762 public Unknown createUnknown()
763 {
764 UnknownImpl unknown = new UnknownImpl();
765 return unknown;
766 }
767
768 /**
769 * <!-- begin-user-doc -->
770 * <!-- end-user-doc -->
771 * @generated
772 */
773 @Override
774 public org.eclipse.viatra.solver.language.solverLanguage.Error createError()
775 {
776 ErrorImpl error = new ErrorImpl();
777 return error;
778 }
779
780 /**
781 * <!-- begin-user-doc -->
782 * <!-- end-user-doc -->
783 * @generated
784 */
785 @Override
786 public Positive createPositive()
787 {
788 PositiveImpl positive = new PositiveImpl();
789 return positive;
790 }
791
792 /**
793 * <!-- begin-user-doc -->
794 * <!-- end-user-doc -->
795 * @generated
796 */
797 @Override
798 public Negative createNegative()
799 {
800 NegativeImpl negative = new NegativeImpl();
801 return negative;
802 }
803
804 /**
805 * <!-- begin-user-doc -->
806 * <!-- end-user-doc -->
807 * @generated
808 */
809 @Override
810 public ReflexiveClosure createReflexiveClosure()
811 {
812 ReflexiveClosureImpl reflexiveClosure = new ReflexiveClosureImpl();
813 return reflexiveClosure;
814 }
815
816 /**
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 */
821 @Override
822 public IrreflexiveClosure createIrreflexiveClosure()
823 {
824 IrreflexiveClosureImpl irreflexiveClosure = new IrreflexiveClosureImpl();
825 return irreflexiveClosure;
826 }
827
828 /**
829 * <!-- begin-user-doc -->
830 * <!-- end-user-doc -->
831 * @generated
832 */
833 @Override
834 public SolverLanguagePackage getSolverLanguagePackage()
835 {
836 return (SolverLanguagePackage)getEPackage();
837 }
838
839 /**
840 * <!-- begin-user-doc -->
841 * <!-- end-user-doc -->
842 * @deprecated
843 * @generated
844 */
845 @Deprecated
846 public static SolverLanguagePackage getPackage()
847 {
848 return SolverLanguagePackage.eINSTANCE;
849 }
850
851} //SolverLanguageFactoryImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 13:52:24 +0000