diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
commit | 771e3773bb7ebbf6712724cb2b248467c9cc2e3c (patch) | |
tree | b1724af24b9c583b2780c7a2fe76e76fd174359d /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl | |
parent | Update solver language grammar (diff) | |
download | VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.gz VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.zst VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.zip |
Synthetic tokens for solver language
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl')
5 files changed, 495 insertions, 416 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java index fde31be5..01712ad3 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java | |||
@@ -25,9 +25,9 @@ import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | |||
25 | * </p> | 25 | * </p> |
26 | * <ul> | 26 | * <ul> |
27 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getFunctor <em>Functor</em>}</li> | 27 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getFunctor <em>Functor</em>}</li> |
28 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getArgumentList <em>Argument List</em>}</li> | ||
29 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#isTransitiveClosure <em>Transitive Closure</em>}</li> | 28 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#isTransitiveClosure <em>Transitive Closure</em>}</li> |
30 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}</li> | 29 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}</li> |
30 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getArgumentList <em>Argument List</em>}</li> | ||
31 | * </ul> | 31 | * </ul> |
32 | * | 32 | * |
33 | * @generated | 33 | * @generated |
@@ -45,16 +45,6 @@ public class CallImpl extends ExpressionImpl implements Call | |||
45 | protected Reference functor; | 45 | protected Reference functor; |
46 | 46 | ||
47 | /** | 47 | /** |
48 | * The cached value of the '{@link #getArgumentList() <em>Argument List</em>}' containment reference. | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @see #getArgumentList() | ||
52 | * @generated | ||
53 | * @ordered | ||
54 | */ | ||
55 | protected ArgumentList argumentList; | ||
56 | |||
57 | /** | ||
58 | * The default value of the '{@link #isTransitiveClosure() <em>Transitive Closure</em>}' attribute. | 48 | * The default value of the '{@link #isTransitiveClosure() <em>Transitive Closure</em>}' attribute. |
59 | * <!-- begin-user-doc --> | 49 | * <!-- begin-user-doc --> |
60 | * <!-- end-user-doc --> | 50 | * <!-- end-user-doc --> |
@@ -95,6 +85,16 @@ public class CallImpl extends ExpressionImpl implements Call | |||
95 | protected boolean reflexiveTransitiveClosure = REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT; | 85 | protected boolean reflexiveTransitiveClosure = REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT; |
96 | 86 | ||
97 | /** | 87 | /** |
88 | * The cached value of the '{@link #getArgumentList() <em>Argument List</em>}' containment reference. | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @see #getArgumentList() | ||
92 | * @generated | ||
93 | * @ordered | ||
94 | */ | ||
95 | protected ArgumentList argumentList; | ||
96 | |||
97 | /** | ||
98 | * <!-- begin-user-doc --> | 98 | * <!-- begin-user-doc --> |
99 | * <!-- end-user-doc --> | 99 | * <!-- end-user-doc --> |
100 | * @generated | 100 | * @generated |
@@ -171,9 +171,9 @@ public class CallImpl extends ExpressionImpl implements Call | |||
171 | * @generated | 171 | * @generated |
172 | */ | 172 | */ |
173 | @Override | 173 | @Override |
174 | public ArgumentList getArgumentList() | 174 | public boolean isTransitiveClosure() |
175 | { | 175 | { |
176 | return argumentList; | 176 | return transitiveClosure; |
177 | } | 177 | } |
178 | 178 | ||
179 | /** | 179 | /** |
@@ -181,16 +181,13 @@ public class CallImpl extends ExpressionImpl implements Call | |||
181 | * <!-- end-user-doc --> | 181 | * <!-- end-user-doc --> |
182 | * @generated | 182 | * @generated |
183 | */ | 183 | */ |
184 | public NotificationChain basicSetArgumentList(ArgumentList newArgumentList, NotificationChain msgs) | 184 | @Override |
185 | public void setTransitiveClosure(boolean newTransitiveClosure) | ||
185 | { | 186 | { |
186 | ArgumentList oldArgumentList = argumentList; | 187 | boolean oldTransitiveClosure = transitiveClosure; |
187 | argumentList = newArgumentList; | 188 | transitiveClosure = newTransitiveClosure; |
188 | if (eNotificationRequired()) | 189 | if (eNotificationRequired()) |
189 | { | 190 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE, oldTransitiveClosure, transitiveClosure)); |
190 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, oldArgumentList, newArgumentList); | ||
191 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
192 | } | ||
193 | return msgs; | ||
194 | } | 191 | } |
195 | 192 | ||
196 | /** | 193 | /** |
@@ -199,20 +196,9 @@ public class CallImpl extends ExpressionImpl implements Call | |||
199 | * @generated | 196 | * @generated |
200 | */ | 197 | */ |
201 | @Override | 198 | @Override |
202 | public void setArgumentList(ArgumentList newArgumentList) | 199 | public boolean isReflexiveTransitiveClosure() |
203 | { | 200 | { |
204 | if (newArgumentList != argumentList) | 201 | return reflexiveTransitiveClosure; |
205 | { | ||
206 | NotificationChain msgs = null; | ||
207 | if (argumentList != null) | ||
208 | msgs = ((InternalEObject)argumentList).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs); | ||
209 | if (newArgumentList != null) | ||
210 | msgs = ((InternalEObject)newArgumentList).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs); | ||
211 | msgs = basicSetArgumentList(newArgumentList, msgs); | ||
212 | if (msgs != null) msgs.dispatch(); | ||
213 | } | ||
214 | else if (eNotificationRequired()) | ||
215 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, newArgumentList, newArgumentList)); | ||
216 | } | 202 | } |
217 | 203 | ||
218 | /** | 204 | /** |
@@ -221,9 +207,12 @@ public class CallImpl extends ExpressionImpl implements Call | |||
221 | * @generated | 207 | * @generated |
222 | */ | 208 | */ |
223 | @Override | 209 | @Override |
224 | public boolean isTransitiveClosure() | 210 | public void setReflexiveTransitiveClosure(boolean newReflexiveTransitiveClosure) |
225 | { | 211 | { |
226 | return transitiveClosure; | 212 | boolean oldReflexiveTransitiveClosure = reflexiveTransitiveClosure; |
213 | reflexiveTransitiveClosure = newReflexiveTransitiveClosure; | ||
214 | if (eNotificationRequired()) | ||
215 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE, oldReflexiveTransitiveClosure, reflexiveTransitiveClosure)); | ||
227 | } | 216 | } |
228 | 217 | ||
229 | /** | 218 | /** |
@@ -232,12 +221,9 @@ public class CallImpl extends ExpressionImpl implements Call | |||
232 | * @generated | 221 | * @generated |
233 | */ | 222 | */ |
234 | @Override | 223 | @Override |
235 | public void setTransitiveClosure(boolean newTransitiveClosure) | 224 | public ArgumentList getArgumentList() |
236 | { | 225 | { |
237 | boolean oldTransitiveClosure = transitiveClosure; | 226 | return argumentList; |
238 | transitiveClosure = newTransitiveClosure; | ||
239 | if (eNotificationRequired()) | ||
240 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE, oldTransitiveClosure, transitiveClosure)); | ||
241 | } | 227 | } |
242 | 228 | ||
243 | /** | 229 | /** |
@@ -245,10 +231,16 @@ public class CallImpl extends ExpressionImpl implements Call | |||
245 | * <!-- end-user-doc --> | 231 | * <!-- end-user-doc --> |
246 | * @generated | 232 | * @generated |
247 | */ | 233 | */ |
248 | @Override | 234 | public NotificationChain basicSetArgumentList(ArgumentList newArgumentList, NotificationChain msgs) |
249 | public boolean isReflexiveTransitiveClosure() | ||
250 | { | 235 | { |
251 | return reflexiveTransitiveClosure; | 236 | ArgumentList oldArgumentList = argumentList; |
237 | argumentList = newArgumentList; | ||
238 | if (eNotificationRequired()) | ||
239 | { | ||
240 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, oldArgumentList, newArgumentList); | ||
241 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
242 | } | ||
243 | return msgs; | ||
252 | } | 244 | } |
253 | 245 | ||
254 | /** | 246 | /** |
@@ -257,12 +249,20 @@ public class CallImpl extends ExpressionImpl implements Call | |||
257 | * @generated | 249 | * @generated |
258 | */ | 250 | */ |
259 | @Override | 251 | @Override |
260 | public void setReflexiveTransitiveClosure(boolean newReflexiveTransitiveClosure) | 252 | public void setArgumentList(ArgumentList newArgumentList) |
261 | { | 253 | { |
262 | boolean oldReflexiveTransitiveClosure = reflexiveTransitiveClosure; | 254 | if (newArgumentList != argumentList) |
263 | reflexiveTransitiveClosure = newReflexiveTransitiveClosure; | 255 | { |
264 | if (eNotificationRequired()) | 256 | NotificationChain msgs = null; |
265 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE, oldReflexiveTransitiveClosure, reflexiveTransitiveClosure)); | 257 | if (argumentList != null) |
258 | msgs = ((InternalEObject)argumentList).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs); | ||
259 | if (newArgumentList != null) | ||
260 | msgs = ((InternalEObject)newArgumentList).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs); | ||
261 | msgs = basicSetArgumentList(newArgumentList, msgs); | ||
262 | if (msgs != null) msgs.dispatch(); | ||
263 | } | ||
264 | else if (eNotificationRequired()) | ||
265 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, newArgumentList, newArgumentList)); | ||
266 | } | 266 | } |
267 | 267 | ||
268 | /** | 268 | /** |
@@ -295,12 +295,12 @@ public class CallImpl extends ExpressionImpl implements Call | |||
295 | { | 295 | { |
296 | case SolverLanguagePackage.CALL__FUNCTOR: | 296 | case SolverLanguagePackage.CALL__FUNCTOR: |
297 | return getFunctor(); | 297 | return getFunctor(); |
298 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
299 | return getArgumentList(); | ||
300 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: | 298 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: |
301 | return isTransitiveClosure(); | 299 | return isTransitiveClosure(); |
302 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: | 300 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: |
303 | return isReflexiveTransitiveClosure(); | 301 | return isReflexiveTransitiveClosure(); |
302 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
303 | return getArgumentList(); | ||
304 | } | 304 | } |
305 | return super.eGet(featureID, resolve, coreType); | 305 | return super.eGet(featureID, resolve, coreType); |
306 | } | 306 | } |
@@ -318,15 +318,15 @@ public class CallImpl extends ExpressionImpl implements Call | |||
318 | case SolverLanguagePackage.CALL__FUNCTOR: | 318 | case SolverLanguagePackage.CALL__FUNCTOR: |
319 | setFunctor((Reference)newValue); | 319 | setFunctor((Reference)newValue); |
320 | return; | 320 | return; |
321 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
322 | setArgumentList((ArgumentList)newValue); | ||
323 | return; | ||
324 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: | 321 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: |
325 | setTransitiveClosure((Boolean)newValue); | 322 | setTransitiveClosure((Boolean)newValue); |
326 | return; | 323 | return; |
327 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: | 324 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: |
328 | setReflexiveTransitiveClosure((Boolean)newValue); | 325 | setReflexiveTransitiveClosure((Boolean)newValue); |
329 | return; | 326 | return; |
327 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
328 | setArgumentList((ArgumentList)newValue); | ||
329 | return; | ||
330 | } | 330 | } |
331 | super.eSet(featureID, newValue); | 331 | super.eSet(featureID, newValue); |
332 | } | 332 | } |
@@ -344,15 +344,15 @@ public class CallImpl extends ExpressionImpl implements Call | |||
344 | case SolverLanguagePackage.CALL__FUNCTOR: | 344 | case SolverLanguagePackage.CALL__FUNCTOR: |
345 | setFunctor((Reference)null); | 345 | setFunctor((Reference)null); |
346 | return; | 346 | return; |
347 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
348 | setArgumentList((ArgumentList)null); | ||
349 | return; | ||
350 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: | 347 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: |
351 | setTransitiveClosure(TRANSITIVE_CLOSURE_EDEFAULT); | 348 | setTransitiveClosure(TRANSITIVE_CLOSURE_EDEFAULT); |
352 | return; | 349 | return; |
353 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: | 350 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: |
354 | setReflexiveTransitiveClosure(REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT); | 351 | setReflexiveTransitiveClosure(REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT); |
355 | return; | 352 | return; |
353 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
354 | setArgumentList((ArgumentList)null); | ||
355 | return; | ||
356 | } | 356 | } |
357 | super.eUnset(featureID); | 357 | super.eUnset(featureID); |
358 | } | 358 | } |
@@ -369,12 +369,12 @@ public class CallImpl extends ExpressionImpl implements Call | |||
369 | { | 369 | { |
370 | case SolverLanguagePackage.CALL__FUNCTOR: | 370 | case SolverLanguagePackage.CALL__FUNCTOR: |
371 | return functor != null; | 371 | return functor != null; |
372 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
373 | return argumentList != null; | ||
374 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: | 372 | case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE: |
375 | return transitiveClosure != TRANSITIVE_CLOSURE_EDEFAULT; | 373 | return transitiveClosure != TRANSITIVE_CLOSURE_EDEFAULT; |
376 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: | 374 | case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE: |
377 | return reflexiveTransitiveClosure != REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT; | 375 | return reflexiveTransitiveClosure != REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT; |
376 | case SolverLanguagePackage.CALL__ARGUMENT_LIST: | ||
377 | return argumentList != null; | ||
378 | } | 378 | } |
379 | return super.eIsSet(featureID); | 379 | return super.eIsSet(featureID); |
380 | } | 380 | } |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ClassDefinitionImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ClassDefinitionImpl.java new file mode 100644 index 00000000..f0a81764 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ClassDefinitionImpl.java | |||
@@ -0,0 +1,340 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | ||
5 | |||
6 | import java.util.Collection; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | import org.eclipse.emf.common.notify.NotificationChain; | ||
10 | |||
11 | import org.eclipse.emf.common.util.EList; | ||
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 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
19 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | ||
20 | import org.eclipse.emf.ecore.util.InternalEList; | ||
21 | |||
22 | import org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.NamedElement; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * An implementation of the model object '<em><b>Class Definition</b></em>'. | ||
30 | * <!-- end-user-doc --> | ||
31 | * <p> | ||
32 | * The following features are implemented: | ||
33 | * </p> | ||
34 | * <ul> | ||
35 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl#isAbstract <em>Abstract</em>}</li> | ||
36 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl#getName <em>Name</em>}</li> | ||
37 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl#getSuperclasses <em>Superclasses</em>}</li> | ||
38 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl#getMembers <em>Members</em>}</li> | ||
39 | * </ul> | ||
40 | * | ||
41 | * @generated | ||
42 | */ | ||
43 | public class ClassDefinitionImpl extends StatementImpl implements ClassDefinition | ||
44 | { | ||
45 | /** | ||
46 | * The default value of the '{@link #isAbstract() <em>Abstract</em>}' attribute. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @see #isAbstract() | ||
50 | * @generated | ||
51 | * @ordered | ||
52 | */ | ||
53 | protected static final boolean ABSTRACT_EDEFAULT = false; | ||
54 | |||
55 | /** | ||
56 | * The cached value of the '{@link #isAbstract() <em>Abstract</em>}' attribute. | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @see #isAbstract() | ||
60 | * @generated | ||
61 | * @ordered | ||
62 | */ | ||
63 | protected boolean abstract_ = ABSTRACT_EDEFAULT; | ||
64 | |||
65 | /** | ||
66 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <!-- end-user-doc --> | ||
69 | * @see #getName() | ||
70 | * @generated | ||
71 | * @ordered | ||
72 | */ | ||
73 | protected static final String NAME_EDEFAULT = null; | ||
74 | |||
75 | /** | ||
76 | * The cached value of the '{@link #getName() <em>Name</em>}' attribute. | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @see #getName() | ||
80 | * @generated | ||
81 | * @ordered | ||
82 | */ | ||
83 | protected String name = NAME_EDEFAULT; | ||
84 | |||
85 | /** | ||
86 | * The cached value of the '{@link #getSuperclasses() <em>Superclasses</em>}' reference list. | ||
87 | * <!-- begin-user-doc --> | ||
88 | * <!-- end-user-doc --> | ||
89 | * @see #getSuperclasses() | ||
90 | * @generated | ||
91 | * @ordered | ||
92 | */ | ||
93 | protected EList<NamedElement> superclasses; | ||
94 | |||
95 | /** | ||
96 | * The cached value of the '{@link #getMembers() <em>Members</em>}' containment reference list. | ||
97 | * <!-- begin-user-doc --> | ||
98 | * <!-- end-user-doc --> | ||
99 | * @see #getMembers() | ||
100 | * @generated | ||
101 | * @ordered | ||
102 | */ | ||
103 | protected EList<MemberDefinition> members; | ||
104 | |||
105 | /** | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @generated | ||
109 | */ | ||
110 | protected ClassDefinitionImpl() | ||
111 | { | ||
112 | super(); | ||
113 | } | ||
114 | |||
115 | /** | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | */ | ||
120 | @Override | ||
121 | protected EClass eStaticClass() | ||
122 | { | ||
123 | return SolverLanguagePackage.Literals.CLASS_DEFINITION; | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | @Override | ||
132 | public boolean isAbstract() | ||
133 | { | ||
134 | return abstract_; | ||
135 | } | ||
136 | |||
137 | /** | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @generated | ||
141 | */ | ||
142 | @Override | ||
143 | public void setAbstract(boolean newAbstract) | ||
144 | { | ||
145 | boolean oldAbstract = abstract_; | ||
146 | abstract_ = newAbstract; | ||
147 | if (eNotificationRequired()) | ||
148 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CLASS_DEFINITION__ABSTRACT, oldAbstract, abstract_)); | ||
149 | } | ||
150 | |||
151 | /** | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @generated | ||
155 | */ | ||
156 | @Override | ||
157 | public String getName() | ||
158 | { | ||
159 | return name; | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | @Override | ||
168 | public void setName(String newName) | ||
169 | { | ||
170 | String oldName = name; | ||
171 | name = newName; | ||
172 | if (eNotificationRequired()) | ||
173 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CLASS_DEFINITION__NAME, oldName, name)); | ||
174 | } | ||
175 | |||
176 | /** | ||
177 | * <!-- begin-user-doc --> | ||
178 | * <!-- end-user-doc --> | ||
179 | * @generated | ||
180 | */ | ||
181 | @Override | ||
182 | public EList<NamedElement> getSuperclasses() | ||
183 | { | ||
184 | if (superclasses == null) | ||
185 | { | ||
186 | superclasses = new EObjectResolvingEList<NamedElement>(NamedElement.class, this, SolverLanguagePackage.CLASS_DEFINITION__SUPERCLASSES); | ||
187 | } | ||
188 | return superclasses; | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @generated | ||
195 | */ | ||
196 | @Override | ||
197 | public EList<MemberDefinition> getMembers() | ||
198 | { | ||
199 | if (members == null) | ||
200 | { | ||
201 | members = new EObjectContainmentEList<MemberDefinition>(MemberDefinition.class, this, SolverLanguagePackage.CLASS_DEFINITION__MEMBERS); | ||
202 | } | ||
203 | return members; | ||
204 | } | ||
205 | |||
206 | /** | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @generated | ||
210 | */ | ||
211 | @Override | ||
212 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) | ||
213 | { | ||
214 | switch (featureID) | ||
215 | { | ||
216 | case SolverLanguagePackage.CLASS_DEFINITION__MEMBERS: | ||
217 | return ((InternalEList<?>)getMembers()).basicRemove(otherEnd, msgs); | ||
218 | } | ||
219 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * <!-- begin-user-doc --> | ||
224 | * <!-- end-user-doc --> | ||
225 | * @generated | ||
226 | */ | ||
227 | @Override | ||
228 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
229 | { | ||
230 | switch (featureID) | ||
231 | { | ||
232 | case SolverLanguagePackage.CLASS_DEFINITION__ABSTRACT: | ||
233 | return isAbstract(); | ||
234 | case SolverLanguagePackage.CLASS_DEFINITION__NAME: | ||
235 | return getName(); | ||
236 | case SolverLanguagePackage.CLASS_DEFINITION__SUPERCLASSES: | ||
237 | return getSuperclasses(); | ||
238 | case SolverLanguagePackage.CLASS_DEFINITION__MEMBERS: | ||
239 | return getMembers(); | ||
240 | } | ||
241 | return super.eGet(featureID, resolve, coreType); | ||
242 | } | ||
243 | |||
244 | /** | ||
245 | * <!-- begin-user-doc --> | ||
246 | * <!-- end-user-doc --> | ||
247 | * @generated | ||
248 | */ | ||
249 | @SuppressWarnings("unchecked") | ||
250 | @Override | ||
251 | public void eSet(int featureID, Object newValue) | ||
252 | { | ||
253 | switch (featureID) | ||
254 | { | ||
255 | case SolverLanguagePackage.CLASS_DEFINITION__ABSTRACT: | ||
256 | setAbstract((Boolean)newValue); | ||
257 | return; | ||
258 | case SolverLanguagePackage.CLASS_DEFINITION__NAME: | ||
259 | setName((String)newValue); | ||
260 | return; | ||
261 | case SolverLanguagePackage.CLASS_DEFINITION__SUPERCLASSES: | ||
262 | getSuperclasses().clear(); | ||
263 | getSuperclasses().addAll((Collection<? extends NamedElement>)newValue); | ||
264 | return; | ||
265 | case SolverLanguagePackage.CLASS_DEFINITION__MEMBERS: | ||
266 | getMembers().clear(); | ||
267 | getMembers().addAll((Collection<? extends MemberDefinition>)newValue); | ||
268 | return; | ||
269 | } | ||
270 | super.eSet(featureID, newValue); | ||
271 | } | ||
272 | |||
273 | /** | ||
274 | * <!-- begin-user-doc --> | ||
275 | * <!-- end-user-doc --> | ||
276 | * @generated | ||
277 | */ | ||
278 | @Override | ||
279 | public void eUnset(int featureID) | ||
280 | { | ||
281 | switch (featureID) | ||
282 | { | ||
283 | case SolverLanguagePackage.CLASS_DEFINITION__ABSTRACT: | ||
284 | setAbstract(ABSTRACT_EDEFAULT); | ||
285 | return; | ||
286 | case SolverLanguagePackage.CLASS_DEFINITION__NAME: | ||
287 | setName(NAME_EDEFAULT); | ||
288 | return; | ||
289 | case SolverLanguagePackage.CLASS_DEFINITION__SUPERCLASSES: | ||
290 | getSuperclasses().clear(); | ||
291 | return; | ||
292 | case SolverLanguagePackage.CLASS_DEFINITION__MEMBERS: | ||
293 | getMembers().clear(); | ||
294 | return; | ||
295 | } | ||
296 | super.eUnset(featureID); | ||
297 | } | ||
298 | |||
299 | /** | ||
300 | * <!-- begin-user-doc --> | ||
301 | * <!-- end-user-doc --> | ||
302 | * @generated | ||
303 | */ | ||
304 | @Override | ||
305 | public boolean eIsSet(int featureID) | ||
306 | { | ||
307 | switch (featureID) | ||
308 | { | ||
309 | case SolverLanguagePackage.CLASS_DEFINITION__ABSTRACT: | ||
310 | return abstract_ != ABSTRACT_EDEFAULT; | ||
311 | case SolverLanguagePackage.CLASS_DEFINITION__NAME: | ||
312 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | ||
313 | case SolverLanguagePackage.CLASS_DEFINITION__SUPERCLASSES: | ||
314 | return superclasses != null && !superclasses.isEmpty(); | ||
315 | case SolverLanguagePackage.CLASS_DEFINITION__MEMBERS: | ||
316 | return members != null && !members.isEmpty(); | ||
317 | } | ||
318 | return super.eIsSet(featureID); | ||
319 | } | ||
320 | |||
321 | /** | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @generated | ||
325 | */ | ||
326 | @Override | ||
327 | public String toString() | ||
328 | { | ||
329 | if (eIsProxy()) return super.toString(); | ||
330 | |||
331 | StringBuilder result = new StringBuilder(super.toString()); | ||
332 | result.append(" (abstract: "); | ||
333 | result.append(abstract_); | ||
334 | result.append(", name: "); | ||
335 | result.append(name); | ||
336 | result.append(')'); | ||
337 | return result.toString(); | ||
338 | } | ||
339 | |||
340 | } //ClassDefinitionImpl | ||
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java index 8a5976c2..509d7568 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java | |||
@@ -94,6 +94,7 @@ public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLan | |||
94 | case SolverLanguagePackage.INFINITY_LITERAL: return createInfinityLiteral(); | 94 | case SolverLanguagePackage.INFINITY_LITERAL: return createInfinityLiteral(); |
95 | case SolverLanguagePackage.EMPTY_INTERVAL_LITERAL: return createEmptyIntervalLiteral(); | 95 | case SolverLanguagePackage.EMPTY_INTERVAL_LITERAL: return createEmptyIntervalLiteral(); |
96 | case SolverLanguagePackage.STRING_LITERAL: return createStringLiteral(); | 96 | case SolverLanguagePackage.STRING_LITERAL: return createStringLiteral(); |
97 | case SolverLanguagePackage.CLASS_DEFINITION: return createClassDefinition(); | ||
97 | case SolverLanguagePackage.MEMBER_DEFINITION: return createMemberDefinition(); | 98 | case SolverLanguagePackage.MEMBER_DEFINITION: return createMemberDefinition(); |
98 | case SolverLanguagePackage.MULTIPLICITY: return createMultiplicity(); | 99 | case SolverLanguagePackage.MULTIPLICITY: return createMultiplicity(); |
99 | case SolverLanguagePackage.MANY_MULTIPLICITY: return createManyMultiplicity(); | 100 | case SolverLanguagePackage.MANY_MULTIPLICITY: return createManyMultiplicity(); |
@@ -513,6 +514,18 @@ public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLan | |||
513 | * @generated | 514 | * @generated |
514 | */ | 515 | */ |
515 | @Override | 516 | @Override |
517 | public ClassDefinition createClassDefinition() | ||
518 | { | ||
519 | ClassDefinitionImpl classDefinition = new ClassDefinitionImpl(); | ||
520 | return classDefinition; | ||
521 | } | ||
522 | |||
523 | /** | ||
524 | * <!-- begin-user-doc --> | ||
525 | * <!-- end-user-doc --> | ||
526 | * @generated | ||
527 | */ | ||
528 | @Override | ||
516 | public MemberDefinition createMemberDefinition() | 529 | public MemberDefinition createMemberDefinition() |
517 | { | 530 | { |
518 | MemberDefinitionImpl memberDefinition = new MemberDefinitionImpl(); | 531 | MemberDefinitionImpl memberDefinition = new MemberDefinitionImpl(); |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java index 393a2545..39f811b9 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java | |||
@@ -22,6 +22,7 @@ import org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity; | |||
22 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition; | 22 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition; |
23 | import org.eclipse.viatra.solver.language.solverLanguage.Call; | 23 | import org.eclipse.viatra.solver.language.solverLanguage.Call; |
24 | import org.eclipse.viatra.solver.language.solverLanguage.Case; | 24 | import org.eclipse.viatra.solver.language.solverLanguage.Case; |
25 | import org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.Comparison; | 26 | import org.eclipse.viatra.solver.language.solverLanguage.Comparison; |
26 | import org.eclipse.viatra.solver.language.solverLanguage.Conjunction; | 27 | import org.eclipse.viatra.solver.language.solverLanguage.Conjunction; |
27 | import org.eclipse.viatra.solver.language.solverLanguage.Count; | 28 | import org.eclipse.viatra.solver.language.solverLanguage.Count; |
@@ -275,6 +276,13 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
275 | * <!-- end-user-doc --> | 276 | * <!-- end-user-doc --> |
276 | * @generated | 277 | * @generated |
277 | */ | 278 | */ |
279 | private EClass classDefinitionEClass = null; | ||
280 | |||
281 | /** | ||
282 | * <!-- begin-user-doc --> | ||
283 | * <!-- end-user-doc --> | ||
284 | * @generated | ||
285 | */ | ||
278 | private EClass memberDefinitionEClass = null; | 286 | private EClass memberDefinitionEClass = null; |
279 | 287 | ||
280 | /** | 288 | /** |
@@ -540,50 +548,6 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
540 | * @generated | 548 | * @generated |
541 | */ | 549 | */ |
542 | @Override | 550 | @Override |
543 | public EAttribute getStatement_Abstract() | ||
544 | { | ||
545 | return (EAttribute)statementEClass.getEStructuralFeatures().get(0); | ||
546 | } | ||
547 | |||
548 | /** | ||
549 | * <!-- begin-user-doc --> | ||
550 | * <!-- end-user-doc --> | ||
551 | * @generated | ||
552 | */ | ||
553 | @Override | ||
554 | public EAttribute getStatement_Name() | ||
555 | { | ||
556 | return (EAttribute)statementEClass.getEStructuralFeatures().get(1); | ||
557 | } | ||
558 | |||
559 | /** | ||
560 | * <!-- begin-user-doc --> | ||
561 | * <!-- end-user-doc --> | ||
562 | * @generated | ||
563 | */ | ||
564 | @Override | ||
565 | public EReference getStatement_Superclasses() | ||
566 | { | ||
567 | return (EReference)statementEClass.getEStructuralFeatures().get(2); | ||
568 | } | ||
569 | |||
570 | /** | ||
571 | * <!-- begin-user-doc --> | ||
572 | * <!-- end-user-doc --> | ||
573 | * @generated | ||
574 | */ | ||
575 | @Override | ||
576 | public EReference getStatement_Members() | ||
577 | { | ||
578 | return (EReference)statementEClass.getEStructuralFeatures().get(3); | ||
579 | } | ||
580 | |||
581 | /** | ||
582 | * <!-- begin-user-doc --> | ||
583 | * <!-- end-user-doc --> | ||
584 | * @generated | ||
585 | */ | ||
586 | @Override | ||
587 | public EClass getPredicateDefinition() | 551 | public EClass getPredicateDefinition() |
588 | { | 552 | { |
589 | return predicateDefinitionEClass; | 553 | return predicateDefinitionEClass; |
@@ -980,9 +944,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
980 | * @generated | 944 | * @generated |
981 | */ | 945 | */ |
982 | @Override | 946 | @Override |
983 | public EReference getCall_ArgumentList() | 947 | public EAttribute getCall_TransitiveClosure() |
984 | { | 948 | { |
985 | return (EReference)callEClass.getEStructuralFeatures().get(1); | 949 | return (EAttribute)callEClass.getEStructuralFeatures().get(1); |
986 | } | 950 | } |
987 | 951 | ||
988 | /** | 952 | /** |
@@ -991,7 +955,7 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
991 | * @generated | 955 | * @generated |
992 | */ | 956 | */ |
993 | @Override | 957 | @Override |
994 | public EAttribute getCall_TransitiveClosure() | 958 | public EAttribute getCall_ReflexiveTransitiveClosure() |
995 | { | 959 | { |
996 | return (EAttribute)callEClass.getEStructuralFeatures().get(2); | 960 | return (EAttribute)callEClass.getEStructuralFeatures().get(2); |
997 | } | 961 | } |
@@ -1002,9 +966,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1002 | * @generated | 966 | * @generated |
1003 | */ | 967 | */ |
1004 | @Override | 968 | @Override |
1005 | public EAttribute getCall_ReflexiveTransitiveClosure() | 969 | public EReference getCall_ArgumentList() |
1006 | { | 970 | { |
1007 | return (EAttribute)callEClass.getEStructuralFeatures().get(3); | 971 | return (EReference)callEClass.getEStructuralFeatures().get(3); |
1008 | } | 972 | } |
1009 | 973 | ||
1010 | /** | 974 | /** |
@@ -1288,6 +1252,61 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1288 | * @generated | 1252 | * @generated |
1289 | */ | 1253 | */ |
1290 | @Override | 1254 | @Override |
1255 | public EClass getClassDefinition() | ||
1256 | { | ||
1257 | return classDefinitionEClass; | ||
1258 | } | ||
1259 | |||
1260 | /** | ||
1261 | * <!-- begin-user-doc --> | ||
1262 | * <!-- end-user-doc --> | ||
1263 | * @generated | ||
1264 | */ | ||
1265 | @Override | ||
1266 | public EAttribute getClassDefinition_Abstract() | ||
1267 | { | ||
1268 | return (EAttribute)classDefinitionEClass.getEStructuralFeatures().get(0); | ||
1269 | } | ||
1270 | |||
1271 | /** | ||
1272 | * <!-- begin-user-doc --> | ||
1273 | * <!-- end-user-doc --> | ||
1274 | * @generated | ||
1275 | */ | ||
1276 | @Override | ||
1277 | public EAttribute getClassDefinition_Name() | ||
1278 | { | ||
1279 | return (EAttribute)classDefinitionEClass.getEStructuralFeatures().get(1); | ||
1280 | } | ||
1281 | |||
1282 | /** | ||
1283 | * <!-- begin-user-doc --> | ||
1284 | * <!-- end-user-doc --> | ||
1285 | * @generated | ||
1286 | */ | ||
1287 | @Override | ||
1288 | public EReference getClassDefinition_Superclasses() | ||
1289 | { | ||
1290 | return (EReference)classDefinitionEClass.getEStructuralFeatures().get(2); | ||
1291 | } | ||
1292 | |||
1293 | /** | ||
1294 | * <!-- begin-user-doc --> | ||
1295 | * <!-- end-user-doc --> | ||
1296 | * @generated | ||
1297 | */ | ||
1298 | @Override | ||
1299 | public EReference getClassDefinition_Members() | ||
1300 | { | ||
1301 | return (EReference)classDefinitionEClass.getEStructuralFeatures().get(3); | ||
1302 | } | ||
1303 | |||
1304 | /** | ||
1305 | * <!-- begin-user-doc --> | ||
1306 | * <!-- end-user-doc --> | ||
1307 | * @generated | ||
1308 | */ | ||
1309 | @Override | ||
1291 | public EClass getMemberDefinition() | 1310 | public EClass getMemberDefinition() |
1292 | { | 1311 | { |
1293 | return memberDefinitionEClass; | 1312 | return memberDefinitionEClass; |
@@ -1900,10 +1919,6 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1900 | createEReference(problemEClass, PROBLEM__STATEMENTS); | 1919 | createEReference(problemEClass, PROBLEM__STATEMENTS); |
1901 | 1920 | ||
1902 | statementEClass = createEClass(STATEMENT); | 1921 | statementEClass = createEClass(STATEMENT); |
1903 | createEAttribute(statementEClass, STATEMENT__ABSTRACT); | ||
1904 | createEAttribute(statementEClass, STATEMENT__NAME); | ||
1905 | createEReference(statementEClass, STATEMENT__SUPERCLASSES); | ||
1906 | createEReference(statementEClass, STATEMENT__MEMBERS); | ||
1907 | 1922 | ||
1908 | predicateDefinitionEClass = createEClass(PREDICATE_DEFINITION); | 1923 | predicateDefinitionEClass = createEClass(PREDICATE_DEFINITION); |
1909 | createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__HEAD); | 1924 | createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__HEAD); |
@@ -1952,9 +1967,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1952 | 1967 | ||
1953 | callEClass = createEClass(CALL); | 1968 | callEClass = createEClass(CALL); |
1954 | createEReference(callEClass, CALL__FUNCTOR); | 1969 | createEReference(callEClass, CALL__FUNCTOR); |
1955 | createEReference(callEClass, CALL__ARGUMENT_LIST); | ||
1956 | createEAttribute(callEClass, CALL__TRANSITIVE_CLOSURE); | 1970 | createEAttribute(callEClass, CALL__TRANSITIVE_CLOSURE); |
1957 | createEAttribute(callEClass, CALL__REFLEXIVE_TRANSITIVE_CLOSURE); | 1971 | createEAttribute(callEClass, CALL__REFLEXIVE_TRANSITIVE_CLOSURE); |
1972 | createEReference(callEClass, CALL__ARGUMENT_LIST); | ||
1958 | 1973 | ||
1959 | argumentListEClass = createEClass(ARGUMENT_LIST); | 1974 | argumentListEClass = createEClass(ARGUMENT_LIST); |
1960 | createEReference(argumentListEClass, ARGUMENT_LIST__ARGUMENTS); | 1975 | createEReference(argumentListEClass, ARGUMENT_LIST__ARGUMENTS); |
@@ -1995,6 +2010,12 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
1995 | stringLiteralEClass = createEClass(STRING_LITERAL); | 2010 | stringLiteralEClass = createEClass(STRING_LITERAL); |
1996 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); | 2011 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); |
1997 | 2012 | ||
2013 | classDefinitionEClass = createEClass(CLASS_DEFINITION); | ||
2014 | createEAttribute(classDefinitionEClass, CLASS_DEFINITION__ABSTRACT); | ||
2015 | createEAttribute(classDefinitionEClass, CLASS_DEFINITION__NAME); | ||
2016 | createEReference(classDefinitionEClass, CLASS_DEFINITION__SUPERCLASSES); | ||
2017 | createEReference(classDefinitionEClass, CLASS_DEFINITION__MEMBERS); | ||
2018 | |||
1998 | memberDefinitionEClass = createEClass(MEMBER_DEFINITION); | 2019 | memberDefinitionEClass = createEClass(MEMBER_DEFINITION); |
1999 | createEAttribute(memberDefinitionEClass, MEMBER_DEFINITION__CONTAINMENT); | 2020 | createEAttribute(memberDefinitionEClass, MEMBER_DEFINITION__CONTAINMENT); |
2000 | createEReference(memberDefinitionEClass, MEMBER_DEFINITION__TYPE); | 2021 | createEReference(memberDefinitionEClass, MEMBER_DEFINITION__TYPE); |
@@ -2122,6 +2143,7 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
2122 | infinityLiteralEClass.getESuperTypes().add(this.getLiteral()); | 2143 | infinityLiteralEClass.getESuperTypes().add(this.getLiteral()); |
2123 | emptyIntervalLiteralEClass.getESuperTypes().add(this.getLiteral()); | 2144 | emptyIntervalLiteralEClass.getESuperTypes().add(this.getLiteral()); |
2124 | stringLiteralEClass.getESuperTypes().add(this.getLiteral()); | 2145 | stringLiteralEClass.getESuperTypes().add(this.getLiteral()); |
2146 | classDefinitionEClass.getESuperTypes().add(this.getStatement()); | ||
2125 | manyMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 2147 | manyMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
2126 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 2148 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
2127 | boundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 2149 | boundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
@@ -2143,10 +2165,6 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
2143 | initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2165 | initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2144 | 2166 | ||
2145 | initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2167 | initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2146 | initEAttribute(getStatement_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2147 | initEAttribute(getStatement_Name(), ecorePackage.getEString(), "name", null, 0, 1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2148 | initEReference(getStatement_Superclasses(), this.getNamedElement(), null, "superclasses", null, 0, -1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2149 | initEReference(getStatement_Members(), this.getMemberDefinition(), null, "members", null, 0, -1, Statement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2150 | 2168 | ||
2151 | initEClass(predicateDefinitionEClass, PredicateDefinition.class, "PredicateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2169 | initEClass(predicateDefinitionEClass, PredicateDefinition.class, "PredicateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2152 | initEReference(getPredicateDefinition_Head(), this.getExpression(), null, "head", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2170 | initEReference(getPredicateDefinition_Head(), this.getExpression(), null, "head", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -2195,9 +2213,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
2195 | 2213 | ||
2196 | initEClass(callEClass, Call.class, "Call", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2214 | initEClass(callEClass, Call.class, "Call", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2197 | initEReference(getCall_Functor(), this.getReference(), null, "functor", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2215 | initEReference(getCall_Functor(), this.getReference(), null, "functor", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2198 | initEReference(getCall_ArgumentList(), this.getArgumentList(), null, "argumentList", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2199 | initEAttribute(getCall_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2216 | initEAttribute(getCall_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2200 | initEAttribute(getCall_ReflexiveTransitiveClosure(), ecorePackage.getEBoolean(), "reflexiveTransitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2217 | initEAttribute(getCall_ReflexiveTransitiveClosure(), ecorePackage.getEBoolean(), "reflexiveTransitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2218 | initEReference(getCall_ArgumentList(), this.getArgumentList(), null, "argumentList", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2201 | 2219 | ||
2202 | initEClass(argumentListEClass, ArgumentList.class, "ArgumentList", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2220 | initEClass(argumentListEClass, ArgumentList.class, "ArgumentList", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2203 | initEReference(getArgumentList_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, ArgumentList.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2221 | initEReference(getArgumentList_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, ArgumentList.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -2238,6 +2256,12 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan | |||
2238 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2256 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2239 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2257 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2240 | 2258 | ||
2259 | initEClass(classDefinitionEClass, ClassDefinition.class, "ClassDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2260 | initEAttribute(getClassDefinition_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2261 | initEAttribute(getClassDefinition_Name(), ecorePackage.getEString(), "name", null, 0, 1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2262 | initEReference(getClassDefinition_Superclasses(), this.getNamedElement(), null, "superclasses", null, 0, -1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2263 | initEReference(getClassDefinition_Members(), this.getMemberDefinition(), null, "members", null, 0, -1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2264 | |||
2241 | initEClass(memberDefinitionEClass, MemberDefinition.class, "MemberDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2265 | initEClass(memberDefinitionEClass, MemberDefinition.class, "MemberDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2242 | initEAttribute(getMemberDefinition_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2266 | initEAttribute(getMemberDefinition_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2243 | initEReference(getMemberDefinition_Type(), this.getNamedElement(), null, "type", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2267 | initEReference(getMemberDefinition_Type(), this.getNamedElement(), null, "type", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/StatementImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/StatementImpl.java index dbd697ec..d349d1a4 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/StatementImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/StatementImpl.java | |||
@@ -3,25 +3,10 @@ | |||
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; | 4 | package org.eclipse.viatra.solver.language.solverLanguage.impl; |
5 | 5 | ||
6 | import java.util.Collection; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | import org.eclipse.emf.common.notify.NotificationChain; | ||
10 | |||
11 | import org.eclipse.emf.common.util.EList; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | 6 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | 7 | ||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | 8 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; |
18 | 9 | ||
19 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
20 | import org.eclipse.emf.ecore.util.EObjectResolvingEList; | ||
21 | import org.eclipse.emf.ecore.util.InternalEList; | ||
22 | |||
23 | import org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.NamedElement; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | 10 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; |
26 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | 11 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; |
27 | 12 | ||
@@ -29,81 +14,12 @@ import org.eclipse.viatra.solver.language.solverLanguage.Statement; | |||
29 | * <!-- begin-user-doc --> | 14 | * <!-- begin-user-doc --> |
30 | * An implementation of the model object '<em><b>Statement</b></em>'. | 15 | * An implementation of the model object '<em><b>Statement</b></em>'. |
31 | * <!-- end-user-doc --> | 16 | * <!-- end-user-doc --> |
32 | * <p> | ||
33 | * The following features are implemented: | ||
34 | * </p> | ||
35 | * <ul> | ||
36 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl#isAbstract <em>Abstract</em>}</li> | ||
37 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl#getName <em>Name</em>}</li> | ||
38 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl#getSuperclasses <em>Superclasses</em>}</li> | ||
39 | * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl#getMembers <em>Members</em>}</li> | ||
40 | * </ul> | ||
41 | * | 17 | * |
42 | * @generated | 18 | * @generated |
43 | */ | 19 | */ |
44 | public class StatementImpl extends MinimalEObjectImpl.Container implements Statement | 20 | public class StatementImpl extends MinimalEObjectImpl.Container implements Statement |
45 | { | 21 | { |
46 | /** | 22 | /** |
47 | * The default value of the '{@link #isAbstract() <em>Abstract</em>}' attribute. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @see #isAbstract() | ||
51 | * @generated | ||
52 | * @ordered | ||
53 | */ | ||
54 | protected static final boolean ABSTRACT_EDEFAULT = false; | ||
55 | |||
56 | /** | ||
57 | * The cached value of the '{@link #isAbstract() <em>Abstract</em>}' attribute. | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @see #isAbstract() | ||
61 | * @generated | ||
62 | * @ordered | ||
63 | */ | ||
64 | protected boolean abstract_ = ABSTRACT_EDEFAULT; | ||
65 | |||
66 | /** | ||
67 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @see #getName() | ||
71 | * @generated | ||
72 | * @ordered | ||
73 | */ | ||
74 | protected static final String NAME_EDEFAULT = null; | ||
75 | |||
76 | /** | ||
77 | * The cached value of the '{@link #getName() <em>Name</em>}' attribute. | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @see #getName() | ||
81 | * @generated | ||
82 | * @ordered | ||
83 | */ | ||
84 | protected String name = NAME_EDEFAULT; | ||
85 | |||
86 | /** | ||
87 | * The cached value of the '{@link #getSuperclasses() <em>Superclasses</em>}' reference list. | ||
88 | * <!-- begin-user-doc --> | ||
89 | * <!-- end-user-doc --> | ||
90 | * @see #getSuperclasses() | ||
91 | * @generated | ||
92 | * @ordered | ||
93 | */ | ||
94 | protected EList<NamedElement> superclasses; | ||
95 | |||
96 | /** | ||
97 | * The cached value of the '{@link #getMembers() <em>Members</em>}' containment reference list. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @see #getMembers() | ||
101 | * @generated | ||
102 | * @ordered | ||
103 | */ | ||
104 | protected EList<MemberDefinition> members; | ||
105 | |||
106 | /** | ||
107 | * <!-- begin-user-doc --> | 23 | * <!-- begin-user-doc --> |
108 | * <!-- end-user-doc --> | 24 | * <!-- end-user-doc --> |
109 | * @generated | 25 | * @generated |
@@ -124,218 +40,4 @@ public class StatementImpl extends MinimalEObjectImpl.Container implements State | |||
124 | return SolverLanguagePackage.Literals.STATEMENT; | 40 | return SolverLanguagePackage.Literals.STATEMENT; |
125 | } | 41 | } |
126 | 42 | ||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | @Override | ||
133 | public boolean isAbstract() | ||
134 | { | ||
135 | return abstract_; | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public void setAbstract(boolean newAbstract) | ||
145 | { | ||
146 | boolean oldAbstract = abstract_; | ||
147 | abstract_ = newAbstract; | ||
148 | if (eNotificationRequired()) | ||
149 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.STATEMENT__ABSTRACT, oldAbstract, abstract_)); | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | @Override | ||
158 | public String getName() | ||
159 | { | ||
160 | return name; | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | @Override | ||
169 | public void setName(String newName) | ||
170 | { | ||
171 | String oldName = name; | ||
172 | name = newName; | ||
173 | if (eNotificationRequired()) | ||
174 | eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.STATEMENT__NAME, oldName, name)); | ||
175 | } | ||
176 | |||
177 | /** | ||
178 | * <!-- begin-user-doc --> | ||
179 | * <!-- end-user-doc --> | ||
180 | * @generated | ||
181 | */ | ||
182 | @Override | ||
183 | public EList<NamedElement> getSuperclasses() | ||
184 | { | ||
185 | if (superclasses == null) | ||
186 | { | ||
187 | superclasses = new EObjectResolvingEList<NamedElement>(NamedElement.class, this, SolverLanguagePackage.STATEMENT__SUPERCLASSES); | ||
188 | } | ||
189 | return superclasses; | ||
190 | } | ||
191 | |||
192 | /** | ||
193 | * <!-- begin-user-doc --> | ||
194 | * <!-- end-user-doc --> | ||
195 | * @generated | ||
196 | */ | ||
197 | @Override | ||
198 | public EList<MemberDefinition> getMembers() | ||
199 | { | ||
200 | if (members == null) | ||
201 | { | ||
202 | members = new EObjectContainmentEList<MemberDefinition>(MemberDefinition.class, this, SolverLanguagePackage.STATEMENT__MEMBERS); | ||
203 | } | ||
204 | return members; | ||
205 | } | ||
206 | |||
207 | /** | ||
208 | * <!-- begin-user-doc --> | ||
209 | * <!-- end-user-doc --> | ||
210 | * @generated | ||
211 | */ | ||
212 | @Override | ||
213 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) | ||
214 | { | ||
215 | switch (featureID) | ||
216 | { | ||
217 | case SolverLanguagePackage.STATEMENT__MEMBERS: | ||
218 | return ((InternalEList<?>)getMembers()).basicRemove(otherEnd, msgs); | ||
219 | } | ||
220 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
221 | } | ||
222 | |||
223 | /** | ||
224 | * <!-- begin-user-doc --> | ||
225 | * <!-- end-user-doc --> | ||
226 | * @generated | ||
227 | */ | ||
228 | @Override | ||
229 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
230 | { | ||
231 | switch (featureID) | ||
232 | { | ||
233 | case SolverLanguagePackage.STATEMENT__ABSTRACT: | ||
234 | return isAbstract(); | ||
235 | case SolverLanguagePackage.STATEMENT__NAME: | ||
236 | return getName(); | ||
237 | case SolverLanguagePackage.STATEMENT__SUPERCLASSES: | ||
238 | return getSuperclasses(); | ||
239 | case SolverLanguagePackage.STATEMENT__MEMBERS: | ||
240 | return getMembers(); | ||
241 | } | ||
242 | return super.eGet(featureID, resolve, coreType); | ||
243 | } | ||
244 | |||
245 | /** | ||
246 | * <!-- begin-user-doc --> | ||
247 | * <!-- end-user-doc --> | ||
248 | * @generated | ||
249 | */ | ||
250 | @SuppressWarnings("unchecked") | ||
251 | @Override | ||
252 | public void eSet(int featureID, Object newValue) | ||
253 | { | ||
254 | switch (featureID) | ||
255 | { | ||
256 | case SolverLanguagePackage.STATEMENT__ABSTRACT: | ||
257 | setAbstract((Boolean)newValue); | ||
258 | return; | ||
259 | case SolverLanguagePackage.STATEMENT__NAME: | ||
260 | setName((String)newValue); | ||
261 | return; | ||
262 | case SolverLanguagePackage.STATEMENT__SUPERCLASSES: | ||
263 | getSuperclasses().clear(); | ||
264 | getSuperclasses().addAll((Collection<? extends NamedElement>)newValue); | ||
265 | return; | ||
266 | case SolverLanguagePackage.STATEMENT__MEMBERS: | ||
267 | getMembers().clear(); | ||
268 | getMembers().addAll((Collection<? extends MemberDefinition>)newValue); | ||
269 | return; | ||
270 | } | ||
271 | super.eSet(featureID, newValue); | ||
272 | } | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | @Override | ||
280 | public void eUnset(int featureID) | ||
281 | { | ||
282 | switch (featureID) | ||
283 | { | ||
284 | case SolverLanguagePackage.STATEMENT__ABSTRACT: | ||
285 | setAbstract(ABSTRACT_EDEFAULT); | ||
286 | return; | ||
287 | case SolverLanguagePackage.STATEMENT__NAME: | ||
288 | setName(NAME_EDEFAULT); | ||
289 | return; | ||
290 | case SolverLanguagePackage.STATEMENT__SUPERCLASSES: | ||
291 | getSuperclasses().clear(); | ||
292 | return; | ||
293 | case SolverLanguagePackage.STATEMENT__MEMBERS: | ||
294 | getMembers().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 SolverLanguagePackage.STATEMENT__ABSTRACT: | ||
311 | return abstract_ != ABSTRACT_EDEFAULT; | ||
312 | case SolverLanguagePackage.STATEMENT__NAME: | ||
313 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | ||
314 | case SolverLanguagePackage.STATEMENT__SUPERCLASSES: | ||
315 | return superclasses != null && !superclasses.isEmpty(); | ||
316 | case SolverLanguagePackage.STATEMENT__MEMBERS: | ||
317 | return members != null && !members.isEmpty(); | ||
318 | } | ||
319 | return super.eIsSet(featureID); | ||
320 | } | ||
321 | |||
322 | /** | ||
323 | * <!-- begin-user-doc --> | ||
324 | * <!-- end-user-doc --> | ||
325 | * @generated | ||
326 | */ | ||
327 | @Override | ||
328 | public String toString() | ||
329 | { | ||
330 | if (eIsProxy()) return super.toString(); | ||
331 | |||
332 | StringBuilder result = new StringBuilder(super.toString()); | ||
333 | result.append(" (abstract: "); | ||
334 | result.append(abstract_); | ||
335 | result.append(", name: "); | ||
336 | result.append(name); | ||
337 | result.append(')'); | ||
338 | return result.toString(); | ||
339 | } | ||
340 | |||
341 | } //StatementImpl | 43 | } //StatementImpl |