aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSymbolicValueImpl.java
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 20:39:40 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 20:39:40 +0200
commit10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch)
tree0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTSymbolicValueImpl.java
parentMigrating Additional projects (diff)
downloadVIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz
VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst
VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip
Added generated Xtext artefacts
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.java234
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 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration;
6import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue;
7import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm;
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 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 */
39public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 09:51:06 +0000