StringPrototype.cs 36 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037
  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, that);
  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. private JsValue Repeat(JsValue thisObj, JsValue[] arguments)
  848. {
  849. TypeConverter.CheckObjectCoercible(Engine, thisObj);
  850. var str = TypeConverter.ToString(thisObj);
  851. var n = (int) TypeConverter.ToInteger(arguments.At(0));
  852. if (n < 0)
  853. {
  854. ExceptionHelper.ThrowRangeError(_realm, "Invalid count value");
  855. }
  856. if (n == 0 || str.Length == 0)
  857. {
  858. return JsString.Empty;
  859. }
  860. if (str.Length == 1)
  861. {
  862. return new string(str[0], n);
  863. }
  864. using var sb = StringBuilderPool.Rent();
  865. sb.Builder.EnsureCapacity(n * str.Length);
  866. for (var i = 0; i < n; ++i)
  867. {
  868. sb.Builder.Append(str);
  869. }
  870. return sb.ToString();
  871. }
  872. }
  873. }