aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTWhenCombinatorImpl.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/SMTWhenCombinatorImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTWhenCombinatorImpl.java265
1 files changed, 265 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/SMTWhenCombinatorImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTWhenCombinatorImpl.java
new file mode 100644
index 00000000..be9f1846
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTWhenCombinatorImpl.java
@@ -0,0 +1,265 @@
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.SMTReasoningTactic;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator;
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 When 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.SMTWhenCombinatorImpl#getProbe <em>Probe</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl#getTactic <em>Tactic</em>}</li>
27 * </ul>
28 * </p>
29 *
30 * @generated
31 */
32public class SMTWhenCombinatorImpl extends SMTReasoningCombinatorImpl implements SMTWhenCombinator
33{
34 /**
35 * The cached value of the '{@link #getProbe() <em>Probe</em>}' containment reference.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @see #getProbe()
39 * @generated
40 * @ordered
41 */
42 protected ReasoningProbe probe;
43
44 /**
45 * The cached value of the '{@link #getTactic() <em>Tactic</em>}' containment reference.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @see #getTactic()
49 * @generated
50 * @ordered
51 */
52 protected SMTReasoningTactic tactic;
53
54 /**
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @generated
58 */
59 protected SMTWhenCombinatorImpl()
60 {
61 super();
62 }
63
64 /**
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 @Override
70 protected EClass eStaticClass()
71 {
72 return SmtLanguagePackage.Literals.SMT_WHEN_COMBINATOR;
73 }
74
75 /**
76 * <!-- begin-user-doc -->
77 * <!-- end-user-doc -->
78 * @generated
79 */
80 public ReasoningProbe getProbe()
81 {
82 return probe;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 public NotificationChain basicSetProbe(ReasoningProbe newProbe, NotificationChain msgs)
91 {
92 ReasoningProbe oldProbe = probe;
93 probe = newProbe;
94 if (eNotificationRequired())
95 {
96 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE, oldProbe, newProbe);
97 if (msgs == null) msgs = notification; else msgs.add(notification);
98 }
99 return msgs;
100 }
101
102 /**
103 * <!-- begin-user-doc -->
104 * <!-- end-user-doc -->
105 * @generated
106 */
107 public void setProbe(ReasoningProbe newProbe)
108 {
109 if (newProbe != probe)
110 {
111 NotificationChain msgs = null;
112 if (probe != null)
113 msgs = ((InternalEObject)probe).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE, null, msgs);
114 if (newProbe != null)
115 msgs = ((InternalEObject)newProbe).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE, null, msgs);
116 msgs = basicSetProbe(newProbe, msgs);
117 if (msgs != null) msgs.dispatch();
118 }
119 else if (eNotificationRequired())
120 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE, newProbe, newProbe));
121 }
122
123 /**
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 */
128 public SMTReasoningTactic getTactic()
129 {
130 return tactic;
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 public NotificationChain basicSetTactic(SMTReasoningTactic newTactic, NotificationChain msgs)
139 {
140 SMTReasoningTactic oldTactic = tactic;
141 tactic = newTactic;
142 if (eNotificationRequired())
143 {
144 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC, oldTactic, newTactic);
145 if (msgs == null) msgs = notification; else msgs.add(notification);
146 }
147 return msgs;
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 */
155 public void setTactic(SMTReasoningTactic newTactic)
156 {
157 if (newTactic != tactic)
158 {
159 NotificationChain msgs = null;
160 if (tactic != null)
161 msgs = ((InternalEObject)tactic).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC, null, msgs);
162 if (newTactic != null)
163 msgs = ((InternalEObject)newTactic).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC, null, msgs);
164 msgs = basicSetTactic(newTactic, msgs);
165 if (msgs != null) msgs.dispatch();
166 }
167 else if (eNotificationRequired())
168 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC, newTactic, newTactic));
169 }
170
171 /**
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @generated
175 */
176 @Override
177 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
178 {
179 switch (featureID)
180 {
181 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE:
182 return basicSetProbe(null, msgs);
183 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC:
184 return basicSetTactic(null, msgs);
185 }
186 return super.eInverseRemove(otherEnd, featureID, msgs);
187 }
188
189 /**
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @generated
193 */
194 @Override
195 public Object eGet(int featureID, boolean resolve, boolean coreType)
196 {
197 switch (featureID)
198 {
199 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE:
200 return getProbe();
201 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC:
202 return getTactic();
203 }
204 return super.eGet(featureID, resolve, coreType);
205 }
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 @Override
213 public void eSet(int featureID, Object newValue)
214 {
215 switch (featureID)
216 {
217 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE:
218 setProbe((ReasoningProbe)newValue);
219 return;
220 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC:
221 setTactic((SMTReasoningTactic)newValue);
222 return;
223 }
224 super.eSet(featureID, newValue);
225 }
226
227 /**
228 * <!-- begin-user-doc -->
229 * <!-- end-user-doc -->
230 * @generated
231 */
232 @Override
233 public void eUnset(int featureID)
234 {
235 switch (featureID)
236 {
237 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE:
238 setProbe((ReasoningProbe)null);
239 return;
240 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC:
241 setTactic((SMTReasoningTactic)null);
242 return;
243 }
244 super.eUnset(featureID);
245 }
246
247 /**
248 * <!-- begin-user-doc -->
249 * <!-- end-user-doc -->
250 * @generated
251 */
252 @Override
253 public boolean eIsSet(int featureID)
254 {
255 switch (featureID)
256 {
257 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__PROBE:
258 return probe != null;
259 case SmtLanguagePackage.SMT_WHEN_COMBINATOR__TACTIC:
260 return tactic != null;
261 }
262 return super.eIsSet(featureID);
263 }
264
265} //SMTWhenCombinatorImpl
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 15:21:45 +0000