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