diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-29 06:26:02 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-29 06:26:02 -0400 |
commit | 9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b (patch) | |
tree | 0dd50253bffe482ae15f5b8c5fc46bbbad45f0e4 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java | |
parent | VAMPIRE: integrate local Vampire executeable #32 (diff) | |
download | VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.gz VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.zst VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.zip |
VAMPIRE: adapt grammar to Vampire solution + get model from text
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.java | 144 |
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 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef; | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
8 | 11 | ||
9 | import org.eclipse.emf.common.notify.Notification; | 12 | import org.eclipse.emf.common.notify.Notification; |
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
10 | 14 | ||
11 | import org.eclipse.emf.ecore.EClass; | 15 | import org.eclipse.emf.ecore.EClass; |
16 | import org.eclipse.emf.ecore.InternalEObject; | ||
12 | 17 | ||
13 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 18 | import 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 | */ |
28 | public class VLSVariableImpl extends VLSTermImpl implements VLSVariable | 34 | public 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(); |