aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/AbstractAssertionImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/AbstractAssertionImpl.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/AbstractAssertionImpl.java255
1 files changed, 255 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/AbstractAssertionImpl.java b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/AbstractAssertionImpl.java
new file mode 100644
index 00000000..ec01140f
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/AbstractAssertionImpl.java
@@ -0,0 +1,255 @@
1/**
2 */
3package org.eclipse.viatra.solver.language.solverLanguage.impl;
4
5import org.eclipse.emf.common.notify.Notification;
6import org.eclipse.emf.common.notify.NotificationChain;
7
8import org.eclipse.emf.ecore.EClass;
9import org.eclipse.emf.ecore.InternalEObject;
10
11import org.eclipse.emf.ecore.impl.ENotificationImpl;
12
13import org.eclipse.viatra.solver.language.solverLanguage.AbstractAssertion;
14import org.eclipse.viatra.solver.language.solverLanguage.Expression;
15import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model object '<em><b>Abstract Assertion</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * </p>
24 * <ul>
25 * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AbstractAssertionImpl#getExpression <em>Expression</em>}</li>
26 * <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AbstractAssertionImpl#getRange <em>Range</em>}</li>
27 * </ul>
28 *
29 * @generated
30 */
31public abstract class AbstractAssertionImpl extends StatementImpl implements AbstractAssertion {
32 /**
33 * The cached value of the '{@link #getExpression() <em>Expression</em>}' containment reference.
34 * <!-- begin-user-doc -->
35 * <!-- end-user-doc -->
36 * @see #getExpression()
37 * @generated
38 * @ordered
39 */
40 protected Expression expression;
41
42 /**
43 * The cached value of the '{@link #getRange() <em>Range</em>}' containment reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @see #getRange()
47 * @generated
48 * @ordered
49 */
50 protected Expression range;
51
52 /**
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 protected AbstractAssertionImpl() {
58 super();
59 }
60
61 /**
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @generated
65 */
66 @Override
67 protected EClass eStaticClass() {
68 return SolverLanguagePackage.Literals.ABSTRACT_ASSERTION;
69 }
70
71 /**
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 */
76 public Expression getExpression() {
77 return expression;
78 }
79
80 /**
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @generated
84 */
85 public NotificationChain basicSetExpression(Expression newExpression, NotificationChain msgs) {
86 Expression oldExpression = expression;
87 expression = newExpression;
88 if (eNotificationRequired()) {
89 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET,
90 SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION, oldExpression, newExpression);
91 if (msgs == null)
92 msgs = notification;
93 else
94 msgs.add(notification);
95 }
96 return msgs;
97 }
98
99 /**
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 */
104 public void setExpression(Expression newExpression) {
105 if (newExpression != expression) {
106 NotificationChain msgs = null;
107 if (expression != null)
108 msgs = ((InternalEObject) expression).eInverseRemove(this,
109 EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION, null, msgs);
110 if (newExpression != null)
111 msgs = ((InternalEObject) newExpression).eInverseAdd(this,
112 EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION, null, msgs);
113 msgs = basicSetExpression(newExpression, msgs);
114 if (msgs != null)
115 msgs.dispatch();
116 } else if (eNotificationRequired())
117 eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION,
118 newExpression, newExpression));
119 }
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 public Expression getRange() {
127 return range;
128 }
129
130 /**
131 * <!-- begin-user-doc -->
132 * <!-- end-user-doc -->
133 * @generated
134 */
135 public NotificationChain basicSetRange(Expression newRange, NotificationChain msgs) {
136 Expression oldRange = range;
137 range = newRange;
138 if (eNotificationRequired()) {
139 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET,
140 SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE, oldRange, newRange);
141 if (msgs == null)
142 msgs = notification;
143 else
144 msgs.add(notification);
145 }
146 return msgs;
147 }
148
149 /**
150 * <!-- begin-user-doc -->
151 * <!-- end-user-doc -->
152 * @generated
153 */
154 public void setRange(Expression newRange) {
155 if (newRange != range) {
156 NotificationChain msgs = null;
157 if (range != null)
158 msgs = ((InternalEObject) range).eInverseRemove(this,
159 EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE, null, msgs);
160 if (newRange != null)
161 msgs = ((InternalEObject) newRange).eInverseAdd(this,
162 EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE, null, msgs);
163 msgs = basicSetRange(newRange, msgs);
164 if (msgs != null)
165 msgs.dispatch();
166 } else if (eNotificationRequired())
167 eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE,
168 newRange, newRange));
169 }
170
171 /**
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @generated
175 */
176 @Override
177 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
178 switch (featureID) {
179 case SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION:
180 return basicSetExpression(null, msgs);
181 case SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE:
182 return basicSetRange(null, msgs);
183 }
184 return super.eInverseRemove(otherEnd, featureID, msgs);
185 }
186
187 /**
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @generated
191 */
192 @Override
193 public Object eGet(int featureID, boolean resolve, boolean coreType) {
194 switch (featureID) {
195 case SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION:
196 return getExpression();
197 case SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE:
198 return getRange();
199 }
200 return super.eGet(featureID, resolve, coreType);
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public void eSet(int featureID, Object newValue) {
210 switch (featureID) {
211 case SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION:
212 setExpression((Expression) newValue);
213 return;
214 case SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE:
215 setRange((Expression) newValue);
216 return;
217 }
218 super.eSet(featureID, newValue);
219 }
220
221 /**
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 */
226 @Override
227 public void eUnset(int featureID) {
228 switch (featureID) {
229 case SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION:
230 setExpression((Expression) null);
231 return;
232 case SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE:
233 setRange((Expression) null);
234 return;
235 }
236 super.eUnset(featureID);
237 }
238
239 /**
240 * <!-- begin-user-doc -->
241 * <!-- end-user-doc -->
242 * @generated
243 */
244 @Override
245 public boolean eIsSet(int featureID) {
246 switch (featureID) {
247 case SolverLanguagePackage.ABSTRACT_ASSERTION__EXPRESSION:
248 return expression != null;
249 case SolverLanguagePackage.ABSTRACT_ASSERTION__RANGE:
250 return range != null;
251 }
252 return super.eIsSet(featureID);
253 }
254
255} //AbstractAssertionImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 00:14:02 +0000