14.3.5 Ottenere informazioni sullo stato del programma e del debugger

Oltre che vedere i valori delle variabili, spesso si ha necessità di ottenere informazioni di altro tipo sullo stato del programma e dello stesso ambiente di debug. Il debugger di gawk ha un comando che fornisce quest’informazione, chiamato convenientemente info. info è usato con uno dei tanti argomenti che dicono esattamente quel che si vuol sapere:

info cosa

i cosa

Il valore di cosa dovrebbe essere uno dei seguenti:

args

Elenca gli argomenti del frame selezionato.

break

Elenca tutti i punti d’interruzione attualmente impostati.

display

Elenca tutti gli elementi della lista delle visualizzazioni automatiche.

frame

Dà una descrizione degli stack frame selezionati.

functions

Elenca tutte le definizioni delle funzioni compresi i nomi-file e i numeri di riga.

locals

Elenca le variabili locali dei frame selezionati.

source

Stampa il nome del file sorgente corrente. Ogni volta che il programma si interrompe, il file sorgente corrente è il file che contiene l’istruzione corrente. Quando il debugger viene avviato per la prima volta, il file sorgente corrente è il primo file incluso attraverso l’opzione -f. Il comando ‘list nome-file:numero-riga’ può essere usato in qualsiasi momento per cambiare il sorgente corrente.

sources

Elenca tutti i file sorgente del programma.

variables

Elenca tutte le variabili locali.

watch

Elenca tutti gli elementi della lista dei punti d’osservazione.

Ulteriori comandi permettono di avere il controllo sul debugger, la capacità di salvare lo stato del debugger e la capacità di eseguire comandi del debugger da un file. I comandi sono:

option [nome[=valore]]

o [nome[=valore]]

Senza argomenti, visualizza le opzioni del debugger disponibili e i loro valori correnti. ‘option nome’ mostra il valore corrente dell’opzione così denominata. ‘option nome=valore’ assegna un nuovo valore all’opzione. Le opzioni disponibili sono:

history_size

Imposta il numero massimo di righe da mantenere nel file della cronologia ./.gawk_history. Il valore di default è 100.

listsize

Specifica il numero di righe che list deve stampare. Il valore di default è 15.

outfile

Invia l’output di gawk in un file; l’output del debugger è visualizzato comunque anche nello standard output. Assegnare come valore stringa vuota ("") reimposta l’output solo allo standard output.

prompt

Cambia la riga per l’immissione dei comandi del debugger. Il valore di default è ‘gawk> ’.

save_history [on | off]

Salva la cronologia dei comandi nel file ./.gawk_history. L’impostazione di default è on.

save_options [on | off]

Salva le opzioni correnti nel file ./.gawkrc all’uscita. L’impostazione di default è on. Le opzioni sono lette di nuovo all’avvio della sessione successiva.

trace [on | off]

Attiva o disattiva il tracciamento delle istruzioni. L’impostazione di default è off.

save nome-file

Salva i comandi eseguiti nella sessione corrente nel nome-file indicato, in modo da poterli ripetere in seguito usando il comando source.

source nome-file

Esegue comandi contenuti in un file; un errore in un comando non impedisce l’esecuzione dei comandi successivi. In un file di comandi sono consentiti i commenti (righe che iniziano con ‘#’). Le righe vuote vengono ignorate; esse non ripetono l’ultimo comando. Non si può riavviare il programma mettendo più di un comando run nel file. Inoltre, la lista dei comandi può includere altri comandi source; in ogni caso, il debugger di gawk non richiama lo stesso file più di una volta per evitare ricorsioni infinite.

Oltre al comando source, o al posto di esso, si possono usare le opzioni sulla riga di comando -D file o --debug=file per eseguire comandi da un file in maniera non interattiva (vedi la sezione Opzioni sulla riga di comando).