StringPrototype.cs 35 KB

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