Searched refs:sc_StringInputPort (Results 1 – 1 of 1) sorted by relevance
2143 function sc_StringInputPort(jsStr) { function2150 sc_StringInputPort.prototype = new sc_InputPort(); class2151 sc_StringInputPort.prototype.getNextChar = function() {2659 return sc_withInputFromPort(new sc_StringInputPort(sc_string2jsstring(s)), thunk);2695 return new sc_StringInputPort(sc_string2jsstring(str));