Warning: session_start(): Session cannot be started after headers have already been sent in /home/tvrreohg/public_html/manga.php on line 13
|null
*/
protected $lineNumber;
/**
* @var int<0, max>|null
*/
protected $columnNumber;
/**
* @return int<1, max>|null
*/
public function getLineNumber(): ?int
{
return $this->lineNumber;
}
/**
* @return int<0, max>|null
*/
public function getColumnNumber(): ?int
{
return $this->columnNumber;
}
/**
* @param int<1, max>|null $lineNumber
* @param int<0, max>|null $columnNumber
*
* @return $this fluent interface
*/
public function setPosition(?int $lineNumber, ?int $columnNumber = null): Positionable
{
$this->lineNumber = $lineNumber;
$this->columnNumber = $columnNumber;
return $this;
}
}