#! /usr/bin/gawk
# Last edited on 2025-08-07 02:25:59 by stolfi
# GAWK functions that check args and print error messages.
# To be included in other gawk scripts.

function check_num_arg(name,x,xmin,xmax) {
  if (x == "") { arg_error(("must define {" name "}")); } 
  x += 0;
  if ((x < xmin) || (x > xmax)) { arg_error(("bad {" name "}")); } 
  return x;
}
 
function arg_error(msg) {
  printf "** %s\n", msg > "/dev/stderr"
  abort = 1;
  exit(1);
}
 
function prog_error(msg) {
  printf "** PROG ERROR: %s\n", msg > "/dev/stderr"
  abort = 1;
  exit(1);
}
  
function data_error(msg) {
  printf "%s:%d ** %s\n", FILENAME, FNR, msg > "/dev/stderr"
  printf "  [[%s]]\n", $0 > "/dev/stderr"
  abort = 1;
  exit(1);
}