JS parser: remove empty tokens after lexing. This fixes a problem where a string with leading space couldn't be parsed.

This commit is contained in:
bjorn
2008-10-29 08:39:23 +00:00
parent d5e0ffc5d7
commit 4dd05f663b

View File

@@ -410,6 +410,10 @@ Parser.prototype.showRules = function () {
};
Parser.prototype.parseString = function (string, cat) {
var tokens = string.split(" ");
// remove empty tokens
for (var i = tokens.length - 1; i >= 0; i--) {
if (tokens[i] == "") { tokens.splice(i, 1); }
}
chart = new Chart(true);
predict(this.rules, tokens);
while (chart.updated) {