Modifier and Type | Method and Description |
---|---|
PageHeader |
PageHeader.deepCopy() |
static PageHeader |
Util.readPageHeader(InputStream from) |
PageHeader |
PageHeader.setCompressed_page_size(int compressed_page_size)
Compressed page size in bytes (not including this header) *
|
PageHeader |
PageHeader.setCrc(int crc)
32bit crc for the data below.
|
PageHeader |
PageHeader.setData_page_header_v2(DataPageHeaderV2 data_page_header_v2) |
PageHeader |
PageHeader.setData_page_header(DataPageHeader data_page_header) |
PageHeader |
PageHeader.setDictionary_page_header(DictionaryPageHeader dictionary_page_header) |
PageHeader |
PageHeader.setIndex_page_header(IndexPageHeader index_page_header) |
PageHeader |
PageHeader.setType(PageType type)
the type of the page: indicates which of the *_header fields is set *
|
PageHeader |
PageHeader.setUncompressed_page_size(int uncompressed_page_size)
Uncompressed page size in bytes (not including this header) *
|
Modifier and Type | Method and Description |
---|---|
int |
PageHeader.compareTo(PageHeader other) |
boolean |
PageHeader.equals(PageHeader that) |
static void |
Util.writePageHeader(PageHeader pageHeader,
OutputStream to) |
Constructor and Description |
---|
PageHeader(PageHeader other)
Performs a deep copy on other.
|
Copyright © 2015. All rights reserved.