diff options
author | 2021-01-14 13:07:08 -0500 | |
---|---|---|
committer | 2021-01-14 13:07:08 -0500 | |
commit | 0de1dbfaed208ba70863abe3671f868f168bc9cd (patch) | |
tree | 24961120f0d94d4da6fd1ac03e6776e224d493b0 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java | |
parent | Add aird file for crossingScenario Ecore (diff) | |
download | VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.gz VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.zst VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.zip |
Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java | 478 |
1 files changed, 238 insertions, 240 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java index 4e968236..728d4972 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ThresholdEntryImpl.java | |||
@@ -1,240 +1,238 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.21.0 | 2 | * generated by Xtext 2.21.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.ComparisonOperator; | 7 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ComparisonOperator; |
8 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ThresholdEntry; | 8 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ThresholdEntry; |
9 | 9 | ||
10 | import java.math.BigDecimal; | 10 | import org.eclipse.emf.common.notify.Notification; |
11 | 11 | ||
12 | import org.eclipse.emf.common.notify.Notification; | 12 | import org.eclipse.emf.ecore.EClass; |
13 | 13 | ||
14 | import org.eclipse.emf.ecore.EClass; | 14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
15 | 15 | ||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 16 | /** |
17 | 17 | * <!-- begin-user-doc --> | |
18 | /** | 18 | * An implementation of the model object '<em><b>Threshold Entry</b></em>'. |
19 | * <!-- begin-user-doc --> | 19 | * <!-- end-user-doc --> |
20 | * An implementation of the model object '<em><b>Threshold Entry</b></em>'. | 20 | * <p> |
21 | * <!-- end-user-doc --> | 21 | * The following features are implemented: |
22 | * <p> | 22 | * </p> |
23 | * The following features are implemented: | 23 | * <ul> |
24 | * </p> | 24 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ThresholdEntryImpl#getOperator <em>Operator</em>}</li> |
25 | * <ul> | 25 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ThresholdEntryImpl#getThreshold <em>Threshold</em>}</li> |
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ThresholdEntryImpl#getOperator <em>Operator</em>}</li> | 26 | * </ul> |
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ThresholdEntryImpl#getThreshold <em>Threshold</em>}</li> | 27 | * |
28 | * </ul> | 28 | * @generated |
29 | * | 29 | */ |
30 | * @generated | 30 | public class ThresholdEntryImpl extends ObjectiveEntryImpl implements ThresholdEntry |
31 | */ | 31 | { |
32 | public class ThresholdEntryImpl extends ObjectiveEntryImpl implements ThresholdEntry | 32 | /** |
33 | { | 33 | * The default value of the '{@link #getOperator() <em>Operator</em>}' attribute. |
34 | /** | 34 | * <!-- begin-user-doc --> |
35 | * The default value of the '{@link #getOperator() <em>Operator</em>}' attribute. | 35 | * <!-- end-user-doc --> |
36 | * <!-- begin-user-doc --> | 36 | * @see #getOperator() |
37 | * <!-- end-user-doc --> | 37 | * @generated |
38 | * @see #getOperator() | 38 | * @ordered |
39 | * @generated | 39 | */ |
40 | * @ordered | 40 | protected static final ComparisonOperator OPERATOR_EDEFAULT = ComparisonOperator.LESS; |
41 | */ | 41 | |
42 | protected static final ComparisonOperator OPERATOR_EDEFAULT = ComparisonOperator.LESS; | 42 | /** |
43 | 43 | * The cached value of the '{@link #getOperator() <em>Operator</em>}' attribute. | |
44 | /** | 44 | * <!-- begin-user-doc --> |
45 | * The cached value of the '{@link #getOperator() <em>Operator</em>}' attribute. | 45 | * <!-- end-user-doc --> |
46 | * <!-- begin-user-doc --> | 46 | * @see #getOperator() |
47 | * <!-- end-user-doc --> | 47 | * @generated |
48 | * @see #getOperator() | 48 | * @ordered |
49 | * @generated | 49 | */ |
50 | * @ordered | 50 | protected ComparisonOperator operator = OPERATOR_EDEFAULT; |
51 | */ | 51 | |
52 | protected ComparisonOperator operator = OPERATOR_EDEFAULT; | 52 | /** |
53 | 53 | * The default value of the '{@link #getThreshold() <em>Threshold</em>}' attribute. | |
54 | /** | 54 | * <!-- begin-user-doc --> |
55 | * The default value of the '{@link #getThreshold() <em>Threshold</em>}' attribute. | 55 | * <!-- end-user-doc --> |
56 | * <!-- begin-user-doc --> | 56 | * @see #getThreshold() |
57 | * <!-- end-user-doc --> | 57 | * @generated |
58 | * @see #getThreshold() | 58 | * @ordered |
59 | * @generated | 59 | */ |
60 | * @ordered | 60 | protected static final double THRESHOLD_EDEFAULT = 0.0; |
61 | */ | 61 | |
62 | protected static final BigDecimal THRESHOLD_EDEFAULT = null; | 62 | /** |
63 | 63 | * The cached value of the '{@link #getThreshold() <em>Threshold</em>}' attribute. | |
64 | /** | 64 | * <!-- begin-user-doc --> |
65 | * The cached value of the '{@link #getThreshold() <em>Threshold</em>}' attribute. | 65 | * <!-- end-user-doc --> |
66 | * <!-- begin-user-doc --> | 66 | * @see #getThreshold() |
67 | * <!-- end-user-doc --> | 67 | * @generated |
68 | * @see #getThreshold() | 68 | * @ordered |
69 | * @generated | 69 | */ |
70 | * @ordered | 70 | protected double threshold = THRESHOLD_EDEFAULT; |
71 | */ | 71 | |
72 | protected BigDecimal threshold = THRESHOLD_EDEFAULT; | 72 | /** |
73 | 73 | * <!-- begin-user-doc --> | |
74 | /** | 74 | * <!-- end-user-doc --> |
75 | * <!-- begin-user-doc --> | 75 | * @generated |
76 | * <!-- end-user-doc --> | 76 | */ |
77 | * @generated | 77 | protected ThresholdEntryImpl() |
78 | */ | 78 | { |
79 | protected ThresholdEntryImpl() | 79 | super(); |
80 | { | 80 | } |
81 | super(); | 81 | |
82 | } | 82 | /** |
83 | 83 | * <!-- begin-user-doc --> | |
84 | /** | 84 | * <!-- end-user-doc --> |
85 | * <!-- begin-user-doc --> | 85 | * @generated |
86 | * <!-- end-user-doc --> | 86 | */ |
87 | * @generated | 87 | @Override |
88 | */ | 88 | protected EClass eStaticClass() |
89 | @Override | 89 | { |
90 | protected EClass eStaticClass() | 90 | return ApplicationConfigurationPackage.Literals.THRESHOLD_ENTRY; |
91 | { | 91 | } |
92 | return ApplicationConfigurationPackage.Literals.THRESHOLD_ENTRY; | 92 | |
93 | } | 93 | /** |
94 | 94 | * <!-- begin-user-doc --> | |
95 | /** | 95 | * <!-- end-user-doc --> |
96 | * <!-- begin-user-doc --> | 96 | * @generated |
97 | * <!-- end-user-doc --> | 97 | */ |
98 | * @generated | 98 | @Override |
99 | */ | 99 | public ComparisonOperator getOperator() |
100 | @Override | 100 | { |
101 | public ComparisonOperator getOperator() | 101 | return operator; |
102 | { | 102 | } |
103 | return operator; | 103 | |
104 | } | 104 | /** |
105 | 105 | * <!-- begin-user-doc --> | |
106 | /** | 106 | * <!-- end-user-doc --> |
107 | * <!-- begin-user-doc --> | 107 | * @generated |
108 | * <!-- end-user-doc --> | 108 | */ |
109 | * @generated | 109 | @Override |
110 | */ | 110 | public void setOperator(ComparisonOperator newOperator) |
111 | @Override | 111 | { |
112 | public void setOperator(ComparisonOperator newOperator) | 112 | ComparisonOperator oldOperator = operator; |
113 | { | 113 | operator = newOperator == null ? OPERATOR_EDEFAULT : newOperator; |
114 | ComparisonOperator oldOperator = operator; | 114 | if (eNotificationRequired()) |
115 | operator = newOperator == null ? OPERATOR_EDEFAULT : newOperator; | 115 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR, oldOperator, operator)); |
116 | if (eNotificationRequired()) | 116 | } |
117 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR, oldOperator, operator)); | 117 | |
118 | } | 118 | /** |
119 | 119 | * <!-- begin-user-doc --> | |
120 | /** | 120 | * <!-- end-user-doc --> |
121 | * <!-- begin-user-doc --> | 121 | * @generated |
122 | * <!-- end-user-doc --> | 122 | */ |
123 | * @generated | 123 | @Override |
124 | */ | 124 | public double getThreshold() |
125 | @Override | 125 | { |
126 | public BigDecimal getThreshold() | 126 | return threshold; |
127 | { | 127 | } |
128 | return threshold; | 128 | |
129 | } | 129 | /** |
130 | 130 | * <!-- begin-user-doc --> | |
131 | /** | 131 | * <!-- end-user-doc --> |
132 | * <!-- begin-user-doc --> | 132 | * @generated |
133 | * <!-- end-user-doc --> | 133 | */ |
134 | * @generated | 134 | @Override |
135 | */ | 135 | public void setThreshold(double newThreshold) |
136 | @Override | 136 | { |
137 | public void setThreshold(BigDecimal newThreshold) | 137 | double oldThreshold = threshold; |
138 | { | 138 | threshold = newThreshold; |
139 | BigDecimal oldThreshold = threshold; | 139 | if (eNotificationRequired()) |
140 | threshold = newThreshold; | 140 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD, oldThreshold, threshold)); |
141 | if (eNotificationRequired()) | 141 | } |
142 | eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD, oldThreshold, threshold)); | 142 | |
143 | } | 143 | /** |
144 | 144 | * <!-- begin-user-doc --> | |
145 | /** | 145 | * <!-- end-user-doc --> |
146 | * <!-- begin-user-doc --> | 146 | * @generated |
147 | * <!-- end-user-doc --> | 147 | */ |
148 | * @generated | 148 | @Override |
149 | */ | 149 | public Object eGet(int featureID, boolean resolve, boolean coreType) |
150 | @Override | 150 | { |
151 | public Object eGet(int featureID, boolean resolve, boolean coreType) | 151 | switch (featureID) |
152 | { | 152 | { |
153 | switch (featureID) | 153 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: |
154 | { | 154 | return getOperator(); |
155 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: | 155 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: |
156 | return getOperator(); | 156 | return getThreshold(); |
157 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: | 157 | } |
158 | return getThreshold(); | 158 | return super.eGet(featureID, resolve, coreType); |
159 | } | 159 | } |
160 | return super.eGet(featureID, resolve, coreType); | 160 | |
161 | } | 161 | /** |
162 | 162 | * <!-- begin-user-doc --> | |
163 | /** | 163 | * <!-- end-user-doc --> |
164 | * <!-- begin-user-doc --> | 164 | * @generated |
165 | * <!-- end-user-doc --> | 165 | */ |
166 | * @generated | 166 | @Override |
167 | */ | 167 | public void eSet(int featureID, Object newValue) |
168 | @Override | 168 | { |
169 | public void eSet(int featureID, Object newValue) | 169 | switch (featureID) |
170 | { | 170 | { |
171 | switch (featureID) | 171 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: |
172 | { | 172 | setOperator((ComparisonOperator)newValue); |
173 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: | 173 | return; |
174 | setOperator((ComparisonOperator)newValue); | 174 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: |
175 | return; | 175 | setThreshold((Double)newValue); |
176 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: | 176 | return; |
177 | setThreshold((BigDecimal)newValue); | 177 | } |
178 | return; | 178 | super.eSet(featureID, newValue); |
179 | } | 179 | } |
180 | super.eSet(featureID, newValue); | 180 | |
181 | } | 181 | /** |
182 | 182 | * <!-- begin-user-doc --> | |
183 | /** | 183 | * <!-- end-user-doc --> |
184 | * <!-- begin-user-doc --> | 184 | * @generated |
185 | * <!-- end-user-doc --> | 185 | */ |
186 | * @generated | 186 | @Override |
187 | */ | 187 | public void eUnset(int featureID) |
188 | @Override | 188 | { |
189 | public void eUnset(int featureID) | 189 | switch (featureID) |
190 | { | 190 | { |
191 | switch (featureID) | 191 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: |
192 | { | 192 | setOperator(OPERATOR_EDEFAULT); |
193 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: | 193 | return; |
194 | setOperator(OPERATOR_EDEFAULT); | 194 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: |
195 | return; | 195 | setThreshold(THRESHOLD_EDEFAULT); |
196 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: | 196 | return; |
197 | setThreshold(THRESHOLD_EDEFAULT); | 197 | } |
198 | return; | 198 | super.eUnset(featureID); |
199 | } | 199 | } |
200 | super.eUnset(featureID); | 200 | |
201 | } | 201 | /** |
202 | 202 | * <!-- begin-user-doc --> | |
203 | /** | 203 | * <!-- end-user-doc --> |
204 | * <!-- begin-user-doc --> | 204 | * @generated |
205 | * <!-- end-user-doc --> | 205 | */ |
206 | * @generated | 206 | @Override |
207 | */ | 207 | public boolean eIsSet(int featureID) |
208 | @Override | 208 | { |
209 | public boolean eIsSet(int featureID) | 209 | switch (featureID) |
210 | { | 210 | { |
211 | switch (featureID) | 211 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: |
212 | { | 212 | return operator != OPERATOR_EDEFAULT; |
213 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__OPERATOR: | 213 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: |
214 | return operator != OPERATOR_EDEFAULT; | 214 | return threshold != THRESHOLD_EDEFAULT; |
215 | case ApplicationConfigurationPackage.THRESHOLD_ENTRY__THRESHOLD: | 215 | } |
216 | return THRESHOLD_EDEFAULT == null ? threshold != null : !THRESHOLD_EDEFAULT.equals(threshold); | 216 | return super.eIsSet(featureID); |
217 | } | 217 | } |
218 | return super.eIsSet(featureID); | 218 | |
219 | } | 219 | /** |
220 | 220 | * <!-- begin-user-doc --> | |
221 | /** | 221 | * <!-- end-user-doc --> |
222 | * <!-- begin-user-doc --> | 222 | * @generated |
223 | * <!-- end-user-doc --> | 223 | */ |
224 | * @generated | 224 | @Override |
225 | */ | 225 | public String toString() |
226 | @Override | 226 | { |
227 | public String toString() | 227 | if (eIsProxy()) return super.toString(); |
228 | { | 228 | |
229 | if (eIsProxy()) return super.toString(); | 229 | StringBuilder result = new StringBuilder(super.toString()); |
230 | 230 | result.append(" (operator: "); | |
231 | StringBuilder result = new StringBuilder(super.toString()); | 231 | result.append(operator); |
232 | result.append(" (operator: "); | 232 | result.append(", threshold: "); |
233 | result.append(operator); | 233 | result.append(threshold); |
234 | result.append(", threshold: "); | 234 | result.append(')'); |
235 | result.append(threshold); | 235 | return result.toString(); |
236 | result.append(')'); | 236 | } |
237 | return result.toString(); | 237 | |
238 | } | 238 | } //ThresholdEntryImpl |
239 | |||
240 | } //ThresholdEntryImpl | ||