player = $player; } /** * Returns the destination server address. This could be an IP or a domain name. */ public function getAddress() : string{ return $this->address; } /** * Sets the destination server address. */ public function setAddress(string $address) : void{ $this->address = $address; } /** * Returns the destination server port. */ public function getPort() : int{ return $this->port; } /** * Sets the destination server port. */ public function setPort(int $port) : void{ $this->port = $port; } /** * Returns the disconnect reason shown in the server log and on the console. */ public function getMessage() : string{ return $this->message; } /** * Sets the disconnect reason shown in the server log and on the console. */ public function setMessage(string $message) : void{ $this->message = $message; } }