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