diff options
author | 2020-06-13 19:24:25 -0400 | |
---|---|---|
committer | 2020-06-13 19:24:25 -0400 | |
commit | 022a1e52e0cf20f64d9cd6685c65d945c04eaecc (patch) | |
tree | c281cd871d008ae63640fbdd9ff5739e273cb224 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSSignatureBodyImpl.java | |
parent | Merge branch 'Vampire-New' into Vampire-New (diff) | |
download | VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.gz VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.zst VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.zip |
remove Alloy solver copy
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSSignatureBodyImpl.java')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSSignatureBodyImpl.java | 438 |
1 files changed, 0 insertions, 438 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSSignatureBodyImpl.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSSignatureBodyImpl.java deleted file mode 100644 index 40452b63..00000000 --- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSSignatureBodyImpl.java +++ /dev/null | |||
@@ -1,438 +0,0 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity; | ||
7 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; | ||
8 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; | ||
9 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
10 | |||
11 | import java.util.Collection; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.Notification; | ||
14 | import org.eclipse.emf.common.notify.NotificationChain; | ||
15 | |||
16 | import org.eclipse.emf.common.util.EList; | ||
17 | |||
18 | import org.eclipse.emf.ecore.EClass; | ||
19 | import org.eclipse.emf.ecore.InternalEObject; | ||
20 | |||
21 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
22 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
23 | |||
24 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
25 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | ||
26 | import org.eclipse.emf.ecore.util.InternalEList; | ||
27 | |||
28 | /** | ||
29 | * <!-- begin-user-doc --> | ||
30 | * An implementation of the model object '<em><b>ALS Signature Body</b></em>'. | ||
31 | * <!-- end-user-doc --> | ||
32 | * <p> | ||
33 | * The following features are implemented: | ||
34 | * </p> | ||
35 | * <ul> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl#getMultiplicity <em>Multiplicity</em>}</li> | ||
37 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl#isAbstract <em>Abstract</em>}</li> | ||
38 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl#getDeclarations <em>Declarations</em>}</li> | ||
39 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl#getSupertype <em>Supertype</em>}</li> | ||
40 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl#getSuperset <em>Superset</em>}</li> | ||
41 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl#getFields <em>Fields</em>}</li> | ||
42 | * </ul> | ||
43 | * | ||
44 | * @generated | ||
45 | */ | ||
46 | public class ALSSignatureBodyImpl extends MinimalEObjectImpl.Container implements ALSSignatureBody | ||
47 | { | ||
48 | /** | ||
49 | * The default value of the '{@link #getMultiplicity() <em>Multiplicity</em>}' attribute. | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @see #getMultiplicity() | ||
53 | * @generated | ||
54 | * @ordered | ||
55 | */ | ||
56 | protected static final ALSMultiplicity MULTIPLICITY_EDEFAULT = ALSMultiplicity.ALL; | ||
57 | |||
58 | /** | ||
59 | * The cached value of the '{@link #getMultiplicity() <em>Multiplicity</em>}' attribute. | ||
60 | * <!-- begin-user-doc --> | ||
61 | * <!-- end-user-doc --> | ||
62 | * @see #getMultiplicity() | ||
63 | * @generated | ||
64 | * @ordered | ||
65 | */ | ||
66 | protected ALSMultiplicity multiplicity = MULTIPLICITY_EDEFAULT; | ||
67 | |||
68 | /** | ||
69 | * The default value of the '{@link #isAbstract() <em>Abstract</em>}' attribute. | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <!-- end-user-doc --> | ||
72 | * @see #isAbstract() | ||
73 | * @generated | ||
74 | * @ordered | ||
75 | */ | ||
76 | protected static final boolean ABSTRACT_EDEFAULT = false; | ||
77 | |||
78 | /** | ||
79 | * The cached value of the '{@link #isAbstract() <em>Abstract</em>}' attribute. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @see #isAbstract() | ||
83 | * @generated | ||
84 | * @ordered | ||
85 | */ | ||
86 | protected boolean abstract_ = ABSTRACT_EDEFAULT; | ||
87 | |||
88 | /** | ||
89 | * The cached value of the '{@link #getDeclarations() <em>Declarations</em>}' containment reference list. | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @see #getDeclarations() | ||
93 | * @generated | ||
94 | * @ordered | ||
95 | */ | ||
96 | protected EList<ALSSignatureDeclaration> declarations; | ||
97 | |||
98 | /** | ||
99 | * The cached value of the '{@link #getSupertype() <em>Supertype</em>}' reference. | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @see #getSupertype() | ||
103 | * @generated | ||
104 | * @ordered | ||
105 | */ | ||
106 | protected ALSSignatureDeclaration supertype; | ||
107 | |||
108 | /** | ||
109 | * The cached value of the '{@link #getSuperset() <em>Superset</em>}' reference list. | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @see #getSuperset() | ||
113 | * @generated | ||
114 | * @ordered | ||
115 | */ | ||
116 | protected EList<ALSSignatureDeclaration> superset; | ||
117 | |||
118 | /** | ||
119 | * The cached value of the '{@link #getFields() <em>Fields</em>}' containment reference list. | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @see #getFields() | ||
123 | * @generated | ||
124 | * @ordered | ||
125 | */ | ||
126 | protected EList<ALSFieldDeclaration> fields; | ||
127 | |||
128 | /** | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @generated | ||
132 | */ | ||
133 | protected ALSSignatureBodyImpl() | ||
134 | { | ||
135 | super(); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | protected EClass eStaticClass() | ||
145 | { | ||
146 | return AlloyLanguagePackage.Literals.ALS_SIGNATURE_BODY; | ||
147 | } | ||
148 | |||
149 | /** | ||
150 | * <!-- begin-user-doc --> | ||
151 | * <!-- end-user-doc --> | ||
152 | * @generated | ||
153 | */ | ||
154 | public ALSMultiplicity getMultiplicity() | ||
155 | { | ||
156 | return multiplicity; | ||
157 | } | ||
158 | |||
159 | /** | ||
160 | * <!-- begin-user-doc --> | ||
161 | * <!-- end-user-doc --> | ||
162 | * @generated | ||
163 | */ | ||
164 | public void setMultiplicity(ALSMultiplicity newMultiplicity) | ||
165 | { | ||
166 | ALSMultiplicity oldMultiplicity = multiplicity; | ||
167 | multiplicity = newMultiplicity == null ? MULTIPLICITY_EDEFAULT : newMultiplicity; | ||
168 | if (eNotificationRequired()) | ||
169 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_SIGNATURE_BODY__MULTIPLICITY, oldMultiplicity, multiplicity)); | ||
170 | } | ||
171 | |||
172 | /** | ||
173 | * <!-- begin-user-doc --> | ||
174 | * <!-- end-user-doc --> | ||
175 | * @generated | ||
176 | */ | ||
177 | public boolean isAbstract() | ||
178 | { | ||
179 | return abstract_; | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | public void setAbstract(boolean newAbstract) | ||
188 | { | ||
189 | boolean oldAbstract = abstract_; | ||
190 | abstract_ = newAbstract; | ||
191 | if (eNotificationRequired()) | ||
192 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_SIGNATURE_BODY__ABSTRACT, oldAbstract, abstract_)); | ||
193 | } | ||
194 | |||
195 | /** | ||
196 | * <!-- begin-user-doc --> | ||
197 | * <!-- end-user-doc --> | ||
198 | * @generated | ||
199 | */ | ||
200 | public EList<ALSSignatureDeclaration> getDeclarations() | ||
201 | { | ||
202 | if (declarations == null) | ||
203 | { | ||
204 | declarations = new EObjectContainmentEList<ALSSignatureDeclaration>(ALSSignatureDeclaration.class, this, AlloyLanguagePackage.ALS_SIGNATURE_BODY__DECLARATIONS); | ||
205 | } | ||
206 | return declarations; | ||
207 | } | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | public ALSSignatureDeclaration getSupertype() | ||
215 | { | ||
216 | if (supertype != null && supertype.eIsProxy()) | ||
217 | { | ||
218 | InternalEObject oldSupertype = (InternalEObject)supertype; | ||
219 | supertype = (ALSSignatureDeclaration)eResolveProxy(oldSupertype); | ||
220 | if (supertype != oldSupertype) | ||
221 | { | ||
222 | if (eNotificationRequired()) | ||
223 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERTYPE, oldSupertype, supertype)); | ||
224 | } | ||
225 | } | ||
226 | return supertype; | ||
227 | } | ||
228 | |||
229 | /** | ||
230 | * <!-- begin-user-doc --> | ||
231 | * <!-- end-user-doc --> | ||
232 | * @generated | ||
233 | */ | ||
234 | public ALSSignatureDeclaration basicGetSupertype() | ||
235 | { | ||
236 | return supertype; | ||
237 | } | ||
238 | |||
239 | /** | ||
240 | * <!-- begin-user-doc --> | ||
241 | * <!-- end-user-doc --> | ||
242 | * @generated | ||
243 | */ | ||
244 | public void setSupertype(ALSSignatureDeclaration newSupertype) | ||
245 | { | ||
246 | ALSSignatureDeclaration oldSupertype = supertype; | ||
247 | supertype = newSupertype; | ||
248 | if (eNotificationRequired()) | ||
249 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERTYPE, oldSupertype, supertype)); | ||
250 | } | ||
251 | |||
252 | /** | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @generated | ||
256 | */ | ||
257 | public EList<ALSSignatureDeclaration> getSuperset() | ||
258 | { | ||
259 | if (superset == null) | ||
260 | { | ||
261 | superset = new EObjectResolvingEList<ALSSignatureDeclaration>(ALSSignatureDeclaration.class, this, AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERSET); | ||
262 | } | ||
263 | return superset; | ||
264 | } | ||
265 | |||
266 | /** | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @generated | ||
270 | */ | ||
271 | public EList<ALSFieldDeclaration> getFields() | ||
272 | { | ||
273 | if (fields == null) | ||
274 | { | ||
275 | fields = new EObjectContainmentEList<ALSFieldDeclaration>(ALSFieldDeclaration.class, this, AlloyLanguagePackage.ALS_SIGNATURE_BODY__FIELDS); | ||
276 | } | ||
277 | return fields; | ||
278 | } | ||
279 | |||
280 | /** | ||
281 | * <!-- begin-user-doc --> | ||
282 | * <!-- end-user-doc --> | ||
283 | * @generated | ||
284 | */ | ||
285 | @Override | ||
286 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) | ||
287 | { | ||
288 | switch (featureID) | ||
289 | { | ||
290 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__DECLARATIONS: | ||
291 | return ((InternalEList<?>)getDeclarations()).basicRemove(otherEnd, msgs); | ||
292 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__FIELDS: | ||
293 | return ((InternalEList<?>)getFields()).basicRemove(otherEnd, msgs); | ||
294 | } | ||
295 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
296 | } | ||
297 | |||
298 | /** | ||
299 | * <!-- begin-user-doc --> | ||
300 | * <!-- end-user-doc --> | ||
301 | * @generated | ||
302 | */ | ||
303 | @Override | ||
304 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
305 | { | ||
306 | switch (featureID) | ||
307 | { | ||
308 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__MULTIPLICITY: | ||
309 | return getMultiplicity(); | ||
310 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__ABSTRACT: | ||
311 | return isAbstract(); | ||
312 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__DECLARATIONS: | ||
313 | return getDeclarations(); | ||
314 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERTYPE: | ||
315 | if (resolve) return getSupertype(); | ||
316 | return basicGetSupertype(); | ||
317 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERSET: | ||
318 | return getSuperset(); | ||
319 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__FIELDS: | ||
320 | return getFields(); | ||
321 | } | ||
322 | return super.eGet(featureID, resolve, coreType); | ||
323 | } | ||
324 | |||
325 | /** | ||
326 | * <!-- begin-user-doc --> | ||
327 | * <!-- end-user-doc --> | ||
328 | * @generated | ||
329 | */ | ||
330 | @SuppressWarnings("unchecked") | ||
331 | @Override | ||
332 | public void eSet(int featureID, Object newValue) | ||
333 | { | ||
334 | switch (featureID) | ||
335 | { | ||
336 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__MULTIPLICITY: | ||
337 | setMultiplicity((ALSMultiplicity)newValue); | ||
338 | return; | ||
339 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__ABSTRACT: | ||
340 | setAbstract((Boolean)newValue); | ||
341 | return; | ||
342 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__DECLARATIONS: | ||
343 | getDeclarations().clear(); | ||
344 | getDeclarations().addAll((Collection<? extends ALSSignatureDeclaration>)newValue); | ||
345 | return; | ||
346 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERTYPE: | ||
347 | setSupertype((ALSSignatureDeclaration)newValue); | ||
348 | return; | ||
349 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERSET: | ||
350 | getSuperset().clear(); | ||
351 | getSuperset().addAll((Collection<? extends ALSSignatureDeclaration>)newValue); | ||
352 | return; | ||
353 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__FIELDS: | ||
354 | getFields().clear(); | ||
355 | getFields().addAll((Collection<? extends ALSFieldDeclaration>)newValue); | ||
356 | return; | ||
357 | } | ||
358 | super.eSet(featureID, newValue); | ||
359 | } | ||
360 | |||
361 | /** | ||
362 | * <!-- begin-user-doc --> | ||
363 | * <!-- end-user-doc --> | ||
364 | * @generated | ||
365 | */ | ||
366 | @Override | ||
367 | public void eUnset(int featureID) | ||
368 | { | ||
369 | switch (featureID) | ||
370 | { | ||
371 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__MULTIPLICITY: | ||
372 | setMultiplicity(MULTIPLICITY_EDEFAULT); | ||
373 | return; | ||
374 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__ABSTRACT: | ||
375 | setAbstract(ABSTRACT_EDEFAULT); | ||
376 | return; | ||
377 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__DECLARATIONS: | ||
378 | getDeclarations().clear(); | ||
379 | return; | ||
380 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERTYPE: | ||
381 | setSupertype((ALSSignatureDeclaration)null); | ||
382 | return; | ||
383 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERSET: | ||
384 | getSuperset().clear(); | ||
385 | return; | ||
386 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__FIELDS: | ||
387 | getFields().clear(); | ||
388 | return; | ||
389 | } | ||
390 | super.eUnset(featureID); | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * <!-- begin-user-doc --> | ||
395 | * <!-- end-user-doc --> | ||
396 | * @generated | ||
397 | */ | ||
398 | @Override | ||
399 | public boolean eIsSet(int featureID) | ||
400 | { | ||
401 | switch (featureID) | ||
402 | { | ||
403 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__MULTIPLICITY: | ||
404 | return multiplicity != MULTIPLICITY_EDEFAULT; | ||
405 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__ABSTRACT: | ||
406 | return abstract_ != ABSTRACT_EDEFAULT; | ||
407 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__DECLARATIONS: | ||
408 | return declarations != null && !declarations.isEmpty(); | ||
409 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERTYPE: | ||
410 | return supertype != null; | ||
411 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__SUPERSET: | ||
412 | return superset != null && !superset.isEmpty(); | ||
413 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY__FIELDS: | ||
414 | return fields != null && !fields.isEmpty(); | ||
415 | } | ||
416 | return super.eIsSet(featureID); | ||
417 | } | ||
418 | |||
419 | /** | ||
420 | * <!-- begin-user-doc --> | ||
421 | * <!-- end-user-doc --> | ||
422 | * @generated | ||
423 | */ | ||
424 | @Override | ||
425 | public String toString() | ||
426 | { | ||
427 | if (eIsProxy()) return super.toString(); | ||
428 | |||
429 | StringBuffer result = new StringBuffer(super.toString()); | ||
430 | result.append(" (multiplicity: "); | ||
431 | result.append(multiplicity); | ||
432 | result.append(", abstract: "); | ||
433 | result.append(abstract_); | ||
434 | result.append(')'); | ||
435 | return result.toString(); | ||
436 | } | ||
437 | |||
438 | } //ALSSignatureBodyImpl | ||