diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java')
1 files changed, 63 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java index d8ade871..a1b6de35 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java | |||
@@ -26,6 +26,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | |||
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements <em>Min New Elements</em>}</li> | 26 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements <em>Min New Elements</em>}</li> |
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements <em>Max New Elements</em>}</li> | 27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements <em>Max New Elements</em>}</li> |
28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation <em>Target Type Interpretation</em>}</li> | 28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation <em>Target Type Interpretation</em>}</li> |
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElementsHeuristic <em>Min New Elements Heuristic</em>}</li> | ||
29 | * </ul> | 30 | * </ul> |
30 | * | 31 | * |
31 | * @generated | 32 | * @generated |
@@ -82,6 +83,26 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
82 | protected PartialTypeInterpratation targetTypeInterpretation; | 83 | protected PartialTypeInterpratation targetTypeInterpretation; |
83 | 84 | ||
84 | /** | 85 | /** |
86 | * The default value of the '{@link #getMinNewElementsHeuristic() <em>Min New Elements Heuristic</em>}' attribute. | ||
87 | * <!-- begin-user-doc --> | ||
88 | * <!-- end-user-doc --> | ||
89 | * @see #getMinNewElementsHeuristic() | ||
90 | * @generated | ||
91 | * @ordered | ||
92 | */ | ||
93 | protected static final int MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT = 0; | ||
94 | |||
95 | /** | ||
96 | * The cached value of the '{@link #getMinNewElementsHeuristic() <em>Min New Elements Heuristic</em>}' attribute. | ||
97 | * <!-- begin-user-doc --> | ||
98 | * <!-- end-user-doc --> | ||
99 | * @see #getMinNewElementsHeuristic() | ||
100 | * @generated | ||
101 | * @ordered | ||
102 | */ | ||
103 | protected int minNewElementsHeuristic = MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT; | ||
104 | |||
105 | /** | ||
85 | * <!-- begin-user-doc --> | 106 | * <!-- begin-user-doc --> |
86 | * <!-- end-user-doc --> | 107 | * <!-- end-user-doc --> |
87 | * @generated | 108 | * @generated |
@@ -105,6 +126,7 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
105 | * <!-- end-user-doc --> | 126 | * <!-- end-user-doc --> |
106 | * @generated | 127 | * @generated |
107 | */ | 128 | */ |
129 | @Override | ||
108 | public int getMinNewElements() { | 130 | public int getMinNewElements() { |
109 | return minNewElements; | 131 | return minNewElements; |
110 | } | 132 | } |
@@ -114,6 +136,7 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
114 | * <!-- end-user-doc --> | 136 | * <!-- end-user-doc --> |
115 | * @generated | 137 | * @generated |
116 | */ | 138 | */ |
139 | @Override | ||
117 | public void setMinNewElements(int newMinNewElements) { | 140 | public void setMinNewElements(int newMinNewElements) { |
118 | int oldMinNewElements = minNewElements; | 141 | int oldMinNewElements = minNewElements; |
119 | minNewElements = newMinNewElements; | 142 | minNewElements = newMinNewElements; |
@@ -126,6 +149,7 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
126 | * <!-- end-user-doc --> | 149 | * <!-- end-user-doc --> |
127 | * @generated | 150 | * @generated |
128 | */ | 151 | */ |
152 | @Override | ||
129 | public int getMaxNewElements() { | 153 | public int getMaxNewElements() { |
130 | return maxNewElements; | 154 | return maxNewElements; |
131 | } | 155 | } |
@@ -135,6 +159,7 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
135 | * <!-- end-user-doc --> | 159 | * <!-- end-user-doc --> |
136 | * @generated | 160 | * @generated |
137 | */ | 161 | */ |
162 | @Override | ||
138 | public void setMaxNewElements(int newMaxNewElements) { | 163 | public void setMaxNewElements(int newMaxNewElements) { |
139 | int oldMaxNewElements = maxNewElements; | 164 | int oldMaxNewElements = maxNewElements; |
140 | maxNewElements = newMaxNewElements; | 165 | maxNewElements = newMaxNewElements; |
@@ -147,6 +172,7 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
147 | * <!-- end-user-doc --> | 172 | * <!-- end-user-doc --> |
148 | * @generated | 173 | * @generated |
149 | */ | 174 | */ |
175 | @Override | ||
150 | public PartialTypeInterpratation getTargetTypeInterpretation() { | 176 | public PartialTypeInterpratation getTargetTypeInterpretation() { |
151 | if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) { | 177 | if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) { |
152 | InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation; | 178 | InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation; |
@@ -188,6 +214,7 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
188 | * <!-- end-user-doc --> | 214 | * <!-- end-user-doc --> |
189 | * @generated | 215 | * @generated |
190 | */ | 216 | */ |
217 | @Override | ||
191 | public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) { | 218 | public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) { |
192 | if (newTargetTypeInterpretation != targetTypeInterpretation) { | 219 | if (newTargetTypeInterpretation != targetTypeInterpretation) { |
193 | NotificationChain msgs = null; | 220 | NotificationChain msgs = null; |
@@ -208,6 +235,29 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
208 | * @generated | 235 | * @generated |
209 | */ | 236 | */ |
210 | @Override | 237 | @Override |
238 | public int getMinNewElementsHeuristic() { | ||
239 | return minNewElementsHeuristic; | ||
240 | } | ||
241 | |||
242 | /** | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @generated | ||
246 | */ | ||
247 | @Override | ||
248 | public void setMinNewElementsHeuristic(int newMinNewElementsHeuristic) { | ||
249 | int oldMinNewElementsHeuristic = minNewElementsHeuristic; | ||
250 | minNewElementsHeuristic = newMinNewElementsHeuristic; | ||
251 | if (eNotificationRequired()) | ||
252 | eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS_HEURISTIC, oldMinNewElementsHeuristic, minNewElementsHeuristic)); | ||
253 | } | ||
254 | |||
255 | /** | ||
256 | * <!-- begin-user-doc --> | ||
257 | * <!-- end-user-doc --> | ||
258 | * @generated | ||
259 | */ | ||
260 | @Override | ||
211 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | 261 | public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { |
212 | switch (featureID) { | 262 | switch (featureID) { |
213 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | 263 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: |
@@ -247,6 +297,8 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
247 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | 297 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: |
248 | if (resolve) return getTargetTypeInterpretation(); | 298 | if (resolve) return getTargetTypeInterpretation(); |
249 | return basicGetTargetTypeInterpretation(); | 299 | return basicGetTargetTypeInterpretation(); |
300 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS_HEURISTIC: | ||
301 | return getMinNewElementsHeuristic(); | ||
250 | } | 302 | } |
251 | return super.eGet(featureID, resolve, coreType); | 303 | return super.eGet(featureID, resolve, coreType); |
252 | } | 304 | } |
@@ -268,6 +320,9 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
268 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | 320 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: |
269 | setTargetTypeInterpretation((PartialTypeInterpratation)newValue); | 321 | setTargetTypeInterpretation((PartialTypeInterpratation)newValue); |
270 | return; | 322 | return; |
323 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS_HEURISTIC: | ||
324 | setMinNewElementsHeuristic((Integer)newValue); | ||
325 | return; | ||
271 | } | 326 | } |
272 | super.eSet(featureID, newValue); | 327 | super.eSet(featureID, newValue); |
273 | } | 328 | } |
@@ -289,6 +344,9 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
289 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | 344 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: |
290 | setTargetTypeInterpretation((PartialTypeInterpratation)null); | 345 | setTargetTypeInterpretation((PartialTypeInterpratation)null); |
291 | return; | 346 | return; |
347 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS_HEURISTIC: | ||
348 | setMinNewElementsHeuristic(MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT); | ||
349 | return; | ||
292 | } | 350 | } |
293 | super.eUnset(featureID); | 351 | super.eUnset(featureID); |
294 | } | 352 | } |
@@ -307,6 +365,8 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
307 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; | 365 | return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; |
308 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: | 366 | case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: |
309 | return targetTypeInterpretation != null; | 367 | return targetTypeInterpretation != null; |
368 | case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS_HEURISTIC: | ||
369 | return minNewElementsHeuristic != MIN_NEW_ELEMENTS_HEURISTIC_EDEFAULT; | ||
310 | } | 370 | } |
311 | return super.eIsSet(featureID); | 371 | return super.eIsSet(featureID); |
312 | } | 372 | } |
@@ -320,11 +380,13 @@ public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { | |||
320 | public String toString() { | 380 | public String toString() { |
321 | if (eIsProxy()) return super.toString(); | 381 | if (eIsProxy()) return super.toString(); |
322 | 382 | ||
323 | StringBuffer result = new StringBuffer(super.toString()); | 383 | StringBuilder result = new StringBuilder(super.toString()); |
324 | result.append(" (minNewElements: "); | 384 | result.append(" (minNewElements: "); |
325 | result.append(minNewElements); | 385 | result.append(minNewElements); |
326 | result.append(", maxNewElements: "); | 386 | result.append(", maxNewElements: "); |
327 | result.append(maxNewElements); | 387 | result.append(maxNewElements); |
388 | result.append(", minNewElementsHeuristic: "); | ||
389 | result.append(minNewElementsHeuristic); | ||
328 | result.append(')'); | 390 | result.append(')'); |
329 | return result.toString(); | 391 | return result.toString(); |
330 | } | 392 | } |