ddbg_assert.c

目前最精确的磁盘模拟器的第3版

/* libddbg (version 1.0)
 * Authors: John Bucy, Greg Ganger
 * Contributors: John Griffin, Jiri Schindler, Steve Schlosser
 *
 * Copyright (c) of Carnegie Mellon University, 2001, 2002, 2003.
 *
 * This software is being provided by the copyright holders under the
 * following license. By obtaining, using and/or copying this
 * software, you agree that you have read, understood, and will comply
 * with the following terms and conditions:
 *
 * Permission to reproduce, use, and prepare derivative works of this
 * software is granted provided the copyright and "No Warranty"
 * statements are included with all reproductions and derivative works
 * and associated documentation. This software may also be
 * redistributed without charge provided that the copyright and "No
 * Warranty" statements are included in all redistributions.
 *
 * NO WARRANTY. THIS SOFTWARE IS FURNISHED ON AN "AS IS" BASIS.
 * CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER
 * EXPRESSED OR IMPLIED AS TO THE MATTER INCLUDING, BUT NOT LIMITED
 * TO: WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY
 * OF RESULTS OR RESULTS OBTAINED FROM USE OF THIS SOFTWARE. CARNEGIE
 * MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH
 * RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT
 * INFRINGEMENT.  COPYRIGHT HOLDERS WILL BEAR NO LIABILITY FOR ANY USE
 * OF THIS SOFTWARE OR DOCUMENTATION.  
 */



#include <stdarg.h>
#include "libddbg.h"

#ifndef _LIBDDBG_FREEBSD

#include <signal.h>
#include <stdio.h>

static void fail(void) {
  raise(SIGABRT);
}


static FILE *ddbg_file = 0;
static ddbg_assert_handler ddbg_handler = (ddbg_assert_handler)fail;

void ddbg_assert_setfile(FILE *f) {
  ddbg_file = f;
}

void ddbg_assert_printmsg(char *fmt, ...) {
  va_list ap;
  if(ddbg_file) {
    va_start(ap, fmt);
    vfprintf(ddbg_file, fmt, ap);
  }
}


#else 

#include <syslog.h>

void ddbg_kern_log(char *file, 
		 int line, 
		 char *cond, 
		 char *func,
		 char *fmt, ...)
{
  char buff[1024];
  va_list ap;

  va_start(ap, fmt);
  vsnprintf(buff, 1024, fmt, ap);
  va_end(ap);

  log(LOG_ALERT, buff);
}

void ddbg_assert_printmsg(char *fmt, ...)
{
  char buff[1024];
  va_list ap;

  va_start(ap, fmt);
  vsnprintf(buff, 1024, fmt, ap);
  va_end(ap);

  log(LOG_ALERT, buff);
}


static ddbg_assert_handler ddbg_handler = (ddbg_assert_handler)ddbg_kern_log;

#endif  //  _LIBDDBG_FREEBSD


void ddbg_assert_sethandler(ddbg_assert_handler h) {
  ddbg_handler = h;
}


void ddbg_assert_msg(char *file, 
		   int line, 
		   char *cond,
		   char *func, 
		   char *fmt, ...)
{
  va_list ap;
  
#ifndef _LIBDDBG_FREEBSD  
  if(ddbg_file) {
    fprintf(ddbg_file, "*** assertion failed: in %s() (%s:%d): %s: ", func, file, line, cond);
    //    va_start(ap, fmt);
    //    vfprintf(ddbg_file, fmt, ap);
    //    fprintf(ddbg_file, "\n");

    ddbg_assert_printmsg(fmt, ap);
  }

#endif // _LIBDDBG_FREEBSD  

}


void ddbg_assert_fail(char *file, 
		    int line, 
		    char *cond, 
		    char *func, 
		    char *fmt, ...) 
{
  va_list ap;

#ifndef _LIBDDBG_FREEBSD
  if(ddbg_file) {
    fprintf(ddbg_file, "\n");
    fflush(ddbg_file);
  }
#endif // _LIBDDBG_FREEBSD

  if(ddbg_handler) {
    va_start(ap, fmt);
    ddbg_handler(file,line,cond,func,fmt,ap);
  }
}