diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
commit | 10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch) | |
tree | 0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTIfCombinatorImpl.java | |
parent | Migrating Additional projects (diff) | |
download | VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip |
Added generated Xtext artefacts
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTIfCombinatorImpl.java')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTIfCombinatorImpl.java | 336 |
1 files changed, 336 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/SMTIfCombinatorImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTIfCombinatorImpl.java new file mode 100644 index 00000000..fb8de467 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTIfCombinatorImpl.java | |||
@@ -0,0 +1,336 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator; | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic; | ||
8 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | ||
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | |||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * An implementation of the model object '<em><b>SMT If Combinator</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.SMTIfCombinatorImpl#getProbe <em>Probe</em>}</li> | ||
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl#getIfTactic <em>If Tactic</em>}</li> | ||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl#getElseTactic <em>Else Tactic</em>}</li> | ||
28 | * </ul> | ||
29 | * </p> | ||
30 | * | ||
31 | * @generated | ||
32 | */ | ||
33 | public class SMTIfCombinatorImpl extends SMTReasoningCombinatorImpl implements SMTIfCombinator | ||
34 | { | ||
35 | /** | ||
36 | * The cached value of the '{@link #getProbe() <em>Probe</em>}' containment reference. | ||
37 | * <!-- begin-user-doc --> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @see #getProbe() | ||
40 | * @generated | ||
41 | * @ordered | ||
42 | */ | ||
43 | protected ReasoningProbe probe; | ||
44 | |||
45 | /** | ||
46 | * The cached value of the '{@link #getIfTactic() <em>If Tactic</em>}' containment reference. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @see #getIfTactic() | ||
50 | * @generated | ||
51 | * @ordered | ||
52 | */ | ||
53 | protected SMTReasoningTactic ifTactic; | ||
54 | |||
55 | /** | ||
56 | * The cached value of the '{@link #getElseTactic() <em>Else Tactic</em>}' containment reference. | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @see #getElseTactic() | ||
60 | * @generated | ||
61 | * @ordered | ||
62 | */ | ||
63 | protected SMTReasoningTactic elseTactic; | ||
64 | |||
65 | /** | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @generated | ||
69 | */ | ||
70 | protected SMTIfCombinatorImpl() | ||
71 | { | ||
72 | super(); | ||
73 | } | ||
74 | |||
75 | /** | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @generated | ||
79 | */ | ||
80 | @Override | ||
81 | protected EClass eStaticClass() | ||
82 | { | ||
83 | return SmtLanguagePackage.Literals.SMT_IF_COMBINATOR; | ||
84 | } | ||
85 | |||
86 | /** | ||
87 | * <!-- begin-user-doc --> | ||
88 | * <!-- end-user-doc --> | ||
89 | * @generated | ||
90 | */ | ||
91 | public ReasoningProbe getProbe() | ||
92 | { | ||
93 | return probe; | ||
94 | } | ||
95 | |||
96 | /** | ||
97 | * <!-- begin-user-doc --> | ||
98 | * <!-- end-user-doc --> | ||
99 | * @generated | ||
100 | */ | ||
101 | public NotificationChain basicSetProbe(ReasoningProbe newProbe, NotificationChain msgs) | ||
102 | { | ||
103 | ReasoningProbe oldProbe = probe; | ||
104 | probe = newProbe; | ||
105 | if (eNotificationRequired()) | ||
106 | { | ||
107 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE, oldProbe, newProbe); | ||
108 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
109 | } | ||
110 | return msgs; | ||
111 | } | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | public void setProbe(ReasoningProbe newProbe) | ||
119 | { | ||
120 | if (newProbe != probe) | ||
121 | { | ||
122 | NotificationChain msgs = null; | ||
123 | if (probe != null) | ||
124 | msgs = ((InternalEObject)probe).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE, null, msgs); | ||
125 | if (newProbe != null) | ||
126 | msgs = ((InternalEObject)newProbe).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE, null, msgs); | ||
127 | msgs = basicSetProbe(newProbe, msgs); | ||
128 | if (msgs != null) msgs.dispatch(); | ||
129 | } | ||
130 | else if (eNotificationRequired()) | ||
131 | eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE, newProbe, newProbe)); | ||
132 | } | ||
133 | |||
134 | /** | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | */ | ||
139 | public SMTReasoningTactic getIfTactic() | ||
140 | { | ||
141 | return ifTactic; | ||
142 | } | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | public NotificationChain basicSetIfTactic(SMTReasoningTactic newIfTactic, NotificationChain msgs) | ||
150 | { | ||
151 | SMTReasoningTactic oldIfTactic = ifTactic; | ||
152 | ifTactic = newIfTactic; | ||
153 | if (eNotificationRequired()) | ||
154 | { | ||
155 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC, oldIfTactic, newIfTactic); | ||
156 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
157 | } | ||
158 | return msgs; | ||
159 | } | ||
160 | |||
161 | /** | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | */ | ||
166 | public void setIfTactic(SMTReasoningTactic newIfTactic) | ||
167 | { | ||
168 | if (newIfTactic != ifTactic) | ||
169 | { | ||
170 | NotificationChain msgs = null; | ||
171 | if (ifTactic != null) | ||
172 | msgs = ((InternalEObject)ifTactic).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC, null, msgs); | ||
173 | if (newIfTactic != null) | ||
174 | msgs = ((InternalEObject)newIfTactic).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC, null, msgs); | ||
175 | msgs = basicSetIfTactic(newIfTactic, msgs); | ||
176 | if (msgs != null) msgs.dispatch(); | ||
177 | } | ||
178 | else if (eNotificationRequired()) | ||
179 | eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC, newIfTactic, newIfTactic)); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | public SMTReasoningTactic getElseTactic() | ||
188 | { | ||
189 | return elseTactic; | ||
190 | } | ||
191 | |||
192 | /** | ||
193 | * <!-- begin-user-doc --> | ||
194 | * <!-- end-user-doc --> | ||
195 | * @generated | ||
196 | */ | ||
197 | public NotificationChain basicSetElseTactic(SMTReasoningTactic newElseTactic, NotificationChain msgs) | ||
198 | { | ||
199 | SMTReasoningTactic oldElseTactic = elseTactic; | ||
200 | elseTactic = newElseTactic; | ||
201 | if (eNotificationRequired()) | ||
202 | { | ||
203 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC, oldElseTactic, newElseTactic); | ||
204 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
205 | } | ||
206 | return msgs; | ||
207 | } | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | public void setElseTactic(SMTReasoningTactic newElseTactic) | ||
215 | { | ||
216 | if (newElseTactic != elseTactic) | ||
217 | { | ||
218 | NotificationChain msgs = null; | ||
219 | if (elseTactic != null) | ||
220 | msgs = ((InternalEObject)elseTactic).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC, null, msgs); | ||
221 | if (newElseTactic != null) | ||
222 | msgs = ((InternalEObject)newElseTactic).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC, null, msgs); | ||
223 | msgs = basicSetElseTactic(newElseTactic, msgs); | ||
224 | if (msgs != null) msgs.dispatch(); | ||
225 | } | ||
226 | else if (eNotificationRequired()) | ||
227 | eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC, newElseTactic, newElseTactic)); | ||
228 | } | ||
229 | |||
230 | /** | ||
231 | * <!-- begin-user-doc --> | ||
232 | * <!-- end-user-doc --> | ||
233 | * @generated | ||
234 | */ | ||
235 | @Override | ||
236 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) | ||
237 | { | ||
238 | switch (featureID) | ||
239 | { | ||
240 | case SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE: | ||
241 | return basicSetProbe(null, msgs); | ||
242 | case SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC: | ||
243 | return basicSetIfTactic(null, msgs); | ||
244 | case SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC: | ||
245 | return basicSetElseTactic(null, msgs); | ||
246 | } | ||
247 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
248 | } | ||
249 | |||
250 | /** | ||
251 | * <!-- begin-user-doc --> | ||
252 | * <!-- end-user-doc --> | ||
253 | * @generated | ||
254 | */ | ||
255 | @Override | ||
256 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
257 | { | ||
258 | switch (featureID) | ||
259 | { | ||
260 | case SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE: | ||
261 | return getProbe(); | ||
262 | case SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC: | ||
263 | return getIfTactic(); | ||
264 | case SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC: | ||
265 | return getElseTactic(); | ||
266 | } | ||
267 | return super.eGet(featureID, resolve, coreType); | ||
268 | } | ||
269 | |||
270 | /** | ||
271 | * <!-- begin-user-doc --> | ||
272 | * <!-- end-user-doc --> | ||
273 | * @generated | ||
274 | */ | ||
275 | @Override | ||
276 | public void eSet(int featureID, Object newValue) | ||
277 | { | ||
278 | switch (featureID) | ||
279 | { | ||
280 | case SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE: | ||
281 | setProbe((ReasoningProbe)newValue); | ||
282 | return; | ||
283 | case SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC: | ||
284 | setIfTactic((SMTReasoningTactic)newValue); | ||
285 | return; | ||
286 | case SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC: | ||
287 | setElseTactic((SMTReasoningTactic)newValue); | ||
288 | return; | ||
289 | } | ||
290 | super.eSet(featureID, newValue); | ||
291 | } | ||
292 | |||
293 | /** | ||
294 | * <!-- begin-user-doc --> | ||
295 | * <!-- end-user-doc --> | ||
296 | * @generated | ||
297 | */ | ||
298 | @Override | ||
299 | public void eUnset(int featureID) | ||
300 | { | ||
301 | switch (featureID) | ||
302 | { | ||
303 | case SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE: | ||
304 | setProbe((ReasoningProbe)null); | ||
305 | return; | ||
306 | case SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC: | ||
307 | setIfTactic((SMTReasoningTactic)null); | ||
308 | return; | ||
309 | case SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC: | ||
310 | setElseTactic((SMTReasoningTactic)null); | ||
311 | return; | ||
312 | } | ||
313 | super.eUnset(featureID); | ||
314 | } | ||
315 | |||
316 | /** | ||
317 | * <!-- begin-user-doc --> | ||
318 | * <!-- end-user-doc --> | ||
319 | * @generated | ||
320 | */ | ||
321 | @Override | ||
322 | public boolean eIsSet(int featureID) | ||
323 | { | ||
324 | switch (featureID) | ||
325 | { | ||
326 | case SmtLanguagePackage.SMT_IF_COMBINATOR__PROBE: | ||
327 | return probe != null; | ||
328 | case SmtLanguagePackage.SMT_IF_COMBINATOR__IF_TACTIC: | ||
329 | return ifTactic != null; | ||
330 | case SmtLanguagePackage.SMT_IF_COMBINATOR__ELSE_TACTIC: | ||
331 | return elseTactic != null; | ||
332 | } | ||
333 | return super.eIsSet(featureID); | ||
334 | } | ||
335 | |||
336 | } //SMTIfCombinatorImpl | ||