TypeConverter.cs 21 KB

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