aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTQuantifiedExpressionImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTQuantifiedExpressionImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTQuantifiedExpressionImpl.java311
1 files changed, 311 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTQuantifiedExpressionImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTQuantifiedExpressionImpl.java
new file mode 100644
index 00000000..1d9d594e
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTQuantifiedExpressionImpl.java
@@ -0,0 +1,311 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm;
8import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
9
10import java.util.Collection;
11
12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
14
15import org.eclipse.emf.common.util.EList;
16
17import org.eclipse.emf.ecore.EClass;
18import org.eclipse.emf.ecore.InternalEObject;
19
20import org.eclipse.emf.ecore.impl.ENotificationImpl;
21
22import org.eclipse.emf.ecore.util.EObjectContainmentEList;
23import org.eclipse.emf.ecore.util.InternalEList;
24
25/**
26 * <!-- begin-user-doc -->
27 * An implementation of the model object '<em><b>SMT Quantified Expression</b></em>'.
28 * <!-- end-user-doc -->
29 * <p>
30 * The following features are implemented:
31 * <ul>
32 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl#getQuantifiedVariables <em>Quantified Variables</em>}</li>
33 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl#getExpression <em>Expression</em>}</li>
34 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl#getPattern <em>Pattern</em>}</li>
35 * </ul>
36 * </p>
37 *
38 * @generated
39 */
40public class SMTQuantifiedExpressionImpl extends SMTTermImpl implements SMTQuantifiedExpression
41{
42 /**
43 * The cached value of the '{@link #getQuantifiedVariables() <em>Quantified Variables</em>}' containment reference list.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @see #getQuantifiedVariables()
47 * @generated
48 * @ordered
49 */
50 protected EList<SMTSortedVariable> quantifiedVariables;
51
52 /**
53 * The cached value of the '{@link #getExpression() <em>Expression</em>}' containment reference.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @see #getExpression()
57 * @generated
58 * @ordered
59 */
60 protected SMTTerm expression;
61
62 /**
63 * The cached value of the '{@link #getPattern() <em>Pattern</em>}' containment reference.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @see #getPattern()
67 * @generated
68 * @ordered
69 */
70 protected SMTTerm pattern;
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 protected SMTQuantifiedExpressionImpl()
78 {
79 super();
80 }
81
82 /**
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @generated
86 */
87 @Override
88 protected EClass eStaticClass()
89 {
90 return SmtLanguagePackage.Literals.SMT_QUANTIFIED_EXPRESSION;
91 }
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 public EList<SMTSortedVariable> getQuantifiedVariables()
99 {
100 if (quantifiedVariables == null)
101 {
102 quantifiedVariables = new EObjectContainmentEList<SMTSortedVariable>(SMTSortedVariable.class, this, SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES);
103 }
104 return quantifiedVariables;
105 }
106
107 /**
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 */
112 public SMTTerm getExpression()
113 {
114 return expression;
115 }
116
117 /**
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 */
122 public NotificationChain basicSetExpression(SMTTerm newExpression, NotificationChain msgs)
123 {
124 SMTTerm oldExpression = expression;
125 expression = newExpression;
126 if (eNotificationRequired())
127 {
128 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION, oldExpression, newExpression);
129 if (msgs == null) msgs = notification; else msgs.add(notification);
130 }
131 return msgs;
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 public void setExpression(SMTTerm newExpression)
140 {
141 if (newExpression != expression)
142 {
143 NotificationChain msgs = null;
144 if (expression != null)
145 msgs = ((InternalEObject)expression).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION, null, msgs);
146 if (newExpression != null)
147 msgs = ((InternalEObject)newExpression).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION, null, msgs);
148 msgs = basicSetExpression(newExpression, msgs);
149 if (msgs != null) msgs.dispatch();
150 }
151 else if (eNotificationRequired())
152 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION, newExpression, newExpression));
153 }
154
155 /**
156 * <!-- begin-user-doc -->
157 * <!-- end-user-doc -->
158 * @generated
159 */
160 public SMTTerm getPattern()
161 {
162 return pattern;
163 }
164
165 /**
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 */
170 public NotificationChain basicSetPattern(SMTTerm newPattern, NotificationChain msgs)
171 {
172 SMTTerm oldPattern = pattern;
173 pattern = newPattern;
174 if (eNotificationRequired())
175 {
176 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN, oldPattern, newPattern);
177 if (msgs == null) msgs = notification; else msgs.add(notification);
178 }
179 return msgs;
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 public void setPattern(SMTTerm newPattern)
188 {
189 if (newPattern != pattern)
190 {
191 NotificationChain msgs = null;
192 if (pattern != null)
193 msgs = ((InternalEObject)pattern).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN, null, msgs);
194 if (newPattern != null)
195 msgs = ((InternalEObject)newPattern).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN, null, msgs);
196 msgs = basicSetPattern(newPattern, msgs);
197 if (msgs != null) msgs.dispatch();
198 }
199 else if (eNotificationRequired())
200 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN, newPattern, newPattern));
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
210 {
211 switch (featureID)
212 {
213 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES:
214 return ((InternalEList<?>)getQuantifiedVariables()).basicRemove(otherEnd, msgs);
215 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION:
216 return basicSetExpression(null, msgs);
217 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN:
218 return basicSetPattern(null, 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 SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES:
234 return getQuantifiedVariables();
235 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION:
236 return getExpression();
237 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN:
238 return getPattern();
239 }
240 return super.eGet(featureID, resolve, coreType);
241 }
242
243 /**
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 */
248 @SuppressWarnings("unchecked")
249 @Override
250 public void eSet(int featureID, Object newValue)
251 {
252 switch (featureID)
253 {
254 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES:
255 getQuantifiedVariables().clear();
256 getQuantifiedVariables().addAll((Collection<? extends SMTSortedVariable>)newValue);
257 return;
258 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION:
259 setExpression((SMTTerm)newValue);
260 return;
261 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN:
262 setPattern((SMTTerm)newValue);
263 return;
264 }
265 super.eSet(featureID, newValue);
266 }
267
268 /**
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @generated
272 */
273 @Override
274 public void eUnset(int featureID)
275 {
276 switch (featureID)
277 {
278 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES:
279 getQuantifiedVariables().clear();
280 return;
281 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION:
282 setExpression((SMTTerm)null);
283 return;
284 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN:
285 setPattern((SMTTerm)null);
286 return;
287 }
288 super.eUnset(featureID);
289 }
290
291 /**
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 */
296 @Override
297 public boolean eIsSet(int featureID)
298 {
299 switch (featureID)
300 {
301 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES:
302 return quantifiedVariables != null && !quantifiedVariables.isEmpty();
303 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__EXPRESSION:
304 return expression != null;
305 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION__PATTERN:
306 return pattern != null;
307 }
308 return super.eIsSet(featureID);
309 }
310
311} //SMTQuantifiedExpressionImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:57:22 +0000