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