Copies the non-dropped Chars in the current buffer to the start of either the current buffer, or a newly-allocated larger buffer if necessary.
Used to ensure that elements up to until are available to read; returns whether or not we have read off the end of the input.
Used to ensure that elements up to until are available to read; returns whether or not we have read off the end of the input.
In the fast path, when until is less than the lastIdx we have buffered, there is no work to do and we return false.
In the slow path, when until is more than lastIdx, we then run
growBuffer to grow the buffer if necessary, and then readDataIntoBuffer
to populate it. readDataIntoBuffer returns a newDone
value to indicate
whether we have read off the end of the input or not.
Note that for some subclasses, growBuffer may be a no-op when we already know we have reached the end of input.
Models a growable buffer of Chars, which are Chars or Bytes. We maintain an Array[Char] as a buffer, and read Chars into it using readDataIntoBuffer and drop old Chars using dropBufferUntil.
In general, BufferingCharParser allows us to keep the fast path fast:
- Reading elem-by-elem from the buffer is a bounds check and direct Array access, without any indirection or polymorphism. - We load Chars in batches into the buffer, which allows us to take advantage of batching APIs like
InputStream.read
- We amortize the overhead of the indirect/polymorphic readDataIntoBuffer call over the size of each batchNote that dropBufferUntil only advances a dropped index and does not actually zero out the dropped Chars; instead, we wait until we need to call growBuffer, and use that as a chance to copy the remaining un-dropped Chars to either the start of the current buffer or the start of a newly-allocated bigger buffer (if necessary)