117 lines
4.1 KiB
C++
117 lines
4.1 KiB
C++
/* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
|
|
/*
|
|
* Copyright (c) 2006 INRIA, 2010 NICTA
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
* published by the Free Software Foundation;
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program; if not, write to the Free Software
|
|
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
*
|
|
* Author: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
|
|
* Quincy Tse <quincy.tse@nicta.com.au>
|
|
*/
|
|
#ifndef NS_ASSERT_H
|
|
#define NS_ASSERT_H
|
|
|
|
#ifdef NS3_ASSERT_ENABLE
|
|
|
|
#include <iostream>
|
|
|
|
#include "fatal-error.h"
|
|
|
|
/**
|
|
* \ingroup constructs
|
|
* \defgroup debugging Debugging
|
|
*/
|
|
/**
|
|
* \ingroup debugging
|
|
* \defgroup assert Assert
|
|
*
|
|
* \brief assert functions and macros
|
|
*
|
|
* The assert macros are used to verify
|
|
* at runtime that a certain condition is true. If it is
|
|
* not true, the program halts. These checks are built
|
|
* into the program only in debugging builds. They are
|
|
* removed in optimized builds.
|
|
*
|
|
* These macro are intended to check certain conditions
|
|
* to be true. Do not put code that also have side effects
|
|
* that your program relies on (eg. code that advances
|
|
* an iterator and return false at end of file) because
|
|
* the code will not be executed on release builds!!
|
|
*
|
|
* If assertion-style checks are required for release
|
|
* builds, use NS_ABORT_UNLESS and NS_ABORT_MSG_UNLESS.
|
|
*/
|
|
|
|
/**
|
|
* \ingroup assert
|
|
* \param condition condition to verify.
|
|
*
|
|
* At runtime, in debugging builds, if this condition is not
|
|
* true, the program prints the source file, line number and
|
|
* unverified condition and halts by calling std::terminate
|
|
*/
|
|
#define NS_ASSERT(condition) \
|
|
do \
|
|
{ \
|
|
if (!(condition)) \
|
|
{ \
|
|
std::cerr << "assert failed. cond=\"" << \
|
|
# condition << "\", "; \
|
|
NS_FATAL_ERROR_NO_MSG (); \
|
|
} \
|
|
} \
|
|
while (false)
|
|
|
|
|
|
/**
|
|
* \ingroup assert
|
|
* \param condition condition to verify.
|
|
* \param message message to output
|
|
*
|
|
* At runtime, in debugging builds, if this condition is not
|
|
* true, the program prints the message to output and
|
|
* halts by calling std::terminate.
|
|
*/
|
|
#define NS_ASSERT_MSG(condition, message) \
|
|
do \
|
|
{ \
|
|
if (!(condition)) \
|
|
{ \
|
|
std::cerr << "assert failed. cond=\"" << \
|
|
# condition << "\", "; \
|
|
NS_FATAL_ERROR (message); \
|
|
} \
|
|
} \
|
|
while (false)
|
|
|
|
#else /* NS3_ASSERT_ENABLE */
|
|
|
|
#define NS_ASSERT(condition) \
|
|
do \
|
|
{ \
|
|
(void)sizeof (condition); \
|
|
} \
|
|
while (false)
|
|
|
|
#define NS_ASSERT_MSG(condition, message) \
|
|
do \
|
|
{ \
|
|
(void)sizeof (condition); \
|
|
} \
|
|
while (false)
|
|
|
|
#endif /* NS3_ASSERT_ENABLE */
|
|
|
|
#endif /* ASSERT_H */
|