aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTTryForCombinatorImpl.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/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.java264
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 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator;
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;
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 */
31public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:20:04 +0000