| 1 | <?php  | 
            ||
| 11 | class Notification  | 
            ||
| 12 | { | 
            ||
| 13 | private $channel;  | 
            ||
| 14 | private $pid;  | 
            ||
| 15 | private $payload;  | 
            ||
| 16 | |||
| 17 | public function __construct(string $channel, int $pid, ?string $payload)  | 
            ||
| 23 | |||
| 24 | /**  | 
            ||
| 25 | * @return string name of the IPC channel the notification was sent through  | 
            ||
| 26 | */  | 
            ||
| 27 | public function getChannel(): string  | 
            ||
| 31 | |||
| 32 | /**  | 
            ||
| 33 | * @return int ID of the database server process which sent the notification  | 
            ||
| 34 | */  | 
            ||
| 35 | public function getSenderBackendPID(): int  | 
            ||
| 36 |     { | 
            ||
| 37 | return $this->pid;  | 
            ||
| 38 | }  | 
            ||
| 39 | |||
| 40 | /**  | 
            ||
| 41 | * @return string|null the notification payload, or <tt>null</tt> if no payload is contained  | 
            ||
| 42 | */  | 
            ||
| 43 | public function getPayload(): ?string  | 
            ||
| 47 | }  | 
            ||
| 48 |