Class RandomAccessReaderAdapter

All Implemented Interfaces:
io.github.jbellis.jvector.disk.RandomAccessReader, Closeable, DataInput, AutoCloseable, DataInputPlus, FileDataInput, RewindableDataInput

public class RandomAccessReaderAdapter extends RandomAccessReader implements io.github.jbellis.jvector.disk.RandomAccessReader
  • Method Details

    • readFully

      public void readFully(float[] dest) throws IOException
      Specified by:
      readFully in interface io.github.jbellis.jvector.disk.RandomAccessReader
      Throws:
      IOException
    • read

      public void read(int[] dest, int offset, int count) throws IOException
      Read ints into an int[], starting at the current position.
      Specified by:
      read in interface io.github.jbellis.jvector.disk.RandomAccessReader
      Parameters:
      dest - the array to read into
      offset - the offset in the array at which to start writing ints
      count - the number of ints to read Will change the buffer position.
      Throws:
      IOException