POK
|
00001 /* 00002 * POK header 00003 * 00004 * The following file is a part of the POK project. Any modification should 00005 * made according to the POK licence. You CANNOT use this file or a part of 00006 * this file is this part of a file for your own project 00007 * 00008 * For more information on the POK licence, please see our LICENCE FILE 00009 * 00010 * Please follow the coding guidelines described in doc/CODING_GUIDELINES 00011 * 00012 * Copyright (c) 2007-2009 POK team 00013 * 00014 * Created by julien on Thu Jan 29 15:10:33 2009 00015 */ 00016 00017 #ifndef __POK_ASSERT_H__ 00018 #define __POK_ASSERT_H__ 00019 00020 #include <errno.h> 00021 #include <libc/stdio.h> 00022 00023 #define ASSERT_RET(ret) if (ret != POK_ERRNO_OK) { printf ("ASSERTION FAILED, ret=%d, file=%s, line=%d\n", ret, __FILE__, __LINE__);} 00024 #define ASSERT_RET_WITH_EXCEPTION(ret,but) if ((ret != POK_ERRNO_OK)&&(ret != but)) { printf ("ASSERTION FAILED, ret=%d, file=%s, line=%d\n", ret, __FILE__, __LINE__);} 00025 00026 #endif 00027