Class CompressingMetaIndex.InputStream

    • Field Detail

      • inflater

        protected java.util.zip.Inflater inflater
    • Constructor Detail

      • InputStream

        public InputStream​(IndexOnDisk _index,
                           java.lang.String _structureName,
                           int _startingId,
                           int _endId)
                    throws java.io.IOException
        Throws:
        java.io.IOException
      • InputStream

        public InputStream​(IndexOnDisk _index,
                           java.lang.String _structureName)
                    throws java.io.IOException
        Throws:
        java.io.IOException