Exemple de table des symboles

Code LSD010 analysé

  1. void main()
  2. {
  3.   {
  4.     integer k;
  5.     boolean b;
  6.     void foo()
  7.     {
  8.       {
  9.         integer k;
  10.         void foo2(){{}}
  11.       }
  12.       return(true);
  13.     }
  14.     integer foo;
  15.     boolean foo3;
  16.   }
  17.   k=2;
  18.   foo3=b;
  19.   b=3<k;
  20. }

Affichage console de l'analyse


;
; LSD010 Compiler [SSHD09]
;
;
; Creating Symbols Table
; Using Test file...true
; Calling yyparse()
; End of yyparse execution;
; Filling Table of symbol...
; Warning : 'Print tree not requested (use DEB_I level minimum to print it)' On lsd10.y, Line 616
; -------------------------------------------------------------
;
; Checking types...
;
; Adding main declaration into symbols table on symbolsTable.c, line 236;
; Adding k declaration into symbols table on symbolsTable.c, line 236;
; Adding b declaration into symbols table on symbolsTable.c, line 236;
; Adding foo declaration into symbols table on symbolsTable.c, line 236
; Adding k declaration into symbols table on symbolsTable.c, line 236
;------A scope exists for k (k);
; Adding foo declaration into symbols table on symbolsTable.c, line 236;
; Adding foo3 declaration into symbols table on symbolsTable.c, line 236
;------Collision detected for foo3 hash (foo2 found on 0x8dcb0d8)
;Search for k (0x8dcfd58) on 1 scope (0x8dcb0c8)
;------Nothing found for k (0x8dcfd58) on 1 scope
;------Try to search on parent scope for k (0x8dcfd58) on 0x8dcb068
;Search for k (0x8dcfd58) on 1 scope (0x8dcb068)
;------Found k (0x8dcfd58)
;Search for foo3 (0x8dcfe40) on 1 scope (0x8dcb118)
;------Found foo3 (0x8dcfe40)
;Search for b (0x8dcfe98) on 1 scope (0x8dcb088)
;------Found b (0x8dcfe98)
;Search for b (0x8dcff38) on 1 scope (0x8dcb088)
;------Found b (0x8dcff38)
;Search for k (0x8dcffd8) on 1 scope (0x8dcb0c8)
;------Nothing found for k (0x8dcffd8) on 1 scope
;------Try to search on parent scope for k (0x8dcffd8) on 0x8dcb068
;------Search for k (0x8dcffd8) on 1 scope (0x8dcb068)
;------Found k (0x8dcffd8)
; ...OK Types check done
;
; Cleaning memory...
; ...OK Memory cleaned
;
;
; Parsing started at Thu Jul 22 15:41:44 2010
; 647 lines 10500 chars parsed in 0.12 seconds
; Verbose set on "Minimum excution messages" level
;
; That's All Folks!
OK

Nous pouvons remarquer que le compilateur a détecté une re-déclaration de la variable k en cours d'analyse.
En effet, elle est déclarée à la ligne 4 dans la fonction main, et elle est masquée par une nouvelle déclaration dans une portée inférieure ligne 9 dans la fonction foo. Comme le compilateur avait déjà créé une entrée dans la table des symboles, il lui a suffit d'ajouter la nouvelle déclaration au sommet de la pile de portées.

Notre implémentation nous retourne une adresse différente pour des fonctions ou des variables, ce qui fait que la déclaration de la variable foo ne se trouve pas en conflit avec la déclaration de la fonction foo.

Comme l'algorithme de hachage de la table de symboles ne nous assure pas forcément des résultats différents pour des identifiants différents, nous pouvons avoir des collisions. C'est ce que nous pouvons constater ici avec la déclaration de la variable foo3 qui produit le même résultat que la déclaration de la fonction foo2. Ce n'est pas un problème car nous utilisons une liste chaînée pour gérer les collisions.

 

AST [“Abstract Syntaxic Tree”2] généré

Partie récursive de l'AST

Nous pouvons voir sur cette image que notre AST est un arbre syntaxique réduit. En effet, certains tests lors de l'analyse permettent de ne pas créer certains nœuds inutiles.

Le nœud racine est représenté par un double cercle, les nœuds fils de droite par un rectangle, et les fils de gauche par un hexagone. De plus, les déclarations sont dans une autre couleur.

 

Etats de la table des symboles LSD010

Le compilateur permet de générer un document HTML qui reprend les différents états de la table de symboles, afin de faciliter la recherche d'erreurs et la compréhension deson fonctionnement.

Quand au moins deux cellules contiguës de la table sont comportent des valeurs nulles, une ellipse est automatiquement effectuée afin de faciliter la lecture.

 

Entrée dans la portée (portée actuelle : 1)-

IndexListe chaînée de SymTableEntry
0…86NULL
87Pile du symbole  main
PortéeLigneCol
018
88…99NULL

 

Entrée dans la portée (portée actuelle : 2)-

IndexListe chaînée de SymTableEntry
0Pile du symbole  foo
PortéeLigneCol
167
1…6NULL
7Pile du symbole  k
PortéeLigneCol
149
8…86NULL
87Pile du symbole  main
PortéeLigneCol
018
88…97NULL
98Pile du symbole  b
PortéeLigneCol
159
99NULL

 

Entrée dans la portée (portée actuelle : 3)-

IndexListe chaînée de SymTableEntry
0Pile du symbole  foo
PortéeLigneCol
167
1…6NULL
7Pile du symbole  k
PortéeLigneCol
299
149
8…34NULL
35Pile du symbole  foo2
PortéeLigneCol
2108
36…86NULL
87Pile du symbole  main
PortéeLigneCol
018
88…97NULL
98Pile du symbole  b
PortéeLigneCol
159
99NULL

 

Sortie de la portée; déclarations non supprimées de la table (portée actuelle : 2)-

IndexListe chaînée de SymTableEntry
0Pile du symbole  foo
PortéeLigneCol
167
1…6NULL
7Pile du symbole  k
PortéeLigneCol
299
149
8…34NULL
35Pile du symbole  foo2
PortéeLigneCol
2108
36…86NULL
87Pile du symbole  main
PortéeLigneCol
018
88…97NULL
98Pile du symbole  b
PortéeLigneCol
159
99NULL

 

Sortie de la portée; déclarations non supprimées de la table (portée actuelle : 1)-

IndexListe chaînée de SymTableEntry
0Pile du symbole  foo
PortéeLigneCol
167
1…6NULL
7Pile du symbole  k
PortéeLigneCol
299
149
8…34NULL
35Pile du symbole  foo2
PortéeLigneCol
2108
36…86NULL
87Pile du symbole  main
PortéeLigneCol
018
88…97NULL
98Pile du symbole  b
PortéeLigneCol
159
99NULL

 

Sortie de la portée; déclarations non supprimées de la table (portée actuelle : 0)-

IndexListe chaînée de SymTableEntry
0Pile du symbole  foo
PortéeLigneCol
167
1…6NULL
7Pile du symbole  k
PortéeLigneCol
299
149
8…34NULL
35Pile du symbole  foo3
PortéeLigneCol
11512
Pile du symbole  foo2
PortéeLigneCol
2108
36…86NULL
87Pile du symbole  main
PortéeLigneCol
018
88…97NULL
98Pile du symbole  b
PortéeLigneCol
159
99Pile du symbole  foo
PortéeLigneCol
11411

 

 

Document créé le 22/07/2010, dernière modification le 28/10/2018
Source du document imprimé : https://www.gaudry.be/langages-table-des-symboles-exemple.html

L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.

Notes

  1. a,b LSD010 : Langage Simple et Didactique Il existe une un certain nombre d'interprétations de l'acronyme LSD (Langage Symbolique Didactique, Langage Sans Difficulté, Langage Simple et Didactique). LSD010 est la version 2010 de la suite LSD80, LSD_02, LSD03, LSD04, LSD05, LSD06, LSD07, LSD08, et LSD09.

  2. a,b,c Abstract Syntaxic Tree : correspond à « arbre syntaxique abstrait » en français

  3. a,b AST : “Abstract Syntaxic Tree” (en français, « arbre syntaxique abstrait »)

 

Références

  1. livre Langue du document :fr IHDCB332 - Théorie des langages : Syntaxe et sémantique : PY Schobbens, Syntaxe et sémantique (January 2010)
  2. livre Langue du document :fr Compilateurs : Dick Grune, Henry E. Bal, Ceriel J.H. Jacobs, Koen G. Langendoen, Cours et exercices corrigés
  3. livre Langue du document :fr Compilateurs : A. Aho, M. Lam, R. Sethi, J. Ulman, Principes; techniques et outils

Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.