| 1 | <?php |
| 2 | |
| 3 | require_once __DIR__ . "/recibeTexto.php"; |
| 4 | |
| 5 | /** |
| 6 | * Devuelve el valor entero de un parámetro recibido en el |
| 7 | * servidor por medio de GET, POST o cookie. |
| 8 | * |
| 9 | * Si el parámetro no se recibe, devuelve false |
| 10 | * |
| 11 | * Si se recibe una cadena vacía, se devuelve null. |
| 12 | * |
| 13 | * Si parámetro no se puede convertir a entero, se genera |
| 14 | * un error. |
| 15 | */ |
| 16 | function recibeEntero(string $parametro): false|null|int |
| 17 | { |
| 18 | $valor = recibeTexto($parametro); |
| 19 | if ($valor === false) { |
| 20 | return false; |
| 21 | } else { |
| 22 | $valor = trim($valor); |
| 23 | if ($valor === "") { |
| 24 | return null; |
| 25 | } else { |
| 26 | return (int) $valor; |
| 27 | } |
| 28 | } |
| 29 | } |
| 30 |