diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNorImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNorImpl.java | 265 |
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/VLSNorImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNorImpl.java new file mode 100644 index 00000000..b9d8eea4 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNorImpl.java | |||
@@ -0,0 +1,265 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.12.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | ||
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | |||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * An implementation of the model object '<em><b>VLS Nor</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.VLSNorImpl#getLeft <em>Left</em>}</li> | ||
27 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl#getRight <em>Right</em>}</li> | ||
28 | * </ul> | ||
29 | * | ||
30 | * @generated | ||
31 | */ | ||
32 | public class VLSNorImpl extends VLSTermImpl implements VLSNor | ||
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 VLSNorImpl() | ||
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_NOR; | ||
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_NOR__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_NOR__LEFT, null, msgs); | ||
114 | if (newLeft != null) | ||
115 | msgs = ((InternalEObject)newLeft).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_NOR__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_NOR__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_NOR__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_NOR__RIGHT, null, msgs); | ||
162 | if (newRight != null) | ||
163 | msgs = ((InternalEObject)newRight).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_NOR__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_NOR__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_NOR__LEFT: | ||
182 | return basicSetLeft(null, msgs); | ||
183 | case VampireLanguagePackage.VLS_NOR__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_NOR__LEFT: | ||
200 | return getLeft(); | ||
201 | case VampireLanguagePackage.VLS_NOR__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_NOR__LEFT: | ||
218 | setLeft((VLSTerm)newValue); | ||
219 | return; | ||
220 | case VampireLanguagePackage.VLS_NOR__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_NOR__LEFT: | ||
238 | setLeft((VLSTerm)null); | ||
239 | return; | ||
240 | case VampireLanguagePackage.VLS_NOR__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_NOR__LEFT: | ||
258 | return left != null; | ||
259 | case VampireLanguagePackage.VLS_NOR__RIGHT: | ||
260 | return right != null; | ||
261 | } | ||
262 | return super.eIsSet(featureID); | ||
263 | } | ||
264 | |||
265 | } //VLSNorImpl | ||