aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexSatCommandImpl.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/SMTComplexSatCommandImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexSatCommandImpl.java193
1 files changed, 193 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/SMTComplexSatCommandImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexSatCommandImpl.java
new file mode 100644
index 00000000..181d946c
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexSatCommandImpl.java
@@ -0,0 +1,193 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic;
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 Complex Sat Command</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.SMTComplexSatCommandImpl#getMethod <em>Method</em>}</li>
25 * </ul>
26 * </p>
27 *
28 * @generated
29 */
30public class SMTComplexSatCommandImpl extends SMTSatCommandImpl implements SMTComplexSatCommand
31{
32 /**
33 * The cached value of the '{@link #getMethod() <em>Method</em>}' containment reference.
34 * <!-- begin-user-doc -->
35 * <!-- end-user-doc -->
36 * @see #getMethod()
37 * @generated
38 * @ordered
39 */
40 protected SMTReasoningTactic method;
41
42 /**
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 protected SMTComplexSatCommandImpl()
48 {
49 super();
50 }
51
52 /**
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 @Override
58 protected EClass eStaticClass()
59 {
60 return SmtLanguagePackage.Literals.SMT_COMPLEX_SAT_COMMAND;
61 }
62
63 /**
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @generated
67 */
68 public SMTReasoningTactic getMethod()
69 {
70 return method;
71 }
72
73 /**
74 * <!-- begin-user-doc -->
75 * <!-- end-user-doc -->
76 * @generated
77 */
78 public NotificationChain basicSetMethod(SMTReasoningTactic newMethod, NotificationChain msgs)
79 {
80 SMTReasoningTactic oldMethod = method;
81 method = newMethod;
82 if (eNotificationRequired())
83 {
84 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD, oldMethod, newMethod);
85 if (msgs == null) msgs = notification; else msgs.add(notification);
86 }
87 return msgs;
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 public void setMethod(SMTReasoningTactic newMethod)
96 {
97 if (newMethod != method)
98 {
99 NotificationChain msgs = null;
100 if (method != null)
101 msgs = ((InternalEObject)method).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD, null, msgs);
102 if (newMethod != null)
103 msgs = ((InternalEObject)newMethod).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD, null, msgs);
104 msgs = basicSetMethod(newMethod, msgs);
105 if (msgs != null) msgs.dispatch();
106 }
107 else if (eNotificationRequired())
108 eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD, newMethod, newMethod));
109 }
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 @Override
117 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
118 {
119 switch (featureID)
120 {
121 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD:
122 return basicSetMethod(null, msgs);
123 }
124 return super.eInverseRemove(otherEnd, featureID, msgs);
125 }
126
127 /**
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 */
132 @Override
133 public Object eGet(int featureID, boolean resolve, boolean coreType)
134 {
135 switch (featureID)
136 {
137 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD:
138 return getMethod();
139 }
140 return super.eGet(featureID, resolve, coreType);
141 }
142
143 /**
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 */
148 @Override
149 public void eSet(int featureID, Object newValue)
150 {
151 switch (featureID)
152 {
153 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD:
154 setMethod((SMTReasoningTactic)newValue);
155 return;
156 }
157 super.eSet(featureID, newValue);
158 }
159
160 /**
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @generated
164 */
165 @Override
166 public void eUnset(int featureID)
167 {
168 switch (featureID)
169 {
170 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD:
171 setMethod((SMTReasoningTactic)null);
172 return;
173 }
174 super.eUnset(featureID);
175 }
176
177 /**
178 * <!-- begin-user-doc -->
179 * <!-- end-user-doc -->
180 * @generated
181 */
182 @Override
183 public boolean eIsSet(int featureID)
184 {
185 switch (featureID)
186 {
187 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND__METHOD:
188 return method != null;
189 }
190 return super.eIsSet(featureID);
191 }
192
193} //SMTComplexSatCommandImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 13:48:47 +0000