aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.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/logicresult/impl/LogicresultPackageImpl.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java602
1 files changed, 602 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java
new file mode 100644
index 00000000..8b0e0605
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java
@@ -0,0 +1,602 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl;
8
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl;
12
13import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult;
15import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult;
16import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry;
17import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory;
19import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
20import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult;
21import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry;
22import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
23import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
24import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry;
25import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult;
26import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult;
27
28import org.eclipse.emf.ecore.EAttribute;
29import org.eclipse.emf.ecore.EClass;
30import org.eclipse.emf.ecore.EPackage;
31import org.eclipse.emf.ecore.EReference;
32
33import org.eclipse.emf.ecore.impl.EPackageImpl;
34
35/**
36 * <!-- begin-user-doc -->
37 * An implementation of the model <b>Package</b>.
38 * <!-- end-user-doc -->
39 * @generated
40 */
41public class LogicresultPackageImpl extends EPackageImpl implements LogicresultPackage {
42 /**
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 private EClass logicResultEClass = null;
48
49 /**
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @generated
53 */
54 private EClass modelResultEClass = null;
55
56 /**
57 * <!-- begin-user-doc -->
58 * <!-- end-user-doc -->
59 * @generated
60 */
61 private EClass inconsistencyResultEClass = null;
62
63 /**
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @generated
67 */
68 private EClass unknownResultEClass = null;
69
70 /**
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 */
75 private EClass insuficientResourcesResultEClass = null;
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 private EClass errorResultEClass = null;
83
84 /**
85 * <!-- begin-user-doc -->
86 * <!-- end-user-doc -->
87 * @generated
88 */
89 private EClass statisticsEClass = null;
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 private EClass statisticEntryEClass = null;
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 private EClass undecidableResultEClass = null;
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 private EClass intStatisticEntryEClass = null;
111
112 /**
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @generated
116 */
117 private EClass realStatisticEntryEClass = null;
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 private EClass stringStatisticEntryEClass = null;
125
126 /**
127 * Creates an instance of the model <b>Package</b>, registered with
128 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
129 * package URI value.
130 * <p>Note: the correct way to create the package is via the static
131 * factory method {@link #init init()}, which also performs
132 * initialization of the package, or returns the registered package,
133 * if one already exists.
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @see org.eclipse.emf.ecore.EPackage.Registry
137 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#eNS_URI
138 * @see #init()
139 * @generated
140 */
141 private LogicresultPackageImpl() {
142 super(eNS_URI, LogicresultFactory.eINSTANCE);
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 private static boolean isInited = false;
151
152 /**
153 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
154 *
155 * <p>This method is used to initialize {@link LogicresultPackage#eINSTANCE} when that field is accessed.
156 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @see #eNS_URI
160 * @see #createPackageContents()
161 * @see #initializePackageContents()
162 * @generated
163 */
164 public static LogicresultPackage init() {
165 if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI);
166
167 // Obtain or create and register package
168 LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicresultPackageImpl());
169
170 isInited = true;
171
172 // Obtain or create and register interdependencies
173 LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE);
174 LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE);
175
176 // Create package meta-data objects
177 theLogicresultPackage.createPackageContents();
178 theLogiclanguagePackage.createPackageContents();
179 theLogicproblemPackage.createPackageContents();
180
181 // Initialize created meta-data
182 theLogicresultPackage.initializePackageContents();
183 theLogiclanguagePackage.initializePackageContents();
184 theLogicproblemPackage.initializePackageContents();
185
186 // Mark meta-data to indicate it can't be changed
187 theLogicresultPackage.freeze();
188
189
190 // Update the registry and return the package
191 EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage);
192 return theLogicresultPackage;
193 }
194
195 /**
196 * <!-- begin-user-doc -->
197 * <!-- end-user-doc -->
198 * @generated
199 */
200 public EClass getLogicResult() {
201 return logicResultEClass;
202 }
203
204 /**
205 * <!-- begin-user-doc -->
206 * <!-- end-user-doc -->
207 * @generated
208 */
209 public EReference getLogicResult_Problem() {
210 return (EReference)logicResultEClass.getEStructuralFeatures().get(0);
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 public EReference getLogicResult_Statistics() {
219 return (EReference)logicResultEClass.getEStructuralFeatures().get(1);
220 }
221
222 /**
223 * <!-- begin-user-doc -->
224 * <!-- end-user-doc -->
225 * @generated
226 */
227 public EAttribute getLogicResult_Trace() {
228 return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2);
229 }
230
231 /**
232 * <!-- begin-user-doc -->
233 * <!-- end-user-doc -->
234 * @generated
235 */
236 public EAttribute getLogicResult_Representation() {
237 return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3);
238 }
239
240 /**
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 */
245 public EClass getModelResult() {
246 return modelResultEClass;
247 }
248
249 /**
250 * <!-- begin-user-doc -->
251 * <!-- end-user-doc -->
252 * @generated
253 */
254 public EAttribute getModelResult_MaxInteger() {
255 return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0);
256 }
257
258 /**
259 * <!-- begin-user-doc -->
260 * <!-- end-user-doc -->
261 * @generated
262 */
263 public EAttribute getModelResult_MinInteger() {
264 return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1);
265 }
266
267 /**
268 * <!-- begin-user-doc -->
269 * <!-- end-user-doc -->
270 * @generated
271 */
272 public EClass getInconsistencyResult() {
273 return inconsistencyResultEClass;
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 public EClass getUnknownResult() {
282 return unknownResultEClass;
283 }
284
285 /**
286 * <!-- begin-user-doc -->
287 * <!-- end-user-doc -->
288 * @generated
289 */
290 public EClass getInsuficientResourcesResult() {
291 return insuficientResourcesResultEClass;
292 }
293
294 /**
295 * <!-- begin-user-doc -->
296 * <!-- end-user-doc -->
297 * @generated
298 */
299 public EAttribute getInsuficientResourcesResult_ResourceName() {
300 return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0);
301 }
302
303 /**
304 * <!-- begin-user-doc -->
305 * <!-- end-user-doc -->
306 * @generated
307 */
308 public EClass getErrorResult() {
309 return errorResultEClass;
310 }
311
312 /**
313 * <!-- begin-user-doc -->
314 * <!-- end-user-doc -->
315 * @generated
316 */
317 public EAttribute getErrorResult_Message() {
318 return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0);
319 }
320
321 /**
322 * <!-- begin-user-doc -->
323 * <!-- end-user-doc -->
324 * @generated
325 */
326 public EClass getStatistics() {
327 return statisticsEClass;
328 }
329
330 /**
331 * <!-- begin-user-doc -->
332 * <!-- end-user-doc -->
333 * @generated
334 */
335 public EReference getStatistics_Entries() {
336 return (EReference)statisticsEClass.getEStructuralFeatures().get(0);
337 }
338
339 /**
340 * <!-- begin-user-doc -->
341 * <!-- end-user-doc -->
342 * @generated
343 */
344 public EAttribute getStatistics_TransformationTime() {
345 return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1);
346 }
347
348 /**
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @generated
352 */
353 public EAttribute getStatistics_SolverTime() {
354 return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2);
355 }
356
357 /**
358 * <!-- begin-user-doc -->
359 * <!-- end-user-doc -->
360 * @generated
361 */
362 public EAttribute getStatistics_SolverMemory() {
363 return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3);
364 }
365
366 /**
367 * <!-- begin-user-doc -->
368 * <!-- end-user-doc -->
369 * @generated
370 */
371 public EClass getStatisticEntry() {
372 return statisticEntryEClass;
373 }
374
375 /**
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 */
380 public EAttribute getStatisticEntry_Name() {
381 return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0);
382 }
383
384 /**
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 */
389 public EClass getUndecidableResult() {
390 return undecidableResultEClass;
391 }
392
393 /**
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @generated
397 */
398 public EClass getIntStatisticEntry() {
399 return intStatisticEntryEClass;
400 }
401
402 /**
403 * <!-- begin-user-doc -->
404 * <!-- end-user-doc -->
405 * @generated
406 */
407 public EAttribute getIntStatisticEntry_Value() {
408 return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0);
409 }
410
411 /**
412 * <!-- begin-user-doc -->
413 * <!-- end-user-doc -->
414 * @generated
415 */
416 public EClass getRealStatisticEntry() {
417 return realStatisticEntryEClass;
418 }
419
420 /**
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 */
425 public EAttribute getRealStatisticEntry_Value() {
426 return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0);
427 }
428
429 /**
430 * <!-- begin-user-doc -->
431 * <!-- end-user-doc -->
432 * @generated
433 */
434 public EClass getStringStatisticEntry() {
435 return stringStatisticEntryEClass;
436 }
437
438 /**
439 * <!-- begin-user-doc -->
440 * <!-- end-user-doc -->
441 * @generated
442 */
443 public EAttribute getStringStatisticEntry_Value() {
444 return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0);
445 }
446
447 /**
448 * <!-- begin-user-doc -->
449 * <!-- end-user-doc -->
450 * @generated
451 */
452 public LogicresultFactory getLogicresultFactory() {
453 return (LogicresultFactory)getEFactoryInstance();
454 }
455
456 /**
457 * <!-- begin-user-doc -->
458 * <!-- end-user-doc -->
459 * @generated
460 */
461 private boolean isCreated = false;
462
463 /**
464 * Creates the meta-model objects for the package. This method is
465 * guarded to have no affect on any invocation but its first.
466 * <!-- begin-user-doc -->
467 * <!-- end-user-doc -->
468 * @generated
469 */
470 public void createPackageContents() {
471 if (isCreated) return;
472 isCreated = true;
473
474 // Create classes and their features
475 logicResultEClass = createEClass(LOGIC_RESULT);
476 createEReference(logicResultEClass, LOGIC_RESULT__PROBLEM);
477 createEReference(logicResultEClass, LOGIC_RESULT__STATISTICS);
478 createEAttribute(logicResultEClass, LOGIC_RESULT__TRACE);
479 createEAttribute(logicResultEClass, LOGIC_RESULT__REPRESENTATION);
480
481 modelResultEClass = createEClass(MODEL_RESULT);
482 createEAttribute(modelResultEClass, MODEL_RESULT__MAX_INTEGER);
483 createEAttribute(modelResultEClass, MODEL_RESULT__MIN_INTEGER);
484
485 inconsistencyResultEClass = createEClass(INCONSISTENCY_RESULT);
486
487 unknownResultEClass = createEClass(UNKNOWN_RESULT);
488
489 insuficientResourcesResultEClass = createEClass(INSUFICIENT_RESOURCES_RESULT);
490 createEAttribute(insuficientResourcesResultEClass, INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME);
491
492 errorResultEClass = createEClass(ERROR_RESULT);
493 createEAttribute(errorResultEClass, ERROR_RESULT__MESSAGE);
494
495 statisticsEClass = createEClass(STATISTICS);
496 createEReference(statisticsEClass, STATISTICS__ENTRIES);
497 createEAttribute(statisticsEClass, STATISTICS__TRANSFORMATION_TIME);
498 createEAttribute(statisticsEClass, STATISTICS__SOLVER_TIME);
499 createEAttribute(statisticsEClass, STATISTICS__SOLVER_MEMORY);
500
501 statisticEntryEClass = createEClass(STATISTIC_ENTRY);
502 createEAttribute(statisticEntryEClass, STATISTIC_ENTRY__NAME);
503
504 undecidableResultEClass = createEClass(UNDECIDABLE_RESULT);
505
506 intStatisticEntryEClass = createEClass(INT_STATISTIC_ENTRY);
507 createEAttribute(intStatisticEntryEClass, INT_STATISTIC_ENTRY__VALUE);
508
509 realStatisticEntryEClass = createEClass(REAL_STATISTIC_ENTRY);
510 createEAttribute(realStatisticEntryEClass, REAL_STATISTIC_ENTRY__VALUE);
511
512 stringStatisticEntryEClass = createEClass(STRING_STATISTIC_ENTRY);
513 createEAttribute(stringStatisticEntryEClass, STRING_STATISTIC_ENTRY__VALUE);
514 }
515
516 /**
517 * <!-- begin-user-doc -->
518 * <!-- end-user-doc -->
519 * @generated
520 */
521 private boolean isInitialized = false;
522
523 /**
524 * Complete the initialization of the package and its meta-model. This
525 * method is guarded to have no affect on any invocation but its first.
526 * <!-- begin-user-doc -->
527 * <!-- end-user-doc -->
528 * @generated
529 */
530 public void initializePackageContents() {
531 if (isInitialized) return;
532 isInitialized = true;
533
534 // Initialize package
535 setName(eNAME);
536 setNsPrefix(eNS_PREFIX);
537 setNsURI(eNS_URI);
538
539 // Obtain other dependent packages
540 LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
541
542 // Create type parameters
543
544 // Set bounds for type parameters
545
546 // Add supertypes to classes
547 modelResultEClass.getESuperTypes().add(this.getLogicResult());
548 inconsistencyResultEClass.getESuperTypes().add(this.getLogicResult());
549 unknownResultEClass.getESuperTypes().add(this.getLogicResult());
550 insuficientResourcesResultEClass.getESuperTypes().add(this.getUnknownResult());
551 errorResultEClass.getESuperTypes().add(this.getUnknownResult());
552 undecidableResultEClass.getESuperTypes().add(this.getUnknownResult());
553 intStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry());
554 realStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry());
555 stringStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry());
556
557 // Initialize classes, features, and operations; add parameters
558 initEClass(logicResultEClass, LogicResult.class, "LogicResult", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
559 initEReference(getLogicResult_Problem(), theLogicproblemPackage.getLogicProblem(), null, "problem", null, 0, 1, LogicResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
560 initEReference(getLogicResult_Statistics(), this.getStatistics(), null, "statistics", null, 0, 1, LogicResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
561 initEAttribute(getLogicResult_Trace(), ecorePackage.getEJavaObject(), "trace", null, 0, 1, LogicResult.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
562 initEAttribute(getLogicResult_Representation(), ecorePackage.getEJavaObject(), "representation", null, 0, -1, LogicResult.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
563
564 initEClass(modelResultEClass, ModelResult.class, "ModelResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
565 initEAttribute(getModelResult_MaxInteger(), ecorePackage.getEInt(), "maxInteger", null, 1, 1, ModelResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
566 initEAttribute(getModelResult_MinInteger(), ecorePackage.getEInt(), "minInteger", null, 1, 1, ModelResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
567
568 initEClass(inconsistencyResultEClass, InconsistencyResult.class, "InconsistencyResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
569
570 initEClass(unknownResultEClass, UnknownResult.class, "UnknownResult", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
571
572 initEClass(insuficientResourcesResultEClass, InsuficientResourcesResult.class, "InsuficientResourcesResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
573 initEAttribute(getInsuficientResourcesResult_ResourceName(), ecorePackage.getEString(), "resourceName", null, 1, 1, InsuficientResourcesResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
574
575 initEClass(errorResultEClass, ErrorResult.class, "ErrorResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
576 initEAttribute(getErrorResult_Message(), ecorePackage.getEString(), "message", null, 1, 1, ErrorResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
577
578 initEClass(statisticsEClass, Statistics.class, "Statistics", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
579 initEReference(getStatistics_Entries(), this.getStatisticEntry(), null, "entries", null, 0, -1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
580 initEAttribute(getStatistics_TransformationTime(), ecorePackage.getEInt(), "transformationTime", "-1", 1, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
581 initEAttribute(getStatistics_SolverTime(), ecorePackage.getEInt(), "solverTime", "-1", 1, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
582 initEAttribute(getStatistics_SolverMemory(), ecorePackage.getEInt(), "solverMemory", "-1", 0, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
583
584 initEClass(statisticEntryEClass, StatisticEntry.class, "StatisticEntry", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
585 initEAttribute(getStatisticEntry_Name(), ecorePackage.getEString(), "name", null, 1, 1, StatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
586
587 initEClass(undecidableResultEClass, UndecidableResult.class, "UndecidableResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
588
589 initEClass(intStatisticEntryEClass, IntStatisticEntry.class, "IntStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
590 initEAttribute(getIntStatisticEntry_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
591
592 initEClass(realStatisticEntryEClass, RealStatisticEntry.class, "RealStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
593 initEAttribute(getRealStatisticEntry_Value(), ecorePackage.getEDouble(), "value", null, 1, 1, RealStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
594
595 initEClass(stringStatisticEntryEClass, StringStatisticEntry.class, "StringStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
596 initEAttribute(getStringStatisticEntry_Value(), ecorePackage.getEString(), "value", "Unfilled", 1, 1, StringStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
597
598 // Create resource
599 createResource(eNS_URI);
600 }
601
602} //LogicresultPackageImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:28:59 +0000