diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSymbolicValueImpl.java')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSymbolicValueImpl.java | 234 |
1 files changed, 234 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/SMTSymbolicValueImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSymbolicValueImpl.java new file mode 100644 index 00000000..ea0689ef --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSymbolicValueImpl.java | |||
@@ -0,0 +1,234 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration; | ||
6 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue; | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm; | ||
8 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; | ||
9 | |||
10 | import java.util.Collection; | ||
11 | |||
12 | import org.eclipse.emf.common.notify.Notification; | ||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | |||
15 | import org.eclipse.emf.common.util.EList; | ||
16 | |||
17 | import org.eclipse.emf.ecore.EClass; | ||
18 | import org.eclipse.emf.ecore.InternalEObject; | ||
19 | |||
20 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
21 | |||
22 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
23 | import org.eclipse.emf.ecore.util.InternalEList; | ||
24 | |||
25 | /** | ||
26 | * <!-- begin-user-doc --> | ||
27 | * An implementation of the model object '<em><b>SMT Symbolic Value</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.SMTSymbolicValueImpl#getSymbolicReference <em>Symbolic Reference</em>}</li> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl#getParameterSubstitutions <em>Parameter Substitutions</em>}</li> | ||
34 | * </ul> | ||
35 | * </p> | ||
36 | * | ||
37 | * @generated | ||
38 | */ | ||
39 | public class SMTSymbolicValueImpl extends SMTTermImpl implements SMTSymbolicValue | ||
40 | { | ||
41 | /** | ||
42 | * The cached value of the '{@link #getSymbolicReference() <em>Symbolic Reference</em>}' reference. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #getSymbolicReference() | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | protected SMTSymbolicDeclaration symbolicReference; | ||
50 | |||
51 | /** | ||
52 | * The cached value of the '{@link #getParameterSubstitutions() <em>Parameter Substitutions</em>}' containment reference list. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #getParameterSubstitutions() | ||
56 | * @generated | ||
57 | * @ordered | ||
58 | */ | ||
59 | protected EList<SMTTerm> parameterSubstitutions; | ||
60 | |||
61 | /** | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @generated | ||
65 | */ | ||
66 | protected SMTSymbolicValueImpl() | ||
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_SYMBOLIC_VALUE; | ||
80 | } | ||
81 | |||
82 | /** | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @generated | ||
86 | */ | ||
87 | public SMTSymbolicDeclaration getSymbolicReference() | ||
88 | { | ||
89 | if (symbolicReference != null && symbolicReference.eIsProxy()) | ||
90 | { | ||
91 | InternalEObject oldSymbolicReference = (InternalEObject)symbolicReference; | ||
92 | symbolicReference = (SMTSymbolicDeclaration)eResolveProxy(oldSymbolicReference); | ||
93 | if (symbolicReference != oldSymbolicReference) | ||
94 | { | ||
95 | if (eNotificationRequired()) | ||
96 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, SmtLanguagePackage.SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE, oldSymbolicReference, symbolicReference)); | ||
97 | } | ||
98 | } | ||
99 | return symbolicReference; | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | public SMTSymbolicDeclaration basicGetSymbolicReference() | ||
108 | { | ||
109 | return symbolicReference; | ||
110 | } | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | public void setSymbolicReference(SMTSymbolicDeclaration newSymbolicReference) | ||
118 | { | ||
119 | SMTSymbolicDeclaration oldSymbolicReference = symbolicReference; | ||
120 | symbolicReference = newSymbolicReference; | ||
121 | if (eNotificationRequired()) | ||
122 | eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE, oldSymbolicReference, symbolicReference)); | ||
123 | } | ||
124 | |||
125 | /** | ||
126 | * <!-- begin-user-doc --> | ||
127 | * <!-- end-user-doc --> | ||
128 | * @generated | ||
129 | */ | ||
130 | public EList<SMTTerm> getParameterSubstitutions() | ||
131 | { | ||
132 | if (parameterSubstitutions == null) | ||
133 | { | ||
134 | parameterSubstitutions = new EObjectContainmentEList<SMTTerm>(SMTTerm.class, this, SmtLanguagePackage.SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS); | ||
135 | } | ||
136 | return parameterSubstitutions; | ||
137 | } | ||
138 | |||
139 | /** | ||
140 | * <!-- begin-user-doc --> | ||
141 | * <!-- end-user-doc --> | ||
142 | * @generated | ||
143 | */ | ||
144 | @Override | ||
145 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) | ||
146 | { | ||
147 | switch (featureID) | ||
148 | { | ||
149 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS: | ||
150 | return ((InternalEList<?>)getParameterSubstitutions()).basicRemove(otherEnd, msgs); | ||
151 | } | ||
152 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
153 | } | ||
154 | |||
155 | /** | ||
156 | * <!-- begin-user-doc --> | ||
157 | * <!-- end-user-doc --> | ||
158 | * @generated | ||
159 | */ | ||
160 | @Override | ||
161 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
162 | { | ||
163 | switch (featureID) | ||
164 | { | ||
165 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE: | ||
166 | if (resolve) return getSymbolicReference(); | ||
167 | return basicGetSymbolicReference(); | ||
168 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS: | ||
169 | return getParameterSubstitutions(); | ||
170 | } | ||
171 | return super.eGet(featureID, resolve, coreType); | ||
172 | } | ||
173 | |||
174 | /** | ||
175 | * <!-- begin-user-doc --> | ||
176 | * <!-- end-user-doc --> | ||
177 | * @generated | ||
178 | */ | ||
179 | @SuppressWarnings("unchecked") | ||
180 | @Override | ||
181 | public void eSet(int featureID, Object newValue) | ||
182 | { | ||
183 | switch (featureID) | ||
184 | { | ||
185 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE: | ||
186 | setSymbolicReference((SMTSymbolicDeclaration)newValue); | ||
187 | return; | ||
188 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS: | ||
189 | getParameterSubstitutions().clear(); | ||
190 | getParameterSubstitutions().addAll((Collection<? extends SMTTerm>)newValue); | ||
191 | return; | ||
192 | } | ||
193 | super.eSet(featureID, newValue); | ||
194 | } | ||
195 | |||
196 | /** | ||
197 | * <!-- begin-user-doc --> | ||
198 | * <!-- end-user-doc --> | ||
199 | * @generated | ||
200 | */ | ||
201 | @Override | ||
202 | public void eUnset(int featureID) | ||
203 | { | ||
204 | switch (featureID) | ||
205 | { | ||
206 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE: | ||
207 | setSymbolicReference((SMTSymbolicDeclaration)null); | ||
208 | return; | ||
209 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS: | ||
210 | getParameterSubstitutions().clear(); | ||
211 | return; | ||
212 | } | ||
213 | super.eUnset(featureID); | ||
214 | } | ||
215 | |||
216 | /** | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @generated | ||
220 | */ | ||
221 | @Override | ||
222 | public boolean eIsSet(int featureID) | ||
223 | { | ||
224 | switch (featureID) | ||
225 | { | ||
226 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE: | ||
227 | return symbolicReference != null; | ||
228 | case SmtLanguagePackage.SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS: | ||
229 | return parameterSubstitutions != null && !parameterSubstitutions.isEmpty(); | ||
230 | } | ||
231 | return super.eIsSet(featureID); | ||
232 | } | ||
233 | |||
234 | } //SMTSymbolicValueImpl | ||