// Copyright 2012 the V8 project authors. All rights reserved. // Use of this source code is governed by a BSD-style license that can be // found in the LICENSE file. (function(global, utils) { %CheckIsBootstrapping(); // ------------------------------------------------------------------- // Imports var ArrayJoin; var GlobalRegExp = global.RegExp; var GlobalString = global.String; var MaxSimple; var MinSimple; var matchSymbol = utils.ImportNow("match_symbol"); var replaceSymbol = utils.ImportNow("replace_symbol"); var searchSymbol = utils.ImportNow("search_symbol"); var splitSymbol = utils.ImportNow("split_symbol"); utils.Import(function(from) { ArrayJoin = from.ArrayJoin; MaxSimple = from.MaxSimple; MinSimple = from.MinSimple; }); //------------------------------------------------------------------- // ECMA-262, section 15.5.4.6 function StringConcat(other /* and more */) { // length == 1 "use strict"; CHECK_OBJECT_COERCIBLE(this, "String.prototype.concat"); var s = TO_STRING(this); var len = arguments.length; for (var i = 0; i < len; ++i) { s = s + TO_STRING(arguments[i]); } return s; } // ES6 21.1.3.11. function StringMatchJS(pattern) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.match"); if (!IS_NULL_OR_UNDEFINED(pattern)) { var matcher = pattern[matchSymbol]; if (!IS_UNDEFINED(matcher)) { return %_Call(matcher, pattern, this); } } var subject = TO_STRING(this); // Equivalent to RegExpCreate (ES#sec-regexpcreate) var regexp = %RegExpCreate(pattern); return regexp[matchSymbol](subject); } // ES#sec-getsubstitution // GetSubstitution(matched, str, position, captures, replacement) // Expand the $-expressions in the string and return a new string with // the result. function GetSubstitution(matched, string, position, captures, replacement) { var matchLength = matched.length; var stringLength = string.length; var capturesLength = captures.length; var tailPos = position + matchLength; var result = ""; var pos, expansion, peek, next, scaledIndex, advance, newScaledIndex; var next = %StringIndexOf(replacement, '$', 0); if (next < 0) { result += replacement; return result; } if (next > 0) result += %_SubString(replacement, 0, next); while (true) { expansion = '$'; pos = next + 1; if (pos < replacement.length) { peek = %_StringCharCodeAt(replacement, pos); if (peek == 36) { // $$ ++pos; result += '$'; } else if (peek == 38) { // $& - match ++pos; result += matched; } else if (peek == 96) { // $` - prefix ++pos; result += %_SubString(string, 0, position); } else if (peek == 39) { // $' - suffix ++pos; result += %_SubString(string, tailPos, stringLength); } else if (peek >= 48 && peek <= 57) { // Valid indices are $1 .. $9, $01 .. $09 and $10 .. $99 scaledIndex = (peek - 48); advance = 1; if (pos + 1 < replacement.length) { next = %_StringCharCodeAt(replacement, pos + 1); if (next >= 48 && next <= 57) { newScaledIndex = scaledIndex * 10 + ((next - 48)); if (newScaledIndex < capturesLength) { scaledIndex = newScaledIndex; advance = 2; } } } if (scaledIndex != 0 && scaledIndex < capturesLength) { var capture = captures.at(scaledIndex); if (!IS_UNDEFINED(capture)) result += capture; pos += advance; } else { result += '$'; } } else { result += '$'; } } else { result += '$'; } // Go the the next $ in the replacement. next = %StringIndexOf(replacement, '$', pos); // Return if there are no more $ characters in the replacement. If we // haven't reached the end, we need to append the suffix. if (next < 0) { if (pos < replacement.length) { result += %_SubString(replacement, pos, replacement.length); } return result; } // Append substring between the previous and the next $ character. if (next > pos) { result += %_SubString(replacement, pos, next); } } return result; } // ES6, section 21.1.3.14 function StringReplace(search, replace) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.replace"); // Decision tree for dispatch // .. regexp search (in src/js/regexp.js, RegExpReplace) // .... string replace // ...... non-global search // ........ empty string replace // ........ non-empty string replace (with $-expansion) // ...... global search // ........ no need to circumvent last match info override // ........ need to circument last match info override // .... function replace // ...... global search // ...... non-global search // .. string search // .... special case that replaces with one single character // ...... function replace // ...... string replace (with $-expansion) if (!IS_NULL_OR_UNDEFINED(search)) { var replacer = search[replaceSymbol]; if (!IS_UNDEFINED(replacer)) { return %_Call(replacer, search, this, replace); } } var subject = TO_STRING(this); search = TO_STRING(search); if (search.length == 1 && subject.length > 0xFF && IS_STRING(replace) && %StringIndexOf(replace, '$', 0) < 0) { // Searching by traversing a cons string tree and replace with cons of // slices works only when the replaced string is a single character, being // replaced by a simple string and only pays off for long strings. return %StringReplaceOneCharWithString(subject, search, replace); } var start = %StringIndexOf(subject, search, 0); if (start < 0) return subject; var end = start + search.length; var result = %_SubString(subject, 0, start); // Compute the string to replace with. if (IS_CALLABLE(replace)) { result += replace(search, start, subject); } else { // In this case, we don't have any capture groups and can get away with // faking the captures object by simply setting its length to 1. const captures = { length: 1 }; const matched = %_SubString(subject, start, end); result += GetSubstitution(matched, subject, start, captures, TO_STRING(replace)); } return result + %_SubString(subject, end, subject.length); } // ES6 21.1.3.15. function StringSearch(pattern) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.search"); if (!IS_NULL_OR_UNDEFINED(pattern)) { var searcher = pattern[searchSymbol]; if (!IS_UNDEFINED(searcher)) { return %_Call(searcher, pattern, this); } } var subject = TO_STRING(this); // Equivalent to RegExpCreate (ES#sec-regexpcreate) var regexp = %RegExpCreate(pattern); return %_Call(regexp[searchSymbol], regexp, subject); } // ECMA-262 section 15.5.4.13 function StringSlice(start, end) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.slice"); var s = TO_STRING(this); var s_len = s.length; var start_i = TO_INTEGER(start); var end_i = s_len; if (!IS_UNDEFINED(end)) { end_i = TO_INTEGER(end); } if (start_i < 0) { start_i += s_len; if (start_i < 0) { start_i = 0; } } else { if (start_i > s_len) { return ''; } } if (end_i < 0) { end_i += s_len; if (end_i < 0) { return ''; } } else { if (end_i > s_len) { end_i = s_len; } } if (end_i <= start_i) { return ''; } return %_SubString(s, start_i, end_i); } // ES6 21.1.3.17. function StringSplitJS(separator, limit) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.split"); if (!IS_NULL_OR_UNDEFINED(separator)) { var splitter = separator[splitSymbol]; if (!IS_UNDEFINED(splitter)) { return %_Call(splitter, separator, this, limit); } } var subject = TO_STRING(this); limit = (IS_UNDEFINED(limit)) ? kMaxUint32 : TO_UINT32(limit); var length = subject.length; var separator_string = TO_STRING(separator); if (limit === 0) return []; // ECMA-262 says that if separator is undefined, the result should // be an array of size 1 containing the entire string. if (IS_UNDEFINED(separator)) return [subject]; var separator_length = separator_string.length; // If the separator string is empty then return the elements in the subject. if (separator_length === 0) return %StringToArray(subject, limit); return %StringSplit(subject, separator_string, limit); } // ECMA-262, 15.5.4.16 function StringToLowerCaseJS() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.toLowerCase"); return %StringToLowerCase(TO_STRING(this)); } // ECMA-262, 15.5.4.17 function StringToLocaleLowerCase() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.toLocaleLowerCase"); return %StringToLowerCase(TO_STRING(this)); } // ECMA-262, 15.5.4.18 function StringToUpperCaseJS() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.toUpperCase"); return %StringToUpperCase(TO_STRING(this)); } // ECMA-262, 15.5.4.19 function StringToLocaleUpperCase() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.toLocaleUpperCase"); return %StringToUpperCase(TO_STRING(this)); } // ES6 draft, revision 26 (2014-07-18), section B.2.3.2.1 function HtmlEscape(str) { return %_Call(StringReplace, TO_STRING(str), /"/g, """); } // ES6 draft, revision 26 (2014-07-18), section B.2.3.2 function StringAnchor(name) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.anchor"); return "<a name=\"" + HtmlEscape(name) + "\">" + TO_STRING(this) + "</a>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.3 function StringBig() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.big"); return "<big>" + TO_STRING(this) + "</big>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.4 function StringBlink() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.blink"); return "<blink>" + TO_STRING(this) + "</blink>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.5 function StringBold() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.bold"); return "<b>" + TO_STRING(this) + "</b>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.6 function StringFixed() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.fixed"); return "<tt>" + TO_STRING(this) + "</tt>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.7 function StringFontcolor(color) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.fontcolor"); return "<font color=\"" + HtmlEscape(color) + "\">" + TO_STRING(this) + "</font>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.8 function StringFontsize(size) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.fontsize"); return "<font size=\"" + HtmlEscape(size) + "\">" + TO_STRING(this) + "</font>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.9 function StringItalics() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.italics"); return "<i>" + TO_STRING(this) + "</i>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.10 function StringLink(s) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.link"); return "<a href=\"" + HtmlEscape(s) + "\">" + TO_STRING(this) + "</a>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.11 function StringSmall() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.small"); return "<small>" + TO_STRING(this) + "</small>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.12 function StringStrike() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.strike"); return "<strike>" + TO_STRING(this) + "</strike>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.13 function StringSub() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.sub"); return "<sub>" + TO_STRING(this) + "</sub>"; } // ES6 draft, revision 26 (2014-07-18), section B.2.3.14 function StringSup() { CHECK_OBJECT_COERCIBLE(this, "String.prototype.sup"); return "<sup>" + TO_STRING(this) + "</sup>"; } // ES6, section 21.1.3.13 function StringRepeat(count) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.repeat"); var s = TO_STRING(this); var n = TO_INTEGER(count); if (n < 0 || n === INFINITY) throw %make_range_error(kInvalidCountValue); // Early return to allow an arbitrarily-large repeat of the empty string. if (s.length === 0) return ""; // The maximum string length is stored in a smi, so a longer repeat // must result in a range error. if (n > %_MaxSmi()) throw %make_range_error(kInvalidCountValue); var r = ""; while (true) { if (n & 1) r += s; n >>= 1; if (n === 0) return r; s += s; } } // ES6 Draft 05-22-2014, section 21.1.3.3 function StringCodePointAt(pos) { CHECK_OBJECT_COERCIBLE(this, "String.prototype.codePointAt"); var string = TO_STRING(this); var size = string.length; pos = TO_INTEGER(pos); if (pos < 0 || pos >= size) { return UNDEFINED; } var first = %_StringCharCodeAt(string, pos); if (first < 0xD800 || first > 0xDBFF || pos + 1 == size) { return first; } var second = %_StringCharCodeAt(string, pos + 1); if (second < 0xDC00 || second > 0xDFFF) { return first; } return (first - 0xD800) * 0x400 + second + 0x2400; } // ------------------------------------------------------------------- // String methods related to templates // ES6 Draft 03-17-2015, section 21.1.2.4 function StringRaw(callSite) { "use strict"; var numberOfSubstitutions = arguments.length; var cooked = TO_OBJECT(callSite); var raw = TO_OBJECT(cooked.raw); var literalSegments = TO_LENGTH(raw.length); if (literalSegments <= 0) return ""; var result = TO_STRING(raw[0]); for (var i = 1; i < literalSegments; ++i) { if (i < numberOfSubstitutions) { result += TO_STRING(arguments[i]); } result += TO_STRING(raw[i]); } return result; } // ------------------------------------------------------------------- // Set up the non-enumerable functions on the String object. utils.InstallFunctions(GlobalString, DONT_ENUM, [ "raw", StringRaw ]); // Set up the non-enumerable functions on the String prototype object. utils.InstallFunctions(GlobalString.prototype, DONT_ENUM, [ "codePointAt", StringCodePointAt, "concat", StringConcat, "match", StringMatchJS, "repeat", StringRepeat, "replace", StringReplace, "search", StringSearch, "slice", StringSlice, "split", StringSplitJS, "toLowerCase", StringToLowerCaseJS, "toLocaleLowerCase", StringToLocaleLowerCase, "toUpperCase", StringToUpperCaseJS, "toLocaleUpperCase", StringToLocaleUpperCase, "link", StringLink, "anchor", StringAnchor, "fontcolor", StringFontcolor, "fontsize", StringFontsize, "big", StringBig, "blink", StringBlink, "bold", StringBold, "fixed", StringFixed, "italics", StringItalics, "small", StringSmall, "strike", StringStrike, "sub", StringSub, "sup", StringSup ]); // ------------------------------------------------------------------- // Exports utils.Export(function(to) { to.StringMatch = StringMatchJS; to.StringReplace = StringReplace; to.StringSlice = StringSlice; to.StringSplit = StringSplitJS; }); })