aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSEqualityImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSEqualityImpl.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSEqualityImpl.java265
1 files changed, 265 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSEqualityImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSEqualityImpl.java
new file mode 100644
index 00000000..ba729215
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSEqualityImpl.java
@@ -0,0 +1,265 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
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>VLS Equality</b></em>'.
21 * <!-- end-user-doc -->
22 * <p>
23 * The following features are implemented:
24 * </p>
25 * <ul>
26 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl#getLeft <em>Left</em>}</li>
27 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl#getRight <em>Right</em>}</li>
28 * </ul>
29 *
30 * @generated
31 */
32public class VLSEqualityImpl extends VLSTermImpl implements VLSEquality
33{
34 /**
35 * The cached value of the '{@link #getLeft() <em>Left</em>}' containment reference.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @see #getLeft()
39 * @generated
40 * @ordered
41 */
42 protected VLSTerm left;
43
44 /**
45 * The cached value of the '{@link #getRight() <em>Right</em>}' containment reference.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @see #getRight()
49 * @generated
50 * @ordered
51 */
52 protected VLSTerm right;
53
54 /**
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @generated
58 */
59 protected VLSEqualityImpl()
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 VampireLanguagePackage.Literals.VLS_EQUALITY;
73 }
74
75 /**
76 * <!-- begin-user-doc -->
77 * <!-- end-user-doc -->
78 * @generated
79 */
80 public VLSTerm getLeft()
81 {
82 return left;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 public NotificationChain basicSetLeft(VLSTerm newLeft, NotificationChain msgs)
91 {
92 VLSTerm oldLeft = left;
93 left = newLeft;
94 if (eNotificationRequired())
95 {
96 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_EQUALITY__LEFT, oldLeft, newLeft);
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 setLeft(VLSTerm newLeft)
108 {
109 if (newLeft != left)
110 {
111 NotificationChain msgs = null;
112 if (left != null)
113 msgs = ((InternalEObject)left).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_EQUALITY__LEFT, null, msgs);
114 if (newLeft != null)
115 msgs = ((InternalEObject)newLeft).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_EQUALITY__LEFT, null, msgs);
116 msgs = basicSetLeft(newLeft, msgs);
117 if (msgs != null) msgs.dispatch();
118 }
119 else if (eNotificationRequired())
120 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_EQUALITY__LEFT, newLeft, newLeft));
121 }
122
123 /**
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 */
128 public VLSTerm getRight()
129 {
130 return right;
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 public NotificationChain basicSetRight(VLSTerm newRight, NotificationChain msgs)
139 {
140 VLSTerm oldRight = right;
141 right = newRight;
142 if (eNotificationRequired())
143 {
144 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_EQUALITY__RIGHT, oldRight, newRight);
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 setRight(VLSTerm newRight)
156 {
157 if (newRight != right)
158 {
159 NotificationChain msgs = null;
160 if (right != null)
161 msgs = ((InternalEObject)right).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_EQUALITY__RIGHT, null, msgs);
162 if (newRight != null)
163 msgs = ((InternalEObject)newRight).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_EQUALITY__RIGHT, null, msgs);
164 msgs = basicSetRight(newRight, msgs);
165 if (msgs != null) msgs.dispatch();
166 }
167 else if (eNotificationRequired())
168 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_EQUALITY__RIGHT, newRight, newRight));
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 VampireLanguagePackage.VLS_EQUALITY__LEFT:
182 return basicSetLeft(null, msgs);
183 case VampireLanguagePackage.VLS_EQUALITY__RIGHT:
184 return basicSetRight(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 VampireLanguagePackage.VLS_EQUALITY__LEFT:
200 return getLeft();
201 case VampireLanguagePackage.VLS_EQUALITY__RIGHT:
202 return getRight();
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 VampireLanguagePackage.VLS_EQUALITY__LEFT:
218 setLeft((VLSTerm)newValue);
219 return;
220 case VampireLanguagePackage.VLS_EQUALITY__RIGHT:
221 setRight((VLSTerm)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 VampireLanguagePackage.VLS_EQUALITY__LEFT:
238 setLeft((VLSTerm)null);
239 return;
240 case VampireLanguagePackage.VLS_EQUALITY__RIGHT:
241 setRight((VLSTerm)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 VampireLanguagePackage.VLS_EQUALITY__LEFT:
258 return left != null;
259 case VampireLanguagePackage.VLS_EQUALITY__RIGHT:
260 return right != null;
261 }
262 return super.eIsSet(featureID);
263 }
264
265} //VLSEqualityImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 16:10:00 +0000