17.4.13.3 Variabili informative

L’API fornisce accesso a parecchie variabili che descrivono se le opzioni della riga di comando corrispondenti sono state specificate quando gawk è stato chiamato. Le variabili sono:

do_debug

Questa variabile è true se gawk è stato invocato con l’opzione --debug.

do_lint

Questa variabile è true se gawk è stato invocato con l’opzione --lint.

do_mpfr

Questa variabile è true se gawk è stato invocato con l’opzione --bignum.

do_profile

Questa variabile è true se gawk è stato invocato con l’opzione --profile.

do_sandbox

Questa variabile è true se gawk è stato invocato con l’opzione --sandbox.

do_traditional

Questa variabile è true se gawk è stato invocato con l’opzione --traditional.

Il valore di do_lint può cambiare se il codice awk modifica la variabile predefinita LINT (vedi la sezione Variabili predefinite). Gli altri valori non dovrebbero cambiare durante l’esecuzione.