dbc.h

Go to the documentation of this file.
00001 /* 
00002  * Copyright (c) 2009, Texas Instruments Incorporated
00003  * All rights reserved.
00004  *
00005  * Redistribution and use in source and binary forms, with or without
00006  * modification, are permitted provided that the following conditions
00007  * are met:
00008  *
00009  * *  Redistributions of source code must retain the above copyright
00010  *    notice, this list of conditions and the following disclaimer.
00011  *
00012  * *  Redistributions in binary form must reproduce the above copyright
00013  *    notice, this list of conditions and the following disclaimer in the
00014  *    documentation and/or other materials provided with the distribution.
00015  *
00016  * *  Neither the name of Texas Instruments Incorporated nor the names of
00017  *    its contributors may be used to endorse or promote products derived
00018  *    from this software without specific prior written permission.
00019  *
00020  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
00021  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
00022  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
00023  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
00024  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
00025  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
00026  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
00027  * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
00028  * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
00029  * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
00030  * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
00031  * 
00032  */
00054 #ifndef _DBC_
00055 #define _DBC_
00056 
00057 
00060 
00061 
00062 #ifdef __cplusplus
00063 extern "C" {
00064 #endif
00065 
00066 
00067 /* DBC_ASSERTS is intended to be set to 1 in debug builds */
00068 #if DBC_ASSERTS
00069 #include <sys.h>
00070 #define DBC_assert(c) if (!(c)) { \
00071         SYS_abort("Assertion Failed: file=%s, line=%d.\n", __FILE__, \
00072         __LINE__); }            
00074 #define DBC_require DBC_assert  
00075 #define DBC_ensure  DBC_assert  
00077 #else
00078 
00079 #define DBC_assert(c)   
00080 #define DBC_require(c)  
00081 #define DBC_ensure(c)   
00083 #endif
00084 
00085 
00086 #ifdef __cplusplus
00087 }
00088 #endif /* extern "C" */
00089 
00090  /* ingroup DSPDBC */
00092 
00093 
00094 #endif /* _DBC_ */
00095 
00096 /*
00097  *  @(#) ti.sdo.fc.utils; 1, 0, 2,264; 11-8-2009 20:59:00; /db/atree/library/trees/fc/fc-l04x/src/
00098  */
00099 

Copyright 2009, Texas Instruments Incorporated