Changes between Version 14 and Version 15 of CaoCourseTme3

Timestamp:

Feb 17, 2007, 4:20:46 PM (18 years ago)

Author:

alain

Comment:

--

CaoCourseTme3

@@ -8 +8 @@
 
 L'objectif de ce TME est de vous familiariser avec les outils '''flex''' et '''bison''',
-qui sont des outils de la distribution GNU permettant de générer automatiquement des
-''scanners'' (un scanner est un analyseur lexical) et des ''parsers'' (un parser est un analyseur
-syntaxique) pour différents formats de fichiers.
-
-Vous allez développer un analyseur lexical (scanner), puis un analyseur syntaxique (parser)
+qui sont des outils de la distribution GNU permettant de générer automatiquement des 
+analyseurs lexicaux (ou "scanners") et des analyseurs syntaxiques (ou ''parsers'')
+pour différents formats de fichiers.
+
+Vous allez développer un analyseur lexical, puis un analyseur syntaxique
 pour le sous-ensemble du  langage VHDL utilisé  par la chaîne de CAO Alliance 
 pour décrire la vue structurelle (format ''.vst''). La structure de donnée construite en mémoire est 
@@ -29 +29 @@
 Le sous-ensemble de VHDL visé permet de décrire des composants possédant des ports
 d'entrée/sortie, des signaux, et d'instancier ces composants en les connectants par les signaux.
-On fait l'hypothèse que tous les signaux sont de type bit, et il n'est donc pas demandé de traiter les vecteurs de bits.
+On fait l'hypothèse que tous les signaux sont de type bit, et il n'est donc pas demandé de traiter 
+les vecteurs de bits.
 
 Dans ce TME3, on se limitera à l'analyse grammaticale du format''.vst''. La construction effective
@@ -107 +108 @@
 Validez votre travail en lançant l'analyseur lexical sur les fichiers ''signal.vst'' et ''exemple.vst''.
 {{{
-$ scanner signal.vst
+$ scanner ../signal.vst
 }}}
 
@@ -125 +126 @@
   * Modifier la fonction main() pour qu'elle affiche le type des tokens reconnus. On rappelle que ''yylex'' retourne 0 lorsque la fin de fichier est lue.
   * Lancer cette nouvelle version de l'analyseur lexical sur les fichiers ''exemple.vst'' et ''signal.vst''.
+{{{
+$ scanner ../exemple.vst
+}}}
 
 = Etape 3 : Analyseur syntaxique =
@@ -138 +142 @@
 (une liste de signaux dans notre cas).
 
-  1. Définir les règles de grammaire correspondant a la déclaration des signaux en analysant le contenu du fichier ''signal.vst'' qui vous est fourni, et implanter ces règles dans le fichier ''vst.y''. On définira successivement la règle décrivant un signal, puis la règle décrivant une liste de signaux.
-  1. Dans le fichier ''vst.y'', compléter la déclaration des différents token utilisés par le parser susceptibles d'être reconnus par le scanner.
-  1. Comme aucune action n'a été associée à chacune des règles de grammaire, vous utiliserez  le mode debug de '''bison''' pour vérifier que l'analyse se passe bien. Pour activer ce mode, il faut utiliser l'option -t sur la ligne de commande de '''bison''' et affecter une valeur non-nulle à la variable globale yydebug dans la fonction main().
-  1. Il faut par ailleurs que '''bison''' fournisse à '''flex''' la liste des tokens qu'il utilise. Pour cela, il faut utiliser l'option -d dans la ligne de commande de '''bison''', pour lui demander de générer un fichier ''vst.tab.h' contenant ces définitions. Il faut également modifier le fichier ''vst.l'' pour inclure le fichier ''vst.tab.h'' soit inclus dans le fichier ''vst.l'' et supprimer les définitions  de token existantes dans ''vst.l''.
-  1. Il faut enfin modifier la fonction main(), qui est maintenant définie dans le fichier ''vst.y'', et doit appeller la fonction yyparse().
+  1. Déclarez dans le fichier ''vst.y'', les différents token utilisés par le parser susceptibles d'être reconnus par le scanner.
+  1. Définissez les deux règles de grammaire correspondant a la déclaration d'une liste de signaux, et implanter ces règles dans le fichier ''vst.y''. On définira successivement la règle décrivant un signal, puis la règle décrivant une liste de signaux. '''Bison''' permet d'associer à chaque règle une "action de compilation" qui est exécutée pendant l'analyse du fichier, au moment ou la règle est reconnue, mais dans cette première étape, on n'associera aucune action aux deux régles définies.
+  1. La fonction main() est maintenant définie dans le fichier ''vst.y'', et doit appeller la fonction yyparse(). Il faut donc modifier la dernière partie du fichier du fichier ''vst.l'', qui ne contient plus que la définition de la fonction
 
 Voici une ébauche du fichier ''vst.y'' que vous devez modifier et compléter:
@@ -148 +150 @@
 %{
 #include <string.h>
+#include <stdlib.h>
 #include <stdio.h>
 
@@ -161 +164 @@
 %}
 
-%token ...
-
-%%
-prod : regle TOKEN 
-     | ...
-     ;
+%token ... déclarer ici les differents types de token
+
+%%
+
+... ecrire ici les règles grammaticales
+
 %%
 
@@ -185 +188 @@
 }
 }}}
-La compilation s'effectue comme suit, à charge pour vous d'intégrer cela dans le Makefile.
-Nous vous rappellons que la compilation de '''flex''' doit dépendre du fichier d'entête généré par '''bison'''.
+
+La compilation s'effectue comme suit, à charge pour vous d'intégrer ces commandes dans le Makefile.
+  * L'option -d sur la ligne de commande de '''bison''' active le mode debug, qui vous permet de suivre le déroulement de l'analyse syntaxique du fichier. Il faut de plus affecter une valeur non-nulle à la variable globale yydebug dans la fonction main().
+  * L'option -t sur la ligne de commande de '''bison''' demande à '''bison''' de générer un  fichier ''vst.tab.h''. Ce fichier est utilisé par '''flex''', et contient la définition des "tokens" utilisés par '''bison'''. Ce fichier doit être inclus dans l'en-tête du fichier ''vst.l'', et la compilation de '''flex''' doit dépendre de ce fichier ''vst.tab.h'' généré par '''bison'''.
 {{{
 bison -t -d vst.y 
 gcc -Wall -Werror -o parser vst.tab.c vst.yy.c -lfl
 }}}
+Validez l'ensemble en lançant l'analyse syntaxique du fichier ''signal.vst'':
+{{{
+$ parser ../signal.vst
+}}}
+  1. Lancez l'analyse du fichier ''signal.vst'' en utilisant les deux options - t  et -d.N'associez aucune action aux deux règles de grammaire. Utilisez  le mode debug de '''bison''' pour vérifier que l'analyse se passe bien. Pour activer ce mode, il faut utiliser l'option -t sur la ligne de commande de '''bison''' et affecter une valeur non-nulle à la variable globale yydebug dans la fonction main().
+  1. Il faut par ailleurs que '''bison''' fournisse à '''flex''' la liste des tokens qu'il utilise. Pour cela, il faut utiliser l'option -d dans la ligne de commande de '''bison''', pour lui demander de générer un fichier ''v' contenant ces définitions. Il faut également modifier le fichier ''vst.l'' pour inclure le fichier ''vst.tab.h'' soit inclus dans le fichier ''vst.l'' et supprimer les définitions  de token existantes dans ''vst.l''.
 
 = Etape 4 : Modification de l'analyseur syntaxique =