¡Pues sí que empiezas fuerte!
Todo lo que preguntas puede solucionarse "siguiendo la pista".
Para empezar tienes que crear una estructura que permita almacenar la información de cada objeto: Nombre, tipo, ámbito, parámetros... Luego debes mantener contenedores donde vas introduciendo estos objetos según se van declarando.
Luego debes tener un sistema (una variable o propiedad) que te permita seguir la pista al ámbito en el que se encuentra el analizador sintáctico, esto es, saber si estamos analizando un procemimiento, un registro, una clase, etc., así como la unidad. De esta forma, cuando el analizador encuentre un objeto deberá buscarlos en los contenedores, comprobando que el ámbito del objeto encontrado es accesible desde el ámbito en el que se encuentra el analizador.
Curiosamente yo mismo me encuentro en esa misma tesitura (mira mi firma, un poco más abajo), solo que mi analizador es recursivo y no dirigido por tablas, como el tuyo. Las ventajas de mi aproximación frente a la tuya son que es más fácil de depurar y que el ámbito puede deducirse a partir de la función en curso (Lo que
Crenshaw describe como
"Si es miércoles entonces estoy en Dinamarca"). La desventaja es que es más tedioso porque lo estoy haciendo a mano (podría utilizar Coco/R, pero no compila con Free Pascal
).
¿Complicado? Pues sí, lo es. Precisamente
Compiladores suele ser uno de los temas/asignaturas más complejas de la carrera universitaria.
He dejado mi proyecto un poco
in albis porque estoy intentando finalizar otro proyecto antes.