error.c

Go to the documentation of this file.

// (c) 1997 Michael E. Stillman
 
// This stuff would not be necessary if exceptions worked well,
// unfortunately, there are internal errors so that they fail
// at least in the presence of template code (even in version 2.7.2).
// So, we use the following simple, if unpleasant, scheme.
//
// Upon finding an error, call ERROR any number of times.  Each time,
// The message is added to the end (but, it won't write over the end of
// the buffer).
//
// Then, it is unfortunately necessary to check whether an error has
// occurred, using 'error'.
//
// Finally, the error flag is cleared upon giving control back to the front end.
 
#include "error.h"
#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
 
#define MAXERROR 200
static int iserror = 0;
static char errmsg[MAXERROR] = {'\0'};
 
void ERROR(const char *s, ...)
{
  va_list ap;
  if (iserror) fprintf(stderr, "--error message bumped: %s\n", errmsg);
  iserror = 1;
  va_start(ap, s);
  vsprintf(errmsg, s, ap);
  va_end(ap);
}
 
void INTERNAL_ERROR(const char *s, ...)
{
  char buf[MAXERROR];
  buf[0] = 0;
  va_list ap;
  va_start(ap, s);
  vsprintf(buf, s, ap);
  va_end(ap);
  fprintf(stderr, "--internal error: %s\n", buf);
  abort(); /* we should exit after an internal error, to avoid crashing */
}
 
int error() { return iserror; }
const char *error_message()
{
  if (iserror == 0) return "";
  iserror = 0;
  return errmsg;
}
 
/*
// Local Variables:
// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
// indent-tabs-mode: nil
// End:
*/