diff options
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.java | 335 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm; | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
8 | |||
9 | import org.eclipse.emf.common.notify.Notification; | ||
10 | import org.eclipse.emf.common.notify.NotificationChain; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EClass; | ||
13 | import org.eclipse.emf.ecore.InternalEObject; | ||
14 | |||
15 | import 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 | */ | ||
32 | public 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 | ||