diff options
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.java | 337 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult; | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection; | ||
8 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
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 | import 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 | */ | ||
34 | public 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 | ||