diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2016-05-25 01:37:44 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-05-25 01:37:44 +0300 |
| commit | 44d5655584bfa914c127f177919a7069e6cff841 (patch) | |
| tree | e161e7792f09897b4129843a466e35d8e841bac6 /doc/gawk.texi | |
| parent | 5a66b6c262a2953af85465b1ec6c2d47bacec7cd (diff) | |
| download | egawk-44d5655584bfa914c127f177919a7069e6cff841.tar.gz egawk-44d5655584bfa914c127f177919a7069e6cff841.tar.bz2 egawk-44d5655584bfa914c127f177919a7069e6cff841.zip | |
Add nonfatal error message facility to extension API.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 5f5c4e2e..9948b0f1 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -33023,6 +33023,9 @@ that parameter. More's the pity.} @item void fatal(awk_ext_id_t id, const char *format, ...); Print a message and then cause @command{gawk} to exit immediately. +@item void nonfatal(awk_ext_id_t id, const char *format, ...); +Print a nonfatal error message. + @item void warning(awk_ext_id_t id, const char *format, ...); Print a warning message. @@ -35816,7 +35819,7 @@ output wrappers, and two-way processors) @item -Printing fatal, warning, and ``lint'' warning messages +Printing fatal, nonfatal, warning, and ``lint'' warning messages @item Updating @code{ERRNO}, or unsetting it |