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