aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSatResultImpl.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/SMTSatResultImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSatResultImpl.java288
1 files changed, 288 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/SMTSatResultImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSatResultImpl.java
new file mode 100644
index 00000000..0f72153a
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSatResultImpl.java
@@ -0,0 +1,288 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>SMT Sat Result</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * <ul>
21 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl#isSat <em>Sat</em>}</li>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl#isUnsat <em>Unsat</em>}</li>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl#isUnknown <em>Unknown</em>}</li>
24 * </ul>
25 * </p>
26 *
27 * @generated
28 */
29public class SMTSatResultImpl extends SMTResultImpl implements SMTSatResult
30{
31 /**
32 * The default value of the '{@link #isSat() <em>Sat</em>}' attribute.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #isSat()
36 * @generated
37 * @ordered
38 */
39 protected static final boolean SAT_EDEFAULT = false;
40
41 /**
42 * The cached value of the '{@link #isSat() <em>Sat</em>}' attribute.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @see #isSat()
46 * @generated
47 * @ordered
48 */
49 protected boolean sat = SAT_EDEFAULT;
50
51 /**
52 * The default value of the '{@link #isUnsat() <em>Unsat</em>}' attribute.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @see #isUnsat()
56 * @generated
57 * @ordered
58 */
59 protected static final boolean UNSAT_EDEFAULT = false;
60
61 /**
62 * The cached value of the '{@link #isUnsat() <em>Unsat</em>}' attribute.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @see #isUnsat()
66 * @generated
67 * @ordered
68 */
69 protected boolean unsat = UNSAT_EDEFAULT;
70
71 /**
72 * The default value of the '{@link #isUnknown() <em>Unknown</em>}' attribute.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @see #isUnknown()
76 * @generated
77 * @ordered
78 */
79 protected static final boolean UNKNOWN_EDEFAULT = false;
80
81 /**
82 * The cached value of the '{@link #isUnknown() <em>Unknown</em>}' attribute.
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @see #isUnknown()
86 * @generated
87 * @ordered
88 */
89 protected boolean unknown = UNKNOWN_EDEFAULT;
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 protected SMTSatResultImpl()
97 {
98 super();
99 }
100
101 /**
102 * <!-- begin-user-doc -->
103 * <!-- end-user-doc -->
104 * @generated
105 */
106 @Override
107 protected EClass eStaticClass()
108 {
109 return SmtLanguagePackage.Literals.SMT_SAT_RESULT;
110 }
111
112 /**
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @generated
116 */
117 public boolean isSat()
118 {
119 return sat;
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 public void setSat(boolean newSat)
128 {
129 boolean oldSat = sat;
130 sat = newSat;
131 if (eNotificationRequired())
132 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SAT_RESULT__SAT, oldSat, sat));
133 }
134
135 /**
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 */
140 public boolean isUnsat()
141 {
142 return unsat;
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 public void setUnsat(boolean newUnsat)
151 {
152 boolean oldUnsat = unsat;
153 unsat = newUnsat;
154 if (eNotificationRequired())
155 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SAT_RESULT__UNSAT, oldUnsat, unsat));
156 }
157
158 /**
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @generated
162 */
163 public boolean isUnknown()
164 {
165 return unknown;
166 }
167
168 /**
169 * <!-- begin-user-doc -->
170 * <!-- end-user-doc -->
171 * @generated
172 */
173 public void setUnknown(boolean newUnknown)
174 {
175 boolean oldUnknown = unknown;
176 unknown = newUnknown;
177 if (eNotificationRequired())
178 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN, oldUnknown, unknown));
179 }
180
181 /**
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 */
186 @Override
187 public Object eGet(int featureID, boolean resolve, boolean coreType)
188 {
189 switch (featureID)
190 {
191 case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
192 return isSat();
193 case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
194 return isUnsat();
195 case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
196 return isUnknown();
197 }
198 return super.eGet(featureID, resolve, coreType);
199 }
200
201 /**
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @generated
205 */
206 @Override
207 public void eSet(int featureID, Object newValue)
208 {
209 switch (featureID)
210 {
211 case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
212 setSat((Boolean)newValue);
213 return;
214 case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
215 setUnsat((Boolean)newValue);
216 return;
217 case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
218 setUnknown((Boolean)newValue);
219 return;
220 }
221 super.eSet(featureID, newValue);
222 }
223
224 /**
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @generated
228 */
229 @Override
230 public void eUnset(int featureID)
231 {
232 switch (featureID)
233 {
234 case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
235 setSat(SAT_EDEFAULT);
236 return;
237 case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
238 setUnsat(UNSAT_EDEFAULT);
239 return;
240 case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
241 setUnknown(UNKNOWN_EDEFAULT);
242 return;
243 }
244 super.eUnset(featureID);
245 }
246
247 /**
248 * <!-- begin-user-doc -->
249 * <!-- end-user-doc -->
250 * @generated
251 */
252 @Override
253 public boolean eIsSet(int featureID)
254 {
255 switch (featureID)
256 {
257 case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
258 return sat != SAT_EDEFAULT;
259 case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
260 return unsat != UNSAT_EDEFAULT;
261 case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
262 return unknown != UNKNOWN_EDEFAULT;
263 }
264 return super.eIsSet(featureID);
265 }
266
267 /**
268 * <!-- begin-user-doc -->
269 * <!-- end-user-doc -->
270 * @generated
271 */
272 @Override
273 public String toString()
274 {
275 if (eIsProxy()) return super.toString();
276
277 StringBuffer result = new StringBuffer(super.toString());
278 result.append(" (sat: ");
279 result.append(sat);
280 result.append(", unsat: ");
281 result.append(unsat);
282 result.append(", unknown: ");
283 result.append(unknown);
284 result.append(')');
285 return result.toString();
286 }
287
288} //SMTSatResultImpl
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 15:50:45 +0000