| 1 | <?php |
| 2 | |
| 3 | require_once __DIR__ . "/leeTexto.php"; |
| 4 | |
| 5 | /** |
| 6 | * Devuelve el valor entero de un parámetro |
| 7 | * recibido en el servidor por medio de GET, |
| 8 | * POST o cookie. Si parámetro no se puede |
| 9 | * convertir a entero, se genera un error. |
| 10 | * Si el parámetro no se recibe, devuelve |
| 11 | * null. |
| 12 | * Para que las llaves foráneas fucionen bien, |
| 13 | * si se recibe una cadena vacía, se devuelve |
| 14 | * null. |
| 15 | */ |
| 16 | function leeEntero(string $parametro): ?int |
| 17 | { |
| 18 | $valor = leeTexto($parametro); |
| 19 | return $valor === null || $valor === "" |
| 20 | ? null |
| 21 | : trim($valor); |
| 22 | } |
| 23 |