Method End
End()
This method is called by the consumer after the last token has been
consumed, after Incrementfalse
(using the new TokenStream
API). Streams implementing the old API
should upgrade to use this feature.
This method can be used to perform any end-of-stream operations, such as
setting the final offset of a stream. The final offset of a stream might
differ from the offset of the last token eg in case one or more whitespaces
followed after the last token, but a Whitespace
Declaration
public virtual void End()