Lines Matching refs:sc_string2jsstring
1879 return new RegExp(sc_string2jsstring(re));
1885 var tmp = reg.exec(sc_string2jsstring(s));
1903 var jss1 = sc_string2jsstring(s1);
1904 var jss2 = sc_string2jsstring(s2);
1912 reg = new RegExp(sc_string2jsstring(re));
1921 var jss1 = sc_string2jsstring(s1);
1922 var jss2 = sc_string2jsstring(s2);
1930 reg = new RegExp(sc_string2jsstring(re), "g");
1940 new RegExp(sc_string2jsstring(re)));
1941 var jss = sc_string2jsstring(s);
2659 return sc_withInputFromPort(new sc_StringInputPort(sc_string2jsstring(s)), thunk);
2695 return new sc_StringInputPort(sc_string2jsstring(str));
3129 function sc_string2jsstring(s) {