| 1 | <?php |
||
| 5 | trait Keys |
||
| 6 | { |
||
| 7 | /** |
||
| 8 | * Remove specified keys [Blocking]. |
||
| 9 | * |
||
| 10 | * @param mixed $keys |
||
| 11 | * |
||
| 12 | * @return int Number of keys deleted |
||
| 13 | */ |
||
| 14 | public function del(...$keys): int |
||
| 18 | |||
| 19 | /** |
||
| 20 | * Remove specified keys [Non Blocking]. |
||
| 21 | * |
||
| 22 | * @param mixed $keys |
||
| 23 | * |
||
| 24 | * @return int Number of keys deleted |
||
| 25 | */ |
||
| 26 | public function delete(...$keys): int |
||
| 30 | |||
| 31 | /** |
||
| 32 | * Remove specified keys [NonBlocking]. |
||
| 33 | * |
||
| 34 | * Note: If you are connecting to Redis server >= 4.0.0 you can remove a |
||
| 35 | * key with the unlink method in the exact same way you would use del. |
||
| 36 | * The Redis unlink command is non-blocking and will perform the actual |
||
| 37 | * deletion asynchronously. |
||
| 38 | * |
||
| 39 | * @param mixed $keys |
||
| 40 | * |
||
| 41 | * @return int Number of keys deleted |
||
| 42 | */ |
||
| 43 | public function unlink(...$keys): int |
||
| 47 | |||
| 48 | /** |
||
| 49 | * Return a serialized version of the value stored at the specified key. |
||
| 50 | * |
||
| 51 | * @param string $key |
||
| 52 | * |
||
| 53 | * @return mixed|string|false The Redis encoded value of the key, |
||
| 54 | * or FALSE if the key doesn't exist |
||
| 55 | */ |
||
| 56 | public function dump(string $key) |
||
| 60 | |||
| 61 | /** |
||
| 62 | * Verify if the specified key exists. |
||
| 63 | * |
||
| 64 | * @param mixed] $keys |
||
| 65 | * |
||
| 66 | * @return int |
||
| 67 | */ |
||
| 68 | public function exists(...$keys): int |
||
| 72 | } |
||
| 73 |
In PHP it is possible to write to properties without declaring them. For example, the following is perfectly valid PHP code:
Generally, it is a good practice to explictly declare properties to avoid accidental typos and provide IDE auto-completion: