S2OJ/web/app/models/Paginator.php

211 lines
6.2 KiB
PHP
Raw Normal View History

2016-07-18 16:39:37 +00:00
<?php
class Paginator {
public $n_rows;
public $n_pages;
public $page_len;
public $cur_page;
public $cur_start;
public $max_extend;
2022-11-06 02:26:21 +00:00
public $table_name;
public $cond;
public $col_names;
public $tail;
public $post_filter;
2016-07-18 16:39:37 +00:00
public $table;
2022-11-06 02:26:21 +00:00
public function getPage($page) {
$cur_start = ($page - 1) * $this->page_len;
$table = DB::selectAll([
"select", DB::fields($this->col_names), "from", DB::query_str($this->table_name),
"where", $this->cond,
$this->tail, DB::limit($cur_start, $this->page_len)
]);
if ($this->post_filter === null) {
return $table;
} else {
return array_filter($table, $this->post_filter);
}
}
public function checkPageExists($page) {
if ($page < 1 || $page > $this->n_pages) {
return false;
}
if ($this->post_filter === null) {
return true;
}
$post_filter = $this->post_filter;
$cur_start = ($page - 1) * $this->page_len;
for ($bg = 0; $bg < $this->page_len; $bg += 10) {
$table = DB::selectAll([
"select", DB::fields($this->col_names), "from", DB::query_str($this->table_name),
"where", $this->cond,
$this->tail, DB::limit($cur_start + $bg, min(10, $this->page_len - $bg))
]);
foreach ($table as $entry) {
if ($post_filter($entry)) {
return true;
}
}
}
return false;
}
2016-07-18 16:39:37 +00:00
public function __construct($config) {
2022-11-06 02:26:21 +00:00
$this->max_extend = isset($config['max_extend']) ? (int)$config['max_extend'] : 5;
$this->post_filter = isset($config['post_filter']) ? $config['post_filter'] : null;
if (isset($config['data'])) {
$this->n_pages = 1;
$this->cur_page = 1;
$this->cur_start = 0;
$this->table = $config['data'];
2022-11-06 02:26:21 +00:00
if ($this->post_filter !== null) {
$this->table = array_filter($this->table, $this->post_filter);
}
} elseif (!isset($config['echo_full'])) {
2022-11-06 02:26:21 +00:00
$this->cur_page = UOJRequest::get('page', 'validateUInt', 1);
if ($this->cur_page < 1) {
$this->cur_page = 1;
2022-09-20 09:19:11 +00:00
}
2016-07-18 16:39:37 +00:00
$this->page_len = isset($config['page_len']) ? $config['page_len'] : 10;
2022-11-06 02:26:21 +00:00
$this->table_name = $config['table_name'];
$this->cond = $config['cond'];
$this->col_names = $config['col_names'];
$this->tail = $config['tail'];
$this->n_rows = DB::selectCount([
"select", "count(*)",
"from", DB::query_str($this->table_name),
"where", $this->cond,
$this->tail,
]);
$this->n_pages = max((int)ceil($this->n_rows / $this->page_len), 1);
while ($this->n_pages > 1 && !$this->checkPageExists($this->n_pages)) {
$this->n_pages--;
}
if ($this->cur_page > $this->n_pages) {
2016-07-18 16:39:37 +00:00
$this->cur_page = $this->n_pages;
}
2022-11-06 02:26:21 +00:00
while (true) {
$this->table = $this->getPage($this->cur_page);
if ($this->table || $this->cur_page == 1) {
break;
}
$this->cur_page--;
}
2016-07-18 16:39:37 +00:00
$this->cur_start = ($this->cur_page - 1) * $this->page_len;
} else {
$this->n_pages = 1;
$this->cur_page = 1;
2022-11-06 02:26:21 +00:00
$this->cur_start = 0;
$this->table = DB::selectAll([
"select", DB::fields($config['col_names']), "from", DB::query_str($config['table_name']),
"where", $config['cond'],
$config['tail']
]);
if ($this->post_filter !== null) {
$this->table = array_filter($this->table, $this->post_filter);
}
2016-07-18 16:39:37 +00:00
}
}
2022-11-06 02:26:21 +00:00
2016-07-18 16:39:37 +00:00
public function getPageRawUri($page) {
$path = strtok($_SERVER["REQUEST_URI"], '?');
$query_string = strtok('?');
parse_str($query_string, $param);
2022-11-06 02:26:21 +00:00
2016-07-18 16:39:37 +00:00
$param['page'] = $page;
2020-06-25 12:41:16 +00:00
if ($page == 1) {
2016-07-18 16:39:37 +00:00
unset($param['page']);
2020-06-25 12:41:16 +00:00
}
2022-11-06 02:26:21 +00:00
2016-07-18 16:39:37 +00:00
if ($param) {
return $path . '?' . http_build_query($param);
} else {
return $path;
}
}
public function getPageUri($page) {
return HTML::escape($this->getPageRawUri($page));
}
2022-11-06 02:26:21 +00:00
public function get($limit = -1) {
2016-07-18 16:39:37 +00:00
$cur_idx = $this->cur_start + 1;
2022-11-06 02:26:21 +00:00
foreach ($this->table as $row) {
if ($limit != -1 && $cur_idx - $this->cur_start > $limit) {
break;
}
2016-07-18 16:39:37 +00:00
yield $cur_idx++ => $row;
}
}
public function isEmpty() {
return empty($this->table);
}
2022-11-06 02:26:21 +00:00
public function countInCurPage() {
return count($this->table);
}
2022-09-24 00:13:39 +00:00
2022-11-06 02:26:21 +00:00
public function pagination() {
2016-07-18 16:39:37 +00:00
if ($this->n_pages == 1) {
return '';
}
2022-11-06 02:26:21 +00:00
$prev_page = false;
$next_page = false;
$main_lis = '';
$page_st = $this->cur_page - $this->max_extend;
$page_ed = $this->cur_page + $this->max_extend;
if ($this->n_pages <= $this->max_extend * 2 + 1) {
$page_st = 1;
$page_ed = $this->n_pages;
} elseif ($page_st < 1) {
$page_st = 1;
$page_ed = $this->max_extend * 2 + 1;
} elseif ($page_ed > $this->n_pages) {
$page_st = $this->n_pages - $this->max_extend * 2;
$page_ed = $this->n_pages;
2016-07-18 16:39:37 +00:00
}
2022-11-06 02:26:21 +00:00
for ($i = $page_st; $i <= $page_ed; $i++) {
2016-07-18 16:39:37 +00:00
if ($i == $this->cur_page) {
2022-11-06 02:26:21 +00:00
$main_lis .= '<li class="page-item active"><a class="page-link" href="' . $this->getPageUri($i) . '">' . $i . '</a></li>';
2016-07-18 16:39:37 +00:00
} else {
2022-11-06 02:26:21 +00:00
if ($this->checkPageExists($i)) {
$main_lis .= '<li class="page-item"><a class="page-link" href="' . $this->getPageUri($i) . '">' . $i . '</a></li>';
if ($i < $this->cur_page) {
$prev_page = $i;
} elseif ($next_page === false) {
$next_page = $i;
}
}
2016-07-18 16:39:37 +00:00
}
}
2022-09-24 00:13:39 +00:00
2022-11-06 02:26:21 +00:00
$html = '';
$html .= '<ul class="pagination my-0 justify-content-center">';
if ($prev_page !== false) {
$html .= '<li class="page-item"><a class="page-link" href="' . $this->getPageUri(1) . '""><i class="bi bi-chevron-double-left"></i></a></li>';
$html .= '<li class="page-item"><a class="page-link" href="' . $this->getPageUri($prev_page) . '"><i class="bi bi-chevron-left"></i></a></li>';
2016-07-18 16:39:37 +00:00
} else {
2022-11-06 02:26:21 +00:00
$html .= '<li class="page-item disabled"><a class="page-link"><i class="bi bi-chevron-double-left"></i></a></li>';
$html .= '<li class="page-item disabled"><a class="page-link"><i class="bi bi-chevron-left"></i></a></li>';
}
$html .= $main_lis;
if ($next_page !== false) {
$html .= '<li class="page-item"><a class="page-link" href="' . $this->getPageUri($next_page) . '"><i class="bi bi-chevron-right"></i></a></li>';
$html .= '<li class="page-item"><a class="page-link" href="' . $this->getPageUri($this->n_pages) . '"><i class="bi bi-chevron-double-right"></i></a></li>';
} else {
$html .= '<li class="page-item disabled"><a class="page-link"><i class="bi bi-chevron-right"></i></a></li>';
$html .= '<li class="page-item disabled"><a class="page-link"><i class="bi bi-chevron-double-right"></i></a></li>';
2016-07-18 16:39:37 +00:00
}
$html .= '</ul>';
return $html;
}
}