| 1 | <?php |
| 2 | |
| 3 | require_once __DIR__ . "/leeTexto.php"; |
| 4 | |
| 5 | /** |
| 6 | * Recupera el valor decimal de un parámetro |
| 7 | * (que puede tener fracciones) enviado al |
| 8 | * servidor por medio de GET, POST o cookie. |
| 9 | * Si parámetro no se puede convertir a decimal, |
| 10 | * se genera un error. Si el parámetro no se |
| 11 | * recibe, devuelve null. |
| 12 | * Para que funcione parecido a leeEntero, |
| 13 | * si se recibe una cadena vacía, se devuelve |
| 14 | * null. |
| 15 | */ |
| 16 | function leeDecimal(string $parametro): ?float |
| 17 | { |
| 18 | $valor = leeTexto($parametro); |
| 19 | return $valor === null|| $valor === "" |
| 20 | ? null |
| 21 | : trim($valor); |
| 22 | } |
| 23 |