Symbol tables/fr: what changed

Revision 1 to 2. Removed lines have a minus sign; added lines have a plus sign.

Old	New		Line
1	1		Retour au contenu [[FPC internals/fr\|FPC internals]]
2	2
3	3		# Tables de symboles
4	4
5	5		## Architecture
6	6
7	7		> Warning: Dernière mise à jour pour FPC version 1.0.x
8	8
9	9		La table des symboles contient toutes les définitions pour tous les symboles dans le compilateur. Il contient aussi toute information de type de tous les symboles rencontrés pendant le processus d'analyse. Tous les symboles sont accessibles sous forme de flux et sont utilisés dans les fichiers PPU pour éviter de tout recompiler pour vérifier si tous les symboles sont valides.
10	10
11	11		Il y a différents types de tables de symboles, qui peuvent tous être actives à un moment ou à un autre selon le contexte de l'analyseur.
12	12
13	13		Une vue d'ensemble architecturale de l'interaction entre les tables de symboles, les entrées de symboles et les entrées de définition est présentée dans la figure 4.1.
14	14
15	15		Comme cela peut être vu, les entrées de tables de symboles sont faites en utilisant un algorithme de hachage rapide avec un dictionnaire d'empreinte (hash dictionary).
16	16
17	17		## L'Objet Table de symboles
18	18
19	19		> Warning: Dernière mise à jour pour FPC version 2.5.1
20	20
21	21		Toutes les tables de symboles dans le compilateur proviennent de ce type d'objet, qui contient des champs pour la taille totale des donnnées dans la table de symboles, et des méthodes pour lire la table de symboles dans un flux. Le départ de la liste chaînée des tables de symboles actives est la variable symtablestack.
22	22
23	23		<http://www.pjh2.de/fpc/CompilerInternalsFigure04.png>
24	24
25	25		``` pascal
26	26		type
27	27		TSymTable = classu
28	28		name: pshortstring; // uppercased realname
29	29		realname : pshortstring; // used to generate long symbol names (like symble.name + '.' + sym.name)
30	30		DefList : TFPObjectList; // list of definitions
31	31		SymList : TFPHashObjectList; // list of symbols
32	32		defowner : TDefEntry; // The owner definition. Value for records, objects and enumerations.
33	33		moduleid : longint; // unit index
34	34		refcount : smallint; // count of references. if few objects shares the same
35	35		// symbol table - they add a new reference instead of
36	36		// full copying the symbols
37	37		currentvisibility : tvisibility; // current visibility of symtable - used while parsing object members
38	38		// to put them into symtable with the correct visibility
39	39		currentlyoptional : boolean; // used while parsing of objc protocol
40	40		symtablelevel : byte; // level of symtable, used for nested procedures
41	41		symtabletype : TSymtabletype; // Indicates the type of this symbol table (2).
42	42		end;
43	43		```
44	44
45	45		Le type des tables de symboles possibles sont montrés dnas la table suivante:
46	46
47	47		\| Champ \| Description \|
48	48		\|----\|----\|
49	49		\| abstractsymtable \| Valeur par défaut quand la tables est créée et que son type n'est pas défini. Utilisé à des fins de mise au point \|
50	50		\| WithSymTable \| Tous les symboles accédés dans une instruction with \|
51	51		\| StaticSymTable \| Contient les symboles de la partie implémentation de l'unité ou du programme \|
52	52		\| GlobalSymTable \| Contient les symboles de l'interface de l'unité \|
53	53		\| ObjectSymTable \| Contient tous les symboles dans un objet/une classe/une interface/une classe objc et les autres instructions de types d'objet \|
54	54		\| RecordSymTable \| Contient tous les symboles dans une instruction records \|
55	55		\| LocalSymTable \| Tient les symboles pour toutes les variables locales d'une routine \|
56	56		\| ParaSymTable \| Tient les symboles pour tous les paramètres d'une routine (les symboles de déclaration de paramètre effectif) \|
57	57		\| Stt_ExceptSymTable \| Contient tous les symboles d'exception définis dans un bloc except \|
58	58		\| exportedmacrosymtable \| Tient toutes les macros exportées \|
59	59		\| localmacrosymtable \| Tient toutes les macros actuellement dans la portée \|
60	60		\| enumsymtable \| Contient tous les symboles d'éléments d'une énumération \|
61	61
62	62		## Insertion de symboles dans une table de symboles
63	63
64	64		(Dernière mise à jour pour FPC version 1.0.x)
65	65
66	66		Pour ajouter un symbole dans une table de symboles spécifique, La méthode Insert de la table de symboles est appelée, qui en retour appelle la méthode Insert_In_Data de ce symbole. Insert_In_Data, selon le type de symbole, ajuste l'alignement et la taille de la donnée et créée effectivement l'entrée de donnée dans le segment correct.
67	67
68	68		<http://www.pjh2.de/fpc/CompilerInternalsFigure05.png>
69	69
70	70		## Symbol table interface
71	71
72	72		(Dernière mise à jour pour FPC version 1.0.x)
73	73
74	74		### Routines
75	75
76	76		#### Search_a_Symtable
77	77
78	78		\| \| \|
79	79		\|----\|----\|
80		-	~~\| Déclaration: \| <b>`function`</b>` Search_a_Symtable(`<b>`const`</b>` Symbol: String; SymTableType: TSymTableType): PSym;` \|~~
	80	+	\| Déclaration: \| `function`` Search_a_Symtable(``const`` Symbol: String; SymTableType: TSymTableType): PSym;` \|
81	81		\| Description: \| Recherche un symbole dans la table de symboles spécifiée SymTableType. Retorune Nil si la table de symboles n'est pas trouvée et aussi si le symbole ne peut pas être trouvé dans la table voulue. \|
82	82
83	83		#### GetSym
84	84
85	85		\| \| \|
86	86		\|----\|----\|
87		-	~~\| Déclaration: \| <b>`procedure`</b>` GetSym(`<b>`const`</b>` S: StringId; NotFoundError: Boolean);` \|~~
	87	+	\| Déclaration: \| `procedure`` GetSym(``const`` S: StringId; NotFoundError: Boolean);` \|
88	88		\| Description: \| Recherche le symbole s dans toutes les tables de symboles active, définit la variable globale SrSym avec le symbole trouvé, ou avec Nil si le symbole n'a pas été trouvé. Il faut que notfounderror soit définie à TRUE, si la routine doit donner une erreur lorsque le symbole n'est pas trouvé. \|
89	89
90	90		#### GlobalDef
91	91
92	92		\| \| \|
93	93		\|----\|----\|
94		-	~~\| Déclaration: \| <b>`function`</b>` GlobalDef(`<b>`const`</b>` S: String): PDef;` \|~~
	94	+	\| Déclaration: \| `function`` GlobalDef(``const`` S: String): PDef;` \|
95	95		\| Description: \| Retourne un pointeur vers la définition du symbole de type pleinement qualifé S, ou Nil si non trouvé. Notes: Il est pleinement qualifié, en ce que le symbole system.byte, par exemple, sera entièrement résolu en une unité et un composant de type octet. Le symbole doit avoir une portée globale et il doit s'agir d'un symbole de type, sinon NIL sera renvoyé. \|
96	96
97	97		### Variables
98	98
99	99		#### SrSym
100	100
101	101		\| \| \|
102	102		\|----\|----\|
103		-	~~\| Déclaration: \| <b>`var`</b>` SrSym: PSym;` \|~~
	103	+	\| Déclaration: \| `var`` SrSym: PSym;` \|
104	104		\| Description: \| Celle-ci pointe vers une entrée de symbole trouvée, après l'appel à getsym. \|
105	105
106	106		#### SrSymTable
107	107
108	108		\| \| \|
109	109		\|----\|----\|
110		-	~~\| Déclaration: \| <b>`var`</b>` SrSymTable: PSymTable;` \|~~
	110	+	\| Déclaration: \| `var`` SrSymTable: PSymTable;` \|
111	111		\| Description: \| Celle-ci pointe vers la table de symboles SrSym après l'appel à GetSym. \|
112	112
113	113		Prochain chapitre: [[Symbol entries/fr\|Entrée de table de symboles]]
114	114
115	115		---
116	116		From the Free Pascal wiki, page "Symbol tables/fr", as it stood on 2020-12-25 after a change by E-ric, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).

Back to history