diff options
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.java | 469 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration; | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition; | ||
8 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand; | ||
9 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput; | ||
10 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption; | ||
11 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand; | ||
12 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType; | ||
13 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
14 | |||
15 | import java.util.Collection; | ||
16 | |||
17 | import org.eclipse.emf.common.notify.Notification; | ||
18 | import org.eclipse.emf.common.notify.NotificationChain; | ||
19 | |||
20 | import org.eclipse.emf.common.util.EList; | ||
21 | |||
22 | import org.eclipse.emf.ecore.EClass; | ||
23 | import org.eclipse.emf.ecore.InternalEObject; | ||
24 | |||
25 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
26 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
27 | |||
28 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
29 | import 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 | */ | ||
50 | public 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 | ||