diff options
author | 2019-02-16 00:43:11 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java | |
parent | Ecore2Cft transformation (diff) | |
download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip |
Two-valued fault tree analyzer WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java | 140 |
1 files changed, 122 insertions, 18 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java index 27ff09df..cc2c0617 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java | |||
@@ -5,6 +5,8 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; | |||
5 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate; | 5 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate; |
6 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent; | 6 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent; |
7 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution; | 7 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution; |
8 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent; | ||
9 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel; | ||
8 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution; | 10 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution; |
9 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; | 11 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; |
10 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution; | 12 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution; |
@@ -14,6 +16,8 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; | |||
14 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate; | 16 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate; |
15 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate; | 17 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate; |
16 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate; | 18 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate; |
19 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent; | ||
20 | import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel; | ||
17 | 21 | ||
18 | import org.eclipse.emf.ecore.EAttribute; | 22 | import org.eclipse.emf.ecore.EAttribute; |
19 | import org.eclipse.emf.ecore.EClass; | 23 | import org.eclipse.emf.ecore.EClass; |
@@ -41,7 +45,7 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
41 | * <!-- end-user-doc --> | 45 | * <!-- end-user-doc --> |
42 | * @generated | 46 | * @generated |
43 | */ | 47 | */ |
44 | private EClass eventEClass = null; | 48 | private EClass randomEventEClass = null; |
45 | 49 | ||
46 | /** | 50 | /** |
47 | * <!-- begin-user-doc --> | 51 | * <!-- begin-user-doc --> |
@@ -100,6 +104,34 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
100 | private EClass kOfMGateEClass = null; | 104 | private EClass kOfMGateEClass = null; |
101 | 105 | ||
102 | /** | 106 | /** |
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | private EClass reliabilityModelEClass = null; | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | private EClass constantModelEClass = null; | ||
119 | |||
120 | /** | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @generated | ||
124 | */ | ||
125 | private EClass eventEClass = null; | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | private EClass constantEventEClass = null; | ||
133 | |||
134 | /** | ||
103 | * Creates an instance of the model <b>Package</b>, registered with | 135 | * Creates an instance of the model <b>Package</b>, registered with |
104 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 136 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
105 | * package URI value. | 137 | * package URI value. |
@@ -196,8 +228,8 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
196 | * @generated | 228 | * @generated |
197 | */ | 229 | */ |
198 | @Override | 230 | @Override |
199 | public EClass getEvent() { | 231 | public EClass getRandomEvent() { |
200 | return eventEClass; | 232 | return randomEventEClass; |
201 | } | 233 | } |
202 | 234 | ||
203 | /** | 235 | /** |
@@ -206,8 +238,8 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
206 | * @generated | 238 | * @generated |
207 | */ | 239 | */ |
208 | @Override | 240 | @Override |
209 | public EAttribute getEvent_Name() { | 241 | public EAttribute getRandomEvent_Name() { |
210 | return (EAttribute)eventEClass.getEStructuralFeatures().get(0); | 242 | return (EAttribute)randomEventEClass.getEStructuralFeatures().get(0); |
211 | } | 243 | } |
212 | 244 | ||
213 | /** | 245 | /** |
@@ -346,8 +378,58 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
346 | * @generated | 378 | * @generated |
347 | */ | 379 | */ |
348 | @Override | 380 | @Override |
349 | public EAttribute getKOfMGate_M() { | 381 | public EClass getReliabilityModel() { |
350 | return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(1); | 382 | return reliabilityModelEClass; |
383 | } | ||
384 | |||
385 | /** | ||
386 | * <!-- begin-user-doc --> | ||
387 | * <!-- end-user-doc --> | ||
388 | * @generated | ||
389 | */ | ||
390 | @Override | ||
391 | public EClass getConstantModel() { | ||
392 | return constantModelEClass; | ||
393 | } | ||
394 | |||
395 | /** | ||
396 | * <!-- begin-user-doc --> | ||
397 | * <!-- end-user-doc --> | ||
398 | * @generated | ||
399 | */ | ||
400 | @Override | ||
401 | public EAttribute getConstantModel_Failed() { | ||
402 | return (EAttribute)constantModelEClass.getEStructuralFeatures().get(0); | ||
403 | } | ||
404 | |||
405 | /** | ||
406 | * <!-- begin-user-doc --> | ||
407 | * <!-- end-user-doc --> | ||
408 | * @generated | ||
409 | */ | ||
410 | @Override | ||
411 | public EClass getEvent() { | ||
412 | return eventEClass; | ||
413 | } | ||
414 | |||
415 | /** | ||
416 | * <!-- begin-user-doc --> | ||
417 | * <!-- end-user-doc --> | ||
418 | * @generated | ||
419 | */ | ||
420 | @Override | ||
421 | public EClass getConstantEvent() { | ||
422 | return constantEventEClass; | ||
423 | } | ||
424 | |||
425 | /** | ||
426 | * <!-- begin-user-doc --> | ||
427 | * <!-- end-user-doc --> | ||
428 | * @generated | ||
429 | */ | ||
430 | @Override | ||
431 | public EAttribute getConstantEvent_Failed() { | ||
432 | return (EAttribute)constantEventEClass.getEStructuralFeatures().get(0); | ||
351 | } | 433 | } |
352 | 434 | ||
353 | /** | 435 | /** |
@@ -383,8 +465,8 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
383 | createEReference(faultTreeEClass, FAULT_TREE__EVENTS); | 465 | createEReference(faultTreeEClass, FAULT_TREE__EVENTS); |
384 | createEReference(faultTreeEClass, FAULT_TREE__TOP_EVENT); | 466 | createEReference(faultTreeEClass, FAULT_TREE__TOP_EVENT); |
385 | 467 | ||
386 | eventEClass = createEClass(EVENT); | 468 | randomEventEClass = createEClass(RANDOM_EVENT); |
387 | createEAttribute(eventEClass, EVENT__NAME); | 469 | createEAttribute(randomEventEClass, RANDOM_EVENT__NAME); |
388 | 470 | ||
389 | basicEventEClass = createEClass(BASIC_EVENT); | 471 | basicEventEClass = createEClass(BASIC_EVENT); |
390 | createEReference(basicEventEClass, BASIC_EVENT__DISTRIBUTION); | 472 | createEReference(basicEventEClass, BASIC_EVENT__DISTRIBUTION); |
@@ -406,7 +488,16 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
406 | 488 | ||
407 | kOfMGateEClass = createEClass(KOF_MGATE); | 489 | kOfMGateEClass = createEClass(KOF_MGATE); |
408 | createEAttribute(kOfMGateEClass, KOF_MGATE__K); | 490 | createEAttribute(kOfMGateEClass, KOF_MGATE__K); |
409 | createEAttribute(kOfMGateEClass, KOF_MGATE__M); | 491 | |
492 | reliabilityModelEClass = createEClass(RELIABILITY_MODEL); | ||
493 | |||
494 | constantModelEClass = createEClass(CONSTANT_MODEL); | ||
495 | createEAttribute(constantModelEClass, CONSTANT_MODEL__FAILED); | ||
496 | |||
497 | eventEClass = createEClass(EVENT); | ||
498 | |||
499 | constantEventEClass = createEClass(CONSTANT_EVENT); | ||
500 | createEAttribute(constantEventEClass, CONSTANT_EVENT__FAILED); | ||
410 | } | 501 | } |
411 | 502 | ||
412 | /** | 503 | /** |
@@ -437,27 +528,31 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
437 | // Set bounds for type parameters | 528 | // Set bounds for type parameters |
438 | 529 | ||
439 | // Add supertypes to classes | 530 | // Add supertypes to classes |
440 | basicEventEClass.getESuperTypes().add(this.getEvent()); | 531 | faultTreeEClass.getESuperTypes().add(this.getReliabilityModel()); |
441 | gateEClass.getESuperTypes().add(this.getEvent()); | 532 | randomEventEClass.getESuperTypes().add(this.getEvent()); |
533 | basicEventEClass.getESuperTypes().add(this.getRandomEvent()); | ||
534 | gateEClass.getESuperTypes().add(this.getRandomEvent()); | ||
442 | constantDistributionEClass.getESuperTypes().add(this.getDistribution()); | 535 | constantDistributionEClass.getESuperTypes().add(this.getDistribution()); |
443 | exponentialDistributionEClass.getESuperTypes().add(this.getDistribution()); | 536 | exponentialDistributionEClass.getESuperTypes().add(this.getDistribution()); |
444 | andGateEClass.getESuperTypes().add(this.getGate()); | 537 | andGateEClass.getESuperTypes().add(this.getGate()); |
445 | orGateEClass.getESuperTypes().add(this.getGate()); | 538 | orGateEClass.getESuperTypes().add(this.getGate()); |
446 | kOfMGateEClass.getESuperTypes().add(this.getGate()); | 539 | kOfMGateEClass.getESuperTypes().add(this.getGate()); |
540 | constantModelEClass.getESuperTypes().add(this.getReliabilityModel()); | ||
541 | constantEventEClass.getESuperTypes().add(this.getEvent()); | ||
447 | 542 | ||
448 | // Initialize classes, features, and operations; add parameters | 543 | // Initialize classes, features, and operations; add parameters |
449 | initEClass(faultTreeEClass, FaultTree.class, "FaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 544 | initEClass(faultTreeEClass, FaultTree.class, "FaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
450 | initEReference(getFaultTree_Events(), this.getEvent(), null, "events", null, 0, -1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 545 | initEReference(getFaultTree_Events(), this.getRandomEvent(), null, "events", null, 0, -1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
451 | initEReference(getFaultTree_TopEvent(), this.getEvent(), null, "topEvent", null, 1, 1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 546 | initEReference(getFaultTree_TopEvent(), this.getRandomEvent(), null, "topEvent", null, 1, 1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
452 | 547 | ||
453 | initEClass(eventEClass, Event.class, "Event", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 548 | initEClass(randomEventEClass, RandomEvent.class, "RandomEvent", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
454 | initEAttribute(getEvent_Name(), ecorePackage.getEString(), "name", null, 0, 1, Event.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 549 | initEAttribute(getRandomEvent_Name(), ecorePackage.getEString(), "name", null, 0, 1, RandomEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
455 | 550 | ||
456 | initEClass(basicEventEClass, BasicEvent.class, "BasicEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 551 | initEClass(basicEventEClass, BasicEvent.class, "BasicEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
457 | initEReference(getBasicEvent_Distribution(), this.getDistribution(), null, "distribution", null, 1, 1, BasicEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 552 | initEReference(getBasicEvent_Distribution(), this.getDistribution(), null, "distribution", null, 1, 1, BasicEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
458 | 553 | ||
459 | initEClass(gateEClass, Gate.class, "Gate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 554 | initEClass(gateEClass, Gate.class, "Gate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
460 | initEReference(getGate_InputEvents(), this.getEvent(), null, "inputEvents", null, 0, -1, Gate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 555 | initEReference(getGate_InputEvents(), this.getRandomEvent(), null, "inputEvents", null, 2, -1, Gate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
461 | 556 | ||
462 | initEClass(distributionEClass, Distribution.class, "Distribution", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 557 | initEClass(distributionEClass, Distribution.class, "Distribution", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
463 | 558 | ||
@@ -473,7 +568,16 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { | |||
473 | 568 | ||
474 | initEClass(kOfMGateEClass, KOfMGate.class, "KOfMGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 569 | initEClass(kOfMGateEClass, KOfMGate.class, "KOfMGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
475 | initEAttribute(getKOfMGate_K(), ecorePackage.getEInt(), "k", null, 0, 1, KOfMGate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 570 | initEAttribute(getKOfMGate_K(), ecorePackage.getEInt(), "k", null, 0, 1, KOfMGate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
476 | initEAttribute(getKOfMGate_M(), ecorePackage.getEInt(), "m", null, 0, 1, KOfMGate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 571 | |
572 | initEClass(reliabilityModelEClass, ReliabilityModel.class, "ReliabilityModel", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
573 | |||
574 | initEClass(constantModelEClass, ConstantModel.class, "ConstantModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
575 | initEAttribute(getConstantModel_Failed(), ecorePackage.getEBoolean(), "failed", null, 0, 1, ConstantModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
576 | |||
577 | initEClass(eventEClass, Event.class, "Event", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
578 | |||
579 | initEClass(constantEventEClass, ConstantEvent.class, "ConstantEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
580 | initEAttribute(getConstantEvent_Failed(), ecorePackage.getEBoolean(), "failed", null, 0, 1, ConstantEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
477 | 581 | ||
478 | // Create resource | 582 | // Create resource |
479 | createResource(eNS_URI); | 583 | createResource(eNS_URI); |