GlobalObject.cs 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743
  1. using System.Buffers;
  2. using System.Globalization;
  3. using System.Linq;
  4. using System.Runtime.CompilerServices;
  5. using System.Text;
  6. using Jint.Native.Object;
  7. using Jint.Native.String;
  8. using Jint.Runtime;
  9. using Jint.Runtime.Descriptors;
  10. namespace Jint.Native.Global
  11. {
  12. public sealed partial class GlobalObject : ObjectInstance
  13. {
  14. private readonly Realm _realm;
  15. private readonly StringBuilder _stringBuilder = new();
  16. internal GlobalObject(
  17. Engine engine,
  18. Realm realm) : base(engine, ObjectClass.Object, InternalTypes.Object | InternalTypes.PlainObject)
  19. {
  20. _realm = realm;
  21. }
  22. private JsValue ToStringString(JsValue thisObject, JsValue[] arguments)
  23. {
  24. return _realm.Intrinsics.Object.PrototypeObject.ToObjectString(thisObject, Arguments.Empty);
  25. }
  26. /// <summary>
  27. /// https://tc39.es/ecma262/#sec-parseint-string-radix
  28. /// </summary>
  29. internal static JsValue ParseInt(JsValue thisObject, JsValue[] arguments)
  30. {
  31. var inputString = TypeConverter.ToString(arguments.At(0));
  32. var trimmed = StringPrototype.TrimEx(inputString);
  33. var s = trimmed.AsSpan();
  34. var radix = arguments.Length > 1 ? TypeConverter.ToInt32(arguments[1]) : 0;
  35. var hexStart = s.Length > 1 && trimmed.StartsWith("0x", StringComparison.OrdinalIgnoreCase);
  36. var stripPrefix = true;
  37. if (radix == 0)
  38. {
  39. radix = hexStart ? 16 : 10;
  40. }
  41. else if (radix < 2 || radix > 36)
  42. {
  43. return JsNumber.DoubleNaN;
  44. }
  45. else if (radix != 16)
  46. {
  47. stripPrefix = false;
  48. }
  49. // check fast case
  50. if (radix == 10 && int.TryParse(trimmed, NumberStyles.Integer, CultureInfo.InvariantCulture, out var number))
  51. {
  52. return JsNumber.Create(number);
  53. }
  54. var sign = 1;
  55. if (s.Length > 0)
  56. {
  57. var c = s[0];
  58. if (c == '-')
  59. {
  60. sign = -1;
  61. }
  62. if (c is '-' or '+')
  63. {
  64. s = s.Slice(1);
  65. }
  66. }
  67. if (stripPrefix && hexStart)
  68. {
  69. s = s.Slice(2);
  70. }
  71. if (s.Length == 0)
  72. {
  73. return double.NaN;
  74. }
  75. var hasResult = false;
  76. double result = 0;
  77. double pow = 1;
  78. for (var i = s.Length - 1; i >= 0; i--)
  79. {
  80. var digit = s[i];
  81. var index = digit switch
  82. {
  83. >= '0' and <= '9' => digit - '0',
  84. >= 'a' and <= 'z' => digit - 'a' + 10,
  85. >= 'A' and <= 'Z' => digit - 'A' + 10,
  86. _ => -1
  87. };
  88. if (index == -1 || index >= radix)
  89. {
  90. // reset
  91. hasResult = false;
  92. result = 0;
  93. pow = 1;
  94. continue;
  95. }
  96. hasResult = true;
  97. result += index * pow;
  98. pow *= radix;
  99. }
  100. return hasResult ? JsNumber.Create(sign * result) : JsNumber.DoubleNaN;
  101. }
  102. /// <summary>
  103. /// https://tc39.es/ecma262/#sec-parsefloat-string
  104. /// </summary>
  105. internal static JsValue ParseFloat(JsValue thisObject, JsValue[] arguments)
  106. {
  107. var inputString = TypeConverter.ToString(arguments.At(0));
  108. var trimmedString = StringPrototype.TrimStartEx(inputString);
  109. if (string.IsNullOrWhiteSpace(trimmedString))
  110. {
  111. return JsNumber.DoubleNaN;
  112. }
  113. // start of string processing
  114. var i = 0;
  115. // check known string constants
  116. if (!char.IsDigit(trimmedString[0]))
  117. {
  118. if (trimmedString[0] == '-')
  119. {
  120. i++;
  121. if (trimmedString.Length > 1 && trimmedString[1] == 'I' && trimmedString.StartsWith("-Infinity", StringComparison.Ordinal))
  122. {
  123. return JsNumber.DoubleNegativeInfinity;
  124. }
  125. }
  126. if (trimmedString[0] == '+')
  127. {
  128. i++;
  129. if (trimmedString.Length > 1 && trimmedString[1] == 'I' && trimmedString.StartsWith("+Infinity", StringComparison.Ordinal))
  130. {
  131. return JsNumber.DoublePositiveInfinity;
  132. }
  133. }
  134. if (trimmedString.StartsWith("Infinity", StringComparison.Ordinal))
  135. {
  136. return JsNumber.DoublePositiveInfinity;
  137. }
  138. if (trimmedString.StartsWith("NaN", StringComparison.Ordinal))
  139. {
  140. return JsNumber.DoubleNaN;
  141. }
  142. }
  143. // find the starting part of string that is still acceptable JS number
  144. var dotFound = false;
  145. var exponentFound = false;
  146. while (i < trimmedString.Length)
  147. {
  148. var c = trimmedString[i];
  149. if (Character.IsDecimalDigit(c))
  150. {
  151. i++;
  152. continue;
  153. }
  154. if (c == '.')
  155. {
  156. if (dotFound)
  157. {
  158. // does not look right
  159. break;
  160. }
  161. i++;
  162. dotFound = true;
  163. continue;
  164. }
  165. if (c is 'e' or 'E')
  166. {
  167. if (exponentFound)
  168. {
  169. // does not look right
  170. break;
  171. }
  172. i++;
  173. exponentFound = true;
  174. continue;
  175. }
  176. if (c is '+' or '-' && trimmedString[i - 1] is 'e' or 'E')
  177. {
  178. // ok
  179. i++;
  180. continue;
  181. }
  182. break;
  183. }
  184. while (exponentFound && i > 0 && !Character.IsDecimalDigit(trimmedString[i - 1]))
  185. {
  186. // we are missing required exponent number part info
  187. i--;
  188. }
  189. // we should now have proper input part
  190. #if SUPPORTS_SPAN_PARSE
  191. var substring = trimmedString.AsSpan(0, i);
  192. #else
  193. var substring = trimmedString.Substring(0, i);
  194. #endif
  195. const NumberStyles Styles = NumberStyles.AllowDecimalPoint | NumberStyles.AllowExponent | NumberStyles.AllowLeadingSign;
  196. if (double.TryParse(substring, Styles, CultureInfo.InvariantCulture, out var d))
  197. {
  198. return d;
  199. }
  200. return JsNumber.DoubleNaN;
  201. }
  202. /// <summary>
  203. /// http://www.ecma-international.org/ecma-262/5.1/#sec-15.1.2.4
  204. /// </summary>
  205. private static JsValue IsNaN(JsValue thisObject, JsValue[] arguments)
  206. {
  207. var value = arguments.At(0);
  208. if (ReferenceEquals(value, JsNumber.DoubleNaN))
  209. {
  210. return true;
  211. }
  212. var x = TypeConverter.ToNumber(value);
  213. return double.IsNaN(x);
  214. }
  215. /// <summary>
  216. /// http://www.ecma-international.org/ecma-262/5.1/#sec-15.1.2.5
  217. /// </summary>
  218. private static JsValue IsFinite(JsValue thisObject, JsValue[] arguments)
  219. {
  220. if (arguments.Length != 1)
  221. {
  222. return false;
  223. }
  224. var n = TypeConverter.ToNumber(arguments.At(0));
  225. if (double.IsNaN(n) || double.IsInfinity(n))
  226. {
  227. return false;
  228. }
  229. return true;
  230. }
  231. private const string UriReservedString = ";/?:@&=+$,";
  232. private const string UriUnescapedString = "-_.!~*'()";
  233. private static readonly SearchValues<char> UriUnescaped = SearchValues.Create(UriUnescapedString);
  234. private static readonly SearchValues<char> UnescapedUriSet = SearchValues.Create(UriReservedString + UriUnescapedString + '#');
  235. private static readonly SearchValues<char> ReservedUriSet = SearchValues.Create(UriReservedString + '#');
  236. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  237. private static bool IsValidHexaChar(char c) => Uri.IsHexDigit(c);
  238. /// <summary>
  239. /// http://www.ecma-international.org/ecma-262/5.1/#sec-15.1.3.2
  240. /// </summary>
  241. /// <param name="thisObject"></param>
  242. /// <param name="arguments"></param>
  243. /// <returns></returns>
  244. private JsValue EncodeUri(JsValue thisObject, JsValue[] arguments)
  245. {
  246. var uriString = TypeConverter.ToString(arguments.At(0));
  247. return Encode(uriString, UnescapedUriSet);
  248. }
  249. /// <summary>
  250. /// http://www.ecma-international.org/ecma-262/5.1/#sec-15.1.3.4
  251. /// </summary>
  252. /// <param name="thisObject"></param>
  253. /// <param name="arguments"></param>
  254. /// <returns></returns>
  255. private JsValue EncodeUriComponent(JsValue thisObject, JsValue[] arguments)
  256. {
  257. var uriString = TypeConverter.ToString(arguments.At(0));
  258. return Encode(uriString, UriUnescaped);
  259. }
  260. private JsValue Encode(string uriString, SearchValues<char> unescapedUriSet)
  261. {
  262. const string HexaMap = "0123456789ABCDEF";
  263. var strLen = uriString.Length;
  264. _stringBuilder.EnsureCapacity(uriString.Length);
  265. _stringBuilder.Clear();
  266. Span<byte> buffer = stackalloc byte[4];
  267. for (var k = 0; k < strLen; k++)
  268. {
  269. var c = uriString[k];
  270. if (c is >= 'a' and <= 'z' || c is >= 'A' and <= 'Z' || c is >= '0' and <= '9' || unescapedUriSet.Contains(c))
  271. {
  272. _stringBuilder.Append(c);
  273. }
  274. else
  275. {
  276. if (c >= 0xDC00 && c <= 0xDBFF)
  277. {
  278. goto uriError;
  279. }
  280. int v;
  281. if (c < 0xD800 || c > 0xDBFF)
  282. {
  283. v = c;
  284. }
  285. else
  286. {
  287. k++;
  288. if (k == strLen)
  289. {
  290. goto uriError;
  291. }
  292. var kChar = (int) uriString[k];
  293. if (kChar is < 0xDC00 or > 0xDFFF)
  294. {
  295. goto uriError;
  296. }
  297. v = (c - 0xD800) * 0x400 + (kChar - 0xDC00) + 0x10000;
  298. }
  299. var length = 1;
  300. switch (v)
  301. {
  302. case >= 0 and <= 0x007F:
  303. // 00000000 0zzzzzzz -> 0zzzzzzz
  304. buffer[0] = (byte) v;
  305. break;
  306. case <= 0x07FF:
  307. // 00000yyy yyzzzzzz -> 110yyyyy ; 10zzzzzz
  308. length = 2;
  309. buffer[0] = (byte) (0xC0 | (v >> 6));
  310. buffer[1] = (byte) (0x80 | (v & 0x3F));
  311. break;
  312. case <= 0xD7FF:
  313. // xxxxyyyy yyzzzzzz -> 1110xxxx; 10yyyyyy; 10zzzzzz
  314. length = 3;
  315. buffer[0] = (byte) (0xE0 | (v >> 12));
  316. buffer[1] = (byte) (0x80 | ((v >> 6) & 0x3F));
  317. buffer[2] = (byte) (0x80 | (v & 0x3F));
  318. break;
  319. case <= 0xDFFF:
  320. goto uriError;
  321. case <= 0xFFFF:
  322. length = 3;
  323. buffer[0] = (byte) (0xE0 | (v >> 12));
  324. buffer[1] = (byte) (0x80 | ((v >> 6) & 0x3F));
  325. buffer[2] = (byte) (0x80 | (v & 0x3F));
  326. break;
  327. default:
  328. length = 4;
  329. buffer[0] = (byte) (0xF0 | (v >> 18));
  330. buffer[1] = (byte) (0x80 | (v >> 12 & 0x3F));
  331. buffer[2] = (byte) (0x80 | (v >> 6 & 0x3F));
  332. buffer[3] = (byte) (0x80 | (v >> 0 & 0x3F));
  333. break;
  334. }
  335. for (var i = 0; i < length; i++)
  336. {
  337. var octet = buffer[i];
  338. var x1 = HexaMap[octet / 16];
  339. var x2 = HexaMap[octet % 16];
  340. _stringBuilder.Append('%').Append(x1).Append(x2);
  341. }
  342. }
  343. }
  344. return _stringBuilder.ToString();
  345. uriError:
  346. _engine.SignalError(ExceptionHelper.CreateUriError(_realm, "URI malformed"));
  347. return JsEmpty.Instance;
  348. }
  349. private JsValue DecodeUri(JsValue thisObject, JsValue[] arguments)
  350. {
  351. var uriString = TypeConverter.ToString(arguments.At(0));
  352. return Decode(uriString, ReservedUriSet);
  353. }
  354. private JsValue DecodeUriComponent(JsValue thisObject, JsValue[] arguments)
  355. {
  356. var componentString = TypeConverter.ToString(arguments.At(0));
  357. return Decode(componentString, null);
  358. }
  359. private JsValue Decode(string uriString, SearchValues<char>? reservedSet)
  360. {
  361. var strLen = uriString.Length;
  362. _stringBuilder.EnsureCapacity(strLen);
  363. _stringBuilder.Clear();
  364. #if SUPPORTS_SPAN_PARSE
  365. Span<byte> octets = stackalloc byte[4];
  366. #else
  367. var octets = new byte[4];
  368. #endif
  369. for (var k = 0; k < strLen; k++)
  370. {
  371. var C = uriString[k];
  372. if (C != '%')
  373. {
  374. _stringBuilder.Append(C);
  375. }
  376. else
  377. {
  378. var start = k;
  379. if (k + 2 >= strLen)
  380. {
  381. goto uriError;
  382. }
  383. var c1 = uriString[k + 1];
  384. var c2 = uriString[k + 2];
  385. if (!IsValidHexaChar(c1) || !IsValidHexaChar(c2))
  386. {
  387. goto uriError;
  388. }
  389. var B = StringToIntBase16(uriString.AsSpan(k + 1, 2));
  390. k += 2;
  391. if ((B & 0x80) == 0)
  392. {
  393. C = (char)B;
  394. #pragma warning disable CA2249
  395. if (reservedSet == null || !reservedSet.Contains(C))
  396. #pragma warning restore CA2249
  397. {
  398. _stringBuilder.Append(C);
  399. }
  400. else
  401. {
  402. _stringBuilder.Append(uriString, start, k - start + 1);
  403. }
  404. }
  405. else
  406. {
  407. var n = 0;
  408. for (; ((B << n) & 0x80) != 0; n++)
  409. {
  410. }
  411. if (n == 1 || n > 4)
  412. {
  413. goto uriError;
  414. }
  415. octets[0] = B;
  416. if (k + (3 * (n - 1)) >= strLen)
  417. {
  418. goto uriError;
  419. }
  420. for (var j = 1; j < n; j++)
  421. {
  422. k++;
  423. if (uriString[k] != '%')
  424. {
  425. goto uriError;
  426. }
  427. c1 = uriString[k + 1];
  428. c2 = uriString[k + 2];
  429. if (!IsValidHexaChar(c1) || !IsValidHexaChar(c2))
  430. {
  431. goto uriError;
  432. }
  433. B = StringToIntBase16(uriString.AsSpan(k + 1, 2));
  434. // B & 11000000 != 10000000
  435. if ((B & 0xC0) != 0x80)
  436. {
  437. goto uriError;
  438. }
  439. k += 2;
  440. octets[j] = B;
  441. }
  442. #if SUPPORTS_SPAN_PARSE
  443. _stringBuilder.Append(Encoding.UTF8.GetString(octets.Slice(0, n)));
  444. #else
  445. _stringBuilder.Append(Encoding.UTF8.GetString(octets, 0, n));
  446. #endif
  447. }
  448. }
  449. }
  450. return _stringBuilder.ToString();
  451. uriError:
  452. _engine.SignalError(ExceptionHelper.CreateUriError(_realm, "URI malformed"));
  453. return JsEmpty.Instance;
  454. }
  455. private static byte StringToIntBase16(ReadOnlySpan<char> s)
  456. {
  457. var i = 0;
  458. var length = s.Length;
  459. if (s[i] == '+')
  460. {
  461. i++;
  462. }
  463. if (i + 1 < length && s[i] == '0')
  464. {
  465. if (s[i + 1] == 'x' || s[i + 1] == 'X')
  466. {
  467. i += 2;
  468. }
  469. }
  470. uint result = 0;
  471. while (i < s.Length && IsDigit(s[i], 16, out var value))
  472. {
  473. result = result * 16 + (uint) value;
  474. i++;
  475. }
  476. return (byte) (int) result;
  477. }
  478. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  479. private static bool IsDigit(char c, int radix, out int result)
  480. {
  481. int tmp;
  482. if ((uint)(c - '0') <= 9)
  483. {
  484. result = tmp = c - '0';
  485. }
  486. else if ((uint)(c - 'A') <= 'Z' - 'A')
  487. {
  488. result = tmp = c - 'A' + 10;
  489. }
  490. else if ((uint)(c - 'a') <= 'z' - 'a')
  491. {
  492. result = tmp = c - 'a' + 10;
  493. }
  494. else
  495. {
  496. result = -1;
  497. return false;
  498. }
  499. return tmp < radix;
  500. }
  501. private static readonly SearchValues<char> EscapeAllowList = SearchValues.Create("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789@*_ + -./");
  502. /// <summary>
  503. /// http://www.ecma-international.org/ecma-262/5.1/#sec-B.2.1
  504. /// </summary>
  505. private JsValue Escape(JsValue thisObject, JsValue[] arguments)
  506. {
  507. var uriString = TypeConverter.ToString(arguments.At(0));
  508. var strLen = uriString.Length;
  509. _stringBuilder.EnsureCapacity(strLen);
  510. _stringBuilder.Clear();
  511. for (var k = 0; k < strLen; k++)
  512. {
  513. var c = uriString[k];
  514. if (EscapeAllowList.Contains(c))
  515. {
  516. _stringBuilder.Append(c);
  517. }
  518. else if (c < 256)
  519. {
  520. _stringBuilder.Append('%').AppendFormat(CultureInfo.InvariantCulture, "{0:X2}", (int) c);
  521. }
  522. else
  523. {
  524. _stringBuilder.Append("%u").AppendFormat(CultureInfo.InvariantCulture, "{0:X4}", (int) c);
  525. }
  526. }
  527. return _stringBuilder.ToString();
  528. }
  529. /// <summary>
  530. /// http://www.ecma-international.org/ecma-262/5.1/#sec-B.2.2
  531. /// </summary>
  532. private JsValue Unescape(JsValue thisObject, JsValue[] arguments)
  533. {
  534. var uriString = TypeConverter.ToString(arguments.At(0));
  535. var strLen = uriString.Length;
  536. _stringBuilder.EnsureCapacity(strLen);
  537. _stringBuilder.Clear();
  538. for (var k = 0; k < strLen; k++)
  539. {
  540. var c = uriString[k];
  541. if (c == '%')
  542. {
  543. if (k <= strLen - 6
  544. && uriString[k + 1] == 'u'
  545. && uriString.Skip(k + 2).Take(4).All(IsValidHexaChar))
  546. {
  547. var joined = string.Join(string.Empty, uriString.Skip(k + 2).Take(4));
  548. c = (char) int.Parse(joined, NumberStyles.AllowHexSpecifier, CultureInfo.InvariantCulture);
  549. k += 5;
  550. }
  551. else if (k <= strLen - 3
  552. && uriString.Skip(k + 1).Take(2).All(IsValidHexaChar))
  553. {
  554. var joined = string.Join(string.Empty, uriString.Skip(k + 1).Take(2));
  555. c = (char) int.Parse(joined, NumberStyles.AllowHexSpecifier, CultureInfo.InvariantCulture);
  556. k += 2;
  557. }
  558. }
  559. _stringBuilder.Append(c);
  560. }
  561. return _stringBuilder.ToString();
  562. }
  563. // optimized versions with string parameter and without virtual dispatch for global environment usage
  564. internal bool HasProperty(Key property)
  565. {
  566. return GetOwnProperty(property) != PropertyDescriptor.Undefined;
  567. }
  568. private bool DefineOwnProperty(Key property, PropertyDescriptor desc)
  569. {
  570. var current = GetOwnProperty(property);
  571. if (current == desc)
  572. {
  573. return true;
  574. }
  575. // check fast path
  576. if ((current._flags & PropertyFlag.MutableBinding) != PropertyFlag.None)
  577. {
  578. current._value = desc.Value;
  579. return true;
  580. }
  581. return ValidateAndApplyPropertyDescriptor(this, new JsString(property), true, desc, current);
  582. }
  583. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  584. internal PropertyDescriptor GetOwnProperty(Key property)
  585. {
  586. Properties!.TryGetValue(property, out var descriptor);
  587. return descriptor ?? PropertyDescriptor.Undefined;
  588. }
  589. internal bool SetFromMutableBinding(Key property, JsValue value, bool strict)
  590. {
  591. // here we are called only from global environment record context
  592. // we can take some shortcuts to be faster
  593. if (!_properties!.TryGetValue(property, out var existingDescriptor))
  594. {
  595. if (strict)
  596. {
  597. ExceptionHelper.ThrowReferenceNameError(_realm, property.Name);
  598. }
  599. _properties[property] = new PropertyDescriptor(value, PropertyFlag.ConfigurableEnumerableWritable | PropertyFlag.MutableBinding);
  600. return true;
  601. }
  602. if (existingDescriptor.IsDataDescriptor())
  603. {
  604. if (!existingDescriptor.Writable || existingDescriptor.IsAccessorDescriptor())
  605. {
  606. return false;
  607. }
  608. // check fast path
  609. if ((existingDescriptor._flags & PropertyFlag.MutableBinding) != PropertyFlag.None)
  610. {
  611. existingDescriptor._value = value;
  612. return true;
  613. }
  614. // slow path
  615. return DefineOwnProperty(property, new PropertyDescriptor(value, PropertyFlag.None));
  616. }
  617. if (existingDescriptor.Set is not ICallable setter)
  618. {
  619. return false;
  620. }
  621. setter.Call(this, new[] {value});
  622. return true;
  623. }
  624. }
  625. }