Package org.h2.store.fs.rec

Class FileRec

  • All Implemented Interfaces:
    java.io.Closeable, java.lang.AutoCloseable, java.nio.channels.ByteChannel, java.nio.channels.Channel, java.nio.channels.GatheringByteChannel, java.nio.channels.InterruptibleChannel, java.nio.channels.ReadableByteChannel, java.nio.channels.ScatteringByteChannel, java.nio.channels.SeekableByteChannel, java.nio.channels.WritableByteChannel
    class FileRec
extends FileBase
    A file object that records all write operations and can re-play them.

    • Nested Class Summary

      • Nested classes/interfaces inherited from class java.nio.channels.FileChannel

        java.nio.channels.FileChannel.MapMode

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.nio.channels.FileChannel channel  
      private java.lang.String name  
      private FilePathRec rec  

    • Constructor Summary

      Constructors 
      Constructor Description
      FileRec​(FilePathRec rec, java.nio.channels.FileChannel file, java.lang.String fileName)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void force​(boolean metaData)  
      void implCloseChannel()  
      long position()  
      java.nio.channels.FileChannel position​(long pos)  
      int read​(java.nio.ByteBuffer dst)  
      int read​(java.nio.ByteBuffer dst, long position)  
      long size()  
      java.lang.String toString()  
      java.nio.channels.FileChannel truncate​(long newLength)  
      java.nio.channels.FileLock tryLock​(long position, long size, boolean shared)  
      int write​(java.nio.ByteBuffer src)  
      int write​(java.nio.ByteBuffer src, long position)  

      • Methods inherited from class java.nio.channels.FileChannel

        lock, open, open, read, tryLock, write

      • Methods inherited from class java.nio.channels.spi.AbstractInterruptibleChannel

        begin, close, end, isOpen

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface java.nio.channels.Channel

        isOpen

    • Field Detail

      • channel

        private final java.nio.channels.FileChannel channel

      • name

        private final java.lang.String name

    • Constructor Detail

      • FileRec

        FileRec​(FilePathRec rec,
        java.nio.channels.FileChannel file,
        java.lang.String fileName)

    • Method Detail

      • implCloseChannel

        public void implCloseChannel()
                      throws java.io.IOException
        Overrides:
        implCloseChannel in class FileBase
        Throws:
        java.io.IOException

      • position

        public long position()
              throws java.io.IOException
        Specified by:
        position in interface java.nio.channels.SeekableByteChannel
        Specified by:
        position in class java.nio.channels.FileChannel
        Throws:
        java.io.IOException

      • size

        public long size()
          throws java.io.IOException
        Specified by:
        size in interface java.nio.channels.SeekableByteChannel
        Specified by:
        size in class java.nio.channels.FileChannel
        Throws:
        java.io.IOException

      • read

        public int read​(java.nio.ByteBuffer dst)
         throws java.io.IOException
        Specified by:
        read in interface java.nio.channels.ReadableByteChannel
        Specified by:
        read in interface java.nio.channels.SeekableByteChannel
        Specified by:
        read in class java.nio.channels.FileChannel
        Throws:
        java.io.IOException

      • read

        public int read​(java.nio.ByteBuffer dst,
                long position)
         throws java.io.IOException
        Overrides:
        read in class FileBase
        Throws:
        java.io.IOException

      • position

        public java.nio.channels.FileChannel position​(long pos)
                                       throws java.io.IOException
        Specified by:
        position in interface java.nio.channels.SeekableByteChannel
        Specified by:
        position in class java.nio.channels.FileChannel
        Throws:
        java.io.IOException

      • truncate

        public java.nio.channels.FileChannel truncate​(long newLength)
                                       throws java.io.IOException
        Specified by:
        truncate in interface java.nio.channels.SeekableByteChannel
        Specified by:
        truncate in class java.nio.channels.FileChannel
        Throws:
        java.io.IOException

      • force

        public void force​(boolean metaData)
           throws java.io.IOException
        Overrides:
        force in class FileBase
        Throws:
        java.io.IOException

      • write

        public int write​(java.nio.ByteBuffer src)
          throws java.io.IOException
        Specified by:
        write in interface java.nio.channels.SeekableByteChannel
        Specified by:
        write in interface java.nio.channels.WritableByteChannel
        Specified by:
        write in class java.nio.channels.FileChannel
        Throws:
        java.io.IOException

      • write

        public int write​(java.nio.ByteBuffer src,
                 long position)
          throws java.io.IOException
        Overrides:
        write in class FileBase
        Throws:
        java.io.IOException

      • tryLock

        public java.nio.channels.FileLock tryLock​(long position,
                                          long size,
                                          boolean shared)
                                   throws java.io.IOException
        Overrides:
        tryLock in class FileBase
        Throws:
        java.io.IOException

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object