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