Class ReaderWithSize

  • All Implemented Interfaces:
    java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable

    public final class ReaderWithSize
    extends java.io.FilterReader
    Reader that also knows the length of its input. When this kind of Reader is passed in place of normal Reader, the database can optimize its work better.
    • Field Summary

      • Fields inherited from class java.io.FilterReader

        in
      • Fields inherited from class java.io.Reader

        lock
    • Constructor Summary

      Constructors 
      Constructor Description
      ReaderWithSize​(@NotNull java.io.Reader reader, long size)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      long getSize()  
      • Methods inherited from class java.io.FilterReader

        close, mark, markSupported, read, read, ready, reset, skip
      • Methods inherited from class java.io.Reader

        nullReader, read, read, transferTo
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ReaderWithSize

        public ReaderWithSize​(@NotNull
                              @NotNull java.io.Reader reader,
                              long size)
    • Method Detail

      • getSize

        public long getSize()