aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOptionImpl.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/SMTOptionImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOptionImpl.java265
1 files changed, 265 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/SMTOptionImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOptionImpl.java
new file mode 100644
index 00000000..d3d51c5b
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTOptionImpl.java
@@ -0,0 +1,265 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAtomicTerm;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
8
9import org.eclipse.emf.common.notify.Notification;
10import org.eclipse.emf.common.notify.NotificationChain;
11
12import org.eclipse.emf.ecore.EClass;
13import org.eclipse.emf.ecore.InternalEObject;
14
15import org.eclipse.emf.ecore.impl.ENotificationImpl;
16import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
17
18/**
19 * <!-- begin-user-doc -->
20 * An implementation of the model object '<em><b>SMT Option</b></em>'.
21 * <!-- end-user-doc -->
22 * <p>
23 * The following features are implemented:
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl#getName <em>Name</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl#getValue <em>Value</em>}</li>
27 * </ul>
28 * </p>
29 *
30 * @generated
31 */
32public class SMTOptionImpl extends MinimalEObjectImpl.Container implements SMTOption
33{
34 /**
35 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @see #getName()
39 * @generated
40 * @ordered
41 */
42 protected static final String NAME_EDEFAULT = null;
43
44 /**
45 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @see #getName()
49 * @generated
50 * @ordered
51 */
52 protected String name = NAME_EDEFAULT;
53
54 /**
55 * The cached value of the '{@link #getValue() <em>Value</em>}' containment reference.
56 * <!-- begin-user-doc -->
57 * <!-- end-user-doc -->
58 * @see #getValue()
59 * @generated
60 * @ordered
61 */
62 protected SMTAtomicTerm value;
63
64 /**
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 protected SMTOptionImpl()
70 {
71 super();
72 }
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 @Override
80 protected EClass eStaticClass()
81 {
82 return SmtLanguagePackage.Literals.SMT_OPTION;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 public String getName()
91 {
92 return name;
93 }
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 public void setName(String newName)
101 {
102 String oldName = name;
103 name = newName;
104 if (eNotificationRequired())
105 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OPTION__NAME, oldName, name));
106 }
107
108 /**
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 */
113 public SMTAtomicTerm getValue()
114 {
115 return value;
116 }
117
118 /**
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 */
123 public NotificationChain basicSetValue(SMTAtomicTerm newValue, NotificationChain msgs)
124 {
125 SMTAtomicTerm oldValue = value;
126 value = newValue;
127 if (eNotificationRequired())
128 {
129 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OPTION__VALUE, oldValue, newValue);
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 setValue(SMTAtomicTerm newValue)
141 {
142 if (newValue != value)
143 {
144 NotificationChain msgs = null;
145 if (value != null)
146 msgs = ((InternalEObject)value).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OPTION__VALUE, null, msgs);
147 if (newValue != null)
148 msgs = ((InternalEObject)newValue).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_OPTION__VALUE, null, msgs);
149 msgs = basicSetValue(newValue, msgs);
150 if (msgs != null) msgs.dispatch();
151 }
152 else if (eNotificationRequired())
153 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_OPTION__VALUE, newValue, newValue));
154 }
155
156 /**
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @generated
160 */
161 @Override
162 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
163 {
164 switch (featureID)
165 {
166 case SmtLanguagePackage.SMT_OPTION__VALUE:
167 return basicSetValue(null, msgs);
168 }
169 return super.eInverseRemove(otherEnd, featureID, msgs);
170 }
171
172 /**
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 */
177 @Override
178 public Object eGet(int featureID, boolean resolve, boolean coreType)
179 {
180 switch (featureID)
181 {
182 case SmtLanguagePackage.SMT_OPTION__NAME:
183 return getName();
184 case SmtLanguagePackage.SMT_OPTION__VALUE:
185 return getValue();
186 }
187 return super.eGet(featureID, resolve, coreType);
188 }
189
190 /**
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @generated
194 */
195 @Override
196 public void eSet(int featureID, Object newValue)
197 {
198 switch (featureID)
199 {
200 case SmtLanguagePackage.SMT_OPTION__NAME:
201 setName((String)newValue);
202 return;
203 case SmtLanguagePackage.SMT_OPTION__VALUE:
204 setValue((SMTAtomicTerm)newValue);
205 return;
206 }
207 super.eSet(featureID, newValue);
208 }
209
210 /**
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 */
215 @Override
216 public void eUnset(int featureID)
217 {
218 switch (featureID)
219 {
220 case SmtLanguagePackage.SMT_OPTION__NAME:
221 setName(NAME_EDEFAULT);
222 return;
223 case SmtLanguagePackage.SMT_OPTION__VALUE:
224 setValue((SMTAtomicTerm)null);
225 return;
226 }
227 super.eUnset(featureID);
228 }
229
230 /**
231 * <!-- begin-user-doc -->
232 * <!-- end-user-doc -->
233 * @generated
234 */
235 @Override
236 public boolean eIsSet(int featureID)
237 {
238 switch (featureID)
239 {
240 case SmtLanguagePackage.SMT_OPTION__NAME:
241 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
242 case SmtLanguagePackage.SMT_OPTION__VALUE:
243 return value != null;
244 }
245 return super.eIsSet(featureID);
246 }
247
248 /**
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @generated
252 */
253 @Override
254 public String toString()
255 {
256 if (eIsProxy()) return super.toString();
257
258 StringBuffer result = new StringBuffer(super.toString());
259 result.append(" (name: ");
260 result.append(name);
261 result.append(')');
262 return result.toString();
263 }
264
265} //SMTOptionImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:47:57 +0000