| 1 | <?php |
||
| 13 | class ExitEvent extends Event |
||
| 14 | { |
||
| 15 | /** |
||
| 16 | * @var int |
||
| 17 | */ |
||
| 18 | protected $pid; |
||
| 19 | |||
| 20 | /** |
||
| 21 | * @var int |
||
| 22 | */ |
||
| 23 | protected $status; |
||
| 24 | |||
| 25 | 10 | public function __construct(int $pid, int $status) |
|
| 32 | |||
| 33 | 8 | public function getPid() : int |
|
| 37 | |||
| 38 | 8 | public function getStatus() : int |
|
| 42 | |||
| 43 | 8 | public function getExitCode() : int |
|
| 47 | |||
| 48 | 8 | public function getExitSignal() : int |
|
| 56 | |||
| 57 | 8 | public function isNormalExit() : bool |
|
| 61 | |||
| 62 | 8 | public function isSignalExit() : bool |
|
| 66 | } |
||
| 67 |