NumberPrototype.cs 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535
  1. using System.Diagnostics;
  2. using System.Globalization;
  3. using System.Text;
  4. using Jint.Collections;
  5. using Jint.Native.Number.Dtoa;
  6. using Jint.Pooling;
  7. using Jint.Runtime;
  8. using Jint.Runtime.Descriptors;
  9. using Jint.Runtime.Interop;
  10. namespace Jint.Native.Number
  11. {
  12. /// <summary>
  13. /// http://www.ecma-international.org/ecma-262/5.1/#sec-15.7.4
  14. /// </summary>
  15. public sealed class NumberPrototype : NumberInstance
  16. {
  17. private NumberConstructor _numberConstructor;
  18. private NumberPrototype(Engine engine)
  19. : base(engine)
  20. {
  21. }
  22. public static NumberPrototype CreatePrototypeObject(Engine engine, NumberConstructor numberConstructor)
  23. {
  24. var obj = new NumberPrototype(engine)
  25. {
  26. _prototype = engine.Object.PrototypeObject,
  27. NumberData = JsNumber.Create(0),
  28. _numberConstructor = numberConstructor
  29. };
  30. return obj;
  31. }
  32. protected override void Initialize()
  33. {
  34. _properties = new StringDictionarySlim<PropertyDescriptor>(8)
  35. {
  36. ["constructor"] = new PropertyDescriptor(_numberConstructor, true, false, true),
  37. ["toString"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toString", ToNumberString, 1, PropertyFlag.Configurable), true, false, true),
  38. ["toLocaleString"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toLocaleString", ToLocaleString, 0, PropertyFlag.Configurable), true, false, true),
  39. ["valueOf"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "valueOf", ValueOf, 0, PropertyFlag.Configurable), true, false, true),
  40. ["toFixed"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toFixed", ToFixed, 1, PropertyFlag.Configurable), true, false, true),
  41. ["toExponential"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toExponential", ToExponential, 1, PropertyFlag.Configurable), true, false, true),
  42. ["toPrecision"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toPrecision", ToPrecision, 1, PropertyFlag.Configurable), true, false, true)
  43. };
  44. }
  45. private JsValue ToLocaleString(JsValue thisObject, JsValue[] arguments)
  46. {
  47. if (!thisObject.IsNumber() && ReferenceEquals(thisObject.TryCast<NumberInstance>(), null))
  48. {
  49. ExceptionHelper.ThrowTypeError(Engine);
  50. }
  51. var m = TypeConverter.ToNumber(thisObject);
  52. if (double.IsNaN(m))
  53. {
  54. return "NaN";
  55. }
  56. if (m == 0)
  57. {
  58. return "0";
  59. }
  60. if (m < 0)
  61. {
  62. return "-" + ToLocaleString(-m, arguments);
  63. }
  64. if (double.IsPositiveInfinity(m) || m >= double.MaxValue)
  65. {
  66. return "Infinity";
  67. }
  68. if (double.IsNegativeInfinity(m) || m <= -double.MaxValue)
  69. {
  70. return "-Infinity";
  71. }
  72. return m.ToString("n", Engine.Options._Culture);
  73. }
  74. private JsValue ValueOf(JsValue thisObj, JsValue[] arguments)
  75. {
  76. if (thisObj is NumberInstance ni)
  77. {
  78. return ni.NumberData;
  79. }
  80. if (thisObj is JsNumber)
  81. {
  82. return thisObj;
  83. }
  84. return ExceptionHelper.ThrowTypeError<JsValue>(Engine);
  85. }
  86. private const double Ten21 = 1e21;
  87. private JsValue ToFixed(JsValue thisObj, JsValue[] arguments)
  88. {
  89. var f = (int) TypeConverter.ToInteger(arguments.At(0, 0));
  90. if (f < 0 || f > 100)
  91. {
  92. ExceptionHelper.ThrowRangeError(_engine, "fractionDigits argument must be between 0 and 100");
  93. }
  94. // limitation with .NET, max is 99
  95. if (f == 100)
  96. {
  97. ExceptionHelper.ThrowRangeError(_engine, "100 fraction digits is not supported due to .NET format specifier limitation");
  98. }
  99. var x = TypeConverter.ToNumber(thisObj);
  100. if (double.IsNaN(x))
  101. {
  102. return "NaN";
  103. }
  104. if (x >= Ten21)
  105. {
  106. return ToNumberString(x);
  107. }
  108. // handle non-decimal with greater precision
  109. if (System.Math.Abs(x - (long) x) < JsNumber.DoubleIsIntegerTolerance)
  110. {
  111. return ((long) x).ToString("f" + f, CultureInfo.InvariantCulture);
  112. }
  113. return x.ToString("f" + f, CultureInfo.InvariantCulture);
  114. }
  115. /// <summary>
  116. /// https://www.ecma-international.org/ecma-262/6.0/#sec-number.prototype.toexponential
  117. /// </summary>
  118. private JsValue ToExponential(JsValue thisObj, JsValue[] arguments)
  119. {
  120. if (!thisObj.IsNumber() && ReferenceEquals(thisObj.TryCast<NumberInstance>(), null))
  121. {
  122. ExceptionHelper.ThrowTypeError(Engine);
  123. }
  124. var x = TypeConverter.ToNumber(thisObj);
  125. var fractionDigits = arguments.At(0);
  126. if (fractionDigits.IsUndefined())
  127. {
  128. fractionDigits = JsNumber.PositiveZero;
  129. }
  130. var f = (int) TypeConverter.ToInteger(fractionDigits);
  131. if (double.IsNaN(x))
  132. {
  133. return "NaN";
  134. }
  135. if (double.IsInfinity(x))
  136. {
  137. return thisObj.ToString();
  138. }
  139. if (f < 0 || f > 100)
  140. {
  141. ExceptionHelper.ThrowRangeError(_engine, "fractionDigits argument must be between 0 and 100");
  142. }
  143. if (arguments.At(0).IsUndefined())
  144. {
  145. f = -1;
  146. }
  147. bool negative = false;
  148. if (x < 0)
  149. {
  150. x = -x;
  151. negative = true;
  152. }
  153. int decimalPoint;
  154. DtoaBuilder dtoaBuilder;
  155. if (f == -1)
  156. {
  157. dtoaBuilder = new DtoaBuilder();
  158. DtoaNumberFormatter.DoubleToAscii(
  159. dtoaBuilder,
  160. x,
  161. DtoaMode.Shortest,
  162. requested_digits: 0,
  163. out _,
  164. out decimalPoint);
  165. f = dtoaBuilder.Length - 1;
  166. }
  167. else
  168. {
  169. dtoaBuilder = new DtoaBuilder(101);
  170. DtoaNumberFormatter.DoubleToAscii(
  171. dtoaBuilder,
  172. x,
  173. DtoaMode.Precision,
  174. requested_digits: f + 1,
  175. out _,
  176. out decimalPoint);
  177. }
  178. Debug.Assert(dtoaBuilder.Length > 0);
  179. Debug.Assert(dtoaBuilder.Length <= f + 1);
  180. int exponent = decimalPoint - 1;
  181. var result = CreateExponentialRepresentation(dtoaBuilder, exponent, negative, f+1);
  182. return result;
  183. }
  184. private JsValue ToPrecision(JsValue thisObj, JsValue[] arguments)
  185. {
  186. if (!thisObj.IsNumber() && ReferenceEquals(thisObj.TryCast<NumberInstance>(), null))
  187. {
  188. ExceptionHelper.ThrowTypeError(Engine);
  189. }
  190. var x = TypeConverter.ToNumber(thisObj);
  191. var precisionArgument = arguments.At(0);
  192. if (precisionArgument.IsUndefined())
  193. {
  194. return TypeConverter.ToString(x);
  195. }
  196. var p = (int) TypeConverter.ToInteger(precisionArgument);
  197. if (double.IsNaN(x))
  198. {
  199. return "NaN";
  200. }
  201. if (double.IsInfinity(x))
  202. {
  203. return thisObj.ToString();
  204. }
  205. if (p < 1 || p > 100)
  206. {
  207. ExceptionHelper.ThrowRangeError(_engine, "precision must be between 1 and 100");
  208. }
  209. var dtoaBuilder = new DtoaBuilder(101);
  210. DtoaNumberFormatter.DoubleToAscii(
  211. dtoaBuilder,
  212. x,
  213. DtoaMode.Precision,
  214. p,
  215. out var negative,
  216. out var decimalPoint);
  217. int exponent = decimalPoint - 1;
  218. if (exponent < -6 || exponent >= p)
  219. {
  220. return CreateExponentialRepresentation(dtoaBuilder, exponent, negative, p);
  221. }
  222. using (var builder = StringBuilderPool.Rent())
  223. {
  224. // Use fixed notation.
  225. if (negative)
  226. {
  227. builder.Builder.Append('-');
  228. }
  229. if (decimalPoint <= 0)
  230. {
  231. builder.Builder.Append("0.");
  232. builder.Builder.Append('0', -decimalPoint);
  233. builder.Builder.Append(dtoaBuilder._chars, 0, dtoaBuilder.Length);
  234. builder.Builder.Append('0', p - dtoaBuilder.Length);
  235. }
  236. else
  237. {
  238. int m = System.Math.Min(dtoaBuilder.Length, decimalPoint);
  239. builder.Builder.Append(dtoaBuilder._chars, 0, m);
  240. builder.Builder.Append('0', System.Math.Max(0, decimalPoint - dtoaBuilder.Length));
  241. if (decimalPoint < p)
  242. {
  243. builder.Builder.Append('.');
  244. var extra = negative ? 2 : 1;
  245. if (dtoaBuilder.Length > decimalPoint)
  246. {
  247. int len = dtoaBuilder.Length - decimalPoint;
  248. int n = System.Math.Min(len, p - (builder.Builder.Length - extra));
  249. builder.Builder.Append(dtoaBuilder._chars, decimalPoint, n);
  250. }
  251. builder.Builder.Append('0', System.Math.Max(0, extra + (p - builder.Builder.Length)));
  252. }
  253. }
  254. return builder.ToString();
  255. }
  256. }
  257. private string CreateExponentialRepresentation(
  258. DtoaBuilder buffer,
  259. int exponent,
  260. bool negative,
  261. int significantDigits)
  262. {
  263. bool negativeExponent = false;
  264. if (exponent < 0)
  265. {
  266. negativeExponent = true;
  267. exponent = -exponent;
  268. }
  269. using (var builder = StringBuilderPool.Rent())
  270. {
  271. if (negative)
  272. {
  273. builder.Builder.Append('-');
  274. }
  275. builder.Builder.Append(buffer._chars[0]);
  276. if (significantDigits != 1)
  277. {
  278. builder.Builder.Append('.');
  279. builder.Builder.Append(buffer._chars, 1, buffer.Length - 1);
  280. int length = buffer.Length;
  281. builder.Builder.Append('0', significantDigits - length);
  282. }
  283. builder.Builder.Append('e');
  284. builder.Builder.Append(negativeExponent ? '-' : '+');
  285. builder.Builder.Append(exponent);
  286. return builder.ToString();
  287. }
  288. }
  289. private JsValue ToNumberString(JsValue thisObject, JsValue[] arguments)
  290. {
  291. if (!thisObject.IsNumber() && (ReferenceEquals(thisObject.TryCast<NumberInstance>(), null)))
  292. {
  293. ExceptionHelper.ThrowTypeError(_engine);
  294. }
  295. var radix = arguments.At(0).IsUndefined()
  296. ? 10
  297. : (int) TypeConverter.ToInteger(arguments.At(0));
  298. if (radix < 2 || radix > 36)
  299. {
  300. ExceptionHelper.ThrowRangeError(_engine, "radix must be between 2 and 36");
  301. }
  302. var x = TypeConverter.ToNumber(thisObject);
  303. if (double.IsNaN(x))
  304. {
  305. return "NaN";
  306. }
  307. if (x == 0)
  308. {
  309. return "0";
  310. }
  311. if (double.IsPositiveInfinity(x) || x >= double.MaxValue)
  312. {
  313. return "Infinity";
  314. }
  315. if (x < 0)
  316. {
  317. return "-" + ToNumberString(-x, arguments);
  318. }
  319. if (radix == 10)
  320. {
  321. return ToNumberString(x);
  322. }
  323. var integer = (long) x;
  324. var fraction = x - integer;
  325. string result = ToBase(integer, radix);
  326. if (fraction != 0)
  327. {
  328. result += "." + ToFractionBase(fraction, radix);
  329. }
  330. return result;
  331. }
  332. public string ToBase(long n, int radix)
  333. {
  334. const string digits = "0123456789abcdefghijklmnopqrstuvwxyz";
  335. if (n == 0)
  336. {
  337. return "0";
  338. }
  339. using (var result = StringBuilderPool.Rent())
  340. {
  341. while (n > 0)
  342. {
  343. var digit = (int) (n % radix);
  344. n = n / radix;
  345. result.Builder.Insert(0, digits[digit]);
  346. }
  347. return result.ToString();
  348. }
  349. }
  350. public string ToFractionBase(double n, int radix)
  351. {
  352. // based on the repeated multiplication method
  353. // http://www.mathpath.org/concepts/Num/frac.htm
  354. const string digits = "0123456789abcdefghijklmnopqrstuvwxyz";
  355. if (n == 0)
  356. {
  357. return "0";
  358. }
  359. using (var result = StringBuilderPool.Rent())
  360. {
  361. while (n > 0 && result.Length < 50) // arbitrary limit
  362. {
  363. var c = n*radix;
  364. var d = (int) c;
  365. n = c - d;
  366. result.Builder.Append(digits[d]);
  367. }
  368. return result.ToString();
  369. }
  370. }
  371. private string ToNumberString(double m)
  372. {
  373. using (var stringBuilder = StringBuilderPool.Rent())
  374. {
  375. return NumberToString(m, new DtoaBuilder(), stringBuilder.Builder);
  376. }
  377. }
  378. internal static string NumberToString(
  379. double m,
  380. DtoaBuilder builder,
  381. StringBuilder stringBuilder)
  382. {
  383. if (double.IsNaN(m))
  384. {
  385. return "NaN";
  386. }
  387. if (m == 0)
  388. {
  389. return "0";
  390. }
  391. if (double.IsPositiveInfinity(m))
  392. {
  393. return "Infinity";
  394. }
  395. if (double.IsNegativeInfinity(m))
  396. {
  397. return "-Infinity";
  398. }
  399. DtoaNumberFormatter.DoubleToAscii(
  400. builder,
  401. m,
  402. DtoaMode.Shortest,
  403. 0,
  404. out var negative,
  405. out var decimal_point);
  406. if (negative)
  407. {
  408. stringBuilder.Append('-');
  409. }
  410. if (builder.Length <= decimal_point && decimal_point <= 21)
  411. {
  412. // ECMA-262 section 9.8.1 step 6.
  413. stringBuilder.Append(builder._chars, 0, builder.Length);
  414. stringBuilder.Append('0', decimal_point - builder.Length);
  415. }
  416. else if (0 < decimal_point && decimal_point <= 21)
  417. {
  418. // ECMA-262 section 9.8.1 step 7.
  419. stringBuilder.Append(builder._chars, 0, decimal_point);
  420. stringBuilder.Append('.');
  421. stringBuilder.Append(builder._chars, decimal_point, builder.Length - decimal_point);
  422. }
  423. else if (decimal_point <= 0 && decimal_point > -6)
  424. {
  425. // ECMA-262 section 9.8.1 step 8.
  426. stringBuilder.Append("0.");
  427. stringBuilder.Append('0', -decimal_point);
  428. stringBuilder.Append(builder._chars, 0, builder.Length);
  429. }
  430. else
  431. {
  432. // ECMA-262 section 9.8.1 step 9 and 10 combined.
  433. stringBuilder.Append(builder._chars[0]);
  434. if (builder.Length != 1)
  435. {
  436. stringBuilder.Append('.');
  437. stringBuilder.Append(builder._chars, 1, builder.Length - 1);
  438. }
  439. stringBuilder.Append('e');
  440. stringBuilder.Append((decimal_point >= 0) ? '+' : '-');
  441. int exponent = decimal_point - 1;
  442. if (exponent < 0)
  443. {
  444. exponent = -exponent;
  445. }
  446. stringBuilder.Append(exponent);
  447. }
  448. return stringBuilder.ToString();
  449. }
  450. }
  451. }