aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java2
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java32
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java14
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java308
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java8
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java27
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java2
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java126
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java29
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java24
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java140
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java12
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java56
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java39
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java82
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java105
24 files changed, 1332 insertions, 349 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java
index acfc635b..63b8d0ed 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java
@@ -19,7 +19,7 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
19 * @model 19 * @model
20 * @generated 20 * @generated
21 */ 21 */
22public interface BasicEvent extends Event { 22public interface BasicEvent extends RandomEvent {
23 /** 23 /**
24 * Returns the value of the '<em><b>Distribution</b></em>' containment reference. 24 * Returns the value of the '<em><b>Distribution</b></em>' containment reference.
25 * <!-- begin-user-doc --> 25 * <!-- begin-user-doc -->
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java
new file mode 100644
index 00000000..a171fc95
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java
@@ -0,0 +1,49 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Constant Event</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed <em>Failed</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantEvent()
19 * @model
20 * @generated
21 */
22public interface ConstantEvent extends Event {
23 /**
24 * Returns the value of the '<em><b>Failed</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Failed</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Failed</em>' attribute.
32 * @see #setFailed(boolean)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantEvent_Failed()
34 * @model
35 * @generated
36 */
37 boolean isFailed();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed <em>Failed</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Failed</em>' attribute.
44 * @see #isFailed()
45 * @generated
46 */
47 void setFailed(boolean value);
48
49} // ConstantEvent
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java
new file mode 100644
index 00000000..5649559f
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java
@@ -0,0 +1,49 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Constant Model</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed <em>Failed</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantModel()
19 * @model
20 * @generated
21 */
22public interface ConstantModel extends ReliabilityModel {
23 /**
24 * Returns the value of the '<em><b>Failed</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Failed</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Failed</em>' attribute.
32 * @see #setFailed(boolean)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantModel_Failed()
34 * @model
35 * @generated
36 */
37 boolean isFailed();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed <em>Failed</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Failed</em>' attribute.
44 * @see #isFailed()
45 * @generated
46 */
47 void setFailed(boolean value);
48
49} // ConstantModel
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java
index 186e23b9..a5a905a0 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java
@@ -9,42 +9,10 @@ import org.eclipse.emf.ecore.EObject;
9 * A representation of the model object '<em><b>Event</b></em>'. 9 * A representation of the model object '<em><b>Event</b></em>'.
10 * <!-- end-user-doc --> 10 * <!-- end-user-doc -->
11 * 11 *
12 * <p>
13 * The following features are supported:
14 * </p>
15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName <em>Name</em>}</li>
17 * </ul>
18 * 12 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent() 13 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent()
20 * @model abstract="true" 14 * @model abstract="true"
21 * @generated 15 * @generated
22 */ 16 */
23public interface Event extends EObject { 17public interface Event extends EObject {
24 /**
25 * Returns the value of the '<em><b>Name</b></em>' attribute.
26 * <!-- begin-user-doc -->
27 * <p>
28 * If the meaning of the '<em>Name</em>' attribute isn't clear,
29 * there really should be more of a description here...
30 * </p>
31 * <!-- end-user-doc -->
32 * @return the value of the '<em>Name</em>' attribute.
33 * @see #setName(String)
34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent_Name()
35 * @model
36 * @generated
37 */
38 String getName();
39
40 /**
41 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName <em>Name</em>}' attribute.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @param value the new value of the '<em>Name</em>' attribute.
45 * @see #getName()
46 * @generated
47 */
48 void setName(String value);
49
50} // Event 18} // Event
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java
index 247a9918..0bf258be 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java
@@ -4,8 +4,6 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4 4
5import org.eclipse.emf.common.util.EList; 5import org.eclipse.emf.common.util.EList;
6 6
7import org.eclipse.emf.ecore.EObject;
8
9/** 7/**
10 * <!-- begin-user-doc --> 8 * <!-- begin-user-doc -->
11 * A representation of the model object '<em><b>Fault Tree</b></em>'. 9 * A representation of the model object '<em><b>Fault Tree</b></em>'.
@@ -23,10 +21,10 @@ import org.eclipse.emf.ecore.EObject;
23 * @model 21 * @model
24 * @generated 22 * @generated
25 */ 23 */
26public interface FaultTree extends EObject { 24public interface FaultTree extends ReliabilityModel {
27 /** 25 /**
28 * Returns the value of the '<em><b>Events</b></em>' containment reference list. 26 * Returns the value of the '<em><b>Events</b></em>' containment reference list.
29 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event}. 27 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}.
30 * <!-- begin-user-doc --> 28 * <!-- begin-user-doc -->
31 * <p> 29 * <p>
32 * If the meaning of the '<em>Events</em>' containment reference list isn't clear, 30 * If the meaning of the '<em>Events</em>' containment reference list isn't clear,
@@ -38,7 +36,7 @@ public interface FaultTree extends EObject {
38 * @model containment="true" 36 * @model containment="true"
39 * @generated 37 * @generated
40 */ 38 */
41 EList<Event> getEvents(); 39 EList<RandomEvent> getEvents();
42 40
43 /** 41 /**
44 * Returns the value of the '<em><b>Top Event</b></em>' reference. 42 * Returns the value of the '<em><b>Top Event</b></em>' reference.
@@ -49,12 +47,12 @@ public interface FaultTree extends EObject {
49 * </p> 47 * </p>
50 * <!-- end-user-doc --> 48 * <!-- end-user-doc -->
51 * @return the value of the '<em>Top Event</em>' reference. 49 * @return the value of the '<em>Top Event</em>' reference.
52 * @see #setTopEvent(Event) 50 * @see #setTopEvent(RandomEvent)
53 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent() 51 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent()
54 * @model required="true" 52 * @model required="true"
55 * @generated 53 * @generated
56 */ 54 */
57 Event getTopEvent(); 55 RandomEvent getTopEvent();
58 56
59 /** 57 /**
60 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}' reference. 58 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}' reference.
@@ -64,6 +62,6 @@ public interface FaultTree extends EObject {
64 * @see #getTopEvent() 62 * @see #getTopEvent()
65 * @generated 63 * @generated
66 */ 64 */
67 void setTopEvent(Event value); 65 void setTopEvent(RandomEvent value);
68 66
69} // FaultTree 67} // FaultTree
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java
index 20b71b1a..7d420e34 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java
@@ -85,6 +85,24 @@ public interface FtFactory extends EFactory {
85 KOfMGate createKOfMGate(); 85 KOfMGate createKOfMGate();
86 86
87 /** 87 /**
88 * Returns a new object of class '<em>Constant Model</em>'.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @return a new object of class '<em>Constant Model</em>'.
92 * @generated
93 */
94 ConstantModel createConstantModel();
95
96 /**
97 * Returns a new object of class '<em>Constant Event</em>'.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @return a new object of class '<em>Constant Event</em>'.
101 * @generated
102 */
103 ConstantEvent createConstantEvent();
104
105 /**
88 * Returns the package supported by this factory. 106 * Returns the package supported by this factory.
89 * <!-- begin-user-doc --> 107 * <!-- begin-user-doc -->
90 * <!-- end-user-doc --> 108 * <!-- end-user-doc -->
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java
index e376063c..dd35d666 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java
@@ -57,6 +57,34 @@ public interface FtPackage extends EPackage {
57 FtPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl.init(); 57 FtPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl.init();
58 58
59 /** 59 /**
60 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl <em>Reliability Model</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl
64 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getReliabilityModel()
65 * @generated
66 */
67 int RELIABILITY_MODEL = 10;
68
69 /**
70 * The number of structural features of the '<em>Reliability Model</em>' class.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int RELIABILITY_MODEL_FEATURE_COUNT = 0;
77
78 /**
79 * The number of operations of the '<em>Reliability Model</em>' class.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int RELIABILITY_MODEL_OPERATION_COUNT = 0;
86
87 /**
60 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl <em>Fault Tree</em>}' class. 88 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl <em>Fault Tree</em>}' class.
61 * <!-- begin-user-doc --> 89 * <!-- begin-user-doc -->
62 * <!-- end-user-doc --> 90 * <!-- end-user-doc -->
@@ -73,7 +101,7 @@ public interface FtPackage extends EPackage {
73 * @generated 101 * @generated
74 * @ordered 102 * @ordered
75 */ 103 */
76 int FAULT_TREE__EVENTS = 0; 104 int FAULT_TREE__EVENTS = RELIABILITY_MODEL_FEATURE_COUNT + 0;
77 105
78 /** 106 /**
79 * The feature id for the '<em><b>Top Event</b></em>' reference. 107 * The feature id for the '<em><b>Top Event</b></em>' reference.
@@ -82,7 +110,7 @@ public interface FtPackage extends EPackage {
82 * @generated 110 * @generated
83 * @ordered 111 * @ordered
84 */ 112 */
85 int FAULT_TREE__TOP_EVENT = 1; 113 int FAULT_TREE__TOP_EVENT = RELIABILITY_MODEL_FEATURE_COUNT + 1;
86 114
87 /** 115 /**
88 * The number of structural features of the '<em>Fault Tree</em>' class. 116 * The number of structural features of the '<em>Fault Tree</em>' class.
@@ -91,7 +119,7 @@ public interface FtPackage extends EPackage {
91 * @generated 119 * @generated
92 * @ordered 120 * @ordered
93 */ 121 */
94 int FAULT_TREE_FEATURE_COUNT = 2; 122 int FAULT_TREE_FEATURE_COUNT = RELIABILITY_MODEL_FEATURE_COUNT + 2;
95 123
96 /** 124 /**
97 * The number of operations of the '<em>Fault Tree</em>' class. 125 * The number of operations of the '<em>Fault Tree</em>' class.
@@ -100,7 +128,7 @@ public interface FtPackage extends EPackage {
100 * @generated 128 * @generated
101 * @ordered 129 * @ordered
102 */ 130 */
103 int FAULT_TREE_OPERATION_COUNT = 0; 131 int FAULT_TREE_OPERATION_COUNT = RELIABILITY_MODEL_OPERATION_COUNT + 0;
104 132
105 /** 133 /**
106 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class. 134 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class.
@@ -110,7 +138,35 @@ public interface FtPackage extends EPackage {
110 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent() 138 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent()
111 * @generated 139 * @generated
112 */ 140 */
113 int EVENT = 1; 141 int EVENT = 12;
142
143 /**
144 * The number of structural features of the '<em>Event</em>' class.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 * @ordered
149 */
150 int EVENT_FEATURE_COUNT = 0;
151
152 /**
153 * The number of operations of the '<em>Event</em>' class.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @generated
157 * @ordered
158 */
159 int EVENT_OPERATION_COUNT = 0;
160
161 /**
162 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl <em>Random Event</em>}' class.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl
166 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getRandomEvent()
167 * @generated
168 */
169 int RANDOM_EVENT = 1;
114 170
115 /** 171 /**
116 * The feature id for the '<em><b>Name</b></em>' attribute. 172 * The feature id for the '<em><b>Name</b></em>' attribute.
@@ -119,25 +175,25 @@ public interface FtPackage extends EPackage {
119 * @generated 175 * @generated
120 * @ordered 176 * @ordered
121 */ 177 */
122 int EVENT__NAME = 0; 178 int RANDOM_EVENT__NAME = EVENT_FEATURE_COUNT + 0;
123 179
124 /** 180 /**
125 * The number of structural features of the '<em>Event</em>' class. 181 * The number of structural features of the '<em>Random Event</em>' class.
126 * <!-- begin-user-doc --> 182 * <!-- begin-user-doc -->
127 * <!-- end-user-doc --> 183 * <!-- end-user-doc -->
128 * @generated 184 * @generated
129 * @ordered 185 * @ordered
130 */ 186 */
131 int EVENT_FEATURE_COUNT = 1; 187 int RANDOM_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1;
132 188
133 /** 189 /**
134 * The number of operations of the '<em>Event</em>' class. 190 * The number of operations of the '<em>Random Event</em>' class.
135 * <!-- begin-user-doc --> 191 * <!-- begin-user-doc -->
136 * <!-- end-user-doc --> 192 * <!-- end-user-doc -->
137 * @generated 193 * @generated
138 * @ordered 194 * @ordered
139 */ 195 */
140 int EVENT_OPERATION_COUNT = 0; 196 int RANDOM_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0;
141 197
142 /** 198 /**
143 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class. 199 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class.
@@ -156,7 +212,7 @@ public interface FtPackage extends EPackage {
156 * @generated 212 * @generated
157 * @ordered 213 * @ordered
158 */ 214 */
159 int BASIC_EVENT__NAME = EVENT__NAME; 215 int BASIC_EVENT__NAME = RANDOM_EVENT__NAME;
160 216
161 /** 217 /**
162 * The feature id for the '<em><b>Distribution</b></em>' containment reference. 218 * The feature id for the '<em><b>Distribution</b></em>' containment reference.
@@ -165,7 +221,7 @@ public interface FtPackage extends EPackage {
165 * @generated 221 * @generated
166 * @ordered 222 * @ordered
167 */ 223 */
168 int BASIC_EVENT__DISTRIBUTION = EVENT_FEATURE_COUNT + 0; 224 int BASIC_EVENT__DISTRIBUTION = RANDOM_EVENT_FEATURE_COUNT + 0;
169 225
170 /** 226 /**
171 * The number of structural features of the '<em>Basic Event</em>' class. 227 * The number of structural features of the '<em>Basic Event</em>' class.
@@ -174,7 +230,7 @@ public interface FtPackage extends EPackage {
174 * @generated 230 * @generated
175 * @ordered 231 * @ordered
176 */ 232 */
177 int BASIC_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1; 233 int BASIC_EVENT_FEATURE_COUNT = RANDOM_EVENT_FEATURE_COUNT + 1;
178 234
179 /** 235 /**
180 * The number of operations of the '<em>Basic Event</em>' class. 236 * The number of operations of the '<em>Basic Event</em>' class.
@@ -183,7 +239,7 @@ public interface FtPackage extends EPackage {
183 * @generated 239 * @generated
184 * @ordered 240 * @ordered
185 */ 241 */
186 int BASIC_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0; 242 int BASIC_EVENT_OPERATION_COUNT = RANDOM_EVENT_OPERATION_COUNT + 0;
187 243
188 /** 244 /**
189 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl <em>Gate</em>}' class. 245 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl <em>Gate</em>}' class.
@@ -202,7 +258,7 @@ public interface FtPackage extends EPackage {
202 * @generated 258 * @generated
203 * @ordered 259 * @ordered
204 */ 260 */
205 int GATE__NAME = EVENT__NAME; 261 int GATE__NAME = RANDOM_EVENT__NAME;
206 262
207 /** 263 /**
208 * The feature id for the '<em><b>Input Events</b></em>' reference list. 264 * The feature id for the '<em><b>Input Events</b></em>' reference list.
@@ -211,7 +267,7 @@ public interface FtPackage extends EPackage {
211 * @generated 267 * @generated
212 * @ordered 268 * @ordered
213 */ 269 */
214 int GATE__INPUT_EVENTS = EVENT_FEATURE_COUNT + 0; 270 int GATE__INPUT_EVENTS = RANDOM_EVENT_FEATURE_COUNT + 0;
215 271
216 /** 272 /**
217 * The number of structural features of the '<em>Gate</em>' class. 273 * The number of structural features of the '<em>Gate</em>' class.
@@ -220,7 +276,7 @@ public interface FtPackage extends EPackage {
220 * @generated 276 * @generated
221 * @ordered 277 * @ordered
222 */ 278 */
223 int GATE_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1; 279 int GATE_FEATURE_COUNT = RANDOM_EVENT_FEATURE_COUNT + 1;
224 280
225 /** 281 /**
226 * The number of operations of the '<em>Gate</em>' class. 282 * The number of operations of the '<em>Gate</em>' class.
@@ -229,7 +285,7 @@ public interface FtPackage extends EPackage {
229 * @generated 285 * @generated
230 * @ordered 286 * @ordered
231 */ 287 */
232 int GATE_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0; 288 int GATE_OPERATION_COUNT = RANDOM_EVENT_OPERATION_COUNT + 0;
233 289
234 /** 290 /**
235 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl <em>Distribution</em>}' class. 291 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl <em>Distribution</em>}' class.
@@ -463,31 +519,96 @@ public interface FtPackage extends EPackage {
463 int KOF_MGATE__K = GATE_FEATURE_COUNT + 0; 519 int KOF_MGATE__K = GATE_FEATURE_COUNT + 0;
464 520
465 /** 521 /**
466 * The feature id for the '<em><b>M</b></em>' attribute. 522 * The number of structural features of the '<em>KOf MGate</em>' class.
467 * <!-- begin-user-doc --> 523 * <!-- begin-user-doc -->
468 * <!-- end-user-doc --> 524 * <!-- end-user-doc -->
469 * @generated 525 * @generated
470 * @ordered 526 * @ordered
471 */ 527 */
472 int KOF_MGATE__M = GATE_FEATURE_COUNT + 1; 528 int KOF_MGATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 1;
473 529
474 /** 530 /**
475 * The number of structural features of the '<em>KOf MGate</em>' class. 531 * The number of operations of the '<em>KOf MGate</em>' class.
476 * <!-- begin-user-doc --> 532 * <!-- begin-user-doc -->
477 * <!-- end-user-doc --> 533 * <!-- end-user-doc -->
478 * @generated 534 * @generated
479 * @ordered 535 * @ordered
480 */ 536 */
481 int KOF_MGATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 2; 537 int KOF_MGATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
482 538
483 /** 539 /**
484 * The number of operations of the '<em>KOf MGate</em>' class. 540 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl <em>Constant Model</em>}' class.
541 * <!-- begin-user-doc -->
542 * <!-- end-user-doc -->
543 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl
544 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantModel()
545 * @generated
546 */
547 int CONSTANT_MODEL = 11;
548
549 /**
550 * The feature id for the '<em><b>Failed</b></em>' attribute.
485 * <!-- begin-user-doc --> 551 * <!-- begin-user-doc -->
486 * <!-- end-user-doc --> 552 * <!-- end-user-doc -->
487 * @generated 553 * @generated
488 * @ordered 554 * @ordered
489 */ 555 */
490 int KOF_MGATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0; 556 int CONSTANT_MODEL__FAILED = RELIABILITY_MODEL_FEATURE_COUNT + 0;
557
558 /**
559 * The number of structural features of the '<em>Constant Model</em>' class.
560 * <!-- begin-user-doc -->
561 * <!-- end-user-doc -->
562 * @generated
563 * @ordered
564 */
565 int CONSTANT_MODEL_FEATURE_COUNT = RELIABILITY_MODEL_FEATURE_COUNT + 1;
566
567 /**
568 * The number of operations of the '<em>Constant Model</em>' class.
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 * @ordered
573 */
574 int CONSTANT_MODEL_OPERATION_COUNT = RELIABILITY_MODEL_OPERATION_COUNT + 0;
575
576 /**
577 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl <em>Constant Event</em>}' class.
578 * <!-- begin-user-doc -->
579 * <!-- end-user-doc -->
580 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl
581 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantEvent()
582 * @generated
583 */
584 int CONSTANT_EVENT = 13;
585
586 /**
587 * The feature id for the '<em><b>Failed</b></em>' attribute.
588 * <!-- begin-user-doc -->
589 * <!-- end-user-doc -->
590 * @generated
591 * @ordered
592 */
593 int CONSTANT_EVENT__FAILED = EVENT_FEATURE_COUNT + 0;
594
595 /**
596 * The number of structural features of the '<em>Constant Event</em>' class.
597 * <!-- begin-user-doc -->
598 * <!-- end-user-doc -->
599 * @generated
600 * @ordered
601 */
602 int CONSTANT_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1;
603
604 /**
605 * The number of operations of the '<em>Constant Event</em>' class.
606 * <!-- begin-user-doc -->
607 * <!-- end-user-doc -->
608 * @generated
609 * @ordered
610 */
611 int CONSTANT_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0;
491 612
492 613
493 /** 614 /**
@@ -523,25 +644,25 @@ public interface FtPackage extends EPackage {
523 EReference getFaultTree_TopEvent(); 644 EReference getFaultTree_TopEvent();
524 645
525 /** 646 /**
526 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'. 647 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent <em>Random Event</em>}'.
527 * <!-- begin-user-doc --> 648 * <!-- begin-user-doc -->
528 * <!-- end-user-doc --> 649 * <!-- end-user-doc -->
529 * @return the meta object for class '<em>Event</em>'. 650 * @return the meta object for class '<em>Random Event</em>'.
530 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event 651 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
531 * @generated 652 * @generated
532 */ 653 */
533 EClass getEvent(); 654 EClass getRandomEvent();
534 655
535 /** 656 /**
536 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName <em>Name</em>}'. 657 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName <em>Name</em>}'.
537 * <!-- begin-user-doc --> 658 * <!-- begin-user-doc -->
538 * <!-- end-user-doc --> 659 * <!-- end-user-doc -->
539 * @return the meta object for the attribute '<em>Name</em>'. 660 * @return the meta object for the attribute '<em>Name</em>'.
540 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName() 661 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName()
541 * @see #getEvent() 662 * @see #getRandomEvent()
542 * @generated 663 * @generated
543 */ 664 */
544 EAttribute getEvent_Name(); 665 EAttribute getRandomEvent_Name();
545 666
546 /** 667 /**
547 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent <em>Basic Event</em>}'. 668 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent <em>Basic Event</em>}'.
@@ -679,15 +800,66 @@ public interface FtPackage extends EPackage {
679 EAttribute getKOfMGate_K(); 800 EAttribute getKOfMGate_K();
680 801
681 /** 802 /**
682 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM <em>M</em>}'. 803 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel <em>Reliability Model</em>}'.
683 * <!-- begin-user-doc --> 804 * <!-- begin-user-doc -->
684 * <!-- end-user-doc --> 805 * <!-- end-user-doc -->
685 * @return the meta object for the attribute '<em>M</em>'. 806 * @return the meta object for class '<em>Reliability Model</em>'.
686 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM() 807 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel
687 * @see #getKOfMGate() 808 * @generated
809 */
810 EClass getReliabilityModel();
811
812 /**
813 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel <em>Constant Model</em>}'.
814 * <!-- begin-user-doc -->
815 * <!-- end-user-doc -->
816 * @return the meta object for class '<em>Constant Model</em>'.
817 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel
818 * @generated
819 */
820 EClass getConstantModel();
821
822 /**
823 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed <em>Failed</em>}'.
824 * <!-- begin-user-doc -->
825 * <!-- end-user-doc -->
826 * @return the meta object for the attribute '<em>Failed</em>'.
827 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed()
828 * @see #getConstantModel()
829 * @generated
830 */
831 EAttribute getConstantModel_Failed();
832
833 /**
834 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @return the meta object for class '<em>Event</em>'.
838 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
839 * @generated
840 */
841 EClass getEvent();
842
843 /**
844 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent <em>Constant Event</em>}'.
845 * <!-- begin-user-doc -->
846 * <!-- end-user-doc -->
847 * @return the meta object for class '<em>Constant Event</em>'.
848 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
688 * @generated 849 * @generated
689 */ 850 */
690 EAttribute getKOfMGate_M(); 851 EClass getConstantEvent();
852
853 /**
854 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed <em>Failed</em>}'.
855 * <!-- begin-user-doc -->
856 * <!-- end-user-doc -->
857 * @return the meta object for the attribute '<em>Failed</em>'.
858 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed()
859 * @see #getConstantEvent()
860 * @generated
861 */
862 EAttribute getConstantEvent_Failed();
691 863
692 /** 864 /**
693 * Returns the factory that creates the instances of the model. 865 * Returns the factory that creates the instances of the model.
@@ -739,14 +911,14 @@ public interface FtPackage extends EPackage {
739 EReference FAULT_TREE__TOP_EVENT = eINSTANCE.getFaultTree_TopEvent(); 911 EReference FAULT_TREE__TOP_EVENT = eINSTANCE.getFaultTree_TopEvent();
740 912
741 /** 913 /**
742 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class. 914 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl <em>Random Event</em>}' class.
743 * <!-- begin-user-doc --> 915 * <!-- begin-user-doc -->
744 * <!-- end-user-doc --> 916 * <!-- end-user-doc -->
745 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl 917 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl
746 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent() 918 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getRandomEvent()
747 * @generated 919 * @generated
748 */ 920 */
749 EClass EVENT = eINSTANCE.getEvent(); 921 EClass RANDOM_EVENT = eINSTANCE.getRandomEvent();
750 922
751 /** 923 /**
752 * The meta object literal for the '<em><b>Name</b></em>' attribute feature. 924 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
@@ -754,7 +926,7 @@ public interface FtPackage extends EPackage {
754 * <!-- end-user-doc --> 926 * <!-- end-user-doc -->
755 * @generated 927 * @generated
756 */ 928 */
757 EAttribute EVENT__NAME = eINSTANCE.getEvent_Name(); 929 EAttribute RANDOM_EVENT__NAME = eINSTANCE.getRandomEvent_Name();
758 930
759 /** 931 /**
760 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class. 932 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class.
@@ -877,12 +1049,60 @@ public interface FtPackage extends EPackage {
877 EAttribute KOF_MGATE__K = eINSTANCE.getKOfMGate_K(); 1049 EAttribute KOF_MGATE__K = eINSTANCE.getKOfMGate_K();
878 1050
879 /** 1051 /**
880 * The meta object literal for the '<em><b>M</b></em>' attribute feature. 1052 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl <em>Reliability Model</em>}' class.
1053 * <!-- begin-user-doc -->
1054 * <!-- end-user-doc -->
1055 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl
1056 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getReliabilityModel()
1057 * @generated
1058 */
1059 EClass RELIABILITY_MODEL = eINSTANCE.getReliabilityModel();
1060
1061 /**
1062 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl <em>Constant Model</em>}' class.
1063 * <!-- begin-user-doc -->
1064 * <!-- end-user-doc -->
1065 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl
1066 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantModel()
1067 * @generated
1068 */
1069 EClass CONSTANT_MODEL = eINSTANCE.getConstantModel();
1070
1071 /**
1072 * The meta object literal for the '<em><b>Failed</b></em>' attribute feature.
1073 * <!-- begin-user-doc -->
1074 * <!-- end-user-doc -->
1075 * @generated
1076 */
1077 EAttribute CONSTANT_MODEL__FAILED = eINSTANCE.getConstantModel_Failed();
1078
1079 /**
1080 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class.
1081 * <!-- begin-user-doc -->
1082 * <!-- end-user-doc -->
1083 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl
1084 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent()
1085 * @generated
1086 */
1087 EClass EVENT = eINSTANCE.getEvent();
1088
1089 /**
1090 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl <em>Constant Event</em>}' class.
1091 * <!-- begin-user-doc -->
1092 * <!-- end-user-doc -->
1093 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl
1094 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantEvent()
1095 * @generated
1096 */
1097 EClass CONSTANT_EVENT = eINSTANCE.getConstantEvent();
1098
1099 /**
1100 * The meta object literal for the '<em><b>Failed</b></em>' attribute feature.
881 * <!-- begin-user-doc --> 1101 * <!-- begin-user-doc -->
882 * <!-- end-user-doc --> 1102 * <!-- end-user-doc -->
883 * @generated 1103 * @generated
884 */ 1104 */
885 EAttribute KOF_MGATE__M = eINSTANCE.getKOfMGate_M(); 1105 EAttribute CONSTANT_EVENT__FAILED = eINSTANCE.getConstantEvent_Failed();
886 1106
887 } 1107 }
888 1108
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java
index 0df58bb4..5015051a 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java
@@ -20,10 +20,10 @@ import org.eclipse.emf.common.util.EList;
20 * @model abstract="true" 20 * @model abstract="true"
21 * @generated 21 * @generated
22 */ 22 */
23public interface Gate extends Event { 23public interface Gate extends RandomEvent {
24 /** 24 /**
25 * Returns the value of the '<em><b>Input Events</b></em>' reference list. 25 * Returns the value of the '<em><b>Input Events</b></em>' reference list.
26 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event}. 26 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}.
27 * <!-- begin-user-doc --> 27 * <!-- begin-user-doc -->
28 * <p> 28 * <p>
29 * If the meaning of the '<em>Input Events</em>' reference list isn't clear, 29 * If the meaning of the '<em>Input Events</em>' reference list isn't clear,
@@ -32,9 +32,9 @@ public interface Gate extends Event {
32 * <!-- end-user-doc --> 32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Input Events</em>' reference list. 33 * @return the value of the '<em>Input Events</em>' reference list.
34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getGate_InputEvents() 34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getGate_InputEvents()
35 * @model 35 * @model lower="2"
36 * @generated 36 * @generated
37 */ 37 */
38 EList<Event> getInputEvents(); 38 EList<RandomEvent> getInputEvents();
39 39
40} // Gate 40} // Gate
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java
index 33334083..c891f83a 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java
@@ -13,7 +13,6 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
13 * </p> 13 * </p>
14 * <ul> 14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}</li> 15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}</li>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM <em>M</em>}</li>
17 * </ul> 16 * </ul>
18 * 17 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate() 18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate()
@@ -47,30 +46,4 @@ public interface KOfMGate extends Gate {
47 */ 46 */
48 void setK(int value); 47 void setK(int value);
49 48
50 /**
51 * Returns the value of the '<em><b>M</b></em>' attribute.
52 * <!-- begin-user-doc -->
53 * <p>
54 * If the meaning of the '<em>M</em>' attribute isn't clear,
55 * there really should be more of a description here...
56 * </p>
57 * <!-- end-user-doc -->
58 * @return the value of the '<em>M</em>' attribute.
59 * @see #setM(int)
60 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate_M()
61 * @model
62 * @generated
63 */
64 int getM();
65
66 /**
67 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM <em>M</em>}' attribute.
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @param value the new value of the '<em>M</em>' attribute.
71 * @see #getM()
72 * @generated
73 */
74 void setM(int value);
75
76} // KOfMGate 49} // KOfMGate
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java
new file mode 100644
index 00000000..3931ac41
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java
@@ -0,0 +1,49 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Random Event</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName <em>Name</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getRandomEvent()
19 * @model abstract="true"
20 * @generated
21 */
22public interface RandomEvent extends Event {
23 /**
24 * Returns the value of the '<em><b>Name</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Name</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Name</em>' attribute.
32 * @see #setName(String)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getRandomEvent_Name()
34 * @model
35 * @generated
36 */
37 String getName();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName <em>Name</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Name</em>' attribute.
44 * @see #getName()
45 * @generated
46 */
47 void setName(String value);
48
49} // RandomEvent
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java
new file mode 100644
index 00000000..c1dc2162
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java
@@ -0,0 +1,18 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.ecore.EObject;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Reliability Model</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 *
13 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getReliabilityModel()
14 * @model abstract="true"
15 * @generated
16 */
17public interface ReliabilityModel extends EObject {
18} // ReliabilityModel
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
index 8fd0f613..bbed7b00 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
@@ -27,7 +27,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
27 * 27 *
28 * @generated 28 * @generated
29 */ 29 */
30public class BasicEventImpl extends EventImpl implements BasicEvent { 30public class BasicEventImpl extends RandomEventImpl implements BasicEvent {
31 /** 31 /**
32 * The cached value of the '{@link #getDistribution() <em>Distribution</em>}' containment reference. 32 * The cached value of the '{@link #getDistribution() <em>Distribution</em>}' containment reference.
33 * <!-- begin-user-doc --> 33 * <!-- begin-user-doc -->
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java
new file mode 100644
index 00000000..fc7bcf09
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java
@@ -0,0 +1,164 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Constant Event</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl#isFailed <em>Failed</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ConstantEventImpl extends EventImpl implements ConstantEvent {
28 /**
29 * The default value of the '{@link #isFailed() <em>Failed</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #isFailed()
33 * @generated
34 * @ordered
35 */
36 protected static final boolean FAILED_EDEFAULT = false;
37
38 /**
39 * The cached value of the '{@link #isFailed() <em>Failed</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #isFailed()
43 * @generated
44 * @ordered
45 */
46 protected boolean failed = FAILED_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ConstantEventImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.CONSTANT_EVENT;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public boolean isFailed() {
74 return failed;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setFailed(boolean newFailed) {
84 boolean oldFailed = failed;
85 failed = newFailed;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_EVENT__FAILED, oldFailed, failed));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.CONSTANT_EVENT__FAILED:
99 return isFailed();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.CONSTANT_EVENT__FAILED:
113 setFailed((Boolean)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.CONSTANT_EVENT__FAILED:
128 setFailed(FAILED_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.CONSTANT_EVENT__FAILED:
143 return failed != FAILED_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (failed: ");
159 result.append(failed);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ConstantEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java
new file mode 100644
index 00000000..52e1605b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java
@@ -0,0 +1,164 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Constant Model</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl#isFailed <em>Failed</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ConstantModelImpl extends ReliabilityModelImpl implements ConstantModel {
28 /**
29 * The default value of the '{@link #isFailed() <em>Failed</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #isFailed()
33 * @generated
34 * @ordered
35 */
36 protected static final boolean FAILED_EDEFAULT = false;
37
38 /**
39 * The cached value of the '{@link #isFailed() <em>Failed</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #isFailed()
43 * @generated
44 * @ordered
45 */
46 protected boolean failed = FAILED_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ConstantModelImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.CONSTANT_MODEL;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public boolean isFailed() {
74 return failed;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setFailed(boolean newFailed) {
84 boolean oldFailed = failed;
85 failed = newFailed;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_MODEL__FAILED, oldFailed, failed));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.CONSTANT_MODEL__FAILED:
99 return isFailed();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.CONSTANT_MODEL__FAILED:
113 setFailed((Boolean)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.CONSTANT_MODEL__FAILED:
128 setFailed(FAILED_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.CONSTANT_MODEL__FAILED:
143 return failed != FAILED_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (failed: ");
159 result.append(failed);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ConstantModelImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
index 44ac0eb6..b37fa6bd 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
@@ -5,48 +5,19 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; 5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; 6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7 7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass; 8import org.eclipse.emf.ecore.EClass;
11 9
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; 10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
14 11
15/** 12/**
16 * <!-- begin-user-doc --> 13 * <!-- begin-user-doc -->
17 * An implementation of the model object '<em><b>Event</b></em>'. 14 * An implementation of the model object '<em><b>Event</b></em>'.
18 * <!-- end-user-doc --> 15 * <!-- end-user-doc -->
19 * <p>
20 * The following features are implemented:
21 * </p>
22 * <ul>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl#getName <em>Name</em>}</li>
24 * </ul>
25 * 16 *
26 * @generated 17 * @generated
27 */ 18 */
28public abstract class EventImpl extends MinimalEObjectImpl.Container implements Event { 19public abstract class EventImpl extends MinimalEObjectImpl.Container implements Event {
29 /** 20 /**
30 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @see #getName()
34 * @generated
35 * @ordered
36 */
37 protected static final String NAME_EDEFAULT = null;
38
39 /**
40 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @see #getName()
44 * @generated
45 * @ordered
46 */
47 protected String name = NAME_EDEFAULT;
48
49 /**
50 * <!-- begin-user-doc --> 21 * <!-- begin-user-doc -->
51 * <!-- end-user-doc --> 22 * <!-- end-user-doc -->
52 * @generated 23 * @generated
@@ -65,101 +36,4 @@ public abstract class EventImpl extends MinimalEObjectImpl.Container implements
65 return FtPackage.Literals.EVENT; 36 return FtPackage.Literals.EVENT;
66 } 37 }
67 38
68 /**
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @generated
72 */
73 @Override
74 public String getName() {
75 return name;
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 @Override
84 public void setName(String newName) {
85 String oldName = name;
86 name = newName;
87 if (eNotificationRequired())
88 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.EVENT__NAME, oldName, name));
89 }
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 @Override
97 public Object eGet(int featureID, boolean resolve, boolean coreType) {
98 switch (featureID) {
99 case FtPackage.EVENT__NAME:
100 return getName();
101 }
102 return super.eGet(featureID, resolve, coreType);
103 }
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 @Override
111 public void eSet(int featureID, Object newValue) {
112 switch (featureID) {
113 case FtPackage.EVENT__NAME:
114 setName((String)newValue);
115 return;
116 }
117 super.eSet(featureID, newValue);
118 }
119
120 /**
121 * <!-- begin-user-doc -->
122 * <!-- end-user-doc -->
123 * @generated
124 */
125 @Override
126 public void eUnset(int featureID) {
127 switch (featureID) {
128 case FtPackage.EVENT__NAME:
129 setName(NAME_EDEFAULT);
130 return;
131 }
132 super.eUnset(featureID);
133 }
134
135 /**
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 */
140 @Override
141 public boolean eIsSet(int featureID) {
142 switch (featureID) {
143 case FtPackage.EVENT__NAME:
144 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
145 }
146 return super.eIsSet(featureID);
147 }
148
149 /**
150 * <!-- begin-user-doc -->
151 * <!-- end-user-doc -->
152 * @generated
153 */
154 @Override
155 public String toString() {
156 if (eIsProxy()) return super.toString();
157
158 StringBuilder result = new StringBuilder(super.toString());
159 result.append(" (name: ");
160 result.append(name);
161 result.append(')');
162 return result.toString();
163 }
164
165} //EventImpl 39} //EventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
index 9c716c21..23f1d056 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
@@ -2,9 +2,9 @@
2 */ 2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; 3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4 4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree; 5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; 6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
8 8
9import java.util.Collection; 9import java.util.Collection;
10 10
@@ -17,7 +17,6 @@ import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject; 17import org.eclipse.emf.ecore.InternalEObject;
18 18
19import org.eclipse.emf.ecore.impl.ENotificationImpl; 19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21 20
22import org.eclipse.emf.ecore.util.EObjectContainmentEList; 21import org.eclipse.emf.ecore.util.EObjectContainmentEList;
23import org.eclipse.emf.ecore.util.InternalEList; 22import org.eclipse.emf.ecore.util.InternalEList;
@@ -36,7 +35,7 @@ import org.eclipse.emf.ecore.util.InternalEList;
36 * 35 *
37 * @generated 36 * @generated
38 */ 37 */
39public class FaultTreeImpl extends MinimalEObjectImpl.Container implements FaultTree { 38public class FaultTreeImpl extends ReliabilityModelImpl implements FaultTree {
40 /** 39 /**
41 * The cached value of the '{@link #getEvents() <em>Events</em>}' containment reference list. 40 * The cached value of the '{@link #getEvents() <em>Events</em>}' containment reference list.
42 * <!-- begin-user-doc --> 41 * <!-- begin-user-doc -->
@@ -45,7 +44,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
45 * @generated 44 * @generated
46 * @ordered 45 * @ordered
47 */ 46 */
48 protected EList<Event> events; 47 protected EList<RandomEvent> events;
49 48
50 /** 49 /**
51 * The cached value of the '{@link #getTopEvent() <em>Top Event</em>}' reference. 50 * The cached value of the '{@link #getTopEvent() <em>Top Event</em>}' reference.
@@ -55,7 +54,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
55 * @generated 54 * @generated
56 * @ordered 55 * @ordered
57 */ 56 */
58 protected Event topEvent; 57 protected RandomEvent topEvent;
59 58
60 /** 59 /**
61 * <!-- begin-user-doc --> 60 * <!-- begin-user-doc -->
@@ -82,9 +81,9 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
82 * @generated 81 * @generated
83 */ 82 */
84 @Override 83 @Override
85 public EList<Event> getEvents() { 84 public EList<RandomEvent> getEvents() {
86 if (events == null) { 85 if (events == null) {
87 events = new EObjectContainmentEList<Event>(Event.class, this, FtPackage.FAULT_TREE__EVENTS); 86 events = new EObjectContainmentEList<RandomEvent>(RandomEvent.class, this, FtPackage.FAULT_TREE__EVENTS);
88 } 87 }
89 return events; 88 return events;
90 } 89 }
@@ -95,10 +94,10 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
95 * @generated 94 * @generated
96 */ 95 */
97 @Override 96 @Override
98 public Event getTopEvent() { 97 public RandomEvent getTopEvent() {
99 if (topEvent != null && topEvent.eIsProxy()) { 98 if (topEvent != null && topEvent.eIsProxy()) {
100 InternalEObject oldTopEvent = (InternalEObject)topEvent; 99 InternalEObject oldTopEvent = (InternalEObject)topEvent;
101 topEvent = (Event)eResolveProxy(oldTopEvent); 100 topEvent = (RandomEvent)eResolveProxy(oldTopEvent);
102 if (topEvent != oldTopEvent) { 101 if (topEvent != oldTopEvent) {
103 if (eNotificationRequired()) 102 if (eNotificationRequired())
104 eNotify(new ENotificationImpl(this, Notification.RESOLVE, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent)); 103 eNotify(new ENotificationImpl(this, Notification.RESOLVE, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
@@ -112,7 +111,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
112 * <!-- end-user-doc --> 111 * <!-- end-user-doc -->
113 * @generated 112 * @generated
114 */ 113 */
115 public Event basicGetTopEvent() { 114 public RandomEvent basicGetTopEvent() {
116 return topEvent; 115 return topEvent;
117 } 116 }
118 117
@@ -122,8 +121,8 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
122 * @generated 121 * @generated
123 */ 122 */
124 @Override 123 @Override
125 public void setTopEvent(Event newTopEvent) { 124 public void setTopEvent(RandomEvent newTopEvent) {
126 Event oldTopEvent = topEvent; 125 RandomEvent oldTopEvent = topEvent;
127 topEvent = newTopEvent; 126 topEvent = newTopEvent;
128 if (eNotificationRequired()) 127 if (eNotificationRequired())
129 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent)); 128 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
@@ -171,10 +170,10 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
171 switch (featureID) { 170 switch (featureID) {
172 case FtPackage.FAULT_TREE__EVENTS: 171 case FtPackage.FAULT_TREE__EVENTS:
173 getEvents().clear(); 172 getEvents().clear();
174 getEvents().addAll((Collection<? extends Event>)newValue); 173 getEvents().addAll((Collection<? extends RandomEvent>)newValue);
175 return; 174 return;
176 case FtPackage.FAULT_TREE__TOP_EVENT: 175 case FtPackage.FAULT_TREE__TOP_EVENT:
177 setTopEvent((Event)newValue); 176 setTopEvent((RandomEvent)newValue);
178 return; 177 return;
179 } 178 }
180 super.eSet(featureID, newValue); 179 super.eSet(featureID, newValue);
@@ -192,7 +191,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault
192 getEvents().clear(); 191 getEvents().clear();
193 return; 192 return;
194 case FtPackage.FAULT_TREE__TOP_EVENT: 193 case FtPackage.FAULT_TREE__TOP_EVENT:
195 setTopEvent((Event)null); 194 setTopEvent((RandomEvent)null);
196 return; 195 return;
197 } 196 }
198 super.eUnset(featureID); 197 super.eUnset(featureID);
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
index 59364443..126abed8 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
@@ -63,6 +63,8 @@ public class FtFactoryImpl extends EFactoryImpl implements FtFactory {
63 case FtPackage.AND_GATE: return createAndGate(); 63 case FtPackage.AND_GATE: return createAndGate();
64 case FtPackage.OR_GATE: return createOrGate(); 64 case FtPackage.OR_GATE: return createOrGate();
65 case FtPackage.KOF_MGATE: return createKOfMGate(); 65 case FtPackage.KOF_MGATE: return createKOfMGate();
66 case FtPackage.CONSTANT_MODEL: return createConstantModel();
67 case FtPackage.CONSTANT_EVENT: return createConstantEvent();
66 default: 68 default:
67 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); 69 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
68 } 70 }
@@ -151,6 +153,28 @@ public class FtFactoryImpl extends EFactoryImpl implements FtFactory {
151 * @generated 153 * @generated
152 */ 154 */
153 @Override 155 @Override
156 public ConstantModel createConstantModel() {
157 ConstantModelImpl constantModel = new ConstantModelImpl();
158 return constantModel;
159 }
160
161 /**
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 */
166 @Override
167 public ConstantEvent createConstantEvent() {
168 ConstantEventImpl constantEvent = new ConstantEventImpl();
169 return constantEvent;
170 }
171
172 /**
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 */
177 @Override
154 public FtPackage getFtPackage() { 178 public FtPackage getFtPackage() {
155 return (FtPackage)getEPackage(); 179 return (FtPackage)getEPackage();
156 } 180 }
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;
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate; 5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent; 6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution; 7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution; 10import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; 11import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
10import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution; 12import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
@@ -14,6 +16,8 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
14import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate; 16import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
15import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate; 17import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
16import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate; 18import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
19import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
20import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
17 21
18import org.eclipse.emf.ecore.EAttribute; 22import org.eclipse.emf.ecore.EAttribute;
19import org.eclipse.emf.ecore.EClass; 23import 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);
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
index ae6d5a8d..9e753a09 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
@@ -2,9 +2,9 @@
2 */ 2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; 3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4 4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; 5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate; 6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
8 8
9import java.util.Collection; 9import java.util.Collection;
10 10
@@ -27,7 +27,7 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList;
27 * 27 *
28 * @generated 28 * @generated
29 */ 29 */
30public abstract class GateImpl extends EventImpl implements Gate { 30public abstract class GateImpl extends RandomEventImpl implements Gate {
31 /** 31 /**
32 * The cached value of the '{@link #getInputEvents() <em>Input Events</em>}' reference list. 32 * The cached value of the '{@link #getInputEvents() <em>Input Events</em>}' reference list.
33 * <!-- begin-user-doc --> 33 * <!-- begin-user-doc -->
@@ -36,7 +36,7 @@ public abstract class GateImpl extends EventImpl implements Gate {
36 * @generated 36 * @generated
37 * @ordered 37 * @ordered
38 */ 38 */
39 protected EList<Event> inputEvents; 39 protected EList<RandomEvent> inputEvents;
40 40
41 /** 41 /**
42 * <!-- begin-user-doc --> 42 * <!-- begin-user-doc -->
@@ -63,9 +63,9 @@ public abstract class GateImpl extends EventImpl implements Gate {
63 * @generated 63 * @generated
64 */ 64 */
65 @Override 65 @Override
66 public EList<Event> getInputEvents() { 66 public EList<RandomEvent> getInputEvents() {
67 if (inputEvents == null) { 67 if (inputEvents == null) {
68 inputEvents = new EObjectResolvingEList<Event>(Event.class, this, FtPackage.GATE__INPUT_EVENTS); 68 inputEvents = new EObjectResolvingEList<RandomEvent>(RandomEvent.class, this, FtPackage.GATE__INPUT_EVENTS);
69 } 69 }
70 return inputEvents; 70 return inputEvents;
71 } 71 }
@@ -95,7 +95,7 @@ public abstract class GateImpl extends EventImpl implements Gate {
95 switch (featureID) { 95 switch (featureID) {
96 case FtPackage.GATE__INPUT_EVENTS: 96 case FtPackage.GATE__INPUT_EVENTS:
97 getInputEvents().clear(); 97 getInputEvents().clear();
98 getInputEvents().addAll((Collection<? extends Event>)newValue); 98 getInputEvents().addAll((Collection<? extends RandomEvent>)newValue);
99 return; 99 return;
100 } 100 }
101 super.eSet(featureID, newValue); 101 super.eSet(featureID, newValue);
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
index 0f0dd205..47ca936b 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
@@ -20,7 +20,6 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
20 * </p> 20 * </p>
21 * <ul> 21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getK <em>K</em>}</li> 22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getK <em>K</em>}</li>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getM <em>M</em>}</li>
24 * </ul> 23 * </ul>
25 * 24 *
26 * @generated 25 * @generated
@@ -47,26 +46,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
47 protected int k = K_EDEFAULT; 46 protected int k = K_EDEFAULT;
48 47
49 /** 48 /**
50 * The default value of the '{@link #getM() <em>M</em>}' attribute.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @see #getM()
54 * @generated
55 * @ordered
56 */
57 protected static final int M_EDEFAULT = 0;
58
59 /**
60 * The cached value of the '{@link #getM() <em>M</em>}' attribute.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see #getM()
64 * @generated
65 * @ordered
66 */
67 protected int m = M_EDEFAULT;
68
69 /**
70 * <!-- begin-user-doc --> 49 * <!-- begin-user-doc -->
71 * <!-- end-user-doc --> 50 * <!-- end-user-doc -->
72 * @generated 51 * @generated
@@ -114,35 +93,10 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
114 * @generated 93 * @generated
115 */ 94 */
116 @Override 95 @Override
117 public int getM() {
118 return m;
119 }
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 @Override
127 public void setM(int newM) {
128 int oldM = m;
129 m = newM;
130 if (eNotificationRequired())
131 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__M, oldM, m));
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public Object eGet(int featureID, boolean resolve, boolean coreType) { 96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
141 switch (featureID) { 97 switch (featureID) {
142 case FtPackage.KOF_MGATE__K: 98 case FtPackage.KOF_MGATE__K:
143 return getK(); 99 return getK();
144 case FtPackage.KOF_MGATE__M:
145 return getM();
146 } 100 }
147 return super.eGet(featureID, resolve, coreType); 101 return super.eGet(featureID, resolve, coreType);
148 } 102 }
@@ -158,9 +112,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
158 case FtPackage.KOF_MGATE__K: 112 case FtPackage.KOF_MGATE__K:
159 setK((Integer)newValue); 113 setK((Integer)newValue);
160 return; 114 return;
161 case FtPackage.KOF_MGATE__M:
162 setM((Integer)newValue);
163 return;
164 } 115 }
165 super.eSet(featureID, newValue); 116 super.eSet(featureID, newValue);
166 } 117 }
@@ -176,9 +127,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
176 case FtPackage.KOF_MGATE__K: 127 case FtPackage.KOF_MGATE__K:
177 setK(K_EDEFAULT); 128 setK(K_EDEFAULT);
178 return; 129 return;
179 case FtPackage.KOF_MGATE__M:
180 setM(M_EDEFAULT);
181 return;
182 } 130 }
183 super.eUnset(featureID); 131 super.eUnset(featureID);
184 } 132 }
@@ -193,8 +141,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
193 switch (featureID) { 141 switch (featureID) {
194 case FtPackage.KOF_MGATE__K: 142 case FtPackage.KOF_MGATE__K:
195 return k != K_EDEFAULT; 143 return k != K_EDEFAULT;
196 case FtPackage.KOF_MGATE__M:
197 return m != M_EDEFAULT;
198 } 144 }
199 return super.eIsSet(featureID); 145 return super.eIsSet(featureID);
200 } 146 }
@@ -211,8 +157,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
211 StringBuilder result = new StringBuilder(super.toString()); 157 StringBuilder result = new StringBuilder(super.toString());
212 result.append(" (k: "); 158 result.append(" (k: ");
213 result.append(k); 159 result.append(k);
214 result.append(", m: ");
215 result.append(m);
216 result.append(')'); 160 result.append(')');
217 return result.toString(); 161 return result.toString();
218 } 162 }
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java
new file mode 100644
index 00000000..4f9eda56
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java
@@ -0,0 +1,164 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Random Event</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl#getName <em>Name</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public abstract class RandomEventImpl extends EventImpl implements RandomEvent {
28 /**
29 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getName()
33 * @generated
34 * @ordered
35 */
36 protected static final String NAME_EDEFAULT = null;
37
38 /**
39 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getName()
43 * @generated
44 * @ordered
45 */
46 protected String name = NAME_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected RandomEventImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.RANDOM_EVENT;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public String getName() {
74 return name;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setName(String newName) {
84 String oldName = name;
85 name = newName;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.RANDOM_EVENT__NAME, oldName, name));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.RANDOM_EVENT__NAME:
99 return getName();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.RANDOM_EVENT__NAME:
113 setName((String)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.RANDOM_EVENT__NAME:
128 setName(NAME_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.RANDOM_EVENT__NAME:
143 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (name: ");
159 result.append(name);
160 result.append(')');
161 return result.toString();
162 }
163
164} //RandomEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java
new file mode 100644
index 00000000..e3d0eec1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java
@@ -0,0 +1,39 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
7
8import org.eclipse.emf.ecore.EClass;
9
10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
11
12/**
13 * <!-- begin-user-doc -->
14 * An implementation of the model object '<em><b>Reliability Model</b></em>'.
15 * <!-- end-user-doc -->
16 *
17 * @generated
18 */
19public abstract class ReliabilityModelImpl extends MinimalEObjectImpl.Container implements ReliabilityModel {
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected ReliabilityModelImpl() {
26 super();
27 }
28
29 /**
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 @Override
35 protected EClass eStaticClass() {
36 return FtPackage.Literals.RELIABILITY_MODEL;
37 }
38
39} //ReliabilityModelImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
index 17daaad3..ba7545f4 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
@@ -72,8 +72,8 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
72 return createFaultTreeAdapter(); 72 return createFaultTreeAdapter();
73 } 73 }
74 @Override 74 @Override
75 public Adapter caseEvent(Event object) { 75 public Adapter caseRandomEvent(RandomEvent object) {
76 return createEventAdapter(); 76 return createRandomEventAdapter();
77 } 77 }
78 @Override 78 @Override
79 public Adapter caseBasicEvent(BasicEvent object) { 79 public Adapter caseBasicEvent(BasicEvent object) {
@@ -108,6 +108,22 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
108 return createKOfMGateAdapter(); 108 return createKOfMGateAdapter();
109 } 109 }
110 @Override 110 @Override
111 public Adapter caseReliabilityModel(ReliabilityModel object) {
112 return createReliabilityModelAdapter();
113 }
114 @Override
115 public Adapter caseConstantModel(ConstantModel object) {
116 return createConstantModelAdapter();
117 }
118 @Override
119 public Adapter caseEvent(Event object) {
120 return createEventAdapter();
121 }
122 @Override
123 public Adapter caseConstantEvent(ConstantEvent object) {
124 return createConstantEventAdapter();
125 }
126 @Override
111 public Adapter defaultCase(EObject object) { 127 public Adapter defaultCase(EObject object) {
112 return createEObjectAdapter(); 128 return createEObjectAdapter();
113 } 129 }
@@ -142,16 +158,16 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
142 } 158 }
143 159
144 /** 160 /**
145 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'. 161 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent <em>Random Event</em>}'.
146 * <!-- begin-user-doc --> 162 * <!-- begin-user-doc -->
147 * This default implementation returns null so that we can easily ignore cases; 163 * This default implementation returns null so that we can easily ignore cases;
148 * it's useful to ignore a case when inheritance will catch all the cases anyway. 164 * it's useful to ignore a case when inheritance will catch all the cases anyway.
149 * <!-- end-user-doc --> 165 * <!-- end-user-doc -->
150 * @return the new adapter. 166 * @return the new adapter.
151 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event 167 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
152 * @generated 168 * @generated
153 */ 169 */
154 public Adapter createEventAdapter() { 170 public Adapter createRandomEventAdapter() {
155 return null; 171 return null;
156 } 172 }
157 173
@@ -268,6 +284,62 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
268 } 284 }
269 285
270 /** 286 /**
287 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel <em>Reliability Model</em>}'.
288 * <!-- begin-user-doc -->
289 * This default implementation returns null so that we can easily ignore cases;
290 * it's useful to ignore a case when inheritance will catch all the cases anyway.
291 * <!-- end-user-doc -->
292 * @return the new adapter.
293 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel
294 * @generated
295 */
296 public Adapter createReliabilityModelAdapter() {
297 return null;
298 }
299
300 /**
301 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel <em>Constant Model</em>}'.
302 * <!-- begin-user-doc -->
303 * This default implementation returns null so that we can easily ignore cases;
304 * it's useful to ignore a case when inheritance will catch all the cases anyway.
305 * <!-- end-user-doc -->
306 * @return the new adapter.
307 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel
308 * @generated
309 */
310 public Adapter createConstantModelAdapter() {
311 return null;
312 }
313
314 /**
315 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
316 * <!-- begin-user-doc -->
317 * This default implementation returns null so that we can easily ignore cases;
318 * it's useful to ignore a case when inheritance will catch all the cases anyway.
319 * <!-- end-user-doc -->
320 * @return the new adapter.
321 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
322 * @generated
323 */
324 public Adapter createEventAdapter() {
325 return null;
326 }
327
328 /**
329 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent <em>Constant Event</em>}'.
330 * <!-- begin-user-doc -->
331 * This default implementation returns null so that we can easily ignore cases;
332 * it's useful to ignore a case when inheritance will catch all the cases anyway.
333 * <!-- end-user-doc -->
334 * @return the new adapter.
335 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
336 * @generated
337 */
338 public Adapter createConstantEventAdapter() {
339 return null;
340 }
341
342 /**
271 * Creates a new adapter for the default case. 343 * Creates a new adapter for the default case.
272 * <!-- begin-user-doc --> 344 * <!-- begin-user-doc -->
273 * This default implementation returns null. 345 * This default implementation returns null.
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
index b1846705..1da4f8e8 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
@@ -69,18 +69,21 @@ public class FtSwitch<T> extends Switch<T> {
69 case FtPackage.FAULT_TREE: { 69 case FtPackage.FAULT_TREE: {
70 FaultTree faultTree = (FaultTree)theEObject; 70 FaultTree faultTree = (FaultTree)theEObject;
71 T result = caseFaultTree(faultTree); 71 T result = caseFaultTree(faultTree);
72 if (result == null) result = caseReliabilityModel(faultTree);
72 if (result == null) result = defaultCase(theEObject); 73 if (result == null) result = defaultCase(theEObject);
73 return result; 74 return result;
74 } 75 }
75 case FtPackage.EVENT: { 76 case FtPackage.RANDOM_EVENT: {
76 Event event = (Event)theEObject; 77 RandomEvent randomEvent = (RandomEvent)theEObject;
77 T result = caseEvent(event); 78 T result = caseRandomEvent(randomEvent);
79 if (result == null) result = caseEvent(randomEvent);
78 if (result == null) result = defaultCase(theEObject); 80 if (result == null) result = defaultCase(theEObject);
79 return result; 81 return result;
80 } 82 }
81 case FtPackage.BASIC_EVENT: { 83 case FtPackage.BASIC_EVENT: {
82 BasicEvent basicEvent = (BasicEvent)theEObject; 84 BasicEvent basicEvent = (BasicEvent)theEObject;
83 T result = caseBasicEvent(basicEvent); 85 T result = caseBasicEvent(basicEvent);
86 if (result == null) result = caseRandomEvent(basicEvent);
84 if (result == null) result = caseEvent(basicEvent); 87 if (result == null) result = caseEvent(basicEvent);
85 if (result == null) result = defaultCase(theEObject); 88 if (result == null) result = defaultCase(theEObject);
86 return result; 89 return result;
@@ -88,6 +91,7 @@ public class FtSwitch<T> extends Switch<T> {
88 case FtPackage.GATE: { 91 case FtPackage.GATE: {
89 Gate gate = (Gate)theEObject; 92 Gate gate = (Gate)theEObject;
90 T result = caseGate(gate); 93 T result = caseGate(gate);
94 if (result == null) result = caseRandomEvent(gate);
91 if (result == null) result = caseEvent(gate); 95 if (result == null) result = caseEvent(gate);
92 if (result == null) result = defaultCase(theEObject); 96 if (result == null) result = defaultCase(theEObject);
93 return result; 97 return result;
@@ -116,6 +120,7 @@ public class FtSwitch<T> extends Switch<T> {
116 AndGate andGate = (AndGate)theEObject; 120 AndGate andGate = (AndGate)theEObject;
117 T result = caseAndGate(andGate); 121 T result = caseAndGate(andGate);
118 if (result == null) result = caseGate(andGate); 122 if (result == null) result = caseGate(andGate);
123 if (result == null) result = caseRandomEvent(andGate);
119 if (result == null) result = caseEvent(andGate); 124 if (result == null) result = caseEvent(andGate);
120 if (result == null) result = defaultCase(theEObject); 125 if (result == null) result = defaultCase(theEObject);
121 return result; 126 return result;
@@ -124,6 +129,7 @@ public class FtSwitch<T> extends Switch<T> {
124 OrGate orGate = (OrGate)theEObject; 129 OrGate orGate = (OrGate)theEObject;
125 T result = caseOrGate(orGate); 130 T result = caseOrGate(orGate);
126 if (result == null) result = caseGate(orGate); 131 if (result == null) result = caseGate(orGate);
132 if (result == null) result = caseRandomEvent(orGate);
127 if (result == null) result = caseEvent(orGate); 133 if (result == null) result = caseEvent(orGate);
128 if (result == null) result = defaultCase(theEObject); 134 if (result == null) result = defaultCase(theEObject);
129 return result; 135 return result;
@@ -132,10 +138,37 @@ public class FtSwitch<T> extends Switch<T> {
132 KOfMGate kOfMGate = (KOfMGate)theEObject; 138 KOfMGate kOfMGate = (KOfMGate)theEObject;
133 T result = caseKOfMGate(kOfMGate); 139 T result = caseKOfMGate(kOfMGate);
134 if (result == null) result = caseGate(kOfMGate); 140 if (result == null) result = caseGate(kOfMGate);
141 if (result == null) result = caseRandomEvent(kOfMGate);
135 if (result == null) result = caseEvent(kOfMGate); 142 if (result == null) result = caseEvent(kOfMGate);
136 if (result == null) result = defaultCase(theEObject); 143 if (result == null) result = defaultCase(theEObject);
137 return result; 144 return result;
138 } 145 }
146 case FtPackage.RELIABILITY_MODEL: {
147 ReliabilityModel reliabilityModel = (ReliabilityModel)theEObject;
148 T result = caseReliabilityModel(reliabilityModel);
149 if (result == null) result = defaultCase(theEObject);
150 return result;
151 }
152 case FtPackage.CONSTANT_MODEL: {
153 ConstantModel constantModel = (ConstantModel)theEObject;
154 T result = caseConstantModel(constantModel);
155 if (result == null) result = caseReliabilityModel(constantModel);
156 if (result == null) result = defaultCase(theEObject);
157 return result;
158 }
159 case FtPackage.EVENT: {
160 Event event = (Event)theEObject;
161 T result = caseEvent(event);
162 if (result == null) result = defaultCase(theEObject);
163 return result;
164 }
165 case FtPackage.CONSTANT_EVENT: {
166 ConstantEvent constantEvent = (ConstantEvent)theEObject;
167 T result = caseConstantEvent(constantEvent);
168 if (result == null) result = caseEvent(constantEvent);
169 if (result == null) result = defaultCase(theEObject);
170 return result;
171 }
139 default: return defaultCase(theEObject); 172 default: return defaultCase(theEObject);
140 } 173 }
141 } 174 }
@@ -156,17 +189,17 @@ public class FtSwitch<T> extends Switch<T> {
156 } 189 }
157 190
158 /** 191 /**
159 * Returns the result of interpreting the object as an instance of '<em>Event</em>'. 192 * Returns the result of interpreting the object as an instance of '<em>Random Event</em>'.
160 * <!-- begin-user-doc --> 193 * <!-- begin-user-doc -->
161 * This implementation returns null; 194 * This implementation returns null;
162 * returning a non-null result will terminate the switch. 195 * returning a non-null result will terminate the switch.
163 * <!-- end-user-doc --> 196 * <!-- end-user-doc -->
164 * @param object the target of the switch. 197 * @param object the target of the switch.
165 * @return the result of interpreting the object as an instance of '<em>Event</em>'. 198 * @return the result of interpreting the object as an instance of '<em>Random Event</em>'.
166 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 199 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
167 * @generated 200 * @generated
168 */ 201 */
169 public T caseEvent(Event object) { 202 public T caseRandomEvent(RandomEvent object) {
170 return null; 203 return null;
171 } 204 }
172 205
@@ -291,6 +324,66 @@ public class FtSwitch<T> extends Switch<T> {
291 } 324 }
292 325
293 /** 326 /**
327 * Returns the result of interpreting the object as an instance of '<em>Reliability Model</em>'.
328 * <!-- begin-user-doc -->
329 * This implementation returns null;
330 * returning a non-null result will terminate the switch.
331 * <!-- end-user-doc -->
332 * @param object the target of the switch.
333 * @return the result of interpreting the object as an instance of '<em>Reliability Model</em>'.
334 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
335 * @generated
336 */
337 public T caseReliabilityModel(ReliabilityModel object) {
338 return null;
339 }
340
341 /**
342 * Returns the result of interpreting the object as an instance of '<em>Constant Model</em>'.
343 * <!-- begin-user-doc -->
344 * This implementation returns null;
345 * returning a non-null result will terminate the switch.
346 * <!-- end-user-doc -->
347 * @param object the target of the switch.
348 * @return the result of interpreting the object as an instance of '<em>Constant Model</em>'.
349 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
350 * @generated
351 */
352 public T caseConstantModel(ConstantModel object) {
353 return null;
354 }
355
356 /**
357 * Returns the result of interpreting the object as an instance of '<em>Event</em>'.
358 * <!-- begin-user-doc -->
359 * This implementation returns null;
360 * returning a non-null result will terminate the switch.
361 * <!-- end-user-doc -->
362 * @param object the target of the switch.
363 * @return the result of interpreting the object as an instance of '<em>Event</em>'.
364 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
365 * @generated
366 */
367 public T caseEvent(Event object) {
368 return null;
369 }
370
371 /**
372 * Returns the result of interpreting the object as an instance of '<em>Constant Event</em>'.
373 * <!-- begin-user-doc -->
374 * This implementation returns null;
375 * returning a non-null result will terminate the switch.
376 * <!-- end-user-doc -->
377 * @param object the target of the switch.
378 * @return the result of interpreting the object as an instance of '<em>Constant Event</em>'.
379 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
380 * @generated
381 */
382 public T caseConstantEvent(ConstantEvent object) {
383 return null;
384 }
385
386 /**
294 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. 387 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
295 * <!-- begin-user-doc --> 388 * <!-- begin-user-doc -->
296 * This implementation returns null; 389 * This implementation returns null;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 12:10:27 +0000