StatisticsOptions
Read onlyYes
FinalYes
The statistics a writer computes, read from Options once for every column chunk builder.
Methods
- __construct() : mixed
- chunk() : Statistics|null
- The column chunk's statistics, none at StatisticsLevel::NONE.
- counter() : StatisticsCounter
- fromOptions() : self
- pageHeader() : Statistics|null
- A data page header's statistics, only at StatisticsLevel::PAGE with Option::PAGE_HEADER_STATISTICS.
- pageIndex() : PageIndexBuilder
- A new page index for one column chunk.
Methods
__construct()
public
__construct(StatisticsLevel $level, bool $pageHeaderStatistics, StatisticsTruncation $truncation, StatisticsTruncation $columnIndexTruncation) : mixed
Parameters
- $level : StatisticsLevel
- $pageHeaderStatistics : bool
- $truncation : StatisticsTruncation
- $columnIndexTruncation : StatisticsTruncation
chunk()
The column chunk's statistics, none at StatisticsLevel::NONE.
public
chunk(StatisticsCounter $chunk) : Statistics|null
Parameters
- $chunk : StatisticsCounter
Return values
Statistics|nullcounter()
public
counter(FlatColumn $column) : StatisticsCounter
Parameters
- $column : FlatColumn
Return values
StatisticsCounterfromOptions()
public
static fromOptions(Options $options) : self
Parameters
- $options : Options
Return values
selfpageHeader()
A data page header's statistics, only at StatisticsLevel::PAGE with Option::PAGE_HEADER_STATISTICS.
public
pageHeader(StatisticsCounter $page) : Statistics|null
Parameters
- $page : StatisticsCounter
Return values
Statistics|nullpageIndex()
A new page index for one column chunk.
public
pageIndex(FlatColumn $column) : PageIndexBuilder
Parameters
- $column : FlatColumn