| 1 | <?php |
||
| 21 | class Workspace |
||
| 22 | { |
||
| 23 | /** |
||
| 24 | * @var string |
||
| 25 | */ |
||
| 26 | private $url; |
||
| 27 | |||
| 28 | /** |
||
| 29 | * @var string|null |
||
| 30 | */ |
||
| 31 | private $defaultIcon; |
||
| 32 | |||
| 33 | /** |
||
| 34 | * @var string|null |
||
| 35 | */ |
||
| 36 | private $defaultUser; |
||
| 37 | |||
| 38 | /** |
||
| 39 | * Workspace constructor. |
||
| 40 | * |
||
| 41 | * @param string $url |
||
| 42 | * @param string|null $defaultIcon |
||
| 43 | * @param string|null $defaultUser |
||
| 44 | */ |
||
| 45 | public function __construct(string $url, string $defaultIcon = null, string $defaultUser = null) |
||
| 51 | |||
| 52 | /** |
||
| 53 | * @return string |
||
| 54 | */ |
||
| 55 | public function getUrl(): string |
||
| 59 | |||
| 60 | /** |
||
| 61 | * @return string|null |
||
| 62 | */ |
||
| 63 | public function getDefaultIcon() |
||
| 67 | |||
| 68 | /** |
||
| 69 | * @return string|null |
||
| 70 | */ |
||
| 71 | public function getDefaultUser() |
||
| 75 | } |
||
| 76 |