diff options
author | 2019-02-16 00:43:11 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java | |
parent | Ecore2Cft transformation (diff) | |
download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip |
Two-valued fault tree analyzer WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java | 56 |
1 files changed, 0 insertions, 56 deletions
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 | } |