aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.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/VLSUniversalQuantifierImpl.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java241
1 files changed, 241 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
new file mode 100644
index 00000000..5627cc4c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
@@ -0,0 +1,241 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10
11import java.util.Collection;
12
13import org.eclipse.emf.common.notify.Notification;
14import org.eclipse.emf.common.notify.NotificationChain;
15
16import org.eclipse.emf.common.util.EList;
17
18import org.eclipse.emf.ecore.EClass;
19import org.eclipse.emf.ecore.InternalEObject;
20
21import org.eclipse.emf.ecore.impl.ENotificationImpl;
22
23import org.eclipse.emf.ecore.util.EObjectContainmentEList;
24import org.eclipse.emf.ecore.util.InternalEList;
25
26/**
27 * <!-- begin-user-doc -->
28 * An implementation of the model object '<em><b>VLS Universal Quantifier</b></em>'.
29 * <!-- end-user-doc -->
30 * <p>
31 * The following features are implemented:
32 * </p>
33 * <ul>
34 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl#getVariables <em>Variables</em>}</li>
35 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl#getOperand <em>Operand</em>}</li>
36 * </ul>
37 *
38 * @generated
39 */
40public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniversalQuantifier
41{
42 /**
43 * The cached value of the '{@link #getVariables() <em>Variables</em>}' containment reference list.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @see #getVariables()
47 * @generated
48 * @ordered
49 */
50 protected EList<VLSVariable> variables;
51
52 /**
53 * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @see #getOperand()
57 * @generated
58 * @ordered
59 */
60 protected VLSTerm operand;
61
62 /**
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @generated
66 */
67 protected VLSUniversalQuantifierImpl()
68 {
69 super();
70 }
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 @Override
78 protected EClass eStaticClass()
79 {
80 return VampireLanguagePackage.Literals.VLS_UNIVERSAL_QUANTIFIER;
81 }
82
83 /**
84 * <!-- begin-user-doc -->
85 * <!-- end-user-doc -->
86 * @generated
87 */
88 public EList<VLSVariable> getVariables()
89 {
90 if (variables == null)
91 {
92 variables = new EObjectContainmentEList<VLSVariable>(VLSVariable.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES);
93 }
94 return variables;
95 }
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 public VLSTerm getOperand()
103 {
104 return operand;
105 }
106
107 /**
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 */
112 public NotificationChain basicSetOperand(VLSTerm newOperand, NotificationChain msgs)
113 {
114 VLSTerm oldOperand = operand;
115 operand = newOperand;
116 if (eNotificationRequired())
117 {
118 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND, oldOperand, newOperand);
119 if (msgs == null) msgs = notification; else msgs.add(notification);
120 }
121 return msgs;
122 }
123
124 /**
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @generated
128 */
129 public void setOperand(VLSTerm newOperand)
130 {
131 if (newOperand != operand)
132 {
133 NotificationChain msgs = null;
134 if (operand != null)
135 msgs = ((InternalEObject)operand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND, null, msgs);
136 if (newOperand != null)
137 msgs = ((InternalEObject)newOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND, null, msgs);
138 msgs = basicSetOperand(newOperand, msgs);
139 if (msgs != null) msgs.dispatch();
140 }
141 else if (eNotificationRequired())
142 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND, newOperand, newOperand));
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 @Override
151 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
152 {
153 switch (featureID)
154 {
155 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:
156 return ((InternalEList<?>)getVariables()).basicRemove(otherEnd, msgs);
157 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:
158 return basicSetOperand(null, msgs);
159 }
160 return super.eInverseRemove(otherEnd, featureID, msgs);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
169 public Object eGet(int featureID, boolean resolve, boolean coreType)
170 {
171 switch (featureID)
172 {
173 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:
174 return getVariables();
175 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:
176 return getOperand();
177 }
178 return super.eGet(featureID, resolve, coreType);
179 }
180
181 /**
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 */
186 @SuppressWarnings("unchecked")
187 @Override
188 public void eSet(int featureID, Object newValue)
189 {
190 switch (featureID)
191 {
192 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:
193 getVariables().clear();
194 getVariables().addAll((Collection<? extends VLSVariable>)newValue);
195 return;
196 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:
197 setOperand((VLSTerm)newValue);
198 return;
199 }
200 super.eSet(featureID, newValue);
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public void eUnset(int featureID)
210 {
211 switch (featureID)
212 {
213 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:
214 getVariables().clear();
215 return;
216 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:
217 setOperand((VLSTerm)null);
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 VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:
234 return variables != null && !variables.isEmpty();
235 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:
236 return operand != null;
237 }
238 return super.eIsSet(featureID);
239 }
240
241} //VLSUniversalQuantifierImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:48:48 +0000