aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOutputImpl.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/SMTOutputImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOutputImpl.java337
1 files changed, 337 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/SMTOutputImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOutputImpl.java
new file mode 100644
index 00000000..7a67447d
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOutputImpl.java
@@ -0,0 +1,337 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection;
8import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
9
10import org.eclipse.emf.common.notify.Notification;
11import org.eclipse.emf.common.notify.NotificationChain;
12
13import org.eclipse.emf.ecore.EClass;
14import org.eclipse.emf.ecore.InternalEObject;
15
16import org.eclipse.emf.ecore.impl.ENotificationImpl;
17import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
18
19/**
20 * <!-- begin-user-doc -->
21 * An implementation of the model object '<em><b>SMT Output</b></em>'.
22 * <!-- end-user-doc -->
23 * <p>
24 * The following features are implemented:
25 * <ul>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl#getSatResult <em>Sat Result</em>}</li>
27 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl#getGetModelResult <em>Get Model Result</em>}</li>
28 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl#getStatistics <em>Statistics</em>}</li>
29 * </ul>
30 * </p>
31 *
32 * @generated
33 */
34public class SMTOutputImpl extends MinimalEObjectImpl.Container implements SMTOutput
35{
36 /**
37 * The cached value of the '{@link #getSatResult() <em>Sat Result</em>}' containment reference.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @see #getSatResult()
41 * @generated
42 * @ordered
43 */
44 protected SMTResult satResult;
45
46 /**
47 * The cached value of the '{@link #getGetModelResult() <em>Get Model Result</em>}' containment reference.
48 * <!-- begin-user-doc -->
49 * <!-- end-user-doc -->
50 * @see #getGetModelResult()
51 * @generated
52 * @ordered
53 */
54 protected SMTResult getModelResult;
55
56 /**
57 * The cached value of the '{@link #getStatistics() <em>Statistics</em>}' containment reference.
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @see #getStatistics()
61 * @generated
62 * @ordered
63 */
64 protected SMTStatisticsSection statistics;
65
66 /**
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 protected SMTOutputImpl()
72 {
73 super();
74 }
75
76 /**
77 * <!-- begin-user-doc -->
78 * <!-- end-user-doc -->
79 * @generated
80 */
81 @Override
82 protected EClass eStaticClass()
83 {
84 return SmtLanguagePackage.Literals.SMT_OUTPUT;
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 public SMTResult getSatResult()
93 {
94 return satResult;
95 }
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 public NotificationChain basicSetSatResult(SMTResult newSatResult, NotificationChain msgs)
103 {
104 SMTResult oldSatResult = satResult;
105 satResult = newSatResult;
106 if (eNotificationRequired())
107 {
108 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT, oldSatResult, newSatResult);
109 if (msgs == null) msgs = notification; else msgs.add(notification);
110 }
111 return msgs;
112 }
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 public void setSatResult(SMTResult newSatResult)
120 {
121 if (newSatResult != satResult)
122 {
123 NotificationChain msgs = null;
124 if (satResult != null)
125 msgs = ((InternalEObject)satResult).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT, null, msgs);
126 if (newSatResult != null)
127 msgs = ((InternalEObject)newSatResult).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT, null, msgs);
128 msgs = basicSetSatResult(newSatResult, msgs);
129 if (msgs != null) msgs.dispatch();
130 }
131 else if (eNotificationRequired())
132 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT, newSatResult, newSatResult));
133 }
134
135 /**
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 */
140 public SMTResult getGetModelResult()
141 {
142 return getModelResult;
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 public NotificationChain basicSetGetModelResult(SMTResult newGetModelResult, NotificationChain msgs)
151 {
152 SMTResult oldGetModelResult = getModelResult;
153 getModelResult = newGetModelResult;
154 if (eNotificationRequired())
155 {
156 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT, oldGetModelResult, newGetModelResult);
157 if (msgs == null) msgs = notification; else msgs.add(notification);
158 }
159 return msgs;
160 }
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 public void setGetModelResult(SMTResult newGetModelResult)
168 {
169 if (newGetModelResult != getModelResult)
170 {
171 NotificationChain msgs = null;
172 if (getModelResult != null)
173 msgs = ((InternalEObject)getModelResult).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT, null, msgs);
174 if (newGetModelResult != null)
175 msgs = ((InternalEObject)newGetModelResult).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT, null, msgs);
176 msgs = basicSetGetModelResult(newGetModelResult, msgs);
177 if (msgs != null) msgs.dispatch();
178 }
179 else if (eNotificationRequired())
180 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT, newGetModelResult, newGetModelResult));
181 }
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 public SMTStatisticsSection getStatistics()
189 {
190 return statistics;
191 }
192
193 /**
194 * <!-- begin-user-doc -->
195 * <!-- end-user-doc -->
196 * @generated
197 */
198 public NotificationChain basicSetStatistics(SMTStatisticsSection newStatistics, NotificationChain msgs)
199 {
200 SMTStatisticsSection oldStatistics = statistics;
201 statistics = newStatistics;
202 if (eNotificationRequired())
203 {
204 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OUTPUT__STATISTICS, oldStatistics, newStatistics);
205 if (msgs == null) msgs = notification; else msgs.add(notification);
206 }
207 return msgs;
208 }
209
210 /**
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 */
215 public void setStatistics(SMTStatisticsSection newStatistics)
216 {
217 if (newStatistics != statistics)
218 {
219 NotificationChain msgs = null;
220 if (statistics != null)
221 msgs = ((InternalEObject)statistics).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OUTPUT__STATISTICS, null, msgs);
222 if (newStatistics != null)
223 msgs = ((InternalEObject)newStatistics).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OUTPUT__STATISTICS, null, msgs);
224 msgs = basicSetStatistics(newStatistics, msgs);
225 if (msgs != null) msgs.dispatch();
226 }
227 else if (eNotificationRequired())
228 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OUTPUT__STATISTICS, newStatistics, newStatistics));
229 }
230
231 /**
232 * <!-- begin-user-doc -->
233 * <!-- end-user-doc -->
234 * @generated
235 */
236 @Override
237 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
238 {
239 switch (featureID)
240 {
241 case SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT:
242 return basicSetSatResult(null, msgs);
243 case SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT:
244 return basicSetGetModelResult(null, msgs);
245 case SmtLanguagePackage.SMT_OUTPUT__STATISTICS:
246 return basicSetStatistics(null, msgs);
247 }
248 return super.eInverseRemove(otherEnd, featureID, msgs);
249 }
250
251 /**
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @generated
255 */
256 @Override
257 public Object eGet(int featureID, boolean resolve, boolean coreType)
258 {
259 switch (featureID)
260 {
261 case SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT:
262 return getSatResult();
263 case SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT:
264 return getGetModelResult();
265 case SmtLanguagePackage.SMT_OUTPUT__STATISTICS:
266 return getStatistics();
267 }
268 return super.eGet(featureID, resolve, coreType);
269 }
270
271 /**
272 * <!-- begin-user-doc -->
273 * <!-- end-user-doc -->
274 * @generated
275 */
276 @Override
277 public void eSet(int featureID, Object newValue)
278 {
279 switch (featureID)
280 {
281 case SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT:
282 setSatResult((SMTResult)newValue);
283 return;
284 case SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT:
285 setGetModelResult((SMTResult)newValue);
286 return;
287 case SmtLanguagePackage.SMT_OUTPUT__STATISTICS:
288 setStatistics((SMTStatisticsSection)newValue);
289 return;
290 }
291 super.eSet(featureID, newValue);
292 }
293
294 /**
295 * <!-- begin-user-doc -->
296 * <!-- end-user-doc -->
297 * @generated
298 */
299 @Override
300 public void eUnset(int featureID)
301 {
302 switch (featureID)
303 {
304 case SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT:
305 setSatResult((SMTResult)null);
306 return;
307 case SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT:
308 setGetModelResult((SMTResult)null);
309 return;
310 case SmtLanguagePackage.SMT_OUTPUT__STATISTICS:
311 setStatistics((SMTStatisticsSection)null);
312 return;
313 }
314 super.eUnset(featureID);
315 }
316
317 /**
318 * <!-- begin-user-doc -->
319 * <!-- end-user-doc -->
320 * @generated
321 */
322 @Override
323 public boolean eIsSet(int featureID)
324 {
325 switch (featureID)
326 {
327 case SmtLanguagePackage.SMT_OUTPUT__SAT_RESULT:
328 return satResult != null;
329 case SmtLanguagePackage.SMT_OUTPUT__GET_MODEL_RESULT:
330 return getModelResult != null;
331 case SmtLanguagePackage.SMT_OUTPUT__STATISTICS:
332 return statistics != null;
333 }
334 return super.eIsSet(featureID);
335 }
336
337} //SMTOutputImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:28:15 +0000