if (token == null) continue;
n.state().invokeShifts(token, this, new Result(result, n, null), null);
}
+ for(Node n : hash.values()) n.check();
if (!good && token!=null) ParseFailed.error("unexpected character", this);
if (token==null && finalResult==null) ParseFailed.error("unexpected end of file", this);
}