/* vi: set tabstop=4 shiftwidth=4: */

#include <stdio.h>

/*
 * $Id: error.h,v 1.2 1996/12/28 22:11:09 schweikh Exp $
 */

#include <stdio.h>              /* FILE */

 /* @falseexit@ */ void
check (int)
 /* @ */ ;

 /* @falseexit@ */ void check_sys (int)
 /* @ */ ;

#define check(x) \
        do { \
                if ((x) == 0) { \
                        err_msg ("check in `"__FILE__"' at line %d failed:", __LINE__); \
                        err_quit (" `%s' is false", #x); \
                } \
        } while (0)

#define check_sys(x) \
        do { \
                if ((x) == 0) { \
                        err_msg ("check in `"__FILE__"' at line %d failed:", __LINE__); \
                        err_sys (" `%s' is false", #x); \
                } \
        } while (0)

     void /* @unused@ */ err_ret (const char *,...)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *stderr,fileSystem@ */ ;

              /* @exits@ *//* @unused@ */ void err_sys (const char *,...)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *stderr,fileSystem@ */ ;

              /* @exits@ *//* @unused@ */ void err_dump (const char *,...)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *stderr,fileSystem@ */ ;

     void /* @unused@ */ err_msg (const char *,...)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *stderr,fileSystem@ */ ;

              /* @exits@ *//* @unused@ */ void err_quit (const char *,...)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *stderr,fileSystem@ */ ;

     void /* @unused@ */ set_progname (char *, char *)
 /* @globals internalState@ */
 /* @modifies internalState@ */ ;

     void /* @unused@ */ err_progname (void)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *stderr,fileSystem@ */ ;

     void /* @unused@ */ cfprintf (FILE * fp, const char *,...)
 /* @globals stderr,fileSystem,internalState@ */
 /* @modifies *fp,*stderr,fileSystem@ */ ;

     /* @observer@ */ char /* @unused@ */ *
       program_name (void)
 /* @globals internalState@ */ ;