aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-01-15 12:44:33 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-01-15 12:44:33 -0500
commit20f131a3f09edf8e1455f20b4f486629147e7eff (patch)
tree690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java
parentViatraSolver as default (diff)
downloadVIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz
VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst
VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip
Initial workspace setup
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java394
1 files changed, 394 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java
new file mode 100644
index 00000000..beef8908
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFofFormulaImpl.java
@@ -0,0 +1,394 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
19
20/**
21 * <!-- begin-user-doc -->
22 * An implementation of the model object '<em><b>VLS Fof Formula</b></em>'.
23 * <!-- end-user-doc -->
24 * <p>
25 * The following features are implemented:
26 * </p>
27 * <ul>
28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl#getName <em>Name</em>}</li>
29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl#getFofRole <em>Fof Role</em>}</li>
30 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl#getFofFormula <em>Fof Formula</em>}</li>
31 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl#getAnnotations <em>Annotations</em>}</li>
32 * </ul>
33 *
34 * @generated
35 */
36public class VLSFofFormulaImpl extends MinimalEObjectImpl.Container implements VLSFofFormula
37{
38 /**
39 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getName()
43 * @generated
44 * @ordered
45 */
46 protected static final String NAME_EDEFAULT = null;
47
48 /**
49 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @see #getName()
53 * @generated
54 * @ordered
55 */
56 protected String name = NAME_EDEFAULT;
57
58 /**
59 * The default value of the '{@link #getFofRole() <em>Fof Role</em>}' attribute.
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @see #getFofRole()
63 * @generated
64 * @ordered
65 */
66 protected static final String FOF_ROLE_EDEFAULT = null;
67
68 /**
69 * The cached value of the '{@link #getFofRole() <em>Fof Role</em>}' attribute.
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @see #getFofRole()
73 * @generated
74 * @ordered
75 */
76 protected String fofRole = FOF_ROLE_EDEFAULT;
77
78 /**
79 * The cached value of the '{@link #getFofFormula() <em>Fof Formula</em>}' containment reference.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @see #getFofFormula()
83 * @generated
84 * @ordered
85 */
86 protected VLSTerm fofFormula;
87
88 /**
89 * The cached value of the '{@link #getAnnotations() <em>Annotations</em>}' containment reference.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @see #getAnnotations()
93 * @generated
94 * @ordered
95 */
96 protected VLSAnnotation annotations;
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 protected VLSFofFormulaImpl()
104 {
105 super();
106 }
107
108 /**
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 */
113 @Override
114 protected EClass eStaticClass()
115 {
116 return VampireLanguagePackage.Literals.VLS_FOF_FORMULA;
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 public String getName()
125 {
126 return name;
127 }
128
129 /**
130 * <!-- begin-user-doc -->
131 * <!-- end-user-doc -->
132 * @generated
133 */
134 public void setName(String newName)
135 {
136 String oldName = name;
137 name = newName;
138 if (eNotificationRequired())
139 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FOF_FORMULA__NAME, oldName, name));
140 }
141
142 /**
143 * <!-- begin-user-doc -->
144 * <!-- end-user-doc -->
145 * @generated
146 */
147 public String getFofRole()
148 {
149 return fofRole;
150 }
151
152 /**
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 */
157 public void setFofRole(String newFofRole)
158 {
159 String oldFofRole = fofRole;
160 fofRole = newFofRole;
161 if (eNotificationRequired())
162 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FOF_FORMULA__FOF_ROLE, oldFofRole, fofRole));
163 }
164
165 /**
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 */
170 public VLSTerm getFofFormula()
171 {
172 return fofFormula;
173 }
174
175 /**
176 * <!-- begin-user-doc -->
177 * <!-- end-user-doc -->
178 * @generated
179 */
180 public NotificationChain basicSetFofFormula(VLSTerm newFofFormula, NotificationChain msgs)
181 {
182 VLSTerm oldFofFormula = fofFormula;
183 fofFormula = newFofFormula;
184 if (eNotificationRequired())
185 {
186 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA, oldFofFormula, newFofFormula);
187 if (msgs == null) msgs = notification; else msgs.add(notification);
188 }
189 return msgs;
190 }
191
192 /**
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @generated
196 */
197 public void setFofFormula(VLSTerm newFofFormula)
198 {
199 if (newFofFormula != fofFormula)
200 {
201 NotificationChain msgs = null;
202 if (fofFormula != null)
203 msgs = ((InternalEObject)fofFormula).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA, null, msgs);
204 if (newFofFormula != null)
205 msgs = ((InternalEObject)newFofFormula).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA, null, msgs);
206 msgs = basicSetFofFormula(newFofFormula, msgs);
207 if (msgs != null) msgs.dispatch();
208 }
209 else if (eNotificationRequired())
210 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA, newFofFormula, newFofFormula));
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 public VLSAnnotation getAnnotations()
219 {
220 return annotations;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 public NotificationChain basicSetAnnotations(VLSAnnotation newAnnotations, NotificationChain msgs)
229 {
230 VLSAnnotation oldAnnotations = annotations;
231 annotations = newAnnotations;
232 if (eNotificationRequired())
233 {
234 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS, oldAnnotations, newAnnotations);
235 if (msgs == null) msgs = notification; else msgs.add(notification);
236 }
237 return msgs;
238 }
239
240 /**
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 */
245 public void setAnnotations(VLSAnnotation newAnnotations)
246 {
247 if (newAnnotations != annotations)
248 {
249 NotificationChain msgs = null;
250 if (annotations != null)
251 msgs = ((InternalEObject)annotations).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS, null, msgs);
252 if (newAnnotations != null)
253 msgs = ((InternalEObject)newAnnotations).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS, null, msgs);
254 msgs = basicSetAnnotations(newAnnotations, msgs);
255 if (msgs != null) msgs.dispatch();
256 }
257 else if (eNotificationRequired())
258 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS, newAnnotations, newAnnotations));
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 @Override
267 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
268 {
269 switch (featureID)
270 {
271 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA:
272 return basicSetFofFormula(null, msgs);
273 case VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS:
274 return basicSetAnnotations(null, msgs);
275 }
276 return super.eInverseRemove(otherEnd, featureID, msgs);
277 }
278
279 /**
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 */
284 @Override
285 public Object eGet(int featureID, boolean resolve, boolean coreType)
286 {
287 switch (featureID)
288 {
289 case VampireLanguagePackage.VLS_FOF_FORMULA__NAME:
290 return getName();
291 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_ROLE:
292 return getFofRole();
293 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA:
294 return getFofFormula();
295 case VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS:
296 return getAnnotations();
297 }
298 return super.eGet(featureID, resolve, coreType);
299 }
300
301 /**
302 * <!-- begin-user-doc -->
303 * <!-- end-user-doc -->
304 * @generated
305 */
306 @Override
307 public void eSet(int featureID, Object newValue)
308 {
309 switch (featureID)
310 {
311 case VampireLanguagePackage.VLS_FOF_FORMULA__NAME:
312 setName((String)newValue);
313 return;
314 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_ROLE:
315 setFofRole((String)newValue);
316 return;
317 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA:
318 setFofFormula((VLSTerm)newValue);
319 return;
320 case VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS:
321 setAnnotations((VLSAnnotation)newValue);
322 return;
323 }
324 super.eSet(featureID, newValue);
325 }
326
327 /**
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @generated
331 */
332 @Override
333 public void eUnset(int featureID)
334 {
335 switch (featureID)
336 {
337 case VampireLanguagePackage.VLS_FOF_FORMULA__NAME:
338 setName(NAME_EDEFAULT);
339 return;
340 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_ROLE:
341 setFofRole(FOF_ROLE_EDEFAULT);
342 return;
343 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA:
344 setFofFormula((VLSTerm)null);
345 return;
346 case VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS:
347 setAnnotations((VLSAnnotation)null);
348 return;
349 }
350 super.eUnset(featureID);
351 }
352
353 /**
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 */
358 @Override
359 public boolean eIsSet(int featureID)
360 {
361 switch (featureID)
362 {
363 case VampireLanguagePackage.VLS_FOF_FORMULA__NAME:
364 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
365 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_ROLE:
366 return FOF_ROLE_EDEFAULT == null ? fofRole != null : !FOF_ROLE_EDEFAULT.equals(fofRole);
367 case VampireLanguagePackage.VLS_FOF_FORMULA__FOF_FORMULA:
368 return fofFormula != null;
369 case VampireLanguagePackage.VLS_FOF_FORMULA__ANNOTATIONS:
370 return annotations != null;
371 }
372 return super.eIsSet(featureID);
373 }
374
375 /**
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 */
380 @Override
381 public String toString()
382 {
383 if (eIsProxy()) return super.toString();
384
385 StringBuffer result = new StringBuffer(super.toString());
386 result.append(" (name: ");
387 result.append(name);
388 result.append(", fofRole: ");
389 result.append(fofRole);
390 result.append(')');
391 return result.toString();
392 }
393
394} //VLSFofFormulaImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:30:56 +0000