diff options
author | 2020-05-08 21:02:33 +0200 | |
---|---|---|
committer | 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/CallImpl.java | |
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/CallImpl.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java | 118 |
1 files changed, 59 insertions, 59 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 | } |