Algoritmos y Programación en Pascal

9.4. Estructura jerárquica de los subprogramas 199
A
B
C
D
E
Secuencialidad:
(B, C)
(D, E)
Anidamiento:
A(B)
A(C(D))
A(C(E))
Figura 9.4. Subordinación de bloques.
9.4 Estructura jerárquica de los subprogramas
En este apartado se ofrece una visión más teórica y menos técnica de los
conceptos explicados en el apartado 8.5 del capítulo anterior.
Al objeto de poder expresar la estructura arborescente que refleja la jerarquía
entre subprogramas y las características deseables de ocultación de la información
e independencia funcional, ciertos lenguajes de programación (como Pascal) utilizan
una estructura de bloques que permite dividir el programa en partes con
sus propias instrucciones y datos. La disposición de los bloques se puede hacer
en forma secuencial (sin que esta secuencia tenga nada que ver con el orden de
ejecución de los bloques, que vendrá dado por la disposición de las llamadas respectivas),
para los bloques situados en un mismo nivel, o en forma anidada, para
representar la subordinación de los bloques con distintos niveles de anidamiento,
como puede verse en la figura 9.4.
Los lenguajes de programación con estructura de bloques facilitan el cumplimiento
de las condiciones necesarias para alcanzar un elevado nivel de ocultación
de la información:
• Cada bloque subordinado puede contar con sus propios objetos, llamados
objetos locales, a los que los subprogramas superiores no tienen acceso.
• La activación de un subprograma subordinado por la llamada de otro superior
o de su mismo nivel es la única forma posible para ejecutar sus
instrucciones.
• La comunicación entre un bloque y su subordinado puede y debe efectuarse
solamente mediante los parámetros.