1 | /**************************************************************************** |
2 | ** |
3 | ** Copyright (C) 2016 The Qt Company Ltd. |
4 | ** Contact: https://www.qt.io/licensing/ |
5 | ** |
6 | ** This file is part of the QtQml module of the Qt Toolkit. |
7 | ** |
8 | ** $QT_BEGIN_LICENSE:LGPL$ |
9 | ** Commercial License Usage |
10 | ** Licensees holding valid commercial Qt licenses may use this file in |
11 | ** accordance with the commercial license agreement provided with the |
12 | ** Software or, alternatively, in accordance with the terms contained in |
13 | ** a written agreement between you and The Qt Company. For licensing terms |
14 | ** and conditions see https://www.qt.io/terms-conditions. For further |
15 | ** information use the contact form at https://www.qt.io/contact-us. |
16 | ** |
17 | ** GNU Lesser General Public License Usage |
18 | ** Alternatively, this file may be used under the terms of the GNU Lesser |
19 | ** General Public License version 3 as published by the Free Software |
20 | ** Foundation and appearing in the file LICENSE.LGPL3 included in the |
21 | ** packaging of this file. Please review the following information to |
22 | ** ensure the GNU Lesser General Public License version 3 requirements |
23 | ** will be met: https://www.gnu.org/licenses/lgpl-3.0.html. |
24 | ** |
25 | ** GNU General Public License Usage |
26 | ** Alternatively, this file may be used under the terms of the GNU |
27 | ** General Public License version 2.0 or (at your option) the GNU General |
28 | ** Public license version 3 or any later version approved by the KDE Free |
29 | ** Qt Foundation. The licenses are as published by the Free Software |
30 | ** Foundation and appearing in the file LICENSE.GPL2 and LICENSE.GPL3 |
31 | ** included in the packaging of this file. Please review the following |
32 | ** information to ensure the GNU General Public License requirements will |
33 | ** be met: https://www.gnu.org/licenses/gpl-2.0.html and |
34 | ** https://www.gnu.org/licenses/gpl-3.0.html. |
35 | ** |
36 | ** $QT_END_LICENSE$ |
37 | ** |
38 | ****************************************************************************/ |
39 | |
40 | #include <qv4runtime_p.h> |
41 | #include <qv4propertykey_p.h> |
42 | #include <qv4string_p.h> |
43 | #include <qv4symbol_p.h> |
44 | #include <qv4object_p.h> |
45 | #include <qv4objectproto_p.h> |
46 | #include <private/qv4mm_p.h> |
47 | |
48 | #include <wtf/MathExtras.h> |
49 | |
50 | using namespace QV4; |
51 | |
52 | int Value::toUInt16() const |
53 | { |
54 | if (integerCompatible()) |
55 | return (ushort)(uint)integerValue(); |
56 | |
57 | double number = toNumber(); |
58 | |
59 | double D16 = 65536.0; |
60 | if ((number >= 0 && number < D16)) |
61 | return static_cast<ushort>(number); |
62 | |
63 | if (!std::isfinite(x: number)) |
64 | return +0; |
65 | |
66 | double d = ::floor(x: ::fabs(x: number)); |
67 | if (std::signbit(x: number)) |
68 | d = -d; |
69 | |
70 | number = ::fmod(x: d , y: D16); |
71 | |
72 | if (number < 0) |
73 | number += D16; |
74 | |
75 | return (unsigned short)number; |
76 | } |
77 | |
78 | bool Value::toBooleanImpl(Value val) |
79 | { |
80 | if (val.isManagedOrUndefined()) { |
81 | Heap::Base *b = val.m(); |
82 | if (!b) |
83 | return false; |
84 | if (b->internalClass->vtable->isString) |
85 | return static_cast<Heap::String *>(b)->length() > 0; |
86 | return true; |
87 | } |
88 | |
89 | // double |
90 | double d = val.doubleValue(); |
91 | return d && !std::isnan(x: d); |
92 | } |
93 | |
94 | double Value::toNumberImpl(Value val) |
95 | { |
96 | switch (val.type()) { |
97 | case QV4::Value::Undefined_Type: |
98 | return std::numeric_limits<double>::quiet_NaN(); |
99 | case QV4::Value::Managed_Type: |
100 | if (String *s = val.stringValue()) |
101 | return RuntimeHelpers::stringToNumber(s: s->toQString()); |
102 | if (val.isSymbol()) { |
103 | Managed &m = static_cast<Managed &>(val); |
104 | m.engine()->throwTypeError(); |
105 | return 0; |
106 | } |
107 | { |
108 | Q_ASSERT(val.isObject()); |
109 | Scope scope(val.objectValue()->engine()); |
110 | ScopedValue protectThis(scope, val); |
111 | ScopedValue prim(scope, RuntimeHelpers::toPrimitive(value: val, typeHint: NUMBER_HINT)); |
112 | if (scope.engine->hasException) |
113 | return 0; |
114 | return prim->toNumber(); |
115 | } |
116 | case QV4::Value::Null_Type: |
117 | case QV4::Value::Boolean_Type: |
118 | case QV4::Value::Integer_Type: |
119 | return val.int_32(); |
120 | default: // double |
121 | Q_UNREACHABLE(); |
122 | } |
123 | } |
124 | |
125 | QString Value::toQStringNoThrow() const |
126 | { |
127 | switch (type()) { |
128 | case Value::Empty_Type: |
129 | Q_ASSERT(!"empty Value encountered" ); |
130 | Q_UNREACHABLE(); |
131 | case Value::Undefined_Type: |
132 | return QStringLiteral("undefined" ); |
133 | case Value::Null_Type: |
134 | return QStringLiteral("null" ); |
135 | case Value::Boolean_Type: |
136 | if (booleanValue()) |
137 | return QStringLiteral("true" ); |
138 | else |
139 | return QStringLiteral("false" ); |
140 | case Value::Managed_Type: |
141 | if (String *s = stringValue()) |
142 | return s->toQString(); |
143 | if (Symbol *s = symbolValue()) |
144 | return s->descriptiveString(); |
145 | { |
146 | Q_ASSERT(isObject()); |
147 | Scope scope(objectValue()->engine()); |
148 | ScopedValue ex(scope); |
149 | bool caughtException = false; |
150 | ScopedValue prim(scope, RuntimeHelpers::toPrimitive(value: *this, typeHint: STRING_HINT)); |
151 | if (scope.hasException()) { |
152 | ex = scope.engine->catchException(); |
153 | caughtException = true; |
154 | } else if (prim->isPrimitive()) { |
155 | return prim->toQStringNoThrow(); |
156 | } |
157 | // Can't nest try/catch due to CXX ABI limitations for foreign exception nesting. |
158 | if (caughtException) { |
159 | ScopedValue prim(scope, RuntimeHelpers::toPrimitive(value: ex, typeHint: STRING_HINT)); |
160 | if (scope.hasException()) { |
161 | ex = scope.engine->catchException(); |
162 | } else if (prim->isPrimitive()) { |
163 | return prim->toQStringNoThrow(); |
164 | } |
165 | } |
166 | return QString(); |
167 | } |
168 | case Value::Integer_Type: { |
169 | QString str; |
170 | RuntimeHelpers::numberToString(result: &str, num: (double)int_32(), radix: 10); |
171 | return str; |
172 | } |
173 | default: { // double |
174 | QString str; |
175 | RuntimeHelpers::numberToString(result: &str, num: doubleValue(), radix: 10); |
176 | return str; |
177 | } |
178 | } // switch |
179 | } |
180 | |
181 | QString Value::toQString() const |
182 | { |
183 | switch (type()) { |
184 | case Value::Empty_Type: |
185 | Q_ASSERT(!"empty Value encountered" ); |
186 | Q_UNREACHABLE(); |
187 | case Value::Undefined_Type: |
188 | return QStringLiteral("undefined" ); |
189 | case Value::Null_Type: |
190 | return QStringLiteral("null" ); |
191 | case Value::Boolean_Type: |
192 | if (booleanValue()) |
193 | return QStringLiteral("true" ); |
194 | else |
195 | return QStringLiteral("false" ); |
196 | case Value::Managed_Type: |
197 | if (String *s = stringValue()) { |
198 | return s->toQString(); |
199 | } else if (isSymbol()) { |
200 | static_cast<const Managed *>(this)->engine()->throwTypeError(); |
201 | return QString(); |
202 | } else { |
203 | Q_ASSERT(isObject()); |
204 | Scope scope(objectValue()->engine()); |
205 | ScopedValue prim(scope, RuntimeHelpers::toPrimitive(value: *this, typeHint: STRING_HINT)); |
206 | return prim->toQString(); |
207 | } |
208 | case Value::Integer_Type: { |
209 | QString str; |
210 | RuntimeHelpers::numberToString(result: &str, num: (double)int_32(), radix: 10); |
211 | return str; |
212 | } |
213 | default: { // double |
214 | QString str; |
215 | RuntimeHelpers::numberToString(result: &str, num: doubleValue(), radix: 10); |
216 | return str; |
217 | } |
218 | } // switch |
219 | } |
220 | |
221 | QV4::PropertyKey Value::toPropertyKey(ExecutionEngine *e) const |
222 | { |
223 | if (isInteger() && int_32() >= 0) |
224 | return PropertyKey::fromArrayIndex(idx: static_cast<uint>(int_32())); |
225 | if (isStringOrSymbol()) { |
226 | Scope scope(e); |
227 | ScopedStringOrSymbol s(scope, this); |
228 | return s->toPropertyKey(); |
229 | } |
230 | Scope scope(e); |
231 | ScopedValue v(scope, RuntimeHelpers::toPrimitive(value: *this, typeHint: STRING_HINT)); |
232 | if (!v->isStringOrSymbol()) |
233 | v = v->toString(e); |
234 | if (e->hasException) |
235 | return PropertyKey::invalid(); |
236 | ScopedStringOrSymbol s(scope, v); |
237 | return s->toPropertyKey(); |
238 | } |
239 | |
240 | bool Value::sameValue(Value other) const { |
241 | if (_val == other._val) |
242 | return true; |
243 | String *s = stringValue(); |
244 | String *os = other.stringValue(); |
245 | if (s && os) |
246 | return s->isEqualTo(other: os); |
247 | if (isInteger() && other.isDouble()) |
248 | return int_32() ? (double(int_32()) == other.doubleValue()) |
249 | : (other.doubleValue() == 0 && !std::signbit(x: other.doubleValue())); |
250 | if (isDouble() && other.isInteger()) |
251 | return other.int_32() ? (doubleValue() == double(other.int_32())) |
252 | : (doubleValue() == 0 && !std::signbit(x: doubleValue())); |
253 | if (isManaged()) |
254 | return other.isManaged() && cast<Managed>()->isEqualTo(other: other.cast<Managed>()); |
255 | return false; |
256 | } |
257 | |
258 | bool Value::sameValueZero(Value other) const { |
259 | if (_val == other._val) |
260 | return true; |
261 | String *s = stringValue(); |
262 | String *os = other.stringValue(); |
263 | if (s && os) |
264 | return s->isEqualTo(other: os); |
265 | if (isInteger() && other.isDouble()) |
266 | return double(int_32()) == other.doubleValue(); |
267 | if (isDouble() && other.isInteger()) |
268 | return other.int_32() == doubleValue(); |
269 | if (isDouble() && other.isDouble()) { |
270 | if (doubleValue() == 0 && other.doubleValue() == 0) { |
271 | return true; |
272 | } |
273 | } |
274 | if (isManaged()) |
275 | return other.isManaged() && cast<Managed>()->isEqualTo(other: other.cast<Managed>()); |
276 | return false; |
277 | } |
278 | |
279 | Heap::String *Value::toString(ExecutionEngine *e, Value val) |
280 | { |
281 | return RuntimeHelpers::convertToString(engine: e, value: val); |
282 | } |
283 | |
284 | Heap::Object *Value::toObject(ExecutionEngine *e, Value val) |
285 | { |
286 | return RuntimeHelpers::convertToObject(engine: e, value: val); |
287 | } |
288 | |
289 | uint Value::asArrayLength(bool *ok) const |
290 | { |
291 | *ok = true; |
292 | if (isInteger()) { |
293 | if (int_32() >= 0) { |
294 | return (uint)int_32(); |
295 | } else { |
296 | *ok = false; |
297 | return UINT_MAX; |
298 | } |
299 | } |
300 | if (isNumber()) { |
301 | double d = doubleValue(); |
302 | uint idx = (uint)d; |
303 | if (idx != d) { |
304 | *ok = false; |
305 | return UINT_MAX; |
306 | } |
307 | return idx; |
308 | } |
309 | if (String *s = stringValue()) |
310 | return s->toUInt(ok); |
311 | |
312 | uint idx = toUInt32(); |
313 | double d = toNumber(); |
314 | if (d != idx) { |
315 | *ok = false; |
316 | return UINT_MAX; |
317 | } |
318 | return idx; |
319 | } |
320 | |