Function next

js/SCAST.js:208–213

()

            return current || (current = read_next());//after next() not call peek()
        }
        function next() {
            var tok = current;
            if(current?.type=='id')prev_id=current;
            current = null;
            return tok || read_next();
        }
        function prev(){
            return prev_id
        }