Method fillBuffer

src/gnu/zip/ZipFile.java:554–571

()

    }

    private void fillBuffer() throws IOException
    {
      synchronized (rrf)
        {
          long len = end - bufferOffset;
          if (len == 0 && dummyByteCount > 0)
            {
              buffer[0] = 0;
              dummyByteCount = 0;
            }
          else
            {
              rrf.seek((int) bufferOffset);
//              rrf.seek(bufferOffset);
              rrf.readFully(buffer, 0, (int) Math.min(buffer.length, len));
            }
        }
    }
    
    public int available()
    {