TypeConverter.cs 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495
  1. using System;
  2. using System.Collections.Generic;
  3. using System.Globalization;
  4. using System.Linq;
  5. using System.Reflection;
  6. using System.Runtime.CompilerServices;
  7. using Esprima.Ast;
  8. using Jint.Native;
  9. using Jint.Native.Number;
  10. using Jint.Native.Object;
  11. using Jint.Native.String;
  12. using Jint.Runtime.References;
  13. using Jint.Native.Symbol;
  14. namespace Jint.Runtime
  15. {
  16. public enum Types
  17. {
  18. None,
  19. Undefined,
  20. Null,
  21. Boolean,
  22. String,
  23. Number,
  24. Object,
  25. Completion,
  26. Symbol
  27. }
  28. public class TypeConverter
  29. {
  30. private static readonly string[] intToString = new string[1024];
  31. private static readonly string[] charToString = new string[256];
  32. static TypeConverter()
  33. {
  34. for (var i = 0; i < intToString.Length; ++i)
  35. {
  36. intToString[i] = i.ToString();
  37. }
  38. for (var i = 0; i < charToString.Length; ++i)
  39. {
  40. var c = (char) i;
  41. charToString[i] = c.ToString();
  42. }
  43. }
  44. /// <summary>
  45. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.1
  46. /// </summary>
  47. /// <param name="input"></param>
  48. /// <param name="preferredType"></param>
  49. /// <returns></returns>
  50. public static JsValue ToPrimitive(JsValue input, Types preferredType = Types.None)
  51. {
  52. if (input == Null.Instance || input == Undefined.Instance)
  53. {
  54. return input;
  55. }
  56. if (input.IsPrimitive())
  57. {
  58. return input;
  59. }
  60. return input.AsObject().DefaultValue(preferredType);
  61. }
  62. /// <summary>
  63. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.2
  64. /// </summary>
  65. /// <param name="o"></param>
  66. /// <returns></returns>
  67. public static bool ToBoolean(JsValue o)
  68. {
  69. if (o.IsObject())
  70. {
  71. return true;
  72. }
  73. if (o == Undefined.Instance || o == Null.Instance)
  74. {
  75. return false;
  76. }
  77. if (o.IsBoolean())
  78. {
  79. return o.AsBoolean();
  80. }
  81. if (o.IsNumber())
  82. {
  83. var n = o.AsNumber();
  84. if (n.Equals(0) || double.IsNaN(n))
  85. {
  86. return false;
  87. }
  88. else
  89. {
  90. return true;
  91. }
  92. }
  93. if (o.IsString())
  94. {
  95. var s = o.AsString();
  96. if (String.IsNullOrEmpty(s))
  97. {
  98. return false;
  99. }
  100. else
  101. {
  102. return true;
  103. }
  104. }
  105. return true;
  106. }
  107. /// <summary>
  108. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.3
  109. /// </summary>
  110. /// <param name="o"></param>
  111. /// <returns></returns>
  112. public static double ToNumber(JsValue o)
  113. {
  114. // check number first as this is what is usually expected
  115. if (o.IsNumber())
  116. {
  117. return o.AsNumber();
  118. }
  119. if (o.IsObject())
  120. {
  121. var p = o.AsObject() as IPrimitiveInstance;
  122. if (p != null)
  123. {
  124. o = p.PrimitiveValue;
  125. }
  126. }
  127. if (o == Undefined.Instance)
  128. {
  129. return double.NaN;
  130. }
  131. if (o == Null.Instance)
  132. {
  133. return 0;
  134. }
  135. if (o.IsBoolean())
  136. {
  137. return o.AsBoolean() ? 1 : 0;
  138. }
  139. if (o.IsString())
  140. {
  141. var s = StringPrototype.TrimEx(o.AsString());
  142. if (String.IsNullOrEmpty(s))
  143. {
  144. return 0;
  145. }
  146. if ("+Infinity".Equals(s) || "Infinity".Equals(s))
  147. {
  148. return double.PositiveInfinity;
  149. }
  150. if ("-Infinity".Equals(s))
  151. {
  152. return double.NegativeInfinity;
  153. }
  154. // todo: use a common implementation with JavascriptParser
  155. try
  156. {
  157. if (!s.StartsWith("0x", StringComparison.OrdinalIgnoreCase))
  158. {
  159. var start = s[0];
  160. if (start != '+' && start != '-' && start != '.' && !char.IsDigit(start))
  161. {
  162. return double.NaN;
  163. }
  164. double n = Double.Parse(s,
  165. NumberStyles.AllowDecimalPoint | NumberStyles.AllowLeadingSign |
  166. NumberStyles.AllowLeadingWhite | NumberStyles.AllowTrailingWhite |
  167. NumberStyles.AllowExponent, CultureInfo.InvariantCulture);
  168. if (s.StartsWith("-") && n.Equals(0))
  169. {
  170. return -0.0;
  171. }
  172. return n;
  173. }
  174. int i = int.Parse(s.Substring(2), NumberStyles.HexNumber, CultureInfo.InvariantCulture);
  175. return i;
  176. }
  177. catch (OverflowException)
  178. {
  179. return s.StartsWith("-") ? double.NegativeInfinity : double.PositiveInfinity;
  180. }
  181. catch
  182. {
  183. return double.NaN;
  184. }
  185. }
  186. return ToNumber(ToPrimitive(o, Types.Number));
  187. }
  188. /// <summary>
  189. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.4
  190. /// </summary>
  191. /// <param name="o"></param>
  192. /// <returns></returns>
  193. public static double ToInteger(JsValue o)
  194. {
  195. var number = ToNumber(o);
  196. if (double.IsNaN(number))
  197. {
  198. return 0;
  199. }
  200. if (number.Equals(0) || double.IsInfinity(number))
  201. {
  202. return number;
  203. }
  204. return (long) number;
  205. }
  206. /// <summary>
  207. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.5
  208. /// </summary>
  209. /// <param name="o"></param>
  210. /// <returns></returns>
  211. public static int ToInt32(JsValue o)
  212. {
  213. return (int) (uint) ToNumber(o);
  214. }
  215. /// <summary>
  216. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.6
  217. /// </summary>
  218. /// <param name="o"></param>
  219. /// <returns></returns>
  220. public static uint ToUint32(JsValue o)
  221. {
  222. return (uint) ToNumber(o);
  223. }
  224. /// <summary>
  225. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.7
  226. /// </summary>
  227. /// <param name="o"></param>
  228. /// <returns></returns>
  229. public static ushort ToUint16(JsValue o)
  230. {
  231. return (ushort) (uint) ToNumber(o);
  232. }
  233. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  234. internal static string ToString(long i)
  235. {
  236. return i >= 0 && i < intToString.Length
  237. ? intToString[i]
  238. : i.ToString();
  239. }
  240. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  241. internal static string ToString(int i)
  242. {
  243. return i >= 0 && i < intToString.Length
  244. ? intToString[i]
  245. : i.ToString();
  246. }
  247. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  248. internal static string ToString(uint i)
  249. {
  250. return i >= 0 && i < intToString.Length
  251. ? intToString[i]
  252. : i.ToString();
  253. }
  254. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  255. internal static string ToString(char c)
  256. {
  257. return c >= 0 && c < charToString.Length
  258. ? charToString[c]
  259. : c.ToString();
  260. }
  261. /// <summary>
  262. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.8
  263. /// </summary>
  264. /// <param name="o"></param>
  265. /// <returns></returns>
  266. public static string ToString(JsValue o)
  267. {
  268. if (o.IsString())
  269. {
  270. return o.AsString();
  271. }
  272. if (o.IsObject())
  273. {
  274. var p = o.AsObject() as IPrimitiveInstance;
  275. if (p != null)
  276. {
  277. o = p.PrimitiveValue;
  278. }
  279. else
  280. {
  281. var s = o.AsInstance<SymbolInstance>();
  282. if (s != null)
  283. {
  284. // TODO: throw a TypeError
  285. // NB: But it requires an Engine reference
  286. throw new JavaScriptException(new JsValue("TypeError"));
  287. }
  288. }
  289. }
  290. if (o == Undefined.Instance)
  291. {
  292. return Undefined.Text;
  293. }
  294. if (o == Null.Instance)
  295. {
  296. return Null.Text;
  297. }
  298. if (o.IsBoolean())
  299. {
  300. return o.AsBoolean() ? "true" : "false";
  301. }
  302. if (o.IsNumber())
  303. {
  304. return NumberPrototype.ToNumberString(o.AsNumber());
  305. }
  306. return ToString(ToPrimitive(o, Types.String));
  307. }
  308. public static ObjectInstance ToObject(Engine engine, JsValue value)
  309. {
  310. if (value.IsObject())
  311. {
  312. return value.AsObject();
  313. }
  314. if (value == Undefined.Instance)
  315. {
  316. throw new JavaScriptException(engine.TypeError);
  317. }
  318. if (value == Null.Instance)
  319. {
  320. throw new JavaScriptException(engine.TypeError);
  321. }
  322. if (value.IsBoolean())
  323. {
  324. return engine.Boolean.Construct(value.AsBoolean());
  325. }
  326. if (value.IsNumber())
  327. {
  328. return engine.Number.Construct(value.AsNumber());
  329. }
  330. if (value.IsString())
  331. {
  332. return engine.String.Construct(value.AsString());
  333. }
  334. if (value.IsSymbol())
  335. {
  336. return engine.Symbol.Construct(value.AsSymbol());
  337. }
  338. throw new JavaScriptException(engine.TypeError);
  339. }
  340. public static Types GetPrimitiveType(JsValue value)
  341. {
  342. if (value.IsObject())
  343. {
  344. var primitive = value.TryCast<IPrimitiveInstance>();
  345. if (primitive != null)
  346. {
  347. return primitive.Type;
  348. }
  349. return Types.Object;
  350. }
  351. return value.Type;
  352. }
  353. public static void CheckObjectCoercible(Engine engine, JsValue o, MemberExpression expression,
  354. object baseReference)
  355. {
  356. if (o != Undefined.Instance && o != Null.Instance)
  357. return;
  358. if (engine.Options._ReferenceResolver != null &&
  359. engine.Options._ReferenceResolver.CheckCoercible(o))
  360. return;
  361. var message = string.Empty;
  362. var reference = baseReference as Reference;
  363. if (reference != null)
  364. message = $"{reference.GetReferencedName()} is {o}";
  365. throw new JavaScriptException(engine.TypeError, message)
  366. .SetCallstack(engine, expression.Location);
  367. }
  368. public static void CheckObjectCoercible(Engine engine, JsValue o)
  369. {
  370. if (o == Undefined.Instance || o == Null.Instance)
  371. {
  372. throw new JavaScriptException(engine.TypeError);
  373. }
  374. }
  375. public static IEnumerable<MethodBase> FindBestMatch(Engine engine, MethodBase[] methods, JsValue[] arguments)
  376. {
  377. methods = methods
  378. .Where(m => m.GetParameters().Count() == arguments.Length)
  379. .ToArray();
  380. if (methods.Length == 1 && !methods[0].GetParameters().Any())
  381. {
  382. yield return methods[0];
  383. yield break;
  384. }
  385. var objectArguments = arguments.Select(x => x.ToObject()).ToArray();
  386. foreach (var method in methods)
  387. {
  388. var perfectMatch = true;
  389. var parameters = method.GetParameters();
  390. for (var i = 0; i < arguments.Length; i++)
  391. {
  392. var arg = objectArguments[i];
  393. var paramType = parameters[i].ParameterType;
  394. if (arg == null)
  395. {
  396. if (!TypeIsNullable(paramType))
  397. {
  398. perfectMatch = false;
  399. break;
  400. }
  401. }
  402. else if (arg.GetType() != paramType)
  403. {
  404. perfectMatch = false;
  405. break;
  406. }
  407. }
  408. if (perfectMatch)
  409. {
  410. yield return method;
  411. yield break;
  412. }
  413. }
  414. foreach (var method in methods)
  415. {
  416. yield return method;
  417. }
  418. }
  419. public static bool TypeIsNullable(Type type)
  420. {
  421. return !type.IsValueType() || Nullable.GetUnderlyingType(type) != null;
  422. }
  423. }
  424. }