Algoritmos y Programación en Pascal

196 Capítulo 9. Programación con subprogramas
sustantivos para las funciones (como LetraMayuscula), salvo las booleanas,
que se indican con predicados (por ejemplo EsDiaLaborable).
• También en el encabezamiento, los parámetros deben nombrarse adecuadamente,
y su tipo y modo ya ofrecen una información sobre los datos y
resultados.
• Además del tipo, frecuentemente los datos deben acogerse a ciertos requisitos
(precondición del subprograma), lo que se indicará en forma de
comentario:
function Division (numerador, denominador: integer): integer;
{PreC.: denominador 0}
• Cuando el identificador del subprograma deje lugar a dudas sobre su cometido,
se indicará con otro comentario. En el caso de las funciones, indicando
el valor que calculan:
function Division (numerador, denominador: integer): integer;
{Dev. el cociente de la división entera entre numerador y
denominador}
ya sea informal o formalmente. Y en el caso de los procedimientos, se indicará
qué efecto tienen y qué parámetros se modifican cuando sea necesario:
procedure Dividir (num, den: integer; var coc, resto: integer);
{Efecto: coc:= cociente entero de la división num/den
resto:= resto de la división entera num/den}
9.3.4 Tamaño de los subprogramas
En general, el tamaño depende de lo complicado que sea el problema, siendo
aconsejable descomponer un problema de complejidad considerable en subproblemas.
Si los subprogramas obtenidos en una primera descomposición son excesivamente
complejos, pueden descomponerse a su vez en nuevos subprogramas
auxiliares que son llamados por los subprogramas de los que proceden. Sin embargo,
esta división no puede proseguir indefinidamente, puesto que también
aumenta el esfuerzo necesario para enlazarlas. Se debe parar la descomposición
cuando el problema por resolver no presente especial dificultad o afronte una
tarea de difícil descomposición en partes. 1
1 Aunque es difícil hablar de tamaño físico, rara vez se requieren subprogramas que supere
una página de extensión (en Pascal), si bien éste es un valor relativo que depende además de la
expresividad del lenguaje adoptado.