diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-25 04:15:39 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:49 -0400 |
commit | 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f (patch) | |
tree | 0e67f50df5b4d9a42f0075e1e19be988eae59bf9 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSImplImpl.java | |
parent | mid-measurement push (diff) | |
download | VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.tar.gz VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.tar.zst VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.zip |
VAMPIRE: post-submission push
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSImplImpl.java')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSImplImpl.java | 335 |
1 files changed, 335 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSImplImpl.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSImplImpl.java new file mode 100644 index 00000000..a16c6239 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSImplImpl.java | |||
@@ -0,0 +1,335 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; | ||
7 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
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>ALS Impl</b></em>'. | ||
20 | * <!-- end-user-doc --> | ||
21 | * <p> | ||
22 | * The following features are implemented: | ||
23 | * </p> | ||
24 | * <ul> | ||
25 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl#getLeftOperand <em>Left Operand</em>}</li> | ||
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl#getRightOperand <em>Right Operand</em>}</li> | ||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl#getElseOperand <em>Else Operand</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class ALSImplImpl extends ALSTermImpl implements ALSImpl | ||
33 | { | ||
34 | /** | ||
35 | * The cached value of the '{@link #getLeftOperand() <em>Left Operand</em>}' containment reference. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @see #getLeftOperand() | ||
39 | * @generated | ||
40 | * @ordered | ||
41 | */ | ||
42 | protected ALSTerm leftOperand; | ||
43 | |||
44 | /** | ||
45 | * The cached value of the '{@link #getRightOperand() <em>Right Operand</em>}' containment reference. | ||
46 | * <!-- begin-user-doc --> | ||
47 | * <!-- end-user-doc --> | ||
48 | * @see #getRightOperand() | ||
49 | * @generated | ||
50 | * @ordered | ||
51 | */ | ||
52 | protected ALSTerm rightOperand; | ||
53 | |||
54 | /** | ||
55 | * The cached value of the '{@link #getElseOperand() <em>Else Operand</em>}' containment reference. | ||
56 | * <!-- begin-user-doc --> | ||
57 | * <!-- end-user-doc --> | ||
58 | * @see #getElseOperand() | ||
59 | * @generated | ||
60 | * @ordered | ||
61 | */ | ||
62 | protected ALSTerm elseOperand; | ||
63 | |||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | protected ALSImplImpl() | ||
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 AlloyLanguagePackage.Literals.ALS_IMPL; | ||
83 | } | ||
84 | |||
85 | /** | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | public ALSTerm getLeftOperand() | ||
91 | { | ||
92 | return leftOperand; | ||
93 | } | ||
94 | |||
95 | /** | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @generated | ||
99 | */ | ||
100 | public NotificationChain basicSetLeftOperand(ALSTerm newLeftOperand, NotificationChain msgs) | ||
101 | { | ||
102 | ALSTerm oldLeftOperand = leftOperand; | ||
103 | leftOperand = newLeftOperand; | ||
104 | if (eNotificationRequired()) | ||
105 | { | ||
106 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND, oldLeftOperand, newLeftOperand); | ||
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 setLeftOperand(ALSTerm newLeftOperand) | ||
118 | { | ||
119 | if (newLeftOperand != leftOperand) | ||
120 | { | ||
121 | NotificationChain msgs = null; | ||
122 | if (leftOperand != null) | ||
123 | msgs = ((InternalEObject)leftOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND, null, msgs); | ||
124 | if (newLeftOperand != null) | ||
125 | msgs = ((InternalEObject)newLeftOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND, null, msgs); | ||
126 | msgs = basicSetLeftOperand(newLeftOperand, msgs); | ||
127 | if (msgs != null) msgs.dispatch(); | ||
128 | } | ||
129 | else if (eNotificationRequired()) | ||
130 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND, newLeftOperand, newLeftOperand)); | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | */ | ||
138 | public ALSTerm getRightOperand() | ||
139 | { | ||
140 | return rightOperand; | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | public NotificationChain basicSetRightOperand(ALSTerm newRightOperand, NotificationChain msgs) | ||
149 | { | ||
150 | ALSTerm oldRightOperand = rightOperand; | ||
151 | rightOperand = newRightOperand; | ||
152 | if (eNotificationRequired()) | ||
153 | { | ||
154 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND, oldRightOperand, newRightOperand); | ||
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 setRightOperand(ALSTerm newRightOperand) | ||
166 | { | ||
167 | if (newRightOperand != rightOperand) | ||
168 | { | ||
169 | NotificationChain msgs = null; | ||
170 | if (rightOperand != null) | ||
171 | msgs = ((InternalEObject)rightOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND, null, msgs); | ||
172 | if (newRightOperand != null) | ||
173 | msgs = ((InternalEObject)newRightOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND, null, msgs); | ||
174 | msgs = basicSetRightOperand(newRightOperand, msgs); | ||
175 | if (msgs != null) msgs.dispatch(); | ||
176 | } | ||
177 | else if (eNotificationRequired()) | ||
178 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND, newRightOperand, newRightOperand)); | ||
179 | } | ||
180 | |||
181 | /** | ||
182 | * <!-- begin-user-doc --> | ||
183 | * <!-- end-user-doc --> | ||
184 | * @generated | ||
185 | */ | ||
186 | public ALSTerm getElseOperand() | ||
187 | { | ||
188 | return elseOperand; | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @generated | ||
195 | */ | ||
196 | public NotificationChain basicSetElseOperand(ALSTerm newElseOperand, NotificationChain msgs) | ||
197 | { | ||
198 | ALSTerm oldElseOperand = elseOperand; | ||
199 | elseOperand = newElseOperand; | ||
200 | if (eNotificationRequired()) | ||
201 | { | ||
202 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND, oldElseOperand, newElseOperand); | ||
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 setElseOperand(ALSTerm newElseOperand) | ||
214 | { | ||
215 | if (newElseOperand != elseOperand) | ||
216 | { | ||
217 | NotificationChain msgs = null; | ||
218 | if (elseOperand != null) | ||
219 | msgs = ((InternalEObject)elseOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND, null, msgs); | ||
220 | if (newElseOperand != null) | ||
221 | msgs = ((InternalEObject)newElseOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND, null, msgs); | ||
222 | msgs = basicSetElseOperand(newElseOperand, msgs); | ||
223 | if (msgs != null) msgs.dispatch(); | ||
224 | } | ||
225 | else if (eNotificationRequired()) | ||
226 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND, newElseOperand, newElseOperand)); | ||
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 AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND: | ||
240 | return basicSetLeftOperand(null, msgs); | ||
241 | case AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND: | ||
242 | return basicSetRightOperand(null, msgs); | ||
243 | case AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND: | ||
244 | return basicSetElseOperand(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 AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND: | ||
260 | return getLeftOperand(); | ||
261 | case AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND: | ||
262 | return getRightOperand(); | ||
263 | case AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND: | ||
264 | return getElseOperand(); | ||
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 AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND: | ||
280 | setLeftOperand((ALSTerm)newValue); | ||
281 | return; | ||
282 | case AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND: | ||
283 | setRightOperand((ALSTerm)newValue); | ||
284 | return; | ||
285 | case AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND: | ||
286 | setElseOperand((ALSTerm)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 AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND: | ||
303 | setLeftOperand((ALSTerm)null); | ||
304 | return; | ||
305 | case AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND: | ||
306 | setRightOperand((ALSTerm)null); | ||
307 | return; | ||
308 | case AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND: | ||
309 | setElseOperand((ALSTerm)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 AlloyLanguagePackage.ALS_IMPL__LEFT_OPERAND: | ||
326 | return leftOperand != null; | ||
327 | case AlloyLanguagePackage.ALS_IMPL__RIGHT_OPERAND: | ||
328 | return rightOperand != null; | ||
329 | case AlloyLanguagePackage.ALS_IMPL__ELSE_OPERAND: | ||
330 | return elseOperand != null; | ||
331 | } | ||
332 | return super.eIsSet(featureID); | ||
333 | } | ||
334 | |||
335 | } //ALSImplImpl | ||