aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.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/VampireModelImpl.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java324
1 files changed, 324 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
new file mode 100644
index 00000000..05b3086c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
@@ -0,0 +1,324 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
13
14import java.util.Collection;
15
16import org.eclipse.emf.common.notify.NotificationChain;
17
18import org.eclipse.emf.common.util.EList;
19
20import org.eclipse.emf.ecore.EClass;
21import org.eclipse.emf.ecore.InternalEObject;
22
23import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
24
25import org.eclipse.emf.ecore.util.EObjectContainmentEList;
26import org.eclipse.emf.ecore.util.InternalEList;
27
28/**
29 * <!-- begin-user-doc -->
30 * An implementation of the model object '<em><b>Vampire Model</b></em>'.
31 * <!-- end-user-doc -->
32 * <p>
33 * The following features are implemented:
34 * </p>
35 * <ul>
36 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li>
37 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li>
38 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getConfirmations <em>Confirmations</em>}</li>
39 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li>
40 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getTfformulas <em>Tfformulas</em>}</li>
41 * </ul>
42 *
43 * @generated
44 */
45public class VampireModelImpl extends MinimalEObjectImpl.Container implements VampireModel
46{
47 /**
48 * The cached value of the '{@link #getIncludes() <em>Includes</em>}' containment reference list.
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @see #getIncludes()
52 * @generated
53 * @ordered
54 */
55 protected EList<VLSInclude> includes;
56
57 /**
58 * The cached value of the '{@link #getComments() <em>Comments</em>}' containment reference list.
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @see #getComments()
62 * @generated
63 * @ordered
64 */
65 protected EList<VLSComment> comments;
66
67 /**
68 * The cached value of the '{@link #getConfirmations() <em>Confirmations</em>}' containment reference list.
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @see #getConfirmations()
72 * @generated
73 * @ordered
74 */
75 protected EList<VLSConfirmations> confirmations;
76
77 /**
78 * The cached value of the '{@link #getFormulas() <em>Formulas</em>}' containment reference list.
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @see #getFormulas()
82 * @generated
83 * @ordered
84 */
85 protected EList<VLSFofFormula> formulas;
86
87 /**
88 * The cached value of the '{@link #getTfformulas() <em>Tfformulas</em>}' containment reference list.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @see #getTfformulas()
92 * @generated
93 * @ordered
94 */
95 protected EList<VLSTffFormula> tfformulas;
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 protected VampireModelImpl()
103 {
104 super();
105 }
106
107 /**
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 */
112 @Override
113 protected EClass eStaticClass()
114 {
115 return VampireLanguagePackage.Literals.VAMPIRE_MODEL;
116 }
117
118 /**
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 */
123 public EList<VLSInclude> getIncludes()
124 {
125 if (includes == null)
126 {
127 includes = new EObjectContainmentEList<VLSInclude>(VLSInclude.class, this, VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES);
128 }
129 return includes;
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 public EList<VLSComment> getComments()
138 {
139 if (comments == null)
140 {
141 comments = new EObjectContainmentEList<VLSComment>(VLSComment.class, this, VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS);
142 }
143 return comments;
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 public EList<VLSConfirmations> getConfirmations()
152 {
153 if (confirmations == null)
154 {
155 confirmations = new EObjectContainmentEList<VLSConfirmations>(VLSConfirmations.class, this, VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS);
156 }
157 return confirmations;
158 }
159
160 /**
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @generated
164 */
165 public EList<VLSFofFormula> getFormulas()
166 {
167 if (formulas == null)
168 {
169 formulas = new EObjectContainmentEList<VLSFofFormula>(VLSFofFormula.class, this, VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS);
170 }
171 return formulas;
172 }
173
174 /**
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 */
179 public EList<VLSTffFormula> getTfformulas()
180 {
181 if (tfformulas == null)
182 {
183 tfformulas = new EObjectContainmentEList<VLSTffFormula>(VLSTffFormula.class, this, VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS);
184 }
185 return tfformulas;
186 }
187
188 /**
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 */
193 @Override
194 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
195 {
196 switch (featureID)
197 {
198 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
199 return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs);
200 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
201 return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs);
202 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
203 return ((InternalEList<?>)getConfirmations()).basicRemove(otherEnd, msgs);
204 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
205 return ((InternalEList<?>)getFormulas()).basicRemove(otherEnd, msgs);
206 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
207 return ((InternalEList<?>)getTfformulas()).basicRemove(otherEnd, msgs);
208 }
209 return super.eInverseRemove(otherEnd, featureID, msgs);
210 }
211
212 /**
213 * <!-- begin-user-doc -->
214 * <!-- end-user-doc -->
215 * @generated
216 */
217 @Override
218 public Object eGet(int featureID, boolean resolve, boolean coreType)
219 {
220 switch (featureID)
221 {
222 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
223 return getIncludes();
224 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
225 return getComments();
226 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
227 return getConfirmations();
228 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
229 return getFormulas();
230 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
231 return getTfformulas();
232 }
233 return super.eGet(featureID, resolve, coreType);
234 }
235
236 /**
237 * <!-- begin-user-doc -->
238 * <!-- end-user-doc -->
239 * @generated
240 */
241 @SuppressWarnings("unchecked")
242 @Override
243 public void eSet(int featureID, Object newValue)
244 {
245 switch (featureID)
246 {
247 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
248 getIncludes().clear();
249 getIncludes().addAll((Collection<? extends VLSInclude>)newValue);
250 return;
251 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
252 getComments().clear();
253 getComments().addAll((Collection<? extends VLSComment>)newValue);
254 return;
255 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
256 getConfirmations().clear();
257 getConfirmations().addAll((Collection<? extends VLSConfirmations>)newValue);
258 return;
259 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
260 getFormulas().clear();
261 getFormulas().addAll((Collection<? extends VLSFofFormula>)newValue);
262 return;
263 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
264 getTfformulas().clear();
265 getTfformulas().addAll((Collection<? extends VLSTffFormula>)newValue);
266 return;
267 }
268 super.eSet(featureID, newValue);
269 }
270
271 /**
272 * <!-- begin-user-doc -->
273 * <!-- end-user-doc -->
274 * @generated
275 */
276 @Override
277 public void eUnset(int featureID)
278 {
279 switch (featureID)
280 {
281 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
282 getIncludes().clear();
283 return;
284 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
285 getComments().clear();
286 return;
287 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
288 getConfirmations().clear();
289 return;
290 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
291 getFormulas().clear();
292 return;
293 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
294 getTfformulas().clear();
295 return;
296 }
297 super.eUnset(featureID);
298 }
299
300 /**
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 */
305 @Override
306 public boolean eIsSet(int featureID)
307 {
308 switch (featureID)
309 {
310 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
311 return includes != null && !includes.isEmpty();
312 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
313 return comments != null && !comments.isEmpty();
314 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
315 return confirmations != null && !confirmations.isEmpty();
316 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
317 return formulas != null && !formulas.isEmpty();
318 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
319 return tfformulas != null && !tfformulas.isEmpty();
320 }
321 return super.eIsSet(featureID);
322 }
323
324} //VampireModelImpl
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-16 09:54:47 +0000