aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTInputImpl.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/SMTInputImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTInputImpl.java469
1 files changed, 469 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/SMTInputImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTInputImpl.java
new file mode 100644
index 00000000..c336f8e6
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTInputImpl.java
@@ -0,0 +1,469 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition;
8import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand;
9import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput;
10import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption;
11import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand;
12import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType;
13import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
14
15import java.util.Collection;
16
17import org.eclipse.emf.common.notify.Notification;
18import org.eclipse.emf.common.notify.NotificationChain;
19
20import org.eclipse.emf.common.util.EList;
21
22import org.eclipse.emf.ecore.EClass;
23import org.eclipse.emf.ecore.InternalEObject;
24
25import org.eclipse.emf.ecore.impl.ENotificationImpl;
26import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
27
28import org.eclipse.emf.ecore.util.EObjectContainmentEList;
29import org.eclipse.emf.ecore.util.InternalEList;
30
31/**
32 * <!-- begin-user-doc -->
33 * An implementation of the model object '<em><b>SMT Input</b></em>'.
34 * <!-- end-user-doc -->
35 * <p>
36 * The following features are implemented:
37 * <ul>
38 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getOptions <em>Options</em>}</li>
39 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getTypeDeclarations <em>Type Declarations</em>}</li>
40 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getFunctionDeclarations <em>Function Declarations</em>}</li>
41 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getFunctionDefinition <em>Function Definition</em>}</li>
42 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getAssertions <em>Assertions</em>}</li>
43 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getSatCommand <em>Sat Command</em>}</li>
44 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl#getGetModelCommand <em>Get Model Command</em>}</li>
45 * </ul>
46 * </p>
47 *
48 * @generated
49 */
50public class SMTInputImpl extends MinimalEObjectImpl.Container implements SMTInput
51{
52 /**
53 * The cached value of the '{@link #getOptions() <em>Options</em>}' containment reference list.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @see #getOptions()
57 * @generated
58 * @ordered
59 */
60 protected EList<SMTOption> options;
61
62 /**
63 * The cached value of the '{@link #getTypeDeclarations() <em>Type Declarations</em>}' containment reference list.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @see #getTypeDeclarations()
67 * @generated
68 * @ordered
69 */
70 protected EList<SMTType> typeDeclarations;
71
72 /**
73 * The cached value of the '{@link #getFunctionDeclarations() <em>Function Declarations</em>}' containment reference list.
74 * <!-- begin-user-doc -->
75 * <!-- end-user-doc -->
76 * @see #getFunctionDeclarations()
77 * @generated
78 * @ordered
79 */
80 protected EList<SMTFunctionDeclaration> functionDeclarations;
81
82 /**
83 * The cached value of the '{@link #getFunctionDefinition() <em>Function Definition</em>}' containment reference list.
84 * <!-- begin-user-doc -->
85 * <!-- end-user-doc -->
86 * @see #getFunctionDefinition()
87 * @generated
88 * @ordered
89 */
90 protected EList<SMTFunctionDefinition> functionDefinition;
91
92 /**
93 * The cached value of the '{@link #getAssertions() <em>Assertions</em>}' containment reference list.
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @see #getAssertions()
97 * @generated
98 * @ordered
99 */
100 protected EList<SMTAssertion> assertions;
101
102 /**
103 * The cached value of the '{@link #getSatCommand() <em>Sat Command</em>}' containment reference.
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @see #getSatCommand()
107 * @generated
108 * @ordered
109 */
110 protected SMTSatCommand satCommand;
111
112 /**
113 * The cached value of the '{@link #getGetModelCommand() <em>Get Model Command</em>}' containment reference.
114 * <!-- begin-user-doc -->
115 * <!-- end-user-doc -->
116 * @see #getGetModelCommand()
117 * @generated
118 * @ordered
119 */
120 protected SMTGetModelCommand getModelCommand;
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 protected SMTInputImpl()
128 {
129 super();
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 @Override
138 protected EClass eStaticClass()
139 {
140 return SmtLanguagePackage.Literals.SMT_INPUT;
141 }
142
143 /**
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 */
148 public EList<SMTOption> getOptions()
149 {
150 if (options == null)
151 {
152 options = new EObjectContainmentEList<SMTOption>(SMTOption.class, this, SmtLanguagePackage.SMT_INPUT__OPTIONS);
153 }
154 return options;
155 }
156
157 /**
158 * <!-- begin-user-doc -->
159 * <!-- end-user-doc -->
160 * @generated
161 */
162 public EList<SMTType> getTypeDeclarations()
163 {
164 if (typeDeclarations == null)
165 {
166 typeDeclarations = new EObjectContainmentEList<SMTType>(SMTType.class, this, SmtLanguagePackage.SMT_INPUT__TYPE_DECLARATIONS);
167 }
168 return typeDeclarations;
169 }
170
171 /**
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @generated
175 */
176 public EList<SMTFunctionDeclaration> getFunctionDeclarations()
177 {
178 if (functionDeclarations == null)
179 {
180 functionDeclarations = new EObjectContainmentEList<SMTFunctionDeclaration>(SMTFunctionDeclaration.class, this, SmtLanguagePackage.SMT_INPUT__FUNCTION_DECLARATIONS);
181 }
182 return functionDeclarations;
183 }
184
185 /**
186 * <!-- begin-user-doc -->
187 * <!-- end-user-doc -->
188 * @generated
189 */
190 public EList<SMTFunctionDefinition> getFunctionDefinition()
191 {
192 if (functionDefinition == null)
193 {
194 functionDefinition = new EObjectContainmentEList<SMTFunctionDefinition>(SMTFunctionDefinition.class, this, SmtLanguagePackage.SMT_INPUT__FUNCTION_DEFINITION);
195 }
196 return functionDefinition;
197 }
198
199 /**
200 * <!-- begin-user-doc -->
201 * <!-- end-user-doc -->
202 * @generated
203 */
204 public EList<SMTAssertion> getAssertions()
205 {
206 if (assertions == null)
207 {
208 assertions = new EObjectContainmentEList<SMTAssertion>(SMTAssertion.class, this, SmtLanguagePackage.SMT_INPUT__ASSERTIONS);
209 }
210 return assertions;
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 public SMTSatCommand getSatCommand()
219 {
220 return satCommand;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 public NotificationChain basicSetSatCommand(SMTSatCommand newSatCommand, NotificationChain msgs)
229 {
230 SMTSatCommand oldSatCommand = satCommand;
231 satCommand = newSatCommand;
232 if (eNotificationRequired())
233 {
234 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_INPUT__SAT_COMMAND, oldSatCommand, newSatCommand);
235 if (msgs == null) msgs = notification; else msgs.add(notification);
236 }
237 return msgs;
238 }
239
240 /**
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 */
245 public void setSatCommand(SMTSatCommand newSatCommand)
246 {
247 if (newSatCommand != satCommand)
248 {
249 NotificationChain msgs = null;
250 if (satCommand != null)
251 msgs = ((InternalEObject)satCommand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_INPUT__SAT_COMMAND, null, msgs);
252 if (newSatCommand != null)
253 msgs = ((InternalEObject)newSatCommand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_INPUT__SAT_COMMAND, null, msgs);
254 msgs = basicSetSatCommand(newSatCommand, msgs);
255 if (msgs != null) msgs.dispatch();
256 }
257 else if (eNotificationRequired())
258 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_INPUT__SAT_COMMAND, newSatCommand, newSatCommand));
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 public SMTGetModelCommand getGetModelCommand()
267 {
268 return getModelCommand;
269 }
270
271 /**
272 * <!-- begin-user-doc -->
273 * <!-- end-user-doc -->
274 * @generated
275 */
276 public NotificationChain basicSetGetModelCommand(SMTGetModelCommand newGetModelCommand, NotificationChain msgs)
277 {
278 SMTGetModelCommand oldGetModelCommand = getModelCommand;
279 getModelCommand = newGetModelCommand;
280 if (eNotificationRequired())
281 {
282 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND, oldGetModelCommand, newGetModelCommand);
283 if (msgs == null) msgs = notification; else msgs.add(notification);
284 }
285 return msgs;
286 }
287
288 /**
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @generated
292 */
293 public void setGetModelCommand(SMTGetModelCommand newGetModelCommand)
294 {
295 if (newGetModelCommand != getModelCommand)
296 {
297 NotificationChain msgs = null;
298 if (getModelCommand != null)
299 msgs = ((InternalEObject)getModelCommand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND, null, msgs);
300 if (newGetModelCommand != null)
301 msgs = ((InternalEObject)newGetModelCommand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND, null, msgs);
302 msgs = basicSetGetModelCommand(newGetModelCommand, msgs);
303 if (msgs != null) msgs.dispatch();
304 }
305 else if (eNotificationRequired())
306 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND, newGetModelCommand, newGetModelCommand));
307 }
308
309 /**
310 * <!-- begin-user-doc -->
311 * <!-- end-user-doc -->
312 * @generated
313 */
314 @Override
315 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
316 {
317 switch (featureID)
318 {
319 case SmtLanguagePackage.SMT_INPUT__OPTIONS:
320 return ((InternalEList<?>)getOptions()).basicRemove(otherEnd, msgs);
321 case SmtLanguagePackage.SMT_INPUT__TYPE_DECLARATIONS:
322 return ((InternalEList<?>)getTypeDeclarations()).basicRemove(otherEnd, msgs);
323 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DECLARATIONS:
324 return ((InternalEList<?>)getFunctionDeclarations()).basicRemove(otherEnd, msgs);
325 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DEFINITION:
326 return ((InternalEList<?>)getFunctionDefinition()).basicRemove(otherEnd, msgs);
327 case SmtLanguagePackage.SMT_INPUT__ASSERTIONS:
328 return ((InternalEList<?>)getAssertions()).basicRemove(otherEnd, msgs);
329 case SmtLanguagePackage.SMT_INPUT__SAT_COMMAND:
330 return basicSetSatCommand(null, msgs);
331 case SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND:
332 return basicSetGetModelCommand(null, msgs);
333 }
334 return super.eInverseRemove(otherEnd, featureID, msgs);
335 }
336
337 /**
338 * <!-- begin-user-doc -->
339 * <!-- end-user-doc -->
340 * @generated
341 */
342 @Override
343 public Object eGet(int featureID, boolean resolve, boolean coreType)
344 {
345 switch (featureID)
346 {
347 case SmtLanguagePackage.SMT_INPUT__OPTIONS:
348 return getOptions();
349 case SmtLanguagePackage.SMT_INPUT__TYPE_DECLARATIONS:
350 return getTypeDeclarations();
351 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DECLARATIONS:
352 return getFunctionDeclarations();
353 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DEFINITION:
354 return getFunctionDefinition();
355 case SmtLanguagePackage.SMT_INPUT__ASSERTIONS:
356 return getAssertions();
357 case SmtLanguagePackage.SMT_INPUT__SAT_COMMAND:
358 return getSatCommand();
359 case SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND:
360 return getGetModelCommand();
361 }
362 return super.eGet(featureID, resolve, coreType);
363 }
364
365 /**
366 * <!-- begin-user-doc -->
367 * <!-- end-user-doc -->
368 * @generated
369 */
370 @SuppressWarnings("unchecked")
371 @Override
372 public void eSet(int featureID, Object newValue)
373 {
374 switch (featureID)
375 {
376 case SmtLanguagePackage.SMT_INPUT__OPTIONS:
377 getOptions().clear();
378 getOptions().addAll((Collection<? extends SMTOption>)newValue);
379 return;
380 case SmtLanguagePackage.SMT_INPUT__TYPE_DECLARATIONS:
381 getTypeDeclarations().clear();
382 getTypeDeclarations().addAll((Collection<? extends SMTType>)newValue);
383 return;
384 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DECLARATIONS:
385 getFunctionDeclarations().clear();
386 getFunctionDeclarations().addAll((Collection<? extends SMTFunctionDeclaration>)newValue);
387 return;
388 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DEFINITION:
389 getFunctionDefinition().clear();
390 getFunctionDefinition().addAll((Collection<? extends SMTFunctionDefinition>)newValue);
391 return;
392 case SmtLanguagePackage.SMT_INPUT__ASSERTIONS:
393 getAssertions().clear();
394 getAssertions().addAll((Collection<? extends SMTAssertion>)newValue);
395 return;
396 case SmtLanguagePackage.SMT_INPUT__SAT_COMMAND:
397 setSatCommand((SMTSatCommand)newValue);
398 return;
399 case SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND:
400 setGetModelCommand((SMTGetModelCommand)newValue);
401 return;
402 }
403 super.eSet(featureID, newValue);
404 }
405
406 /**
407 * <!-- begin-user-doc -->
408 * <!-- end-user-doc -->
409 * @generated
410 */
411 @Override
412 public void eUnset(int featureID)
413 {
414 switch (featureID)
415 {
416 case SmtLanguagePackage.SMT_INPUT__OPTIONS:
417 getOptions().clear();
418 return;
419 case SmtLanguagePackage.SMT_INPUT__TYPE_DECLARATIONS:
420 getTypeDeclarations().clear();
421 return;
422 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DECLARATIONS:
423 getFunctionDeclarations().clear();
424 return;
425 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DEFINITION:
426 getFunctionDefinition().clear();
427 return;
428 case SmtLanguagePackage.SMT_INPUT__ASSERTIONS:
429 getAssertions().clear();
430 return;
431 case SmtLanguagePackage.SMT_INPUT__SAT_COMMAND:
432 setSatCommand((SMTSatCommand)null);
433 return;
434 case SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND:
435 setGetModelCommand((SMTGetModelCommand)null);
436 return;
437 }
438 super.eUnset(featureID);
439 }
440
441 /**
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @generated
445 */
446 @Override
447 public boolean eIsSet(int featureID)
448 {
449 switch (featureID)
450 {
451 case SmtLanguagePackage.SMT_INPUT__OPTIONS:
452 return options != null && !options.isEmpty();
453 case SmtLanguagePackage.SMT_INPUT__TYPE_DECLARATIONS:
454 return typeDeclarations != null && !typeDeclarations.isEmpty();
455 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DECLARATIONS:
456 return functionDeclarations != null && !functionDeclarations.isEmpty();
457 case SmtLanguagePackage.SMT_INPUT__FUNCTION_DEFINITION:
458 return functionDefinition != null && !functionDefinition.isEmpty();
459 case SmtLanguagePackage.SMT_INPUT__ASSERTIONS:
460 return assertions != null && !assertions.isEmpty();
461 case SmtLanguagePackage.SMT_INPUT__SAT_COMMAND:
462 return satCommand != null;
463 case SmtLanguagePackage.SMT_INPUT__GET_MODEL_COMMAND:
464 return getModelCommand != null;
465 }
466 return super.eIsSet(featureID);
467 }
468
469} //SMTInputImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-09 05:07:48 +0000