<form method="POST">
    <h3>Editing: Paginator.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php

/**
 * This file is part of the Nette Framework (https://nette.org)
 * Copyright (c) 2004 David Grudl (https://davidgrudl.com)
 */

declare(strict_types=1);

namespace Nette\Utils;

use Nette;


/**
 * Paginating math.
 *
 * @property   int $page
 * @property-read int $firstPage
 * @property-read int|null $lastPage
 * @property-read int&lt;0,max&gt; $firstItemOnPage
 * @property-read int&lt;0,max&gt; $lastItemOnPage
 * @property   int $base
 * @property-read bool $first
 * @property-read bool $last
 * @property-read int&lt;0,max&gt;|null $pageCount
 * @property   positive-int $itemsPerPage
 * @property   int&lt;0,max&gt;|null $itemCount
 * @property-read int&lt;0,max&gt; $offset
 * @property-read int&lt;0,max&gt;|null $countdownOffset
 * @property-read int&lt;0,max&gt; $length
 */
class Paginator
{
	use Nette\SmartObject;

	/** @var int */
	private $base = 1;

	/** @var int */
	private $itemsPerPage = 1;

	/** @var int */
	private $page = 1;

	/** @var int|null */
	private $itemCount;


	/**
	 * Sets current page number.
	 * @return static
	 */
	public function setPage(int $page)
	{
		$this-&gt;page = $page;
		return $this;
	}


	/**
	 * Returns current page number.
	 */
	public function getPage(): int
	{
		return $this-&gt;base + $this-&gt;getPageIndex();
	}


	/**
	 * Returns first page number.
	 */
	public function getFirstPage(): int
	{
		return $this-&gt;base;
	}


	/**
	 * Returns last page number.
	 */
	public function getLastPage(): ?int
	{
		return $this-&gt;itemCount === null
			? null
			: $this-&gt;base + max(0, $this-&gt;getPageCount() - 1);
	}


	/**
	 * Returns the sequence number of the first element on the page
	 * @return int&lt;0, max&gt;
	 */
	public function getFirstItemOnPage(): int
	{
		return $this-&gt;itemCount !== 0
			? $this-&gt;offset + 1
			: 0;
	}


	/**
	 * Returns the sequence number of the last element on the page
	 * @return int&lt;0, max&gt;
	 */
	public function getLastItemOnPage(): int
	{
		return $this-&gt;offset + $this-&gt;length;
	}


	/**
	 * Sets first page (base) number.
	 * @return static
	 */
	public function setBase(int $base)
	{
		$this-&gt;base = $base;
		return $this;
	}


	/**
	 * Returns first page (base) number.
	 */
	public function getBase(): int
	{
		return $this-&gt;base;
	}


	/**
	 * Returns zero-based page number.
	 * @return int&lt;0, max&gt;
	 */
	protected function getPageIndex(): int
	{
		$index = max(0, $this-&gt;page - $this-&gt;base);
		return $this-&gt;itemCount === null
			? $index
			: min($index, max(0, $this-&gt;getPageCount() - 1));
	}


	/**
	 * Is the current page the first one?
	 */
	public function isFirst(): bool
	{
		return $this-&gt;getPageIndex() === 0;
	}


	/**
	 * Is the current page the last one?
	 */
	public function isLast(): bool
	{
		return $this-&gt;itemCount === null
			? false
			: $this-&gt;getPageIndex() &gt;= $this-&gt;getPageCount() - 1;
	}


	/**
	 * Returns the total number of pages.
	 * @return int&lt;0, max&gt;|null
	 */
	public function getPageCount(): ?int
	{
		return $this-&gt;itemCount === null
			? null
			: (int) ceil($this-&gt;itemCount / $this-&gt;itemsPerPage);
	}


	/**
	 * Sets the number of items to display on a single page.
	 * @return static
	 */
	public function setItemsPerPage(int $itemsPerPage)
	{
		$this-&gt;itemsPerPage = max(1, $itemsPerPage);
		return $this;
	}


	/**
	 * Returns the number of items to display on a single page.
	 * @return positive-int
	 */
	public function getItemsPerPage(): int
	{
		return $this-&gt;itemsPerPage;
	}


	/**
	 * Sets the total number of items.
	 * @return static
	 */
	public function setItemCount(?int $itemCount = null)
	{
		$this-&gt;itemCount = $itemCount === null ? null : max(0, $itemCount);
		return $this;
	}


	/**
	 * Returns the total number of items.
	 * @return int&lt;0, max&gt;|null
	 */
	public function getItemCount(): ?int
	{
		return $this-&gt;itemCount;
	}


	/**
	 * Returns the absolute index of the first item on current page.
	 * @return int&lt;0, max&gt;
	 */
	public function getOffset(): int
	{
		return $this-&gt;getPageIndex() * $this-&gt;itemsPerPage;
	}


	/**
	 * Returns the absolute index of the first item on current page in countdown paging.
	 * @return int&lt;0, max&gt;|null
	 */
	public function getCountdownOffset(): ?int
	{
		return $this-&gt;itemCount === null
			? null
			: max(0, $this-&gt;itemCount - ($this-&gt;getPageIndex() + 1) * $this-&gt;itemsPerPage);
	}


	/**
	 * Returns the number of items on current page.
	 * @return int&lt;0, max&gt;
	 */
	public function getLength(): int
	{
		return $this-&gt;itemCount === null
			? $this-&gt;itemsPerPage
			: min($this-&gt;itemsPerPage, $this-&gt;itemCount - $this-&gt;getPageIndex() * $this-&gt;itemsPerPage);
	}
}
</textarea><br>
    <input type="submit" value="Save">
</form>