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/gawktexi.in | |
| 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/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index fac37bd1..3182366d 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -32114,6 +32114,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. @@ -34907,7 +34910,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 |