Xenomai API: include/nucleus/assert.h Source File

00001 /*
00002  * Copyright (C) 2006 Philippe Gerum <rpm@xenomai.org>.
00003  *
00004  * Xenomai is free software; you can redistribute it and/or modify
00005  * it under the terms of the GNU General Public License as published
00006  * by the Free Software Foundation; either version 2 of the License,
00007  * or (at your option) any later version.
00008  *
00009  * Xenomai is distributed in the hope that it will be useful, but
00010  * WITHOUT ANY WARRANTY; without even the implied warranty of
00011  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00012  * General Public License for more details.
00013  *
00014  * You should have received a copy of the GNU General Public License
00015  * along with Xenomai; if not, write to the Free Software
00016  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
00017  * 02111-1307, USA.
00018  */
00019 
00020 #ifndef _XENO_NUCLEUS_ASSERT_H
00021 #define _XENO_NUCLEUS_ASSERT_H
00022 
00023 #include <nucleus/types.h>
00024 
00025 #define XENO_DEBUG(subsystem)   (CONFIG_XENO_OPT_DEBUG_##subsystem > 0)
00026 
00027 #define XENO_ASSERT(subsystem,cond,action)  do { \
00028     if (unlikely(CONFIG_XENO_OPT_DEBUG_##subsystem > 0 && !(cond))) { \
00029         xnarch_trace_panic_freeze(); \
00030         xnlogerr("assertion failed at %s:%d (%s)\n", __FILE__, __LINE__, (#cond)); \
00031         xnarch_trace_panic_dump(); \
00032         action; \
00033     } \
00034 } while(0)
00035 
00036 #define XENO_BUGON(subsystem,cond)  do { \
00037     if (unlikely(CONFIG_XENO_OPT_DEBUG_##subsystem > 0 && (cond))) \
00038         xnpod_fatal("bug at %s:%d (%s)", __FILE__, __LINE__, (#cond)); \
00039 } while(0)
00040 
00041 #endif /* !_XENO_NUCLEUS_ASSERT_H */