Function consume

tests/webidl/WebIDLParser.js:65–72

(type, value)

    var last_token = null;

    var consume = function(type, value) {
      if (!tokens.length || tokens[0].type !== type) return;
      if (typeof value === "undefined" || tokens[0].value === value) {
        last_token = tokens.shift();
        if (type === ID) last_token.value = last_token.value.replace(/^_/, "");
        return last_token;
      }
    };

    var ws = function() {
      if (!tokens.length) return;