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