Class InputStreamWithSize

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

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

      • Fields inherited from class java.io.FilterInputStream

        in
    • Constructor Summary

      Constructors 
      Constructor Description
      InputStreamWithSize​(@NotNull java.io.InputStream in, long size)  
    • Method Summary

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

        available, close, mark, markSupported, read, read, read, reset, skip
      • Methods inherited from class java.io.InputStream

        nullInputStream, readAllBytes, readNBytes, readNBytes, transferTo
      • Methods inherited from class java.lang.Object

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

      • InputStreamWithSize

        public InputStreamWithSize​(@NotNull
                                   @NotNull java.io.InputStream in,
                                   long size)
    • Method Detail

      • getSize

        public long getSize()