| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // Copyright (C) 2010 by Thomas Moulard, CNRS. | ||
| 2 | // | ||
| 3 | |||
| 4 | // Redistribution and use in source and binary forms, with or without | ||
| 5 | // modification, are permitted provided that the following conditions are | ||
| 6 | // met: | ||
| 7 | // | ||
| 8 | // 1. Redistributions of source code must retain the above copyright | ||
| 9 | // notice, this list of conditions and the following disclaimer. | ||
| 10 | // | ||
| 11 | // 2. Redistributions in binary form must reproduce the above copyright | ||
| 12 | // notice, this list of conditions and the following disclaimer in the | ||
| 13 | // documentation and/or other materials provided with the distribution. | ||
| 14 | // | ||
| 15 | // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | ||
| 16 | // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | ||
| 17 | // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | ||
| 18 | // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | ||
| 19 | // HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | ||
| 20 | // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | ||
| 21 | // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | ||
| 22 | // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | ||
| 23 | // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | ||
| 24 | // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | ||
| 25 | // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH | ||
| 26 | // DAMAGE. | ||
| 27 | // | ||
| 28 | // This software is provided "as is" without warranty of any kind, | ||
| 29 | // either expressed or implied, including but not limited to the | ||
| 30 | // implied warranties of fitness for a particular purpose. | ||
| 31 | // | ||
| 32 | // See the COPYING file for more information. | ||
| 33 | |||
| 34 | #ifndef HPP_UTIL_ASSERTION_HH | ||
| 35 | #define HPP_UTIL_ASSERTION_HH | ||
| 36 | #include <hpp/util/config.hh> | ||
| 37 | #include <hpp/util/exception.hh> | ||
| 38 | |||
| 39 | // If debug mode is disabled and assertions are not already | ||
| 40 | // disabled, disable them automatically. | ||
| 41 | #if (defined HPP_DEBUG) && (!defined HPP_ENABLE_ASSERTIONS) | ||
| 42 | #define HPP_ENABLE_ASSERTIONS | ||
| 43 | #endif // (!defined HPP_DEBUG) && (!defined HPP_ENABLE_ASSERTIONS) | ||
| 44 | |||
| 45 | namespace hpp { | ||
| 46 | 3 | HPP_MAKE_EXCEPTION(HPP_UTIL_DLLAPI, AssertionError); | |
| 47 | } // end of namespace hpp. | ||
| 48 | |||
| 49 | /// \brief Define HPP_ASSERT. | ||
| 50 | /// | ||
| 51 | /// Throw an ::hpp::AssertionError if macro argument evaluates to | ||
| 52 | /// false. | ||
| 53 | #ifdef HPP_ENABLE_ASSERTIONS | ||
| 54 | #define HPP_ASSERT(CONDITION) \ | ||
| 55 | do { \ | ||
| 56 | bool _x = static_cast<bool>(CONDITION); \ | ||
| 57 | if (!_x) \ | ||
| 58 | HPP_THROW_EXCEPTION(::hpp::AssertionError, \ | ||
| 59 | #CONDITION " evaluates to false"); \ | ||
| 60 | } while (0) | ||
| 61 | #else | ||
| 62 | #define HPP_ASSERT(CONDITION) | ||
| 63 | #endif // HPP_ENABLE_ASSERTIONS | ||
| 64 | |||
| 65 | /// \brief Define macro for precondition checking. | ||
| 66 | #define HPP_PRECONDITION(CONDITION) HPP_ASSERT(CONDITION) | ||
| 67 | |||
| 68 | #endif //! HPP_UTIL_ASSERTION_HH | ||
| 69 |