A cursor that wraps another cursor, copying all output strings.
The cursor specification (newxml.interfaces.isCursor)
clearly states that a cursor (as the underlying parser and lexer) is free to reuse
its internal buffers and thus invalidate every output. This wrapper returns freshly
allocated strings, thus allowing references to its outputs to outlive calls to advancing
methods.
This type should not be instantiated directly, but using the helper function
copyingCursor.
A cursor that wraps another cursor, copying all output strings.
The cursor specification (newxml.interfaces.isCursor) clearly states that a cursor (as the underlying parser and lexer) is free to reuse its internal buffers and thus invalidate every output. This wrapper returns freshly allocated strings, thus allowing references to its outputs to outlive calls to advancing methods.
This type should not be instantiated directly, but using the helper function copyingCursor.