Club Delphi  
    FTP   CCD     Buscar   Trucos   Trabajo   Foros

Retroceder   Foros Club Delphi > Otros entornos y lenguajes > Lazarus, FreePascal, Kylix, etc.
Registrarse FAQ Miembros Calendario Guía de estilo Buscar Temas de Hoy Marcar Foros Como Leídos

Respuesta
 
Herramientas Buscar en Tema Desplegado
  #1  
Antiguo 16-04-2009
yoami2003 yoami2003 is offline
Registrado
 
Registrado: mar 2009
Posts: 2
Poder: 0
yoami2003 Va por buen camino
Question 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 !!!!!!!
Responder Con Cita
  #2  
Antiguo 16-04-2009
Avatar de Ñuño Martínez
Ñuño Martínez Ñuño Martínez is offline
Moderador
 
Registrado: jul 2006
Ubicación: Ciudad Catedral, Españistán
Posts: 6.000
Poder: 25
Ñuño Martínez Tiene un aura espectacularÑuño Martínez Tiene un aura espectacular
¡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.
__________________
Proyectos actuales --> Allegro 5 Pascal ¡y Delphi!|MinGRo Game Engine

Última edición por Ñuño Martínez fecha: 16-04-2009 a las 18:46:02. Razón: Enlace a los artículos de Crenshaw
Responder Con Cita
  #3  
Antiguo 20-04-2009
yoami2003 yoami2003 is offline
Registrado
 
Registrado: mar 2009
Posts: 2
Poder: 0
yoami2003 Va por buen camino
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

GRACIAS POR TODO !!!!
Responder Con Cita
  #4  
Antiguo 20-04-2009
Avatar de Ñuño Martínez
Ñuño Martínez Ñuño Martínez is offline
Moderador
 
Registrado: jul 2006
Ubicación: Ciudad Catedral, Españistán
Posts: 6.000
Poder: 25
Ñuño Martínez Tiene un aura espectacularÑuño Martínez Tiene un aura espectacular
Pues me he perdido. Yo es que el Yacc lo dejé porque no llegaba a entenderlo.
__________________
Proyectos actuales --> Allegro 5 Pascal ¡y Delphi!|MinGRo Game Engine
Responder Con Cita
Respuesta


Herramientas Buscar en Tema
Buscar en Tema:

Búsqueda Avanzada
Desplegado

Normas de Publicación
no Puedes crear nuevos temas
no Puedes responder a temas
no Puedes adjuntar archivos
no Puedes editar tus mensajes

El código vB está habilitado
Las caritas están habilitado
Código [IMG] está habilitado
Código HTML está deshabilitado
Saltar a Foro

Temas Similares
Tema Autor Foro Respuestas Último mensaje
[Z80 Pascal] Proyecto de compilador Ñuño Martínez ASM y Microcontroladores 6 11-05-2010 15:37:47
Compilador Pascal Windows/64 bits Andres Valverde Varios 2 19-02-2007 22:24:34
Herramienta para Crear un Compilador ???? AGAG4 Varios 2 05-09-2005 20:15:54
manual de excepciones de object pascal para free pascal??? Garion OOP 3 27-05-2005 01:42:29
Compilador para DirectX Delphi Man C++ Builder 0 10-10-2003 11:57:36


La franja horaria es GMT +2. Ahora son las 15:10:06.


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
Copyright 1996-2007 Club Delphi