aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTITEImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTITEImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTITEImpl.java335
1 files changed, 335 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTITEImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTITEImpl.java
new file mode 100644
index 00000000..760721d6
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTITEImpl.java
@@ -0,0 +1,335 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
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>SMTITE</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * <ul>
24 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl#getCondition <em>Condition</em>}</li>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl#getIf <em>If</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl#getElse <em>Else</em>}</li>
27 * </ul>
28 * </p>
29 *
30 * @generated
31 */
32public class SMTITEImpl extends SMTTermImpl implements SMTITE
33{
34 /**
35 * The cached value of the '{@link #getCondition() <em>Condition</em>}' containment reference.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @see #getCondition()
39 * @generated
40 * @ordered
41 */
42 protected SMTTerm condition;
43
44 /**
45 * The cached value of the '{@link #getIf() <em>If</em>}' containment reference.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @see #getIf()
49 * @generated
50 * @ordered
51 */
52 protected SMTTerm if_;
53
54 /**
55 * The cached value of the '{@link #getElse() <em>Else</em>}' containment reference.
56 * <!-- begin-user-doc -->
57 * <!-- end-user-doc -->
58 * @see #getElse()
59 * @generated
60 * @ordered
61 */
62 protected SMTTerm else_;
63
64 /**
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 protected SMTITEImpl()
70 {
71 super();
72 }
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 @Override
80 protected EClass eStaticClass()
81 {
82 return SmtLanguagePackage.Literals.SMTITE;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 public SMTTerm getCondition()
91 {
92 return condition;
93 }
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 public NotificationChain basicSetCondition(SMTTerm newCondition, NotificationChain msgs)
101 {
102 SMTTerm oldCondition = condition;
103 condition = newCondition;
104 if (eNotificationRequired())
105 {
106 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMTITE__CONDITION, oldCondition, newCondition);
107 if (msgs == null) msgs = notification; else msgs.add(notification);
108 }
109 return msgs;
110 }
111
112 /**
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @generated
116 */
117 public void setCondition(SMTTerm newCondition)
118 {
119 if (newCondition != condition)
120 {
121 NotificationChain msgs = null;
122 if (condition != null)
123 msgs = ((InternalEObject)condition).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMTITE__CONDITION, null, msgs);
124 if (newCondition != null)
125 msgs = ((InternalEObject)newCondition).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMTITE__CONDITION, null, msgs);
126 msgs = basicSetCondition(newCondition, msgs);
127 if (msgs != null) msgs.dispatch();
128 }
129 else if (eNotificationRequired())
130 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMTITE__CONDITION, newCondition, newCondition));
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 public SMTTerm getIf()
139 {
140 return if_;
141 }
142
143 /**
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 */
148 public NotificationChain basicSetIf(SMTTerm newIf, NotificationChain msgs)
149 {
150 SMTTerm oldIf = if_;
151 if_ = newIf;
152 if (eNotificationRequired())
153 {
154 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMTITE__IF, oldIf, newIf);
155 if (msgs == null) msgs = notification; else msgs.add(notification);
156 }
157 return msgs;
158 }
159
160 /**
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @generated
164 */
165 public void setIf(SMTTerm newIf)
166 {
167 if (newIf != if_)
168 {
169 NotificationChain msgs = null;
170 if (if_ != null)
171 msgs = ((InternalEObject)if_).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMTITE__IF, null, msgs);
172 if (newIf != null)
173 msgs = ((InternalEObject)newIf).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMTITE__IF, null, msgs);
174 msgs = basicSetIf(newIf, msgs);
175 if (msgs != null) msgs.dispatch();
176 }
177 else if (eNotificationRequired())
178 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMTITE__IF, newIf, newIf));
179 }
180
181 /**
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 */
186 public SMTTerm getElse()
187 {
188 return else_;
189 }
190
191 /**
192 * <!-- begin-user-doc -->
193 * <!-- end-user-doc -->
194 * @generated
195 */
196 public NotificationChain basicSetElse(SMTTerm newElse, NotificationChain msgs)
197 {
198 SMTTerm oldElse = else_;
199 else_ = newElse;
200 if (eNotificationRequired())
201 {
202 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMTITE__ELSE, oldElse, newElse);
203 if (msgs == null) msgs = notification; else msgs.add(notification);
204 }
205 return msgs;
206 }
207
208 /**
209 * <!-- begin-user-doc -->
210 * <!-- end-user-doc -->
211 * @generated
212 */
213 public void setElse(SMTTerm newElse)
214 {
215 if (newElse != else_)
216 {
217 NotificationChain msgs = null;
218 if (else_ != null)
219 msgs = ((InternalEObject)else_).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMTITE__ELSE, null, msgs);
220 if (newElse != null)
221 msgs = ((InternalEObject)newElse).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMTITE__ELSE, null, msgs);
222 msgs = basicSetElse(newElse, msgs);
223 if (msgs != null) msgs.dispatch();
224 }
225 else if (eNotificationRequired())
226 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMTITE__ELSE, newElse, newElse));
227 }
228
229 /**
230 * <!-- begin-user-doc -->
231 * <!-- end-user-doc -->
232 * @generated
233 */
234 @Override
235 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
236 {
237 switch (featureID)
238 {
239 case SmtLanguagePackage.SMTITE__CONDITION:
240 return basicSetCondition(null, msgs);
241 case SmtLanguagePackage.SMTITE__IF:
242 return basicSetIf(null, msgs);
243 case SmtLanguagePackage.SMTITE__ELSE:
244 return basicSetElse(null, msgs);
245 }
246 return super.eInverseRemove(otherEnd, featureID, msgs);
247 }
248
249 /**
250 * <!-- begin-user-doc -->
251 * <!-- end-user-doc -->
252 * @generated
253 */
254 @Override
255 public Object eGet(int featureID, boolean resolve, boolean coreType)
256 {
257 switch (featureID)
258 {
259 case SmtLanguagePackage.SMTITE__CONDITION:
260 return getCondition();
261 case SmtLanguagePackage.SMTITE__IF:
262 return getIf();
263 case SmtLanguagePackage.SMTITE__ELSE:
264 return getElse();
265 }
266 return super.eGet(featureID, resolve, coreType);
267 }
268
269 /**
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @generated
273 */
274 @Override
275 public void eSet(int featureID, Object newValue)
276 {
277 switch (featureID)
278 {
279 case SmtLanguagePackage.SMTITE__CONDITION:
280 setCondition((SMTTerm)newValue);
281 return;
282 case SmtLanguagePackage.SMTITE__IF:
283 setIf((SMTTerm)newValue);
284 return;
285 case SmtLanguagePackage.SMTITE__ELSE:
286 setElse((SMTTerm)newValue);
287 return;
288 }
289 super.eSet(featureID, newValue);
290 }
291
292 /**
293 * <!-- begin-user-doc -->
294 * <!-- end-user-doc -->
295 * @generated
296 */
297 @Override
298 public void eUnset(int featureID)
299 {
300 switch (featureID)
301 {
302 case SmtLanguagePackage.SMTITE__CONDITION:
303 setCondition((SMTTerm)null);
304 return;
305 case SmtLanguagePackage.SMTITE__IF:
306 setIf((SMTTerm)null);
307 return;
308 case SmtLanguagePackage.SMTITE__ELSE:
309 setElse((SMTTerm)null);
310 return;
311 }
312 super.eUnset(featureID);
313 }
314
315 /**
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @generated
319 */
320 @Override
321 public boolean eIsSet(int featureID)
322 {
323 switch (featureID)
324 {
325 case SmtLanguagePackage.SMTITE__CONDITION:
326 return condition != null;
327 case SmtLanguagePackage.SMTITE__IF:
328 return if_ != null;
329 case SmtLanguagePackage.SMTITE__ELSE:
330 return else_ != null;
331 }
332 return super.eIsSet(featureID);
333 }
334
335} //SMTITEImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-08 21:04:11 +0000