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