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) {  function