aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTFunctionDeclarationImpl.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/SMTFunctionDeclarationImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTFunctionDeclarationImpl.java239
1 files changed, 239 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/SMTFunctionDeclarationImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTFunctionDeclarationImpl.java
new file mode 100644
index 00000000..dae096ac
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTFunctionDeclarationImpl.java
@@ -0,0 +1,239 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTypeReference;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.common.util.EList;
15
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20
21import org.eclipse.emf.ecore.util.EObjectContainmentEList;
22import org.eclipse.emf.ecore.util.InternalEList;
23
24/**
25 * <!-- begin-user-doc -->
26 * An implementation of the model object '<em><b>SMT Function Declaration</b></em>'.
27 * <!-- end-user-doc -->
28 * <p>
29 * The following features are implemented:
30 * <ul>
31 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl#getParameters <em>Parameters</em>}</li>
32 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl#getRange <em>Range</em>}</li>
33 * </ul>
34 * </p>
35 *
36 * @generated
37 */
38public class SMTFunctionDeclarationImpl extends SMTSymbolicDeclarationImpl implements SMTFunctionDeclaration
39{
40 /**
41 * The cached value of the '{@link #getParameters() <em>Parameters</em>}' containment reference list.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @see #getParameters()
45 * @generated
46 * @ordered
47 */
48 protected EList<SMTTypeReference> parameters;
49
50 /**
51 * The cached value of the '{@link #getRange() <em>Range</em>}' containment reference.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @see #getRange()
55 * @generated
56 * @ordered
57 */
58 protected SMTTypeReference range;
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 protected SMTFunctionDeclarationImpl()
66 {
67 super();
68 }
69
70 /**
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 */
75 @Override
76 protected EClass eStaticClass()
77 {
78 return SmtLanguagePackage.Literals.SMT_FUNCTION_DECLARATION;
79 }
80
81 /**
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 public EList<SMTTypeReference> getParameters()
87 {
88 if (parameters == null)
89 {
90 parameters = new EObjectContainmentEList<SMTTypeReference>(SMTTypeReference.class, this, SmtLanguagePackage.SMT_FUNCTION_DECLARATION__PARAMETERS);
91 }
92 return parameters;
93 }
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 public SMTTypeReference getRange()
101 {
102 return range;
103 }
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 public NotificationChain basicSetRange(SMTTypeReference newRange, NotificationChain msgs)
111 {
112 SMTTypeReference oldRange = range;
113 range = newRange;
114 if (eNotificationRequired())
115 {
116 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE, oldRange, newRange);
117 if (msgs == null) msgs = notification; else msgs.add(notification);
118 }
119 return msgs;
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 public void setRange(SMTTypeReference newRange)
128 {
129 if (newRange != range)
130 {
131 NotificationChain msgs = null;
132 if (range != null)
133 msgs = ((InternalEObject)range).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE, null, msgs);
134 if (newRange != null)
135 msgs = ((InternalEObject)newRange).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE, null, msgs);
136 msgs = basicSetRange(newRange, msgs);
137 if (msgs != null) msgs.dispatch();
138 }
139 else if (eNotificationRequired())
140 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE, newRange, newRange));
141 }
142
143 /**
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 */
148 @Override
149 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
150 {
151 switch (featureID)
152 {
153 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__PARAMETERS:
154 return ((InternalEList<?>)getParameters()).basicRemove(otherEnd, msgs);
155 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE:
156 return basicSetRange(null, msgs);
157 }
158 return super.eInverseRemove(otherEnd, featureID, msgs);
159 }
160
161 /**
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 */
166 @Override
167 public Object eGet(int featureID, boolean resolve, boolean coreType)
168 {
169 switch (featureID)
170 {
171 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__PARAMETERS:
172 return getParameters();
173 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE:
174 return getRange();
175 }
176 return super.eGet(featureID, resolve, coreType);
177 }
178
179 /**
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @generated
183 */
184 @SuppressWarnings("unchecked")
185 @Override
186 public void eSet(int featureID, Object newValue)
187 {
188 switch (featureID)
189 {
190 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__PARAMETERS:
191 getParameters().clear();
192 getParameters().addAll((Collection<? extends SMTTypeReference>)newValue);
193 return;
194 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE:
195 setRange((SMTTypeReference)newValue);
196 return;
197 }
198 super.eSet(featureID, newValue);
199 }
200
201 /**
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @generated
205 */
206 @Override
207 public void eUnset(int featureID)
208 {
209 switch (featureID)
210 {
211 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__PARAMETERS:
212 getParameters().clear();
213 return;
214 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE:
215 setRange((SMTTypeReference)null);
216 return;
217 }
218 super.eUnset(featureID);
219 }
220
221 /**
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 */
226 @Override
227 public boolean eIsSet(int featureID)
228 {
229 switch (featureID)
230 {
231 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__PARAMETERS:
232 return parameters != null && !parameters.isEmpty();
233 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION__RANGE:
234 return range != null;
235 }
236 return super.eIsSet(featureID);
237 }
238
239} //SMTFunctionDeclarationImpl
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 14:29:26 +0000