Function read_string

js/SCAST.js:137–147

(ch)

            return str;
        }
        function read_string(ch) {
            return { 
                type: "str", 
                value: read_escaped(ch) ,
                poi:{
                    line:start.line,
                    start:start.column,
                    end:input.poi().column
                }
            };
        }
        function skip_comment() {
            read_while(function(ch){ return ch != "\n" });
            input.next();