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.java246
1 files changed, 246 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..ea3dabc7
--- /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,246 @@
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.VLSFofFormula;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
11
12import java.util.Collection;
13
14import org.eclipse.emf.common.notify.NotificationChain;
15
16import org.eclipse.emf.common.util.EList;
17
18import org.eclipse.emf.ecore.EClass;
19import org.eclipse.emf.ecore.InternalEObject;
20
21import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
22
23import org.eclipse.emf.ecore.util.EObjectContainmentEList;
24import org.eclipse.emf.ecore.util.InternalEList;
25
26/**
27 * <!-- begin-user-doc -->
28 * An implementation of the model object '<em><b>Vampire Model</b></em>'.
29 * <!-- end-user-doc -->
30 * <p>
31 * The following features are implemented:
32 * </p>
33 * <ul>
34 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li>
35 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li>
36 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li>
37 * </ul>
38 *
39 * @generated
40 */
41public class VampireModelImpl extends MinimalEObjectImpl.Container implements VampireModel
42{
43 /**
44 * The cached value of the '{@link #getIncludes() <em>Includes</em>}' containment reference list.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @see #getIncludes()
48 * @generated
49 * @ordered
50 */
51 protected EList<VLSInclude> includes;
52
53 /**
54 * The cached value of the '{@link #getComments() <em>Comments</em>}' containment reference list.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @see #getComments()
58 * @generated
59 * @ordered
60 */
61 protected EList<VLSComment> comments;
62
63 /**
64 * The cached value of the '{@link #getFormulas() <em>Formulas</em>}' containment reference list.
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @see #getFormulas()
68 * @generated
69 * @ordered
70 */
71 protected EList<VLSFofFormula> formulas;
72
73 /**
74 * <!-- begin-user-doc -->
75 * <!-- end-user-doc -->
76 * @generated
77 */
78 protected VampireModelImpl()
79 {
80 super();
81 }
82
83 /**
84 * <!-- begin-user-doc -->
85 * <!-- end-user-doc -->
86 * @generated
87 */
88 @Override
89 protected EClass eStaticClass()
90 {
91 return VampireLanguagePackage.Literals.VAMPIRE_MODEL;
92 }
93
94 /**
95 * <!-- begin-user-doc -->
96 * <!-- end-user-doc -->
97 * @generated
98 */
99 public EList<VLSInclude> getIncludes()
100 {
101 if (includes == null)
102 {
103 includes = new EObjectContainmentEList<VLSInclude>(VLSInclude.class, this, VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES);
104 }
105 return includes;
106 }
107
108 /**
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 */
113 public EList<VLSComment> getComments()
114 {
115 if (comments == null)
116 {
117 comments = new EObjectContainmentEList<VLSComment>(VLSComment.class, this, VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS);
118 }
119 return comments;
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 public EList<VLSFofFormula> getFormulas()
128 {
129 if (formulas == null)
130 {
131 formulas = new EObjectContainmentEList<VLSFofFormula>(VLSFofFormula.class, this, VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS);
132 }
133 return formulas;
134 }
135
136 /**
137 * <!-- begin-user-doc -->
138 * <!-- end-user-doc -->
139 * @generated
140 */
141 @Override
142 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
143 {
144 switch (featureID)
145 {
146 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
147 return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs);
148 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
149 return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs);
150 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
151 return ((InternalEList<?>)getFormulas()).basicRemove(otherEnd, msgs);
152 }
153 return super.eInverseRemove(otherEnd, featureID, msgs);
154 }
155
156 /**
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @generated
160 */
161 @Override
162 public Object eGet(int featureID, boolean resolve, boolean coreType)
163 {
164 switch (featureID)
165 {
166 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
167 return getIncludes();
168 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
169 return getComments();
170 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
171 return getFormulas();
172 }
173 return super.eGet(featureID, resolve, coreType);
174 }
175
176 /**
177 * <!-- begin-user-doc -->
178 * <!-- end-user-doc -->
179 * @generated
180 */
181 @SuppressWarnings("unchecked")
182 @Override
183 public void eSet(int featureID, Object newValue)
184 {
185 switch (featureID)
186 {
187 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
188 getIncludes().clear();
189 getIncludes().addAll((Collection<? extends VLSInclude>)newValue);
190 return;
191 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
192 getComments().clear();
193 getComments().addAll((Collection<? extends VLSComment>)newValue);
194 return;
195 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
196 getFormulas().clear();
197 getFormulas().addAll((Collection<? extends VLSFofFormula>)newValue);
198 return;
199 }
200 super.eSet(featureID, newValue);
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public void eUnset(int featureID)
210 {
211 switch (featureID)
212 {
213 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
214 getIncludes().clear();
215 return;
216 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
217 getComments().clear();
218 return;
219 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
220 getFormulas().clear();
221 return;
222 }
223 super.eUnset(featureID);
224 }
225
226 /**
227 * <!-- begin-user-doc -->
228 * <!-- end-user-doc -->
229 * @generated
230 */
231 @Override
232 public boolean eIsSet(int featureID)
233 {
234 switch (featureID)
235 {
236 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
237 return includes != null && !includes.isEmpty();
238 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
239 return comments != null && !comments.isEmpty();
240 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
241 return formulas != null && !formulas.isEmpty();
242 }
243 return super.eIsSet(featureID);
244 }
245
246} //VampireModelImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-04 22:14:37 +0000