I'll have a closer look at your comments tomorrow, just two quick replies.
Re: streaming; we have all the data on the Blink side ResourceBuffer, it's
not a
problem to reset to an earlier data point even if it's not in the same
buffer.
So I think you can drop the assumption that resetting to a bookmark can
fail. If
none of the current impls has that property, let's just keep it simple :)
Re: scanner state; I'd assume we always set the bookmark into a place that
is
between tokens, so, not inside a string or an identifier. And can't we just
then
do the same thing which Scanner does when it begins scanning (so, Next() or
something to read the next token and the possible associated literal data)?
And can't we forget all potentially pushed back stuff when we reset?
https://codereview.chromium.org/1102523003/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
