Class SerializableList.SerializationRecorder

  • Enclosing interface:
    SerializableList

    public static class SerializableList.SerializationRecorder
    extends java.lang.Object
    • Field Detail

      • queryId

        protected final long queryId
      • isSerialized

        protected boolean isSerialized
      • serializedByteLength

        protected int serializedByteLength
      • serializedElementSize

        protected int serializedElementSize
      • fileName

        protected java.lang.String fileName
      • file

        protected java.io.RandomAccessFile file
      • fileChannel

        protected java.nio.channels.FileChannel fileChannel
    • Constructor Detail

      • SerializationRecorder

        public SerializationRecorder​(long queryId)
    • Method Detail

      • markAsSerialized

        public void markAsSerialized()
      • markAsNotSerialized

        public void markAsNotSerialized()
      • isSerialized

        public boolean isSerialized()
      • setSerializedByteLength

        public void setSerializedByteLength​(int serializedByteLength)
      • getSerializedByteLength

        public int getSerializedByteLength()
      • setSerializedElementSize

        public void setSerializedElementSize​(int serializedElementSize)
      • getSerializedElementSize

        public int getSerializedElementSize()
      • getFile

        public java.io.RandomAccessFile getFile()
                                         throws java.io.IOException
        Throws:
        java.io.IOException
      • closeFile

        public void closeFile()
                       throws java.io.IOException
        Throws:
        java.io.IOException
      • getFileChannel

        public java.nio.channels.FileChannel getFileChannel()
                                                     throws java.io.IOException
        Throws:
        java.io.IOException
      • closeFileChannel

        public void closeFileChannel()
                              throws java.io.IOException
        Throws:
        java.io.IOException
      • getQueryId

        public long getQueryId()