aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java37
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java177
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java39
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java165
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java217
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java169
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java482
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java133
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java220
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java37
12 files changed, 2004 insertions, 0 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java
new file mode 100644
index 00000000..509843b1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java
@@ -0,0 +1,37 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10/**
11 * <!-- begin-user-doc -->
12 * An implementation of the model object '<em><b>And Gate</b></em>'.
13 * <!-- end-user-doc -->
14 *
15 * @generated
16 */
17public class AndGateImpl extends GateImpl implements AndGate {
18 /**
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 protected AndGateImpl() {
24 super();
25 }
26
27 /**
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 @Override
33 protected EClass eStaticClass() {
34 return FtPackage.Literals.AND_GATE;
35 }
36
37} //AndGateImpl
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
new file mode 100644
index 00000000..8fd0f613
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
@@ -0,0 +1,177 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
8
9import org.eclipse.emf.common.notify.Notification;
10import org.eclipse.emf.common.notify.NotificationChain;
11
12import org.eclipse.emf.ecore.EClass;
13import org.eclipse.emf.ecore.InternalEObject;
14
15import org.eclipse.emf.ecore.impl.ENotificationImpl;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model object '<em><b>Basic Event</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl#getDistribution <em>Distribution</em>}</li>
26 * </ul>
27 *
28 * @generated
29 */
30public class BasicEventImpl extends EventImpl implements BasicEvent {
31 /**
32 * The cached value of the '{@link #getDistribution() <em>Distribution</em>}' containment reference.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #getDistribution()
36 * @generated
37 * @ordered
38 */
39 protected Distribution distribution;
40
41 /**
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @generated
45 */
46 protected BasicEventImpl() {
47 super();
48 }
49
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 @Override
56 protected EClass eStaticClass() {
57 return FtPackage.Literals.BASIC_EVENT;
58 }
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 @Override
66 public Distribution getDistribution() {
67 return distribution;
68 }
69
70 /**
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 */
75 public NotificationChain basicSetDistribution(Distribution newDistribution, NotificationChain msgs) {
76 Distribution oldDistribution = distribution;
77 distribution = newDistribution;
78 if (eNotificationRequired()) {
79 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FtPackage.BASIC_EVENT__DISTRIBUTION, oldDistribution, newDistribution);
80 if (msgs == null) msgs = notification; else msgs.add(notification);
81 }
82 return msgs;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 @Override
91 public void setDistribution(Distribution newDistribution) {
92 if (newDistribution != distribution) {
93 NotificationChain msgs = null;
94 if (distribution != null)
95 msgs = ((InternalEObject)distribution).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - FtPackage.BASIC_EVENT__DISTRIBUTION, null, msgs);
96 if (newDistribution != null)
97 msgs = ((InternalEObject)newDistribution).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - FtPackage.BASIC_EVENT__DISTRIBUTION, null, msgs);
98 msgs = basicSetDistribution(newDistribution, msgs);
99 if (msgs != null) msgs.dispatch();
100 }
101 else if (eNotificationRequired())
102 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.BASIC_EVENT__DISTRIBUTION, newDistribution, newDistribution));
103 }
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 @Override
111 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
112 switch (featureID) {
113 case FtPackage.BASIC_EVENT__DISTRIBUTION:
114 return basicSetDistribution(null, msgs);
115 }
116 return super.eInverseRemove(otherEnd, featureID, msgs);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public Object eGet(int featureID, boolean resolve, boolean coreType) {
126 switch (featureID) {
127 case FtPackage.BASIC_EVENT__DISTRIBUTION:
128 return getDistribution();
129 }
130 return super.eGet(featureID, resolve, coreType);
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 @Override
139 public void eSet(int featureID, Object newValue) {
140 switch (featureID) {
141 case FtPackage.BASIC_EVENT__DISTRIBUTION:
142 setDistribution((Distribution)newValue);
143 return;
144 }
145 super.eSet(featureID, newValue);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public void eUnset(int featureID) {
155 switch (featureID) {
156 case FtPackage.BASIC_EVENT__DISTRIBUTION:
157 setDistribution((Distribution)null);
158 return;
159 }
160 super.eUnset(featureID);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
169 public boolean eIsSet(int featureID) {
170 switch (featureID) {
171 case FtPackage.BASIC_EVENT__DISTRIBUTION:
172 return distribution != null;
173 }
174 return super.eIsSet(featureID);
175 }
176
177} //BasicEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java
new file mode 100644
index 00000000..7f85ed32
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java
@@ -0,0 +1,164 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Constant Distribution</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.ConstantDistributionImpl#getP <em>P</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ConstantDistributionImpl extends DistributionImpl implements ConstantDistribution {
28 /**
29 * The default value of the '{@link #getP() <em>P</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getP()
33 * @generated
34 * @ordered
35 */
36 protected static final double P_EDEFAULT = 0.0;
37
38 /**
39 * The cached value of the '{@link #getP() <em>P</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getP()
43 * @generated
44 * @ordered
45 */
46 protected double p = P_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ConstantDistributionImpl() {
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_DISTRIBUTION;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public double getP() {
74 return p;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setP(double newP) {
84 double oldP = p;
85 p = newP;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_DISTRIBUTION__P, oldP, p));
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_DISTRIBUTION__P:
99 return getP();
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_DISTRIBUTION__P:
113 setP((Double)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_DISTRIBUTION__P:
128 setP(P_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_DISTRIBUTION__P:
143 return p != P_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(" (p: ");
159 result.append(p);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ConstantDistributionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java
new file mode 100644
index 00000000..171a58cd
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java
@@ -0,0 +1,39 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
11
12/**
13 * <!-- begin-user-doc -->
14 * An implementation of the model object '<em><b>Distribution</b></em>'.
15 * <!-- end-user-doc -->
16 *
17 * @generated
18 */
19public abstract class DistributionImpl extends MinimalEObjectImpl.Container implements Distribution {
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected DistributionImpl() {
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.DISTRIBUTION;
37 }
38
39} //DistributionImpl
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
new file mode 100644
index 00000000..44ac0eb6
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
@@ -0,0 +1,165 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model object '<em><b>Event</b></em>'.
18 * <!-- 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 *
26 * @generated
27 */
28public abstract class EventImpl extends MinimalEObjectImpl.Container implements Event {
29 /**
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 -->
51 * <!-- end-user-doc -->
52 * @generated
53 */
54 protected EventImpl() {
55 super();
56 }
57
58 /**
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @generated
62 */
63 @Override
64 protected EClass eStaticClass() {
65 return FtPackage.Literals.EVENT;
66 }
67
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
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java
new file mode 100644
index 00000000..b3c7bd79
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java
@@ -0,0 +1,164 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Exponential Distribution</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.ExponentialDistributionImpl#getLambda <em>Lambda</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ExponentialDistributionImpl extends DistributionImpl implements ExponentialDistribution {
28 /**
29 * The default value of the '{@link #getLambda() <em>Lambda</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getLambda()
33 * @generated
34 * @ordered
35 */
36 protected static final double LAMBDA_EDEFAULT = 0.0;
37
38 /**
39 * The cached value of the '{@link #getLambda() <em>Lambda</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getLambda()
43 * @generated
44 * @ordered
45 */
46 protected double lambda = LAMBDA_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ExponentialDistributionImpl() {
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.EXPONENTIAL_DISTRIBUTION;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public double getLambda() {
74 return lambda;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setLambda(double newLambda) {
84 double oldLambda = lambda;
85 lambda = newLambda;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.EXPONENTIAL_DISTRIBUTION__LAMBDA, oldLambda, lambda));
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.EXPONENTIAL_DISTRIBUTION__LAMBDA:
99 return getLambda();
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.EXPONENTIAL_DISTRIBUTION__LAMBDA:
113 setLambda((Double)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.EXPONENTIAL_DISTRIBUTION__LAMBDA:
128 setLambda(LAMBDA_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.EXPONENTIAL_DISTRIBUTION__LAMBDA:
143 return lambda != LAMBDA_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(" (lambda: ");
159 result.append(lambda);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ExponentialDistributionImpl
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
new file mode 100644
index 00000000..9c716c21
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
@@ -0,0 +1,217 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.common.util.EList;
15
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21
22import org.eclipse.emf.ecore.util.EObjectContainmentEList;
23import org.eclipse.emf.ecore.util.InternalEList;
24
25/**
26 * <!-- begin-user-doc -->
27 * An implementation of the model object '<em><b>Fault Tree</b></em>'.
28 * <!-- end-user-doc -->
29 * <p>
30 * The following features are implemented:
31 * </p>
32 * <ul>
33 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl#getEvents <em>Events</em>}</li>
34 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl#getTopEvent <em>Top Event</em>}</li>
35 * </ul>
36 *
37 * @generated
38 */
39public class FaultTreeImpl extends MinimalEObjectImpl.Container implements FaultTree {
40 /**
41 * The cached value of the '{@link #getEvents() <em>Events</em>}' containment reference list.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @see #getEvents()
45 * @generated
46 * @ordered
47 */
48 protected EList<Event> events;
49
50 /**
51 * The cached value of the '{@link #getTopEvent() <em>Top Event</em>}' reference.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @see #getTopEvent()
55 * @generated
56 * @ordered
57 */
58 protected Event topEvent;
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 protected FaultTreeImpl() {
66 super();
67 }
68
69 /**
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 */
74 @Override
75 protected EClass eStaticClass() {
76 return FtPackage.Literals.FAULT_TREE;
77 }
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 @Override
85 public EList<Event> getEvents() {
86 if (events == null) {
87 events = new EObjectContainmentEList<Event>(Event.class, this, FtPackage.FAULT_TREE__EVENTS);
88 }
89 return events;
90 }
91
92 /**
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @generated
96 */
97 @Override
98 public Event getTopEvent() {
99 if (topEvent != null && topEvent.eIsProxy()) {
100 InternalEObject oldTopEvent = (InternalEObject)topEvent;
101 topEvent = (Event)eResolveProxy(oldTopEvent);
102 if (topEvent != oldTopEvent) {
103 if (eNotificationRequired())
104 eNotify(new ENotificationImpl(this, Notification.RESOLVE, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
105 }
106 }
107 return topEvent;
108 }
109
110 /**
111 * <!-- begin-user-doc -->
112 * <!-- end-user-doc -->
113 * @generated
114 */
115 public Event basicGetTopEvent() {
116 return topEvent;
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void setTopEvent(Event newTopEvent) {
126 Event oldTopEvent = topEvent;
127 topEvent = newTopEvent;
128 if (eNotificationRequired())
129 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 @Override
138 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
139 switch (featureID) {
140 case FtPackage.FAULT_TREE__EVENTS:
141 return ((InternalEList<?>)getEvents()).basicRemove(otherEnd, msgs);
142 }
143 return super.eInverseRemove(otherEnd, featureID, msgs);
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 @Override
152 public Object eGet(int featureID, boolean resolve, boolean coreType) {
153 switch (featureID) {
154 case FtPackage.FAULT_TREE__EVENTS:
155 return getEvents();
156 case FtPackage.FAULT_TREE__TOP_EVENT:
157 if (resolve) return getTopEvent();
158 return basicGetTopEvent();
159 }
160 return super.eGet(featureID, resolve, coreType);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @SuppressWarnings("unchecked")
169 @Override
170 public void eSet(int featureID, Object newValue) {
171 switch (featureID) {
172 case FtPackage.FAULT_TREE__EVENTS:
173 getEvents().clear();
174 getEvents().addAll((Collection<? extends Event>)newValue);
175 return;
176 case FtPackage.FAULT_TREE__TOP_EVENT:
177 setTopEvent((Event)newValue);
178 return;
179 }
180 super.eSet(featureID, newValue);
181 }
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 @Override
189 public void eUnset(int featureID) {
190 switch (featureID) {
191 case FtPackage.FAULT_TREE__EVENTS:
192 getEvents().clear();
193 return;
194 case FtPackage.FAULT_TREE__TOP_EVENT:
195 setTopEvent((Event)null);
196 return;
197 }
198 super.eUnset(featureID);
199 }
200
201 /**
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @generated
205 */
206 @Override
207 public boolean eIsSet(int featureID) {
208 switch (featureID) {
209 case FtPackage.FAULT_TREE__EVENTS:
210 return events != null && !events.isEmpty();
211 case FtPackage.FAULT_TREE__TOP_EVENT:
212 return topEvent != null;
213 }
214 return super.eIsSet(featureID);
215 }
216
217} //FaultTreeImpl
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
new file mode 100644
index 00000000..59364443
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
@@ -0,0 +1,169 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import org.eclipse.emf.ecore.plugin.EcorePlugin;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model <b>Factory</b>.
18 * <!-- end-user-doc -->
19 * @generated
20 */
21public class FtFactoryImpl extends EFactoryImpl implements FtFactory {
22 /**
23 * Creates the default factory implementation.
24 * <!-- begin-user-doc -->
25 * <!-- end-user-doc -->
26 * @generated
27 */
28 public static FtFactory init() {
29 try {
30 FtFactory theFtFactory = (FtFactory)EPackage.Registry.INSTANCE.getEFactory(FtPackage.eNS_URI);
31 if (theFtFactory != null) {
32 return theFtFactory;
33 }
34 }
35 catch (Exception exception) {
36 EcorePlugin.INSTANCE.log(exception);
37 }
38 return new FtFactoryImpl();
39 }
40
41 /**
42 * Creates an instance of the factory.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 public FtFactoryImpl() {
48 super();
49 }
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 @Override
57 public EObject create(EClass eClass) {
58 switch (eClass.getClassifierID()) {
59 case FtPackage.FAULT_TREE: return createFaultTree();
60 case FtPackage.BASIC_EVENT: return createBasicEvent();
61 case FtPackage.CONSTANT_DISTRIBUTION: return createConstantDistribution();
62 case FtPackage.EXPONENTIAL_DISTRIBUTION: return createExponentialDistribution();
63 case FtPackage.AND_GATE: return createAndGate();
64 case FtPackage.OR_GATE: return createOrGate();
65 case FtPackage.KOF_MGATE: return createKOfMGate();
66 default:
67 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
68 }
69 }
70
71 /**
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 */
76 @Override
77 public FaultTree createFaultTree() {
78 FaultTreeImpl faultTree = new FaultTreeImpl();
79 return faultTree;
80 }
81
82 /**
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @generated
86 */
87 @Override
88 public BasicEvent createBasicEvent() {
89 BasicEventImpl basicEvent = new BasicEventImpl();
90 return basicEvent;
91 }
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 @Override
99 public ConstantDistribution createConstantDistribution() {
100 ConstantDistributionImpl constantDistribution = new ConstantDistributionImpl();
101 return constantDistribution;
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public ExponentialDistribution createExponentialDistribution() {
111 ExponentialDistributionImpl exponentialDistribution = new ExponentialDistributionImpl();
112 return exponentialDistribution;
113 }
114
115 /**
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @generated
119 */
120 @Override
121 public AndGate createAndGate() {
122 AndGateImpl andGate = new AndGateImpl();
123 return andGate;
124 }
125
126 /**
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @generated
130 */
131 @Override
132 public OrGate createOrGate() {
133 OrGateImpl orGate = new OrGateImpl();
134 return orGate;
135 }
136
137 /**
138 * <!-- begin-user-doc -->
139 * <!-- end-user-doc -->
140 * @generated
141 */
142 @Override
143 public KOfMGate createKOfMGate() {
144 KOfMGateImpl kOfMGate = new KOfMGateImpl();
145 return kOfMGate;
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public FtPackage getFtPackage() {
155 return (FtPackage)getEPackage();
156 }
157
158 /**
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @deprecated
162 * @generated
163 */
164 @Deprecated
165 public static FtPackage getPackage() {
166 return FtPackage.eINSTANCE;
167 }
168
169} //FtFactoryImpl
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
new file mode 100644
index 00000000..27ff09df
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java
@@ -0,0 +1,482 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
10import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
11import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
12import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
13import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
14import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
15import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
16import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
17
18import org.eclipse.emf.ecore.EAttribute;
19import org.eclipse.emf.ecore.EClass;
20import org.eclipse.emf.ecore.EPackage;
21import org.eclipse.emf.ecore.EReference;
22
23import org.eclipse.emf.ecore.impl.EPackageImpl;
24
25/**
26 * <!-- begin-user-doc -->
27 * An implementation of the model <b>Package</b>.
28 * <!-- end-user-doc -->
29 * @generated
30 */
31public class FtPackageImpl extends EPackageImpl implements FtPackage {
32 /**
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 private EClass faultTreeEClass = null;
38
39 /**
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @generated
43 */
44 private EClass eventEClass = null;
45
46 /**
47 * <!-- begin-user-doc -->
48 * <!-- end-user-doc -->
49 * @generated
50 */
51 private EClass basicEventEClass = null;
52
53 /**
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 private EClass gateEClass = null;
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 private EClass distributionEClass = null;
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 private EClass constantDistributionEClass = null;
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 private EClass exponentialDistributionEClass = null;
80
81 /**
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 private EClass andGateEClass = null;
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 private EClass orGateEClass = null;
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 private EClass kOfMGateEClass = null;
101
102 /**
103 * Creates an instance of the model <b>Package</b>, registered with
104 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
105 * package URI value.
106 * <p>Note: the correct way to create the package is via the static
107 * factory method {@link #init init()}, which also performs
108 * initialization of the package, or returns the registered package,
109 * if one already exists.
110 * <!-- begin-user-doc -->
111 * <!-- end-user-doc -->
112 * @see org.eclipse.emf.ecore.EPackage.Registry
113 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#eNS_URI
114 * @see #init()
115 * @generated
116 */
117 private FtPackageImpl() {
118 super(eNS_URI, FtFactory.eINSTANCE);
119 }
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 private static boolean isInited = false;
127
128 /**
129 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
130 *
131 * <p>This method is used to initialize {@link FtPackage#eINSTANCE} when that field is accessed.
132 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @see #eNS_URI
136 * @see #createPackageContents()
137 * @see #initializePackageContents()
138 * @generated
139 */
140 public static FtPackage init() {
141 if (isInited) return (FtPackage)EPackage.Registry.INSTANCE.getEPackage(FtPackage.eNS_URI);
142
143 // Obtain or create and register package
144 Object registeredFtPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
145 FtPackageImpl theFtPackage = registeredFtPackage instanceof FtPackageImpl ? (FtPackageImpl)registeredFtPackage : new FtPackageImpl();
146
147 isInited = true;
148
149 // Create package meta-data objects
150 theFtPackage.createPackageContents();
151
152 // Initialize created meta-data
153 theFtPackage.initializePackageContents();
154
155 // Mark meta-data to indicate it can't be changed
156 theFtPackage.freeze();
157
158 // Update the registry and return the package
159 EPackage.Registry.INSTANCE.put(FtPackage.eNS_URI, theFtPackage);
160 return theFtPackage;
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
169 public EClass getFaultTree() {
170 return faultTreeEClass;
171 }
172
173 /**
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 */
178 @Override
179 public EReference getFaultTree_Events() {
180 return (EReference)faultTreeEClass.getEStructuralFeatures().get(0);
181 }
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 @Override
189 public EReference getFaultTree_TopEvent() {
190 return (EReference)faultTreeEClass.getEStructuralFeatures().get(1);
191 }
192
193 /**
194 * <!-- begin-user-doc -->
195 * <!-- end-user-doc -->
196 * @generated
197 */
198 @Override
199 public EClass getEvent() {
200 return eventEClass;
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public EAttribute getEvent_Name() {
210 return (EAttribute)eventEClass.getEStructuralFeatures().get(0);
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 @Override
219 public EClass getBasicEvent() {
220 return basicEventEClass;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 @Override
229 public EReference getBasicEvent_Distribution() {
230 return (EReference)basicEventEClass.getEStructuralFeatures().get(0);
231 }
232
233 /**
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @generated
237 */
238 @Override
239 public EClass getGate() {
240 return gateEClass;
241 }
242
243 /**
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 */
248 @Override
249 public EReference getGate_InputEvents() {
250 return (EReference)gateEClass.getEStructuralFeatures().get(0);
251 }
252
253 /**
254 * <!-- begin-user-doc -->
255 * <!-- end-user-doc -->
256 * @generated
257 */
258 @Override
259 public EClass getDistribution() {
260 return distributionEClass;
261 }
262
263 /**
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @generated
267 */
268 @Override
269 public EClass getConstantDistribution() {
270 return constantDistributionEClass;
271 }
272
273 /**
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @generated
277 */
278 @Override
279 public EAttribute getConstantDistribution_P() {
280 return (EAttribute)constantDistributionEClass.getEStructuralFeatures().get(0);
281 }
282
283 /**
284 * <!-- begin-user-doc -->
285 * <!-- end-user-doc -->
286 * @generated
287 */
288 @Override
289 public EClass getExponentialDistribution() {
290 return exponentialDistributionEClass;
291 }
292
293 /**
294 * <!-- begin-user-doc -->
295 * <!-- end-user-doc -->
296 * @generated
297 */
298 @Override
299 public EAttribute getExponentialDistribution_Lambda() {
300 return (EAttribute)exponentialDistributionEClass.getEStructuralFeatures().get(0);
301 }
302
303 /**
304 * <!-- begin-user-doc -->
305 * <!-- end-user-doc -->
306 * @generated
307 */
308 @Override
309 public EClass getAndGate() {
310 return andGateEClass;
311 }
312
313 /**
314 * <!-- begin-user-doc -->
315 * <!-- end-user-doc -->
316 * @generated
317 */
318 @Override
319 public EClass getOrGate() {
320 return orGateEClass;
321 }
322
323 /**
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @generated
327 */
328 @Override
329 public EClass getKOfMGate() {
330 return kOfMGateEClass;
331 }
332
333 /**
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @generated
337 */
338 @Override
339 public EAttribute getKOfMGate_K() {
340 return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(0);
341 }
342
343 /**
344 * <!-- begin-user-doc -->
345 * <!-- end-user-doc -->
346 * @generated
347 */
348 @Override
349 public EAttribute getKOfMGate_M() {
350 return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(1);
351 }
352
353 /**
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 */
358 @Override
359 public FtFactory getFtFactory() {
360 return (FtFactory)getEFactoryInstance();
361 }
362
363 /**
364 * <!-- begin-user-doc -->
365 * <!-- end-user-doc -->
366 * @generated
367 */
368 private boolean isCreated = false;
369
370 /**
371 * Creates the meta-model objects for the package. This method is
372 * guarded to have no affect on any invocation but its first.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @generated
376 */
377 public void createPackageContents() {
378 if (isCreated) return;
379 isCreated = true;
380
381 // Create classes and their features
382 faultTreeEClass = createEClass(FAULT_TREE);
383 createEReference(faultTreeEClass, FAULT_TREE__EVENTS);
384 createEReference(faultTreeEClass, FAULT_TREE__TOP_EVENT);
385
386 eventEClass = createEClass(EVENT);
387 createEAttribute(eventEClass, EVENT__NAME);
388
389 basicEventEClass = createEClass(BASIC_EVENT);
390 createEReference(basicEventEClass, BASIC_EVENT__DISTRIBUTION);
391
392 gateEClass = createEClass(GATE);
393 createEReference(gateEClass, GATE__INPUT_EVENTS);
394
395 distributionEClass = createEClass(DISTRIBUTION);
396
397 constantDistributionEClass = createEClass(CONSTANT_DISTRIBUTION);
398 createEAttribute(constantDistributionEClass, CONSTANT_DISTRIBUTION__P);
399
400 exponentialDistributionEClass = createEClass(EXPONENTIAL_DISTRIBUTION);
401 createEAttribute(exponentialDistributionEClass, EXPONENTIAL_DISTRIBUTION__LAMBDA);
402
403 andGateEClass = createEClass(AND_GATE);
404
405 orGateEClass = createEClass(OR_GATE);
406
407 kOfMGateEClass = createEClass(KOF_MGATE);
408 createEAttribute(kOfMGateEClass, KOF_MGATE__K);
409 createEAttribute(kOfMGateEClass, KOF_MGATE__M);
410 }
411
412 /**
413 * <!-- begin-user-doc -->
414 * <!-- end-user-doc -->
415 * @generated
416 */
417 private boolean isInitialized = false;
418
419 /**
420 * Complete the initialization of the package and its meta-model. This
421 * method is guarded to have no affect on any invocation but its first.
422 * <!-- begin-user-doc -->
423 * <!-- end-user-doc -->
424 * @generated
425 */
426 public void initializePackageContents() {
427 if (isInitialized) return;
428 isInitialized = true;
429
430 // Initialize package
431 setName(eNAME);
432 setNsPrefix(eNS_PREFIX);
433 setNsURI(eNS_URI);
434
435 // Create type parameters
436
437 // Set bounds for type parameters
438
439 // Add supertypes to classes
440 basicEventEClass.getESuperTypes().add(this.getEvent());
441 gateEClass.getESuperTypes().add(this.getEvent());
442 constantDistributionEClass.getESuperTypes().add(this.getDistribution());
443 exponentialDistributionEClass.getESuperTypes().add(this.getDistribution());
444 andGateEClass.getESuperTypes().add(this.getGate());
445 orGateEClass.getESuperTypes().add(this.getGate());
446 kOfMGateEClass.getESuperTypes().add(this.getGate());
447
448 // Initialize classes, features, and operations; add parameters
449 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);
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);
452
453 initEClass(eventEClass, Event.class, "Event", 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);
455
456 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);
458
459 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);
461
462 initEClass(distributionEClass, Distribution.class, "Distribution", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
463
464 initEClass(constantDistributionEClass, ConstantDistribution.class, "ConstantDistribution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
465 initEAttribute(getConstantDistribution_P(), ecorePackage.getEDouble(), "p", null, 0, 1, ConstantDistribution.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
466
467 initEClass(exponentialDistributionEClass, ExponentialDistribution.class, "ExponentialDistribution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
468 initEAttribute(getExponentialDistribution_Lambda(), ecorePackage.getEDouble(), "lambda", null, 0, 1, ExponentialDistribution.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
469
470 initEClass(andGateEClass, AndGate.class, "AndGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
471
472 initEClass(orGateEClass, OrGate.class, "OrGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
473
474 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);
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);
477
478 // Create resource
479 createResource(eNS_URI);
480 }
481
482} //FtPackageImpl
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
new file mode 100644
index 00000000..ae6d5a8d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
@@ -0,0 +1,133 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.util.EList;
12
13import org.eclipse.emf.ecore.EClass;
14
15import org.eclipse.emf.ecore.util.EObjectResolvingEList;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model object '<em><b>Gate</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl#getInputEvents <em>Input Events</em>}</li>
26 * </ul>
27 *
28 * @generated
29 */
30public abstract class GateImpl extends EventImpl implements Gate {
31 /**
32 * The cached value of the '{@link #getInputEvents() <em>Input Events</em>}' reference list.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #getInputEvents()
36 * @generated
37 * @ordered
38 */
39 protected EList<Event> inputEvents;
40
41 /**
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @generated
45 */
46 protected GateImpl() {
47 super();
48 }
49
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 @Override
56 protected EClass eStaticClass() {
57 return FtPackage.Literals.GATE;
58 }
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 @Override
66 public EList<Event> getInputEvents() {
67 if (inputEvents == null) {
68 inputEvents = new EObjectResolvingEList<Event>(Event.class, this, FtPackage.GATE__INPUT_EVENTS);
69 }
70 return inputEvents;
71 }
72
73 /**
74 * <!-- begin-user-doc -->
75 * <!-- end-user-doc -->
76 * @generated
77 */
78 @Override
79 public Object eGet(int featureID, boolean resolve, boolean coreType) {
80 switch (featureID) {
81 case FtPackage.GATE__INPUT_EVENTS:
82 return getInputEvents();
83 }
84 return super.eGet(featureID, resolve, coreType);
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 @SuppressWarnings("unchecked")
93 @Override
94 public void eSet(int featureID, Object newValue) {
95 switch (featureID) {
96 case FtPackage.GATE__INPUT_EVENTS:
97 getInputEvents().clear();
98 getInputEvents().addAll((Collection<? extends Event>)newValue);
99 return;
100 }
101 super.eSet(featureID, newValue);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eUnset(int featureID) {
111 switch (featureID) {
112 case FtPackage.GATE__INPUT_EVENTS:
113 getInputEvents().clear();
114 return;
115 }
116 super.eUnset(featureID);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public boolean eIsSet(int featureID) {
126 switch (featureID) {
127 case FtPackage.GATE__INPUT_EVENTS:
128 return inputEvents != null && !inputEvents.isEmpty();
129 }
130 return super.eIsSet(featureID);
131 }
132
133} //GateImpl
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
new file mode 100644
index 00000000..0f0dd205
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
@@ -0,0 +1,220 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>KOf MGate</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.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>
25 *
26 * @generated
27 */
28public class KOfMGateImpl extends GateImpl implements KOfMGate {
29 /**
30 * The default value of the '{@link #getK() <em>K</em>}' attribute.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @see #getK()
34 * @generated
35 * @ordered
36 */
37 protected static final int K_EDEFAULT = 0;
38
39 /**
40 * The cached value of the '{@link #getK() <em>K</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @see #getK()
44 * @generated
45 * @ordered
46 */
47 protected int k = K_EDEFAULT;
48
49 /**
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 -->
71 * <!-- end-user-doc -->
72 * @generated
73 */
74 protected KOfMGateImpl() {
75 super();
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 @Override
84 protected EClass eStaticClass() {
85 return FtPackage.Literals.KOF_MGATE;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 @Override
94 public int getK() {
95 return k;
96 }
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 @Override
104 public void setK(int newK) {
105 int oldK = k;
106 k = newK;
107 if (eNotificationRequired())
108 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__K, oldK, k));
109 }
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 @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) {
141 switch (featureID) {
142 case FtPackage.KOF_MGATE__K:
143 return getK();
144 case FtPackage.KOF_MGATE__M:
145 return getM();
146 }
147 return super.eGet(featureID, resolve, coreType);
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 */
155 @Override
156 public void eSet(int featureID, Object newValue) {
157 switch (featureID) {
158 case FtPackage.KOF_MGATE__K:
159 setK((Integer)newValue);
160 return;
161 case FtPackage.KOF_MGATE__M:
162 setM((Integer)newValue);
163 return;
164 }
165 super.eSet(featureID, newValue);
166 }
167
168 /**
169 * <!-- begin-user-doc -->
170 * <!-- end-user-doc -->
171 * @generated
172 */
173 @Override
174 public void eUnset(int featureID) {
175 switch (featureID) {
176 case FtPackage.KOF_MGATE__K:
177 setK(K_EDEFAULT);
178 return;
179 case FtPackage.KOF_MGATE__M:
180 setM(M_EDEFAULT);
181 return;
182 }
183 super.eUnset(featureID);
184 }
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 @Override
192 public boolean eIsSet(int featureID) {
193 switch (featureID) {
194 case FtPackage.KOF_MGATE__K:
195 return k != K_EDEFAULT;
196 case FtPackage.KOF_MGATE__M:
197 return m != M_EDEFAULT;
198 }
199 return super.eIsSet(featureID);
200 }
201
202 /**
203 * <!-- begin-user-doc -->
204 * <!-- end-user-doc -->
205 * @generated
206 */
207 @Override
208 public String toString() {
209 if (eIsProxy()) return super.toString();
210
211 StringBuilder result = new StringBuilder(super.toString());
212 result.append(" (k: ");
213 result.append(k);
214 result.append(", m: ");
215 result.append(m);
216 result.append(')');
217 return result.toString();
218 }
219
220} //KOfMGateImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java
new file mode 100644
index 00000000..88bd2bae
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java
@@ -0,0 +1,37 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
7
8import org.eclipse.emf.ecore.EClass;
9
10/**
11 * <!-- begin-user-doc -->
12 * An implementation of the model object '<em><b>Or Gate</b></em>'.
13 * <!-- end-user-doc -->
14 *
15 * @generated
16 */
17public class OrGateImpl extends GateImpl implements OrGate {
18 /**
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 protected OrGateImpl() {
24 super();
25 }
26
27 /**
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 @Override
33 protected EClass eStaticClass() {
34 return FtPackage.Literals.OR_GATE;
35 }
36
37} //OrGateImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-23 04:04:02 +0000