diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
commit | 60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch) | |
tree | 5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java | |
parent | Initial commit, migrating from SVN (diff) | |
download | VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip |
Migrating Additional projects
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.java | 602 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl; | ||
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl; | ||
12 | |||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry; | ||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory; | ||
19 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
21 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry; | ||
22 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
23 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
24 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry; | ||
25 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult; | ||
26 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult; | ||
27 | |||
28 | import org.eclipse.emf.ecore.EAttribute; | ||
29 | import org.eclipse.emf.ecore.EClass; | ||
30 | import org.eclipse.emf.ecore.EPackage; | ||
31 | import org.eclipse.emf.ecore.EReference; | ||
32 | |||
33 | import 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 | */ | ||
41 | public 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 | ||