Function read_while

js/SCAST.js:81–86

(predicate)

        }
       
        function read_while(predicate) {
            var str = "";
            while (!input.eof() && predicate(input.peek()))
                str += input.next();
            return str;
        }
        function read_number() {
            var has_dot = false;
            var number = read_while(function(ch){