­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ pointer = $pointer; $this->lastTokenPointer = $lastTokenPointer; } public function getPointer(): int { return $this->pointer; } public function getLastTokenPointer(): int { return $this->lastTokenPointer; } }