Foros Club Delphi

Foros Club Delphi (https://www.clubdelphi.com/foros/index.php)
-   Lazarus, FreePascal, Kylix, etc. (https://www.clubdelphi.com/foros/forumdisplay.php?f=14)
-   -   Compilador para pascal con lex y yacc (https://www.clubdelphi.com/foros/showthread.php?t=64730)

yoami2003 16-04-2009 13:11:45

Compilador para pascal con lex y yacc
 
Hola a todos!!
Estoy haciendo un compilador en pascal utilizando lex y yacc.
Por ahora he conseguido completar el análisis léxico y el sintáctico pero a la hora de hacer el semántico me encuentro con varios problemas.
1º.- No se como puedo saber el ambito de las variables para poder averiguar en que función o procedimiento han sido declaradas y asi poder saber si las variables han sido declaradas antes de su uso.

2º.-Comprobar que las llamadas a los subprogramas son correctas respecto
al número y tipo de los parámetros.

3º.-Comprobar que el paso por referencia es correcto. Por ejemplo, debe
comprobarse que no se pasa una constante por referencia y debe tenerse
en cuenta que una variable que se pasa por referencia puede inicializarse
en la llamada a esa función.

Agradezco la ayuda y cualquier "pista" acerca de como poder hacer todo esto.

1 SALUDO Y GRACIAS POR TODO !!!!!!! :)

Ñuño Martínez 16-04-2009 18:40:22

¡Pues sí que empiezas fuerte! :eek:

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. :p;):D

He dejado mi proyecto un poco in albis porque estoy intentando finalizar otro proyecto antes.

yoami2003 20-04-2009 19:11:07

Re: COmpilador
 
Lo primero y más importante,
-GRACIAS POR RESPONDER !!!!!
He intentado seguir tus consejos pero tengo un problema. Algo parecido se me ocurrio a mi pero no pude hacerlo por lo siguiente:
.-El analizador sintactico de yacc estudia las estructuras de abajo a arriba x ej:
tenemos: function abb (a,b):integer;
en las declaraciones de yacc:
'function' ID '(' listaID ')' ':' tipo ';'
listaid: ID
| ID ',' ID
....
Lo primero que encontraria seria un ID que encuadraria en listaid pero al ser el id lo primero en ser localizado no se puede saber si ese ID pertenece al parametro de de un procedimiento, a una declaracion o a otra cosa.
Ese es el problema, que al encontrar un ID, sepa que es y a donde pertenece.

No se si soy muy claro pero si no me explico bien te lo redacto mejor :rolleyes:

GRACIAS POR TODO !!!!

Ñuño Martínez 20-04-2009 19:18:19

Pues me he perdido. Yo es que el Yacc lo dejé porque no llegaba a entenderlo.


La franja horaria es GMT +2. Ahora son las 15:44:45.

Powered by vBulletin® Version 3.6.8
Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Traducción al castellano por el equipo de moderadores del Club Delphi