TypeConverter.cs 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650
  1. using System;
  2. using System.Collections.Generic;
  3. using System.Globalization;
  4. using System.Runtime.CompilerServices;
  5. using Esprima.Ast;
  6. using Jint.Native;
  7. using Jint.Native.Number;
  8. using Jint.Native.Number.Dtoa;
  9. using Jint.Native.Object;
  10. using Jint.Native.String;
  11. using Jint.Native.Symbol;
  12. using Jint.Pooling;
  13. using Jint.Runtime.Interop;
  14. namespace Jint.Runtime
  15. {
  16. [Flags]
  17. public enum Types
  18. {
  19. None = 0,
  20. Undefined = 1,
  21. Null = 2,
  22. Boolean = 4,
  23. String = 8,
  24. Number = 16,
  25. Symbol = 64,
  26. Object = 128
  27. }
  28. [Flags]
  29. internal enum InternalTypes
  30. {
  31. // should not be used, used for empty match
  32. None = 0,
  33. Undefined = 1,
  34. Null = 2,
  35. // primitive types range start
  36. Boolean = 4,
  37. String = 8,
  38. Number = 16,
  39. Integer = 32,
  40. Symbol = 64,
  41. // primitive types range end
  42. Object = 128,
  43. // internal usage
  44. ObjectEnvironmentRecord = 512,
  45. RequiresCloning = 1024,
  46. Primitive = Boolean | String | Number | Integer | Symbol,
  47. InternalFlags = ObjectEnvironmentRecord | RequiresCloning
  48. }
  49. public static class TypeConverter
  50. {
  51. // how many decimals to check when determining if double is actually an int
  52. private const double DoubleIsIntegerTolerance = double.Epsilon * 100;
  53. internal static readonly string[] intToString = new string[1024];
  54. private static readonly string[] charToString = new string[256];
  55. static TypeConverter()
  56. {
  57. for (var i = 0; i < intToString.Length; ++i)
  58. {
  59. intToString[i] = i.ToString();
  60. }
  61. for (var i = 0; i < charToString.Length; ++i)
  62. {
  63. var c = (char) i;
  64. charToString[i] = c.ToString();
  65. }
  66. }
  67. /// <summary>
  68. /// https://tc39.es/ecma262/#sec-toprimitive
  69. /// </summary>
  70. public static JsValue ToPrimitive(JsValue input, Types preferredType = Types.None)
  71. {
  72. if (!(input is ObjectInstance oi))
  73. {
  74. return input;
  75. }
  76. var hint = preferredType switch
  77. {
  78. Types.String => JsString.StringString,
  79. Types.Number => JsString.NumberString,
  80. _ => JsString.DefaultString
  81. };
  82. var exoticToPrim = oi.GetMethod(GlobalSymbolRegistry.ToPrimitive);
  83. if (exoticToPrim is object)
  84. {
  85. var str = exoticToPrim.Call(oi, new JsValue[] { hint });
  86. if (str.IsPrimitive())
  87. {
  88. return str;
  89. }
  90. if (str.IsObject())
  91. {
  92. return ExceptionHelper.ThrowTypeError<JsValue>(oi.Engine, "Cannot convert object to primitive value");
  93. }
  94. }
  95. return OrdinaryToPrimitive(oi, preferredType == Types.None ? Types.Number : preferredType);
  96. }
  97. /// <summary>
  98. /// https://tc39.es/ecma262/#sec-ordinarytoprimitive
  99. /// </summary>
  100. internal static JsValue OrdinaryToPrimitive(ObjectInstance input, Types hint = Types.None)
  101. {
  102. JsString property1;
  103. JsString property2;
  104. if (hint == Types.String)
  105. {
  106. property1 = (JsString) "toString";
  107. property2 = (JsString) "valueOf";
  108. }
  109. else if (hint == Types.Number)
  110. {
  111. property1 = (JsString) "valueOf";
  112. property2 = (JsString) "toString";
  113. }
  114. else
  115. {
  116. return ExceptionHelper.ThrowTypeError<JsValue>(input.Engine);
  117. }
  118. if (input.Get(property1) is ICallable method1)
  119. {
  120. var val = method1.Call(input, Arguments.Empty);
  121. if (val.IsPrimitive())
  122. {
  123. return val;
  124. }
  125. }
  126. if (input.Get(property2) is ICallable method2)
  127. {
  128. var val = method2.Call(input, Arguments.Empty);
  129. if (val.IsPrimitive())
  130. {
  131. return val;
  132. }
  133. }
  134. return ExceptionHelper.ThrowTypeError<JsValue>(input.Engine);
  135. }
  136. /// <summary>
  137. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.2
  138. /// </summary>
  139. public static bool ToBoolean(JsValue o)
  140. {
  141. var type = o._type & ~InternalTypes.InternalFlags;
  142. switch (type)
  143. {
  144. case InternalTypes.Boolean:
  145. return ((JsBoolean) o)._value;
  146. case InternalTypes.Undefined:
  147. case InternalTypes.Null:
  148. return false;
  149. case InternalTypes.Integer:
  150. return (int) ((JsNumber) o)._value != 0;
  151. case InternalTypes.Number:
  152. var n = ((JsNumber) o)._value;
  153. return n != 0 && !double.IsNaN(n);
  154. case InternalTypes.String:
  155. return !((JsString) o).IsNullOrEmpty();
  156. default:
  157. return true;
  158. }
  159. }
  160. /// <summary>
  161. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.3
  162. /// </summary>
  163. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  164. public static double ToNumber(JsValue o)
  165. {
  166. return o.IsNumber()
  167. ? ((JsNumber) o)._value
  168. : ToNumberUnlikely(o);
  169. }
  170. private static double ToNumberUnlikely(JsValue o)
  171. {
  172. var type = o._type & ~InternalTypes.InternalFlags;
  173. return type switch
  174. {
  175. InternalTypes.Undefined => double.NaN,
  176. InternalTypes.Null => 0,
  177. InternalTypes.Object when o is IPrimitiveInstance p => ToNumber(ToPrimitive(p.PrimitiveValue, Types.Number)),
  178. InternalTypes.Boolean => (((JsBoolean) o)._value ? 1 : 0),
  179. InternalTypes.String => ToNumber(o.ToString()),
  180. InternalTypes.Symbol =>
  181. // TODO proper TypeError would require Engine instance and a lot of API changes
  182. ExceptionHelper.ThrowTypeErrorNoEngine<double>("Cannot convert a Symbol value to a number"),
  183. _ => ToNumber(ToPrimitive(o, Types.Number))
  184. };
  185. }
  186. private static double ToNumber(string input)
  187. {
  188. // eager checks to save time and trimming
  189. if (string.IsNullOrEmpty(input))
  190. {
  191. return 0;
  192. }
  193. char first = input[0];
  194. if (input.Length == 1 && first >= '0' && first <= '9')
  195. {
  196. // simple constant number
  197. return first - '0';
  198. }
  199. var s = StringPrototype.TrimEx(input);
  200. if (s.Length == 0)
  201. {
  202. return 0;
  203. }
  204. if (s.Length == 8 || s.Length == 9)
  205. {
  206. if ("+Infinity" == s || "Infinity" == s)
  207. {
  208. return double.PositiveInfinity;
  209. }
  210. if ("-Infinity" == s)
  211. {
  212. return double.NegativeInfinity;
  213. }
  214. }
  215. // todo: use a common implementation with JavascriptParser
  216. try
  217. {
  218. if (s.Length > 2 && s[0] == '0' && char.IsLetter(s[1]))
  219. {
  220. int fromBase = 0;
  221. if (s[1] == 'x' || s[1] == 'X')
  222. {
  223. fromBase = 16;
  224. }
  225. if (s[1] == 'o' || s[1] == 'O')
  226. {
  227. fromBase = 8;
  228. }
  229. if (s[1] == 'b' || s[1] == 'B')
  230. {
  231. fromBase = 2;
  232. }
  233. if (fromBase > 0)
  234. {
  235. return Convert.ToInt32(s.Substring(2), fromBase);
  236. }
  237. }
  238. var start = s[0];
  239. if (start != '+' && start != '-' && start != '.' && !char.IsDigit(start))
  240. {
  241. return double.NaN;
  242. }
  243. double n = double.Parse(s,
  244. NumberStyles.AllowDecimalPoint | NumberStyles.AllowLeadingSign |
  245. NumberStyles.AllowLeadingWhite | NumberStyles.AllowTrailingWhite |
  246. NumberStyles.AllowExponent, CultureInfo.InvariantCulture);
  247. if (s.StartsWith("-") && n == 0)
  248. {
  249. return -0.0;
  250. }
  251. return n;
  252. }
  253. catch (OverflowException)
  254. {
  255. return s.StartsWith("-") ? double.NegativeInfinity : double.PositiveInfinity;
  256. }
  257. catch
  258. {
  259. return double.NaN;
  260. }
  261. }
  262. /// <summary>
  263. /// https://tc39.es/ecma262/#sec-tolength
  264. /// </summary>
  265. public static ulong ToLength(JsValue o)
  266. {
  267. var len = ToInteger(o);
  268. if (len <= 0)
  269. {
  270. return 0;
  271. }
  272. return (ulong) Math.Min(len, NumberConstructor.MaxSafeInteger);
  273. }
  274. /// <summary>
  275. /// https://tc39.es/ecma262/#sec-tointegerorinfinity
  276. /// </summary>
  277. public static double ToIntegerOrInfinity(JsValue argument)
  278. {
  279. var number = ToNumber(argument);
  280. if (double.IsNaN(number) || number == 0)
  281. {
  282. return 0;
  283. }
  284. if (double.IsInfinity(number))
  285. {
  286. return number;
  287. }
  288. var integer = (long) Math.Floor(Math.Abs(number));
  289. if (number < 0)
  290. {
  291. integer *= -1;
  292. }
  293. return integer;
  294. }
  295. /// <summary>
  296. /// https://tc39.es/ecma262/#sec-tointeger
  297. /// </summary>
  298. public static double ToInteger(JsValue o)
  299. {
  300. var number = ToNumber(o);
  301. if (double.IsNaN(number))
  302. {
  303. return 0;
  304. }
  305. if (number == 0 || double.IsInfinity(number))
  306. {
  307. return number;
  308. }
  309. return (long) number;
  310. }
  311. internal static double ToInteger(string o)
  312. {
  313. var number = ToNumber(o);
  314. if (double.IsNaN(number))
  315. {
  316. return 0;
  317. }
  318. if (number == 0 || double.IsInfinity(number))
  319. {
  320. return number;
  321. }
  322. return (long) number;
  323. }
  324. /// <summary>
  325. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.5
  326. /// </summary>
  327. public static int ToInt32(JsValue o)
  328. {
  329. return o._type == InternalTypes.Integer
  330. ? o.AsInteger()
  331. : (int) (uint) ToNumber(o);
  332. }
  333. /// <summary>
  334. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.6
  335. /// </summary>
  336. public static uint ToUint32(JsValue o)
  337. {
  338. return o._type == InternalTypes.Integer
  339. ? (uint) o.AsInteger()
  340. : (uint) ToNumber(o);
  341. }
  342. /// <summary>
  343. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.7
  344. /// </summary>
  345. public static ushort ToUint16(JsValue o)
  346. {
  347. return o._type == InternalTypes.Integer
  348. ? (ushort) (uint) o.AsInteger()
  349. : (ushort) (uint) ToNumber(o);
  350. }
  351. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  352. internal static string ToString(long i)
  353. {
  354. return i >= 0 && i < intToString.Length
  355. ? intToString[i]
  356. : i.ToString();
  357. }
  358. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  359. internal static string ToString(int i)
  360. {
  361. return i >= 0 && i < intToString.Length
  362. ? intToString[i]
  363. : i.ToString();
  364. }
  365. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  366. internal static string ToString(uint i)
  367. {
  368. return i < (uint) intToString.Length
  369. ? intToString[i]
  370. : i.ToString();
  371. }
  372. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  373. internal static string ToString(char c)
  374. {
  375. return c >= 0 && c < charToString.Length
  376. ? charToString[c]
  377. : c.ToString();
  378. }
  379. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  380. internal static string ToString(ulong i)
  381. {
  382. return i >= 0 && i < (ulong) intToString.Length
  383. ? intToString[i]
  384. : i.ToString();
  385. }
  386. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  387. internal static string ToString(double d)
  388. {
  389. if (d > long.MinValue && d < long.MaxValue && Math.Abs(d % 1) <= DoubleIsIntegerTolerance)
  390. {
  391. // we are dealing with integer that can be cached
  392. return ToString((long) d);
  393. }
  394. using var stringBuilder = StringBuilderPool.Rent();
  395. // we can create smaller array as we know the format to be short
  396. return NumberPrototype.NumberToString(d, new DtoaBuilder(17), stringBuilder.Builder);
  397. }
  398. /// <summary>
  399. /// http://www.ecma-international.org/ecma-262/6.0/#sec-topropertykey
  400. /// </summary>
  401. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  402. public static JsValue ToPropertyKey(JsValue o)
  403. {
  404. const InternalTypes stringOrSymbol = InternalTypes.String | InternalTypes.Symbol;
  405. return (o._type & stringOrSymbol) != 0
  406. ? o
  407. : ToPropertyKeyNonString(o);
  408. }
  409. [MethodImpl(MethodImplOptions.NoInlining)]
  410. private static JsValue ToPropertyKeyNonString(JsValue o)
  411. {
  412. const InternalTypes stringOrSymbol = InternalTypes.String | InternalTypes.Symbol;
  413. var primitive = ToPrimitive(o, Types.String);
  414. return (primitive._type & stringOrSymbol) != 0
  415. ? primitive
  416. : ToStringNonString(primitive);
  417. }
  418. /// <summary>
  419. /// http://www.ecma-international.org/ecma-262/6.0/#sec-tostring
  420. /// </summary>
  421. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  422. public static string ToString(JsValue o)
  423. {
  424. return o.IsString() ? o.ToString() : ToStringNonString(o);
  425. }
  426. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  427. internal static JsString ToJsString(JsValue o)
  428. {
  429. if (o is JsString s)
  430. {
  431. return s;
  432. }
  433. return JsString.Create(ToStringNonString(o));
  434. }
  435. private static string ToStringNonString(JsValue o)
  436. {
  437. var type = o._type & ~InternalTypes.InternalFlags;
  438. return type switch
  439. {
  440. InternalTypes.Boolean => ((JsBoolean) o)._value ? "true" : "false",
  441. InternalTypes.Integer => ToString((int) ((JsNumber) o)._value),
  442. InternalTypes.Number => ToString(((JsNumber) o)._value),
  443. InternalTypes.Symbol => ExceptionHelper.ThrowTypeErrorNoEngine<string>("Cannot convert a Symbol value to a string"),
  444. InternalTypes.Undefined => Undefined.Text,
  445. InternalTypes.Null => Null.Text,
  446. InternalTypes.Object when o is IPrimitiveInstance p => ToString(ToPrimitive(p.PrimitiveValue, Types.String)),
  447. InternalTypes.Object when o is IObjectWrapper p => p.Target?.ToString(),
  448. _ => ToString(ToPrimitive(o, Types.String))
  449. };
  450. }
  451. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  452. public static ObjectInstance ToObject(Engine engine, JsValue value)
  453. {
  454. if (value is ObjectInstance oi)
  455. {
  456. return oi;
  457. }
  458. return ToObjectNonObject(engine, value);
  459. }
  460. private static ObjectInstance ToObjectNonObject(Engine engine, JsValue value)
  461. {
  462. var type = value._type & ~InternalTypes.InternalFlags;
  463. return type switch
  464. {
  465. InternalTypes.Boolean => engine.Boolean.Construct((JsBoolean) value),
  466. InternalTypes.Number => engine.Number.Construct((JsNumber) value),
  467. InternalTypes.Integer => engine.Number.Construct((JsNumber) value),
  468. InternalTypes.String => engine.String.Construct(value.ToString()),
  469. InternalTypes.Symbol => engine.Symbol.Construct((JsSymbol) value),
  470. InternalTypes.Null => ExceptionHelper.ThrowTypeError<ObjectInstance>(engine, "Cannot convert undefined or null to object"),
  471. InternalTypes.Undefined => ExceptionHelper.ThrowTypeError<ObjectInstance>(engine, "Cannot convert undefined or null to object"),
  472. _ => ExceptionHelper.ThrowTypeError<ObjectInstance>(engine, "Cannot convert given item to object")
  473. };
  474. }
  475. [MethodImpl(MethodImplOptions.NoInlining)]
  476. internal static void CheckObjectCoercible(
  477. Engine engine,
  478. JsValue o,
  479. Node sourceNode,
  480. string referenceName)
  481. {
  482. if (!engine.Options.ReferenceResolver.CheckCoercible(o))
  483. {
  484. ThrowMemberNullOrUndefinedError(engine, o, sourceNode, referenceName);
  485. }
  486. }
  487. [MethodImpl(MethodImplOptions.NoInlining)]
  488. private static void ThrowMemberNullOrUndefinedError(
  489. Engine engine,
  490. JsValue o,
  491. Node sourceNode,
  492. string referencedName)
  493. {
  494. referencedName ??= "unknown";
  495. var message = $"Cannot read property '{referencedName}' of {o}";
  496. throw new JavaScriptException(engine.TypeError, message).SetCallstack(engine, sourceNode.Location);
  497. }
  498. public static void CheckObjectCoercible(Engine engine, JsValue o)
  499. {
  500. if (o._type < InternalTypes.Boolean)
  501. {
  502. ExceptionHelper.ThrowTypeError(engine);
  503. }
  504. }
  505. internal static IEnumerable<Tuple<MethodDescriptor, JsValue[]>> FindBestMatch(
  506. Engine engine,
  507. MethodDescriptor[] methods,
  508. Func<MethodDescriptor, JsValue[]> argumentProvider)
  509. {
  510. List<Tuple<MethodDescriptor, JsValue[]>> matchingByParameterCount = null;
  511. foreach (var m in methods)
  512. {
  513. var parameterInfos = m.Parameters;
  514. var arguments = argumentProvider(m);
  515. if (arguments.Length <= parameterInfos.Length
  516. && arguments.Length >= parameterInfos.Length - m.ParameterDefaultValuesCount)
  517. {
  518. if (methods.Length == 0 && arguments.Length == 0)
  519. {
  520. yield return new Tuple<MethodDescriptor, JsValue[]>(m, arguments);
  521. yield break;
  522. }
  523. matchingByParameterCount ??= new List<Tuple<MethodDescriptor, JsValue[]>>();
  524. matchingByParameterCount.Add(new Tuple<MethodDescriptor, JsValue[]>(m, arguments));
  525. }
  526. }
  527. if (matchingByParameterCount == null)
  528. {
  529. yield break;
  530. }
  531. foreach (var tuple in matchingByParameterCount)
  532. {
  533. var perfectMatch = true;
  534. var parameters = tuple.Item1.Parameters;
  535. var arguments = tuple.Item2;
  536. for (var i = 0; i < arguments.Length; i++)
  537. {
  538. var arg = arguments[i].ToObject();
  539. var paramType = parameters[i].ParameterType;
  540. if (arg == null)
  541. {
  542. if (!TypeIsNullable(paramType))
  543. {
  544. perfectMatch = false;
  545. break;
  546. }
  547. }
  548. else if (arg.GetType() != paramType)
  549. {
  550. perfectMatch = false;
  551. break;
  552. }
  553. }
  554. if (perfectMatch)
  555. {
  556. yield return new Tuple<MethodDescriptor, JsValue[]>(tuple.Item1, arguments);
  557. yield break;
  558. }
  559. }
  560. for (var i = 0; i < matchingByParameterCount.Count; i++)
  561. {
  562. var tuple = matchingByParameterCount[i];
  563. yield return new Tuple<MethodDescriptor, JsValue[]>(tuple.Item1, tuple.Item2);
  564. }
  565. }
  566. internal static bool TypeIsNullable(Type type)
  567. {
  568. return !type.IsValueType || Nullable.GetUnderlyingType(type) != null;
  569. }
  570. }
  571. }