15.8 Lo spazio-dei-nomi e le altre funzionalità di gawk

Questa sezione tratta brevemente di come la funzionalità spazio-dei-nomi interagisce con altre importanti funzionalità di gawk.

La profilazione e la stampa elegante (vedi la sezione Profilare i propri programmi awk) sono state migliorate per trattare gli spazi-dei-nomi e le regole per assegnare nomi in uno spazio-dei-nomi Regole per assegnare nomi a uno spazio-dei-nomi e ai suoi componenti. In particolare, l’output tiene insieme le funzioni che appartengono allo stesso spazio-dei-nomi, e contiene delle direttive @namespace davanti alle regole, a seconda delle necessità. In questo modo i nomi dei componenti sono degli identificativi semplici, senza dover usare dappertutto degli identificativi qualificati.

L’interazione con il debugger (vedi la sezione Introduzione al debugger di gawk) non è cambiata (almeno fino al momento in cui questo libro è stato scritto). Alcuni campi interni sono stati modificati per tener conto degli spazi-dei-nomi, e il comando dump del debugger è stato modificato per lo stesso motivo.

L’estensione API (vedi la sezione Scrivere estensioni per gawk) ha sempre previsto di avere funzioni in uno spazio-dei-nomi differente, sebbene ciò non fosse stato ancora implementato. Tuttavia, le routine di ricerca e di aggiornamento dei simbolo non prevedevano l’utilizzo di un spazio-dei-nomi. Questo è stato corretto (vedi la sezione Accedere alle variabili per nome e aggiornarle). Vedi la sezione Consentire la modifica in loco dei file, per un notevole esempio di un’estensione che sfrutta uno spazio-dei-nomi condiviso fra del codice scritto in C e del codice awk, che collaborano fra loro.