2
0

StringPrototype.cs 37 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042
  1. using System;
  2. using System.Linq;
  3. using System.Runtime.CompilerServices;
  4. using System.Text;
  5. using Jint.Collections;
  6. using Jint.Native.Object;
  7. using Jint.Native.RegExp;
  8. using Jint.Native.Symbol;
  9. using Jint.Pooling;
  10. using Jint.Runtime;
  11. using Jint.Runtime.Descriptors;
  12. using Jint.Runtime.Interop;
  13. namespace Jint.Native.String
  14. {
  15. /// <summary>
  16. /// https://tc39.es/ecma262/#sec-properties-of-the-string-prototype-object
  17. /// </summary>
  18. public sealed class StringPrototype : StringInstance
  19. {
  20. private readonly Realm _realm;
  21. private readonly StringConstructor _constructor;
  22. internal StringPrototype(
  23. Engine engine,
  24. Realm realm,
  25. StringConstructor constructor,
  26. ObjectPrototype objectPrototype)
  27. : base(engine)
  28. {
  29. _prototype = objectPrototype;
  30. StringData = JsString.Empty;
  31. _length = PropertyDescriptor.AllForbiddenDescriptor.NumberZero;
  32. _realm = realm;
  33. _constructor = constructor;
  34. }
  35. protected override void Initialize()
  36. {
  37. const PropertyFlag lengthFlags = PropertyFlag.Configurable;
  38. const PropertyFlag propertyFlags = lengthFlags | PropertyFlag.Writable;
  39. var trimStart = new PropertyDescriptor(new ClrFunctionInstance(Engine, "trimStart", TrimStart, 0, lengthFlags), propertyFlags);
  40. var trimEnd = new PropertyDescriptor(new ClrFunctionInstance(Engine, "trimEnd", TrimEnd, 0, lengthFlags), propertyFlags);
  41. var properties = new PropertyDictionary(35, checkExistingKeys: false)
  42. {
  43. ["constructor"] = new PropertyDescriptor(_constructor, PropertyFlag.NonEnumerable),
  44. ["toString"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toString", ToStringString, 0, lengthFlags), propertyFlags),
  45. ["valueOf"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "valueOf", ValueOf, 0, lengthFlags), propertyFlags),
  46. ["charAt"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "charAt", CharAt, 1, lengthFlags), propertyFlags),
  47. ["charCodeAt"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "charCodeAt", CharCodeAt, 1, lengthFlags), propertyFlags),
  48. ["codePointAt"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "codePointAt", CodePointAt, 1, lengthFlags), propertyFlags),
  49. ["concat"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "concat", Concat, 1, lengthFlags), propertyFlags),
  50. ["indexOf"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "indexOf", IndexOf, 1, lengthFlags), propertyFlags),
  51. ["endsWith"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "endsWith", EndsWith, 1, lengthFlags), propertyFlags),
  52. ["startsWith"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "startsWith", StartsWith, 1, lengthFlags), propertyFlags),
  53. ["lastIndexOf"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "lastIndexOf", LastIndexOf, 1, lengthFlags), propertyFlags),
  54. ["localeCompare"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "localeCompare", LocaleCompare, 1, lengthFlags), propertyFlags),
  55. ["match"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "match", Match, 1, lengthFlags), propertyFlags),
  56. ["matchAll"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "matchAll", MatchAll, 1, lengthFlags), propertyFlags),
  57. ["replace"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "replace", Replace, 2, lengthFlags), propertyFlags),
  58. ["search"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "search", Search, 1, lengthFlags), propertyFlags),
  59. ["slice"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "slice", Slice, 2, lengthFlags), propertyFlags),
  60. ["split"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "split", Split, 2, lengthFlags), propertyFlags),
  61. ["substr"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "substr", Substr, 2), propertyFlags),
  62. ["substring"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "substring", Substring, 2, lengthFlags), propertyFlags),
  63. ["toLowerCase"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toLowerCase", ToLowerCase, 0, lengthFlags), propertyFlags),
  64. ["toLocaleLowerCase"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toLocaleLowerCase", ToLocaleLowerCase, 0, lengthFlags), propertyFlags),
  65. ["toUpperCase"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toUpperCase", ToUpperCase, 0, lengthFlags), propertyFlags),
  66. ["toLocaleUpperCase"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "toLocaleUpperCase", ToLocaleUpperCase, 0, lengthFlags), propertyFlags),
  67. ["trim"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "trim", Trim, 0, lengthFlags), propertyFlags),
  68. ["trimStart"] = trimStart,
  69. ["trimEnd"] = trimEnd,
  70. ["trimLeft"] = trimStart,
  71. ["trimRight"] = trimEnd,
  72. ["padStart"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "padStart", PadStart, 1, lengthFlags), propertyFlags),
  73. ["padEnd"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "padEnd", PadEnd, 1, lengthFlags), propertyFlags),
  74. ["includes"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "includes", Includes, 1, lengthFlags), propertyFlags),
  75. ["normalize"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "normalize", Normalize, 0, lengthFlags), propertyFlags),
  76. ["repeat"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "repeat", Repeat, 1, lengthFlags), propertyFlags),
  77. ["at"] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "at", At, 1, lengthFlags), propertyFlags),
  78. };
  79. SetProperties(properties);
  80. var symbols = new SymbolDictionary(1)
  81. {
  82. [GlobalSymbolRegistry.Iterator] = new PropertyDescriptor(new ClrFunctionInstance(Engine, "[Symbol.iterator]", Iterator, 0, lengthFlags), propertyFlags)
  83. };
  84. SetSymbols(symbols);
  85. }
  86. private ObjectInstance Iterator(JsValue thisObj, JsValue[] arguments)
  87. {
  88. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  89. var str = TypeConverter.ToString(thisObj);
  90. return _realm.Intrinsics.StringIteratorPrototype.Construct(str);
  91. }
  92. private JsValue ToStringString(JsValue thisObj, JsValue[] arguments)
  93. {
  94. if (thisObj.IsString())
  95. {
  96. return thisObj;
  97. }
  98. var s = TypeConverter.ToObject(_realm, thisObj) as StringInstance;
  99. if (ReferenceEquals(s, null))
  100. {
  101. ExceptionHelper.ThrowTypeError(_realm);
  102. }
  103. return s.StringData;
  104. }
  105. // http://msdn.microsoft.com/en-us/library/system.char.iswhitespace(v=vs.110).aspx
  106. // http://en.wikipedia.org/wiki/Byte_order_mark
  107. const char BOM_CHAR = '\uFEFF';
  108. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  109. private static bool IsWhiteSpaceEx(char c)
  110. {
  111. return char.IsWhiteSpace(c) || c == BOM_CHAR;
  112. }
  113. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  114. private static string TrimEndEx(string s)
  115. {
  116. if (s.Length == 0)
  117. return string.Empty;
  118. if (!IsWhiteSpaceEx(s[s.Length - 1]))
  119. return s;
  120. return TrimEnd(s);
  121. }
  122. private static string TrimEnd(string s)
  123. {
  124. var i = s.Length - 1;
  125. while (i >= 0)
  126. {
  127. if (IsWhiteSpaceEx(s[i]))
  128. i--;
  129. else
  130. break;
  131. }
  132. return i >= 0 ? s.Substring(0, i + 1) : string.Empty;
  133. }
  134. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  135. public static string TrimStartEx(string s)
  136. {
  137. if (s.Length == 0)
  138. return string.Empty;
  139. if (!IsWhiteSpaceEx(s[0]))
  140. return s;
  141. return TrimStart(s);
  142. }
  143. private static string TrimStart(string s)
  144. {
  145. var i = 0;
  146. while (i < s.Length)
  147. {
  148. if (IsWhiteSpaceEx(s[i]))
  149. i++;
  150. else
  151. break;
  152. }
  153. return i >= s.Length ? string.Empty : s.Substring(i);
  154. }
  155. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  156. public static string TrimEx(string s)
  157. {
  158. return TrimEndEx(TrimStartEx(s));
  159. }
  160. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  161. private JsValue Trim(JsValue thisObj, JsValue[] arguments)
  162. {
  163. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  164. var s = TypeConverter.ToString(thisObj);
  165. return TrimEx(s);
  166. }
  167. private JsValue TrimStart(JsValue thisObj, JsValue[] arguments)
  168. {
  169. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  170. var s = TypeConverter.ToString(thisObj);
  171. return TrimStartEx(s);
  172. }
  173. private JsValue TrimEnd(JsValue thisObj, JsValue[] arguments)
  174. {
  175. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  176. var s = TypeConverter.ToString(thisObj);
  177. return TrimEndEx(s);
  178. }
  179. private JsValue ToLocaleUpperCase(JsValue thisObj, JsValue[] arguments)
  180. {
  181. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  182. var s = TypeConverter.ToString(thisObj);
  183. return new JsString(s.ToUpper());
  184. }
  185. private JsValue ToUpperCase(JsValue thisObj, JsValue[] arguments)
  186. {
  187. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  188. var s = TypeConverter.ToString(thisObj);
  189. return new JsString(s.ToUpperInvariant());
  190. }
  191. private JsValue ToLocaleLowerCase(JsValue thisObj, JsValue[] arguments)
  192. {
  193. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  194. var s = TypeConverter.ToString(thisObj);
  195. return new JsString(s.ToLower());
  196. }
  197. private JsValue ToLowerCase(JsValue thisObj, JsValue[] arguments)
  198. {
  199. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  200. var s = TypeConverter.ToString(thisObj);
  201. return s.ToLowerInvariant();
  202. }
  203. private static int ToIntegerSupportInfinity(JsValue numberVal)
  204. {
  205. return numberVal._type == InternalTypes.Integer
  206. ? numberVal.AsInteger()
  207. : ToIntegerSupportInfinityUnlikely(numberVal);
  208. }
  209. [MethodImpl(MethodImplOptions.NoInlining)]
  210. private static int ToIntegerSupportInfinityUnlikely(JsValue numberVal)
  211. {
  212. var doubleVal = TypeConverter.ToInteger(numberVal);
  213. int intVal;
  214. if (double.IsPositiveInfinity(doubleVal))
  215. intVal = int.MaxValue;
  216. else if (double.IsNegativeInfinity(doubleVal))
  217. intVal = int.MinValue;
  218. else
  219. intVal = (int) doubleVal;
  220. return intVal;
  221. }
  222. private JsValue Substring(JsValue thisObj, JsValue[] arguments)
  223. {
  224. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  225. var s = TypeConverter.ToString(thisObj);
  226. var start = TypeConverter.ToNumber(arguments.At(0));
  227. var end = TypeConverter.ToNumber(arguments.At(1));
  228. if (double.IsNaN(start) || start < 0)
  229. {
  230. start = 0;
  231. }
  232. if (double.IsNaN(end) || end < 0)
  233. {
  234. end = 0;
  235. }
  236. var len = s.Length;
  237. var intStart = ToIntegerSupportInfinity(start);
  238. var intEnd = arguments.At(1).IsUndefined() ? len : ToIntegerSupportInfinity(end);
  239. var finalStart = System.Math.Min(len, System.Math.Max(intStart, 0));
  240. var finalEnd = System.Math.Min(len, System.Math.Max(intEnd, 0));
  241. // Swap value if finalStart < finalEnd
  242. var from = System.Math.Min(finalStart, finalEnd);
  243. var to = System.Math.Max(finalStart, finalEnd);
  244. var length = to - from;
  245. if (length == 0)
  246. {
  247. return JsString.Empty;
  248. }
  249. if (length == 1)
  250. {
  251. return JsString.Create(s[from]);
  252. }
  253. return new JsString(s.Substring(from, length));
  254. }
  255. private static JsValue Substr(JsValue thisObj, JsValue[] arguments)
  256. {
  257. var s = TypeConverter.ToString(thisObj);
  258. var start = TypeConverter.ToInteger(arguments.At(0));
  259. var length = arguments.At(1).IsUndefined()
  260. ? double.PositiveInfinity
  261. : TypeConverter.ToInteger(arguments.At(1));
  262. start = start >= 0 ? start : System.Math.Max(s.Length + start, 0);
  263. length = System.Math.Min(System.Math.Max(length, 0), s.Length - start);
  264. if (length <= 0)
  265. {
  266. return JsString.Empty;
  267. }
  268. var startIndex = TypeConverter.ToInt32(start);
  269. var l = TypeConverter.ToInt32(length);
  270. if (l == 1)
  271. {
  272. return TypeConverter.ToString(s[startIndex]);
  273. }
  274. return s.Substring(startIndex, l);
  275. }
  276. /// <summary>
  277. /// https://tc39.es/ecma262/#sec-string.prototype.split
  278. /// </summary>
  279. private JsValue Split(JsValue thisObj, JsValue[] arguments)
  280. {
  281. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  282. var separator = arguments.At(0);
  283. var limit = arguments.At(1);
  284. // fast path for empty regexp
  285. if (separator is RegExpInstance R && R.Source == RegExpInstance.regExpForMatchingAllCharacters)
  286. {
  287. separator = JsString.Empty;
  288. }
  289. if (separator is ObjectInstance oi)
  290. {
  291. var splitter = GetMethod(_realm, oi, GlobalSymbolRegistry.Split);
  292. if (splitter != null)
  293. {
  294. return splitter.Call(separator, new[] { thisObj, limit });
  295. }
  296. }
  297. var s = TypeConverter.ToString(thisObj);
  298. // Coerce into a number, true will become 1
  299. var lim = limit.IsUndefined() ? uint.MaxValue : TypeConverter.ToUint32(limit);
  300. if (separator.IsNull())
  301. {
  302. separator = Native.Null.Text;
  303. }
  304. else if (!separator.IsUndefined())
  305. {
  306. if (!separator.IsRegExp())
  307. {
  308. separator = TypeConverter.ToJsString(separator); // Coerce into a string, for an object call toString()
  309. }
  310. }
  311. if (lim == 0)
  312. {
  313. return _realm.Intrinsics.Array.ArrayCreate(0);
  314. }
  315. if (separator.IsUndefined())
  316. {
  317. var arrayInstance = _realm.Intrinsics.Array.ArrayCreate(1);
  318. arrayInstance.SetIndexValue(0, s, updateLength: false);
  319. return arrayInstance;
  320. }
  321. return SplitWithStringSeparator(_realm, separator, s, lim);
  322. }
  323. internal static JsValue SplitWithStringSeparator(Realm realm, JsValue separator, string s, uint lim)
  324. {
  325. var segments = StringExecutionContext.Current.SplitSegmentList;
  326. segments.Clear();
  327. var sep = TypeConverter.ToString(separator);
  328. if (sep == string.Empty)
  329. {
  330. if (s.Length > segments.Capacity)
  331. {
  332. segments.Capacity = s.Length;
  333. }
  334. for (var i = 0; i < s.Length; i++)
  335. {
  336. segments.Add(TypeConverter.ToString(s[i]));
  337. }
  338. }
  339. else
  340. {
  341. var array = StringExecutionContext.Current.SplitArray1;
  342. array[0] = sep;
  343. segments.AddRange(s.Split(array, StringSplitOptions.None));
  344. }
  345. var length = (uint) System.Math.Min(segments.Count, lim);
  346. var a = realm.Intrinsics.Array.ArrayCreate(length);
  347. for (int i = 0; i < length; i++)
  348. {
  349. a.SetIndexValue((uint) i, segments[i], updateLength: false);
  350. }
  351. a.SetLength(length);
  352. return a;
  353. }
  354. /// <summary>
  355. /// https://tc39.es/proposal-relative-indexing-method/#sec-string-prototype-additions
  356. /// </summary>
  357. private JsValue At(JsValue thisObj, JsValue[] arguments)
  358. {
  359. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  360. var start = arguments.At(0);
  361. var o = thisObj.ToString();
  362. long len = o.Length;
  363. var relativeIndex = TypeConverter.ToInteger(start);
  364. int k;
  365. if (relativeIndex < 0)
  366. {
  367. k = (int) (len + relativeIndex);
  368. }
  369. else
  370. {
  371. k = (int) relativeIndex;
  372. }
  373. if (k < 0 || k >= len)
  374. {
  375. return Undefined;
  376. }
  377. return o[k];
  378. }
  379. private JsValue Slice(JsValue thisObj, JsValue[] arguments)
  380. {
  381. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  382. var start = TypeConverter.ToNumber(arguments.At(0));
  383. if (double.IsNegativeInfinity(start))
  384. {
  385. start = 0;
  386. }
  387. if (double.IsPositiveInfinity(start))
  388. {
  389. return JsString.Empty;
  390. }
  391. var s = TypeConverter.ToString(thisObj);
  392. var end = TypeConverter.ToNumber(arguments.At(1));
  393. if (double.IsPositiveInfinity(end))
  394. {
  395. end = s.Length;
  396. }
  397. var len = s.Length;
  398. var intStart = (int) start;
  399. var intEnd = arguments.At(1).IsUndefined() ? len : (int) TypeConverter.ToInteger(end);
  400. var from = intStart < 0 ? System.Math.Max(len + intStart, 0) : System.Math.Min(intStart, len);
  401. var to = intEnd < 0 ? System.Math.Max(len + intEnd, 0) : System.Math.Min(intEnd, len);
  402. var span = System.Math.Max(to - from, 0);
  403. if (span == 0)
  404. {
  405. return JsString.Empty;
  406. }
  407. if (span == 1)
  408. {
  409. return JsString.Create(s[from]);
  410. }
  411. return new JsString(s.Substring(from, span));
  412. }
  413. private JsValue Search(JsValue thisObj, JsValue[] arguments)
  414. {
  415. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  416. var regex = arguments.At(0);
  417. if (regex is ObjectInstance oi)
  418. {
  419. var searcher = GetMethod(_realm, oi, GlobalSymbolRegistry.Search);
  420. if (searcher != null)
  421. {
  422. return searcher.Call(regex, new[] { thisObj });
  423. }
  424. }
  425. var rx = (RegExpInstance) _realm.Intrinsics.RegExp.Construct(new[] {regex});
  426. var s = TypeConverter.ToString(thisObj);
  427. return _engine.Invoke(rx, GlobalSymbolRegistry.Search, new JsValue[] { s });
  428. }
  429. private JsValue Replace(JsValue thisObj, JsValue[] arguments)
  430. {
  431. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  432. var searchValue = arguments.At(0);
  433. var replaceValue = arguments.At(1);
  434. if (!searchValue.IsNullOrUndefined())
  435. {
  436. var replacer = GetMethod(_realm, searchValue, GlobalSymbolRegistry.Replace);
  437. if (replacer != null)
  438. {
  439. return replacer.Call(searchValue, new[] { thisObj, replaceValue});
  440. }
  441. }
  442. var thisString = TypeConverter.ToJsString(thisObj);
  443. var searchString = TypeConverter.ToString(searchValue);
  444. var functionalReplace = replaceValue is ICallable;
  445. if (!functionalReplace)
  446. {
  447. replaceValue = TypeConverter.ToJsString(replaceValue);
  448. }
  449. var pos = thisString.IndexOf(searchString, StringComparison.Ordinal);
  450. var matched = searchString;
  451. if (pos < 0)
  452. {
  453. return thisString;
  454. }
  455. string replStr;
  456. if (functionalReplace)
  457. {
  458. var replValue = ((ICallable) replaceValue).Call(Undefined, new JsValue[] {matched, pos, thisString});
  459. replStr = TypeConverter.ToString(replValue);
  460. }
  461. else
  462. {
  463. var captures = System.Array.Empty<string>();
  464. replStr = RegExpPrototype.GetSubstitution(matched, thisString.ToString(), pos, captures, Undefined, TypeConverter.ToString(replaceValue));
  465. }
  466. var tailPos = pos + matched.Length;
  467. var newString = thisString.Substring(0, pos) + replStr + thisString.Substring(tailPos);
  468. return newString;
  469. }
  470. private JsValue Match(JsValue thisObj, JsValue[] arguments)
  471. {
  472. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  473. var regex = arguments.At(0);
  474. if (regex is ObjectInstance oi)
  475. {
  476. var matcher = GetMethod(_realm, oi, GlobalSymbolRegistry.Match);
  477. if (matcher != null)
  478. {
  479. return matcher.Call(regex, new[] { thisObj });
  480. }
  481. }
  482. var rx = (RegExpInstance) _realm.Intrinsics.RegExp.Construct(new[] {regex});
  483. var s = TypeConverter.ToString(thisObj);
  484. return _engine.Invoke(rx, GlobalSymbolRegistry.Match, new JsValue[] { s });
  485. }
  486. private JsValue MatchAll(JsValue thisObj, JsValue[] arguments)
  487. {
  488. TypeConverter.CheckObjectCoercible(_engine, thisObj);
  489. var regex = arguments.At(0);
  490. if (!regex.IsNullOrUndefined())
  491. {
  492. if (regex.IsRegExp())
  493. {
  494. var flags = regex.Get(RegExpPrototype.PropertyFlags);
  495. TypeConverter.CheckObjectCoercible(_engine, flags);
  496. if (TypeConverter.ToString(flags).IndexOf('g') < 0)
  497. {
  498. ExceptionHelper.ThrowTypeError(_realm);
  499. }
  500. }
  501. var matcher = GetMethod(_realm, (ObjectInstance) regex, GlobalSymbolRegistry.MatchAll);
  502. if (matcher != null)
  503. {
  504. return matcher.Call(regex, new[] { thisObj });
  505. }
  506. }
  507. var s = TypeConverter.ToString(thisObj);
  508. var rx = (RegExpInstance) _realm.Intrinsics.RegExp.Construct(new[] { regex, "g" });
  509. return _engine.Invoke(rx, GlobalSymbolRegistry.MatchAll, new JsValue[] { s });
  510. }
  511. private JsValue LocaleCompare(JsValue thisObj, JsValue[] arguments)
  512. {
  513. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  514. var s = TypeConverter.ToString(thisObj);
  515. var that = TypeConverter.ToString(arguments.At(0));
  516. return string.CompareOrdinal(s.Normalize(NormalizationForm.FormKD), that.Normalize(NormalizationForm.FormKD));
  517. }
  518. private JsValue LastIndexOf(JsValue thisObj, JsValue[] arguments)
  519. {
  520. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  521. var s = TypeConverter.ToString(thisObj);
  522. var searchStr = TypeConverter.ToString(arguments.At(0));
  523. double numPos = double.NaN;
  524. if (arguments.Length > 1 && !arguments[1].IsUndefined())
  525. {
  526. numPos = TypeConverter.ToNumber(arguments[1]);
  527. }
  528. var pos = double.IsNaN(numPos) ? double.PositiveInfinity : TypeConverter.ToInteger(numPos);
  529. var len = s.Length;
  530. var start = (int)System.Math.Min(System.Math.Max(pos, 0), len);
  531. var searchLen = searchStr.Length;
  532. var i = start;
  533. bool found;
  534. do
  535. {
  536. found = true;
  537. var j = 0;
  538. while (found && j < searchLen)
  539. {
  540. if ((i + searchLen > len) || (s[i + j] != searchStr[j]))
  541. {
  542. found = false;
  543. }
  544. else
  545. {
  546. j++;
  547. }
  548. }
  549. if (!found)
  550. {
  551. i--;
  552. }
  553. } while (!found && i >= 0);
  554. return i;
  555. }
  556. private JsValue IndexOf(JsValue thisObj, JsValue[] arguments)
  557. {
  558. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  559. var s = TypeConverter.ToString(thisObj);
  560. var searchStr = TypeConverter.ToString(arguments.At(0));
  561. double pos = 0;
  562. if (arguments.Length > 1 && !arguments[1].IsUndefined())
  563. {
  564. pos = TypeConverter.ToInteger(arguments[1]);
  565. }
  566. if (pos >= s.Length)
  567. {
  568. return -1;
  569. }
  570. if (pos < 0)
  571. {
  572. pos = 0;
  573. }
  574. return s.IndexOf(searchStr, (int) pos, StringComparison.Ordinal);
  575. }
  576. private JsValue Concat(JsValue thisObj, JsValue[] arguments)
  577. {
  578. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  579. // try to hint capacity if possible
  580. int capacity = 0;
  581. for (int i = 0; i < arguments.Length; ++i)
  582. {
  583. if (arguments[i].Type == Types.String)
  584. {
  585. capacity += arguments[i].ToString().Length;
  586. }
  587. }
  588. var value = TypeConverter.ToString(thisObj);
  589. capacity += value.Length;
  590. if (!(thisObj is JsString jsString))
  591. {
  592. jsString = new JsString.ConcatenatedString(value, capacity);
  593. }
  594. else
  595. {
  596. jsString = jsString.EnsureCapacity(capacity);
  597. }
  598. for (int i = 0; i < arguments.Length; i++)
  599. {
  600. jsString = jsString.Append(arguments[i]);
  601. }
  602. return jsString;
  603. }
  604. private JsValue CharCodeAt(JsValue thisObj, JsValue[] arguments)
  605. {
  606. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  607. JsValue pos = arguments.Length > 0 ? arguments[0] : 0;
  608. var s = TypeConverter.ToString(thisObj);
  609. var position = (int)TypeConverter.ToInteger(pos);
  610. if (position < 0 || position >= s.Length)
  611. {
  612. return JsNumber.DoubleNaN;
  613. }
  614. return (long) s[position];
  615. }
  616. private JsValue CodePointAt(JsValue thisObj, JsValue[] arguments)
  617. {
  618. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  619. JsValue pos = arguments.Length > 0 ? arguments[0] : 0;
  620. var s = TypeConverter.ToString(thisObj);
  621. var position = (int)TypeConverter.ToInteger(pos);
  622. if (position < 0 || position >= s.Length)
  623. {
  624. return Undefined;
  625. }
  626. var first = (long) s[position];
  627. if (first >= 0xD800 && first <= 0xDBFF && s.Length > position + 1)
  628. {
  629. long second = s[position + 1];
  630. if (second >= 0xDC00 && second <= 0xDFFF)
  631. {
  632. return (first - 0xD800) * 0x400 + second - 0xDC00 + 0x10000;
  633. }
  634. }
  635. return first;
  636. }
  637. private JsValue CharAt(JsValue thisObj, JsValue[] arguments)
  638. {
  639. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  640. var s = TypeConverter.ToString(thisObj);
  641. var position = TypeConverter.ToInteger(arguments.At(0));
  642. var size = s.Length;
  643. if (position >= size || position < 0)
  644. {
  645. return JsString.Empty;
  646. }
  647. return JsString.Create(s[(int) position]);
  648. }
  649. private JsValue ValueOf(JsValue thisObj, JsValue[] arguments)
  650. {
  651. if (thisObj is StringInstance si)
  652. {
  653. return si.StringData;
  654. }
  655. if (thisObj is JsString)
  656. {
  657. return thisObj;
  658. }
  659. ExceptionHelper.ThrowTypeError(_realm);
  660. return Undefined;
  661. }
  662. /// <summary>
  663. /// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/padStart
  664. /// </summary>
  665. /// <param name="thisObj">The original string object</param>
  666. /// <param name="arguments">
  667. /// argument[0] is the target length of the output string
  668. /// argument[1] is the string to pad with
  669. /// </param>
  670. /// <returns></returns>
  671. private JsValue PadStart(JsValue thisObj, JsValue[] arguments)
  672. {
  673. return Pad(thisObj, arguments, true);
  674. }
  675. /// <summary>
  676. /// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/padEnd
  677. /// </summary>
  678. /// <param name="thisObj">The original string object</param>
  679. /// <param name="arguments">
  680. /// argument[0] is the target length of the output string
  681. /// argument[1] is the string to pad with
  682. /// </param>
  683. /// <returns></returns>
  684. private JsValue PadEnd(JsValue thisObj, JsValue[] arguments)
  685. {
  686. return Pad(thisObj, arguments, false);
  687. }
  688. private JsValue Pad(JsValue thisObj, JsValue[] arguments, bool padStart)
  689. {
  690. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  691. var targetLength = TypeConverter.ToInt32(arguments.At(0));
  692. var padStringValue = arguments.At(1);
  693. var padString = padStringValue.IsUndefined()
  694. ? " "
  695. : TypeConverter.ToString(padStringValue);
  696. var s = TypeConverter.ToJsString(thisObj);
  697. if (s.Length > targetLength || padString.Length == 0)
  698. {
  699. return s;
  700. }
  701. targetLength = targetLength - s.Length;
  702. if (targetLength > padString.Length)
  703. {
  704. padString = string.Join("", Enumerable.Repeat(padString, (targetLength / padString.Length) + 1));
  705. }
  706. return padStart
  707. ? $"{padString.Substring(0, targetLength)}{s}"
  708. : $"{s}{padString.Substring(0, targetLength)}";
  709. }
  710. /// <summary>
  711. /// https://www.ecma-international.org/ecma-262/6.0/#sec-string.prototype.startswith
  712. /// </summary>
  713. private JsValue StartsWith(JsValue thisObj, JsValue[] arguments)
  714. {
  715. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  716. var s = TypeConverter.ToString(thisObj);
  717. var searchString = arguments.At(0);
  718. if (ReferenceEquals(searchString, Null))
  719. {
  720. searchString = Native.Null.Text;
  721. }
  722. else
  723. {
  724. if (searchString.IsRegExp())
  725. {
  726. ExceptionHelper.ThrowTypeError(_realm);
  727. }
  728. }
  729. var searchStr = TypeConverter.ToString(searchString);
  730. var pos = TypeConverter.ToInt32(arguments.At(1));
  731. var len = s.Length;
  732. var start = System.Math.Min(System.Math.Max(pos, 0), len);
  733. var searchLength = searchStr.Length;
  734. if (searchLength + start > len)
  735. {
  736. return false;
  737. }
  738. for (var i = 0; i < searchLength; i++)
  739. {
  740. if (s[start + i] != searchStr[i])
  741. {
  742. return false;
  743. }
  744. }
  745. return true;
  746. }
  747. /// <summary>
  748. /// https://www.ecma-international.org/ecma-262/6.0/#sec-string.prototype.endswith
  749. /// </summary>
  750. private JsValue EndsWith(JsValue thisObj, JsValue[] arguments)
  751. {
  752. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  753. var s = TypeConverter.ToString(thisObj);
  754. var searchString = arguments.At(0);
  755. if (ReferenceEquals(searchString, Null))
  756. {
  757. searchString = Native.Null.Text;
  758. }
  759. else
  760. {
  761. if (searchString.IsRegExp())
  762. {
  763. ExceptionHelper.ThrowTypeError(_realm);
  764. }
  765. }
  766. var searchStr = TypeConverter.ToString(searchString);
  767. var len = s.Length;
  768. var pos = TypeConverter.ToInt32(arguments.At(1, len));
  769. var end = System.Math.Min(System.Math.Max(pos, 0), len);
  770. var searchLength = searchStr.Length;
  771. var start = end - searchLength;
  772. if (start < 0)
  773. {
  774. return false;
  775. }
  776. for (var i = 0; i < searchLength; i++)
  777. {
  778. if (s[start + i] != searchStr[i])
  779. {
  780. return false;
  781. }
  782. }
  783. return true;
  784. }
  785. private JsValue Includes(JsValue thisObj, JsValue[] arguments)
  786. {
  787. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  788. var s1 = TypeConverter.ToString(thisObj);
  789. var searchString = arguments.At(0);
  790. if (searchString.IsRegExp())
  791. {
  792. ExceptionHelper.ThrowTypeError(_realm, "First argument to String.prototype.includes must not be a regular expression");
  793. }
  794. var searchStr = TypeConverter.ToString(searchString);
  795. double pos = 0;
  796. if (arguments.Length > 1 && !arguments[1].IsUndefined())
  797. {
  798. pos = TypeConverter.ToInteger(arguments[1]);
  799. }
  800. if (searchStr.Length == 0)
  801. {
  802. return true;
  803. }
  804. if (pos >= s1.Length)
  805. {
  806. return false;
  807. }
  808. if (pos < 0)
  809. {
  810. pos = 0;
  811. }
  812. return s1.IndexOf(searchStr, (int) pos, StringComparison.Ordinal) > -1;
  813. }
  814. private JsValue Normalize(JsValue thisObj, JsValue[] arguments)
  815. {
  816. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  817. var str = TypeConverter.ToString(thisObj);
  818. var param = arguments.At(0);
  819. var form = "NFC";
  820. if (!param.IsUndefined())
  821. {
  822. form = TypeConverter.ToString(param);
  823. }
  824. var nf = NormalizationForm.FormC;
  825. switch (form)
  826. {
  827. case "NFC":
  828. nf = NormalizationForm.FormC;
  829. break;
  830. case "NFD":
  831. nf = NormalizationForm.FormD;
  832. break;
  833. case "NFKC":
  834. nf = NormalizationForm.FormKC;
  835. break;
  836. case "NFKD":
  837. nf = NormalizationForm.FormKD;
  838. break;
  839. default:
  840. ExceptionHelper.ThrowRangeError(
  841. _realm,
  842. "The normalization form should be one of NFC, NFD, NFKC, NFKD.");
  843. break;
  844. }
  845. return str.Normalize(nf);
  846. }
  847. /// <summary>
  848. /// https://tc39.es/ecma262/#sec-string.prototype.repeat
  849. /// </summary>
  850. private JsValue Repeat(JsValue thisObj, JsValue[] arguments)
  851. {
  852. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  853. var s = TypeConverter.ToString(thisObj);
  854. var count = arguments.At(0);
  855. var n = TypeConverter.ToIntegerOrInfinity(count);
  856. if (n < 0 || double.IsPositiveInfinity(n))
  857. {
  858. ExceptionHelper.ThrowRangeError(_realm, "Invalid count value");
  859. }
  860. if (n == 0 || s.Length == 0)
  861. {
  862. return JsString.Empty;
  863. }
  864. if (s.Length == 1)
  865. {
  866. return new string(s[0], (int) n);
  867. }
  868. using var sb = StringBuilderPool.Rent();
  869. sb.Builder.EnsureCapacity((int) (n * s.Length));
  870. for (var i = 0; i < n; ++i)
  871. {
  872. sb.Builder.Append(s);
  873. }
  874. return sb.ToString();
  875. }
  876. }
  877. }