You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some callback interactions with the reader today are potentially dangerous, for example:
calling reader.next() without seeking back on the input stream
stepping in and stepping out when you have nested search paths, e.g. (foo) and (foo bar), without seeking back on the input stream
Seeking back is not trivial and in some cases impossible. Those operations won't cause the path extractor to fail but to misbehave surprising users
To avoid this we can introduce two modes:
unsafe: todays implementation where the callback is simply stated and left to the user to respect it
safe: where we provide a decorated reader that blocks potentially harmful operations. This decorator should be intelligent enough to only forbid stepping into containers when there are nested search paths
The text was updated successfully, but these errors were encountered:
Some callback interactions with the reader today are potentially dangerous, for example:
reader.next()
without seeking back on the input stream(foo)
and(foo bar)
, without seeking back on the input streamSeeking back is not trivial and in some cases impossible. Those operations won't cause the path extractor to fail but to misbehave surprising users
To avoid this we can introduce two modes:
The text was updated successfully, but these errors were encountered: