Class PageHeader


  • public class PageHeader
    extends java.lang.Object
    • Constructor Detail

      • PageHeader

        public PageHeader​(int uncompressedSize,
                          int compressedSize,
                          Statistics<? extends java.io.Serializable> statistics)
    • Method Detail

      • estimateMaxPageHeaderSizeWithoutStatistics

        public static int estimateMaxPageHeaderSizeWithoutStatistics()
        max page header size without statistics.
      • deserializeFrom

        public static PageHeader deserializeFrom​(java.io.InputStream inputStream,
                                                 TSDataType dataType,
                                                 boolean hasStatistic)
                                          throws java.io.IOException
        Throws:
        java.io.IOException
      • deserializeFrom

        public static PageHeader deserializeFrom​(java.nio.ByteBuffer buffer,
                                                 TSDataType dataType)
      • deserializeFrom

        public static PageHeader deserializeFrom​(java.nio.ByteBuffer buffer,
                                                 Statistics<? extends java.io.Serializable> chunkStatistic)
      • getUncompressedSize

        public int getUncompressedSize()
      • setUncompressedSize

        public void setUncompressedSize​(int uncompressedSize)
      • getCompressedSize

        public int getCompressedSize()
      • setCompressedSize

        public void setCompressedSize​(int compressedSize)
      • getNumOfValues

        public long getNumOfValues()
      • getStatistics

        public Statistics<? extends java.io.Serializable> getStatistics()
      • getEndTime

        public long getEndTime()
      • getStartTime

        public long getStartTime()
      • serializeTo

        public int serializeTo​(java.io.OutputStream outputStream)
                        throws java.io.IOException
        Throws:
        java.io.IOException
      • toString

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

        public boolean isModified()
      • setModified

        public void setModified​(boolean modified)
      • getSerializedPageSize

        public int getSerializedPageSize()
        max page header size without statistics.