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