diff options
| author | tron <tron@NetBSD.org> | 1999-06-13 20:39:15 +0000 |
|---|---|---|
| committer | tron <tron@NetBSD.org> | 1999-06-13 20:39:15 +0000 |
| commit | 47d3bdfd5ee40224553cf6755650dfc1e001a15a (patch) | |
| tree | 88f3e0bf6cd49342b63e2e8f1ae64bd435858dbe /gnu/dist/gawk/awklib/eg/lib/assert.awk | |
| parent | 86abd11d428b9086e5f1d9cc4f72fab3623cc59d (diff) | |
Import GNU Awk 3.0.3.
Diffstat (limited to 'gnu/dist/gawk/awklib/eg/lib/assert.awk')
| -rw-r--r-- | gnu/dist/gawk/awklib/eg/lib/assert.awk | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnu/dist/gawk/awklib/eg/lib/assert.awk b/gnu/dist/gawk/awklib/eg/lib/assert.awk new file mode 100644 index 00000000000..914aa632226 --- /dev/null +++ b/gnu/dist/gawk/awklib/eg/lib/assert.awk @@ -0,0 +1,18 @@ +# assert --- assert that a condition is true. Otherwise exit. +# Arnold Robbins, arnold@gnu.ai.mit.edu, Public Domain +# May, 1993 + +function assert(condition, string) +{ + if (! condition) { + printf("%s:%d: assertion failed: %s\n", + FILENAME, FNR, string) > "/dev/stderr" + _assert_exit = 1 + exit 1 + } +} + +END { + if (_assert_exit) + exit 1 +} |
