diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java | 584 |
1 files changed, 295 insertions, 289 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java index 98a96254..b39f4692 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java | |||
@@ -1,289 +1,295 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.17.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; | 4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; | 6 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; |
7 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber; | 7 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber; |
8 | 8 | ||
9 | import org.eclipse.emf.common.notify.Notification; | 9 | import org.eclipse.emf.common.notify.Notification; |
10 | 10 | ||
11 | import org.eclipse.emf.ecore.EClass; | 11 | import org.eclipse.emf.ecore.EClass; |
12 | 12 | ||
13 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 13 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
14 | 14 | ||
15 | /** | 15 | /** |
16 | * <!-- begin-user-doc --> | 16 | * <!-- begin-user-doc --> |
17 | * An implementation of the model object '<em><b>Intervall Number</b></em>'. | 17 | * An implementation of the model object '<em><b>Intervall Number</b></em>'. |
18 | * <!-- end-user-doc --> | 18 | * <!-- end-user-doc --> |
19 | * <p> | 19 | * <p> |
20 | * The following features are implemented: | 20 | * The following features are implemented: |
21 | * </p> | 21 | * </p> |
22 | * <ul> | 22 | * <ul> |
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMin <em>Min</em>}</li> | 23 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMin <em>Min</em>}</li> |
24 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMaxNumber <em>Max Number</em>}</li> | 24 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMaxNumber <em>Max Number</em>}</li> |
25 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#isMaxUnlimited <em>Max Unlimited</em>}</li> | 25 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#isMaxUnlimited <em>Max Unlimited</em>}</li> |
26 | * </ul> | 26 | * </ul> |
27 | * | 27 | * |
28 | * @generated | 28 | * @generated |
29 | */ | 29 | */ |
30 | public class IntervallNumberImpl extends NumberSpecificationImpl implements IntervallNumber | 30 | public class IntervallNumberImpl extends NumberSpecificationImpl implements IntervallNumber |
31 | { | 31 | { |
32 | /** | 32 | /** |
33 | * The default value of the '{@link #getMin() <em>Min</em>}' attribute. | 33 | * The default value of the '{@link #getMin() <em>Min</em>}' attribute. |
34 | * <!-- begin-user-doc --> | 34 | * <!-- begin-user-doc --> |
35 | * <!-- end-user-doc --> | 35 | * <!-- end-user-doc --> |
36 | * @see #getMin() | 36 | * @see #getMin() |
37 | * @generated | 37 | * @generated |
38 | * @ordered | 38 | * @ordered |
39 | */ | 39 | */ |
40 | protected static final int MIN_EDEFAULT = 0; | 40 | protected static final int MIN_EDEFAULT = 0; |
41 | 41 | ||
42 | /** | 42 | /** |
43 | * The cached value of the '{@link #getMin() <em>Min</em>}' attribute. | 43 | * The cached value of the '{@link #getMin() <em>Min</em>}' attribute. |
44 | * <!-- begin-user-doc --> | 44 | * <!-- begin-user-doc --> |
45 | * <!-- end-user-doc --> | 45 | * <!-- end-user-doc --> |
46 | * @see #getMin() | 46 | * @see #getMin() |
47 | * @generated | 47 | * @generated |
48 | * @ordered | 48 | * @ordered |
49 | */ | 49 | */ |
50 | protected int min = MIN_EDEFAULT; | 50 | protected int min = MIN_EDEFAULT; |
51 | 51 | ||
52 | /** | 52 | /** |
53 | * The default value of the '{@link #getMaxNumber() <em>Max Number</em>}' attribute. | 53 | * The default value of the '{@link #getMaxNumber() <em>Max Number</em>}' attribute. |
54 | * <!-- begin-user-doc --> | 54 | * <!-- begin-user-doc --> |
55 | * <!-- end-user-doc --> | 55 | * <!-- end-user-doc --> |
56 | * @see #getMaxNumber() | 56 | * @see #getMaxNumber() |
57 | * @generated | 57 | * @generated |
58 | * @ordered | 58 | * @ordered |
59 | */ | 59 | */ |
60 | protected static final int MAX_NUMBER_EDEFAULT = 0; | 60 | protected static final int MAX_NUMBER_EDEFAULT = 0; |
61 | 61 | ||
62 | /** | 62 | /** |
63 | * The cached value of the '{@link #getMaxNumber() <em>Max Number</em>}' attribute. | 63 | * The cached value of the '{@link #getMaxNumber() <em>Max Number</em>}' attribute. |
64 | * <!-- begin-user-doc --> | 64 | * <!-- begin-user-doc --> |
65 | * <!-- end-user-doc --> | 65 | * <!-- end-user-doc --> |
66 | * @see #getMaxNumber() | 66 | * @see #getMaxNumber() |
67 | * @generated | 67 | * @generated |
68 | * @ordered | 68 | * @ordered |
69 | */ | 69 | */ |
70 | protected int maxNumber = MAX_NUMBER_EDEFAULT; | 70 | protected int maxNumber = MAX_NUMBER_EDEFAULT; |
71 | 71 | ||
72 | /** | 72 | /** |
73 | * The default value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute. | 73 | * The default value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute. |
74 | * <!-- begin-user-doc --> | 74 | * <!-- begin-user-doc --> |
75 | * <!-- end-user-doc --> | 75 | * <!-- end-user-doc --> |
76 | * @see #isMaxUnlimited() | 76 | * @see #isMaxUnlimited() |
77 | * @generated | 77 | * @generated |
78 | * @ordered | 78 | * @ordered |
79 | */ | 79 | */ |
80 | protected static final boolean MAX_UNLIMITED_EDEFAULT = false; | 80 | protected static final boolean MAX_UNLIMITED_EDEFAULT = false; |
81 | 81 | ||
82 | /** | 82 | /** |
83 | * The cached value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute. | 83 | * The cached value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute. |
84 | * <!-- begin-user-doc --> | 84 | * <!-- begin-user-doc --> |
85 | * <!-- end-user-doc --> | 85 | * <!-- end-user-doc --> |
86 | * @see #isMaxUnlimited() | 86 | * @see #isMaxUnlimited() |
87 | * @generated | 87 | * @generated |
88 | * @ordered | 88 | * @ordered |
89 | */ | 89 | */ |
90 | protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT; | 90 | protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT; |
91 | 91 | ||
92 | /** | 92 | /** |
93 | * <!-- begin-user-doc --> | 93 | * <!-- begin-user-doc --> |
94 | * <!-- end-user-doc --> | 94 | * <!-- end-user-doc --> |
95 | * @generated | 95 | * @generated |
96 | */ | 96 | */ |
97 | protected IntervallNumberImpl() | 97 | protected IntervallNumberImpl() |
98 | { | 98 | { |
99 | super(); | 99 | super(); |
100 | } | 100 | } |
101 | 101 | ||
102 | /** | 102 | /** |
103 | * <!-- begin-user-doc --> | 103 | * <!-- begin-user-doc --> |
104 | * <!-- end-user-doc --> | 104 | * <!-- end-user-doc --> |
105 | * @generated | 105 | * @generated |
106 | */ | 106 | */ |
107 | @Override | 107 | @Override |
108 | protected EClass eStaticClass() | 108 | protected EClass eStaticClass() |
109 | { | 109 | { |
110 | return ApplicationConfigurationPackage.Literals.INTERVALL_NUMBER; | 110 | return ApplicationConfigurationPackage.Literals.INTERVALL_NUMBER; |
111 | } | 111 | } |
112 | 112 | ||
113 | /** | 113 | /** |
114 | * <!-- begin-user-doc --> | 114 | * <!-- begin-user-doc --> |
115 | * <!-- end-user-doc --> | 115 | * <!-- end-user-doc --> |
116 | * @generated | 116 | * @generated |
117 | */ | 117 | */ |
118 | public int getMin() | 118 | @Override |
119 | { | 119 | public int getMin() |
120 | return min; | 120 | { |
121 | } | 121 | return min; |
122 | 122 | } | |
123 | /** | 123 | |
124 | * <!-- begin-user-doc --> | 124 | /** |
125 | * <!-- end-user-doc --> | 125 | * <!-- begin-user-doc --> |
126 | * @generated | 126 | * <!-- end-user-doc --> |
127 | */ | 127 | * @generated |
128 | public void setMin(int newMin) | 128 | */ |
129 | { | 129 | @Override |
130 | int oldMin = min; | 130 | public void setMin(int newMin) |
131 | min = newMin; | 131 | { |
132 | if (eNotificationRequired()) | 132 | int oldMin = min; |
133 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN, oldMin, min)); | 133 | min = newMin; |
134 | } | 134 | if (eNotificationRequired()) |
135 | 135 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN, oldMin, min)); | |
136 | /** | 136 | } |
137 | * <!-- begin-user-doc --> | 137 | |
138 | * <!-- end-user-doc --> | 138 | /** |
139 | * @generated | 139 | * <!-- begin-user-doc --> |
140 | */ | 140 | * <!-- end-user-doc --> |
141 | public int getMaxNumber() | 141 | * @generated |
142 | { | 142 | */ |
143 | return maxNumber; | 143 | @Override |
144 | } | 144 | public int getMaxNumber() |
145 | 145 | { | |
146 | /** | 146 | return maxNumber; |
147 | * <!-- begin-user-doc --> | 147 | } |
148 | * <!-- end-user-doc --> | 148 | |
149 | * @generated | 149 | /** |
150 | */ | 150 | * <!-- begin-user-doc --> |
151 | public void setMaxNumber(int newMaxNumber) | 151 | * <!-- end-user-doc --> |
152 | { | 152 | * @generated |
153 | int oldMaxNumber = maxNumber; | 153 | */ |
154 | maxNumber = newMaxNumber; | 154 | @Override |
155 | if (eNotificationRequired()) | 155 | public void setMaxNumber(int newMaxNumber) |
156 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER, oldMaxNumber, maxNumber)); | 156 | { |
157 | } | 157 | int oldMaxNumber = maxNumber; |
158 | 158 | maxNumber = newMaxNumber; | |
159 | /** | 159 | if (eNotificationRequired()) |
160 | * <!-- begin-user-doc --> | 160 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER, oldMaxNumber, maxNumber)); |
161 | * <!-- end-user-doc --> | 161 | } |
162 | * @generated | 162 | |
163 | */ | 163 | /** |
164 | public boolean isMaxUnlimited() | 164 | * <!-- begin-user-doc --> |
165 | { | 165 | * <!-- end-user-doc --> |
166 | return maxUnlimited; | 166 | * @generated |
167 | } | 167 | */ |
168 | 168 | @Override | |
169 | /** | 169 | public boolean isMaxUnlimited() |
170 | * <!-- begin-user-doc --> | 170 | { |
171 | * <!-- end-user-doc --> | 171 | return maxUnlimited; |
172 | * @generated | 172 | } |
173 | */ | 173 | |
174 | public void setMaxUnlimited(boolean newMaxUnlimited) | 174 | /** |
175 | { | 175 | * <!-- begin-user-doc --> |
176 | boolean oldMaxUnlimited = maxUnlimited; | 176 | * <!-- end-user-doc --> |
177 | maxUnlimited = newMaxUnlimited; | 177 | * @generated |
178 | if (eNotificationRequired()) | 178 | */ |
179 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited)); | 179 | @Override |
180 | } | 180 | public void setMaxUnlimited(boolean newMaxUnlimited) |
181 | 181 | { | |
182 | /** | 182 | boolean oldMaxUnlimited = maxUnlimited; |
183 | * <!-- begin-user-doc --> | 183 | maxUnlimited = newMaxUnlimited; |
184 | * <!-- end-user-doc --> | 184 | if (eNotificationRequired()) |
185 | * @generated | 185 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited)); |
186 | */ | 186 | } |
187 | @Override | 187 | |
188 | public Object eGet(int featureID, boolean resolve, boolean coreType) | 188 | /** |
189 | { | 189 | * <!-- begin-user-doc --> |
190 | switch (featureID) | 190 | * <!-- end-user-doc --> |
191 | { | 191 | * @generated |
192 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: | 192 | */ |
193 | return getMin(); | 193 | @Override |
194 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: | 194 | public Object eGet(int featureID, boolean resolve, boolean coreType) |
195 | return getMaxNumber(); | 195 | { |
196 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: | 196 | switch (featureID) |
197 | return isMaxUnlimited(); | 197 | { |
198 | } | 198 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: |
199 | return super.eGet(featureID, resolve, coreType); | 199 | return getMin(); |
200 | } | 200 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: |
201 | 201 | return getMaxNumber(); | |
202 | /** | 202 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: |
203 | * <!-- begin-user-doc --> | 203 | return isMaxUnlimited(); |
204 | * <!-- end-user-doc --> | 204 | } |
205 | * @generated | 205 | return super.eGet(featureID, resolve, coreType); |
206 | */ | 206 | } |
207 | @Override | 207 | |
208 | public void eSet(int featureID, Object newValue) | 208 | /** |
209 | { | 209 | * <!-- begin-user-doc --> |
210 | switch (featureID) | 210 | * <!-- end-user-doc --> |
211 | { | 211 | * @generated |
212 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: | 212 | */ |
213 | setMin((Integer)newValue); | 213 | @Override |
214 | return; | 214 | public void eSet(int featureID, Object newValue) |
215 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: | 215 | { |
216 | setMaxNumber((Integer)newValue); | 216 | switch (featureID) |
217 | return; | 217 | { |
218 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: | 218 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: |
219 | setMaxUnlimited((Boolean)newValue); | 219 | setMin((Integer)newValue); |
220 | return; | 220 | return; |
221 | } | 221 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: |
222 | super.eSet(featureID, newValue); | 222 | setMaxNumber((Integer)newValue); |
223 | } | 223 | return; |
224 | 224 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: | |
225 | /** | 225 | setMaxUnlimited((Boolean)newValue); |
226 | * <!-- begin-user-doc --> | 226 | return; |
227 | * <!-- end-user-doc --> | 227 | } |
228 | * @generated | 228 | super.eSet(featureID, newValue); |
229 | */ | 229 | } |
230 | @Override | 230 | |
231 | public void eUnset(int featureID) | 231 | /** |
232 | { | 232 | * <!-- begin-user-doc --> |
233 | switch (featureID) | 233 | * <!-- end-user-doc --> |
234 | { | 234 | * @generated |
235 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: | 235 | */ |
236 | setMin(MIN_EDEFAULT); | 236 | @Override |
237 | return; | 237 | public void eUnset(int featureID) |
238 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: | 238 | { |
239 | setMaxNumber(MAX_NUMBER_EDEFAULT); | 239 | switch (featureID) |
240 | return; | 240 | { |
241 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: | 241 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: |
242 | setMaxUnlimited(MAX_UNLIMITED_EDEFAULT); | 242 | setMin(MIN_EDEFAULT); |
243 | return; | 243 | return; |
244 | } | 244 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: |
245 | super.eUnset(featureID); | 245 | setMaxNumber(MAX_NUMBER_EDEFAULT); |
246 | } | 246 | return; |
247 | 247 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: | |
248 | /** | 248 | setMaxUnlimited(MAX_UNLIMITED_EDEFAULT); |
249 | * <!-- begin-user-doc --> | 249 | return; |
250 | * <!-- end-user-doc --> | 250 | } |
251 | * @generated | 251 | super.eUnset(featureID); |
252 | */ | 252 | } |
253 | @Override | 253 | |
254 | public boolean eIsSet(int featureID) | 254 | /** |
255 | { | 255 | * <!-- begin-user-doc --> |
256 | switch (featureID) | 256 | * <!-- end-user-doc --> |
257 | { | 257 | * @generated |
258 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: | 258 | */ |
259 | return min != MIN_EDEFAULT; | 259 | @Override |
260 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: | 260 | public boolean eIsSet(int featureID) |
261 | return maxNumber != MAX_NUMBER_EDEFAULT; | 261 | { |
262 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: | 262 | switch (featureID) |
263 | return maxUnlimited != MAX_UNLIMITED_EDEFAULT; | 263 | { |
264 | } | 264 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN: |
265 | return super.eIsSet(featureID); | 265 | return min != MIN_EDEFAULT; |
266 | } | 266 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER: |
267 | 267 | return maxNumber != MAX_NUMBER_EDEFAULT; | |
268 | /** | 268 | case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED: |
269 | * <!-- begin-user-doc --> | 269 | return maxUnlimited != MAX_UNLIMITED_EDEFAULT; |
270 | * <!-- end-user-doc --> | 270 | } |
271 | * @generated | 271 | return super.eIsSet(featureID); |
272 | */ | 272 | } |
273 | @Override | 273 | |
274 | public String toString() | 274 | /** |
275 | { | 275 | * <!-- begin-user-doc --> |
276 | if (eIsProxy()) return super.toString(); | 276 | * <!-- end-user-doc --> |
277 | 277 | * @generated | |
278 | StringBuffer result = new StringBuffer(super.toString()); | 278 | */ |
279 | result.append(" (min: "); | 279 | @Override |
280 | result.append(min); | 280 | public String toString() |
281 | result.append(", maxNumber: "); | 281 | { |
282 | result.append(maxNumber); | 282 | if (eIsProxy()) return super.toString(); |
283 | result.append(", maxUnlimited: "); | 283 | |
284 | result.append(maxUnlimited); | 284 | StringBuilder result = new StringBuilder(super.toString()); |
285 | result.append(')'); | 285 | result.append(" (min: "); |
286 | return result.toString(); | 286 | result.append(min); |
287 | } | 287 | result.append(", maxNumber: "); |
288 | 288 | result.append(maxNumber); | |
289 | } //IntervallNumberImpl | 289 | result.append(", maxUnlimited: "); |
290 | result.append(maxUnlimited); | ||
291 | result.append(')'); | ||
292 | return result.toString(); | ||
293 | } | ||
294 | |||
295 | } //IntervallNumberImpl | ||