assert.awk

来自「gawk: linux下资料处理工具」· AWK 代码 · 共 21 行

# assert --- assert that a condition is true. Otherwise exit.

#
# Arnold Robbins, [e-mail], 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
}