GlobalObject.cs 24 KB

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