Successivo: Calcolo con precisione arbitraria, Precedente: Debugger, Su: Top [Contenuti][Indice]
gawkQuesto capitolo descrive una funzionalità disponibile solo in
gawk.
ATTENZIONE: La funzionalità descritta in questo capitolo è nuova. È certamente possibile, e perfino probabile, che ci siano degli angoli bui (se non dei bug), ancora presenti nell’implementazione. Chi ne trovasse, è pregato di notificarlo (Vedi la sezione Segnalazione di problemi e bug).
| • Spazio-dei-nomi globale | Lo spazio-dei-nomi globale in
awk standard.
| |
| • Nomi qualificati | Come qualificare nomi con uno spazio-dei-nomi. | |
| • Spazio-dei-nomi di default | Lo spazio-dei-nomi di default. | |
| • Cambiare lo spazio-dei-nomi | Come cambiare lo spazio-dei-nomi. | |
| • Regole per i nomi | Regole per assegnare nomi a uno spazio-dei-nomi ai suoi componenti. | |
| • Gestione interna dei nomi | Come i nomi sono gestiti internamente. | |
| • Esempio di spazio-dei-nomi | Esempio di codice che usa uno spazio-dei-nomi. | |
| • Spazio-dei-nomi e funzionalità | Lo spazio-dei-nomi e le altre
funzionalità di gawk.
| |
| • Sommario sugli spazi-dei-nomi | Sommario sugli spazi-dei-nomi. |