/* See affirm.h */
/* Last edited on 2005-06-05 15:15:13 by stolfi */

#include <affirm.h>
#include <stdio.h>
#include <stdlib.h>

void programerror (const char *msg, const char *file, unsigned int line, const char* proc)
  { fprintf (stderr, "%s:%u: *** (%s) %s\n", file, line, proc, msg);
    exit(1);
  }

void *checknotnull(const void *p, const char *msg, const char *file, unsigned int line, const char* proc)
  { if (p == NULL) { programerror(msg, file, line, proc); }
    return (void *)p;
  }