Class TimePageReader


  • public class TimePageReader
    extends java.lang.Object
    • Field Detail

      • timeDecoder

        protected Decoder timeDecoder
        decoder for time column
      • timeBuffer

        protected java.nio.ByteBuffer timeBuffer
        time column in memory
    • Constructor Detail

      • TimePageReader

        public TimePageReader​(java.nio.ByteBuffer pageData,
                              Decoder timeDecoder)
      • TimePageReader

        public TimePageReader​(PageHeader pageHeader,
                              java.nio.ByteBuffer pageData,
                              Decoder timeDecoder)
    • Method Detail

      • hasNextTime

        public boolean hasNextTime()
                            throws java.io.IOException
        Throws:
        java.io.IOException
      • nextTime

        public long nextTime()
      • nextTimeBatch

        public long[] nextTimeBatch()
                             throws java.io.IOException
        Throws:
        java.io.IOException
      • getNextTimeBatch

        public long[] getNextTimeBatch()
                                throws java.io.IOException
        In case that we use sequence read, and the page doesn't have statistics, so we won't know time array's length at first
        Throws:
        java.io.IOException
      • setDeleteIntervalList

        public void setDeleteIntervalList​(java.util.List<TimeRange> list)
      • getDeleteIntervalList

        public java.util.List<TimeRange> getDeleteIntervalList()
      • isModified

        public boolean isModified()
      • isDeleted

        protected boolean isDeleted​(long timestamp)