aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java144
1 files changed, 143 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
index 9ebed3eb..1d38ddfb 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
@@ -3,12 +3,17 @@
3 */ 3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef;
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8 11
9import org.eclipse.emf.common.notify.Notification; 12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
10 14
11import org.eclipse.emf.ecore.EClass; 15import org.eclipse.emf.ecore.EClass;
16import org.eclipse.emf.ecore.InternalEObject;
12 17
13import org.eclipse.emf.ecore.impl.ENotificationImpl; 18import org.eclipse.emf.ecore.impl.ENotificationImpl;
14 19
@@ -20,14 +25,25 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
20 * The following features are implemented: 25 * The following features are implemented:
21 * </p> 26 * </p>
22 * <ul> 27 * <ul>
28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getType <em>Type</em>}</li>
23 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getName <em>Name</em>}</li> 29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getName <em>Name</em>}</li>
24 * </ul> 30 * </ul>
25 * 31 *
26 * @generated 32 * @generated
27 */ 33 */
28public class VLSVariableImpl extends VLSTermImpl implements VLSVariable 34public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVariable
29{ 35{
30 /** 36 /**
37 * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @see #getType()
41 * @generated
42 * @ordered
43 */
44 protected VLSTypeDef type;
45
46 /**
31 * The default value of the '{@link #getName() <em>Name</em>}' attribute. 47 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
32 * <!-- begin-user-doc --> 48 * <!-- begin-user-doc -->
33 * <!-- end-user-doc --> 49 * <!-- end-user-doc -->
@@ -73,6 +89,54 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
73 * <!-- end-user-doc --> 89 * <!-- end-user-doc -->
74 * @generated 90 * @generated
75 */ 91 */
92 public VLSTypeDef getType()
93 {
94 return type;
95 }
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 public NotificationChain basicSetType(VLSTypeDef newType, NotificationChain msgs)
103 {
104 VLSTypeDef oldType = type;
105 type = newType;
106 if (eNotificationRequired())
107 {
108 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_VARIABLE__TYPE, oldType, newType);
109 if (msgs == null) msgs = notification; else msgs.add(notification);
110 }
111 return msgs;
112 }
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 public void setType(VLSTypeDef newType)
120 {
121 if (newType != type)
122 {
123 NotificationChain msgs = null;
124 if (type != null)
125 msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_VARIABLE__TYPE, null, msgs);
126 if (newType != null)
127 msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_VARIABLE__TYPE, null, msgs);
128 msgs = basicSetType(newType, msgs);
129 if (msgs != null) msgs.dispatch();
130 }
131 else if (eNotificationRequired())
132 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_VARIABLE__TYPE, newType, newType));
133 }
134
135 /**
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 */
76 public String getName() 140 public String getName()
77 { 141 {
78 return name; 142 return name;
@@ -97,10 +161,28 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
97 * @generated 161 * @generated
98 */ 162 */
99 @Override 163 @Override
164 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
165 {
166 switch (featureID)
167 {
168 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
169 return basicSetType(null, msgs);
170 }
171 return super.eInverseRemove(otherEnd, featureID, msgs);
172 }
173
174 /**
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 */
179 @Override
100 public Object eGet(int featureID, boolean resolve, boolean coreType) 180 public Object eGet(int featureID, boolean resolve, boolean coreType)
101 { 181 {
102 switch (featureID) 182 switch (featureID)
103 { 183 {
184 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
185 return getType();
104 case VampireLanguagePackage.VLS_VARIABLE__NAME: 186 case VampireLanguagePackage.VLS_VARIABLE__NAME:
105 return getName(); 187 return getName();
106 } 188 }
@@ -117,6 +199,9 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
117 { 199 {
118 switch (featureID) 200 switch (featureID)
119 { 201 {
202 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
203 setType((VLSTypeDef)newValue);
204 return;
120 case VampireLanguagePackage.VLS_VARIABLE__NAME: 205 case VampireLanguagePackage.VLS_VARIABLE__NAME:
121 setName((String)newValue); 206 setName((String)newValue);
122 return; 207 return;
@@ -134,6 +219,9 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
134 { 219 {
135 switch (featureID) 220 switch (featureID)
136 { 221 {
222 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
223 setType((VLSTypeDef)null);
224 return;
137 case VampireLanguagePackage.VLS_VARIABLE__NAME: 225 case VampireLanguagePackage.VLS_VARIABLE__NAME:
138 setName(NAME_EDEFAULT); 226 setName(NAME_EDEFAULT);
139 return; 227 return;
@@ -151,6 +239,8 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
151 { 239 {
152 switch (featureID) 240 switch (featureID)
153 { 241 {
242 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
243 return type != null;
154 case VampireLanguagePackage.VLS_VARIABLE__NAME: 244 case VampireLanguagePackage.VLS_VARIABLE__NAME:
155 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); 245 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
156 } 246 }
@@ -163,6 +253,58 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
163 * @generated 253 * @generated
164 */ 254 */
165 @Override 255 @Override
256 public int eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
257 {
258 if (baseClass == VLSOtherDeclaration.class)
259 {
260 switch (derivedFeatureID)
261 {
262 default: return -1;
263 }
264 }
265 if (baseClass == VLSTerm.class)
266 {
267 switch (derivedFeatureID)
268 {
269 case VampireLanguagePackage.VLS_VARIABLE__TYPE: return VampireLanguagePackage.VLS_TERM__TYPE;
270 default: return -1;
271 }
272 }
273 return super.eBaseStructuralFeatureID(derivedFeatureID, baseClass);
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 public int eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
283 {
284 if (baseClass == VLSOtherDeclaration.class)
285 {
286 switch (baseFeatureID)
287 {
288 default: return -1;
289 }
290 }
291 if (baseClass == VLSTerm.class)
292 {
293 switch (baseFeatureID)
294 {
295 case VampireLanguagePackage.VLS_TERM__TYPE: return VampireLanguagePackage.VLS_VARIABLE__TYPE;
296 default: return -1;
297 }
298 }
299 return super.eDerivedStructuralFeatureID(baseFeatureID, baseClass);
300 }
301
302 /**
303 * <!-- begin-user-doc -->
304 * <!-- end-user-doc -->
305 * @generated
306 */
307 @Override
166 public String toString() 308 public String toString()
167 { 309 {
168 if (eIsProxy()) return super.toString(); 310 if (eIsProxy()) return super.toString();