|
BWAPI
|
00001 // Copyright (c) 2005 Tel-Aviv University (Israel). All rights reserved. 00002 // 00003 // This file is part of CGAL (www.cgal.org); you can redistribute it and/or 00004 // modify it under the terms of the GNU Lesser General Public License as 00005 // published by the Free Software Foundation; version 2.1 of the License. 00006 // See the file LICENSE.LGPL distributed with CGAL. 00007 // 00008 // Licensees holding a valid commercial license may use this file in 00009 // accordance with the commercial license agreement provided with the software. 00010 // 00011 // This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE 00012 // WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. 00013 // 00014 // $URL: svn+ssh://scm.gforge.inria.fr/svn/cgal/branches/CGAL-3.5-branch/STL_Extension/include/CGAL/multiset_assertions.h $ 00015 // $Id: multiset_assertions.h 44139 2008-07-14 11:16:41Z spion $ 00016 // 00017 // Author(s) : Geert-Jan Giezeman, Sven Schönherr 00018 // 00019 // Generated from script create_assertions.sh 00020 00021 // macro definitions 00022 // ================= 00023 // assertions 00024 // ---------- 00025 00026 00027 #if defined(CGAL_MULTISET_NO_ASSERTIONS) || defined(CGAL_NO_ASSERTIONS) \ 00028 || defined(NDEBUG) 00029 # define CGAL_multiset_assertion(EX) (static_cast<void>(0)) 00030 # define CGAL_multiset_assertion_msg(EX,MSG) (static_cast<void>(0)) 00031 # define CGAL_multiset_assertion_code(CODE) 00032 #else 00033 # define CGAL_multiset_assertion(EX) \ 00034 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) 00035 # define CGAL_multiset_assertion_msg(EX,MSG) \ 00036 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) 00037 # define CGAL_multiset_assertion_code(CODE) CODE 00038 # define CGAL_multiset_assertions 1 00039 #endif // CGAL_MULTISET_NO_ASSERTIONS 00040 00041 #if defined(CGAL_MULTISET_NO_ASSERTIONS) || defined(CGAL_NO_ASSERTIONS) \ 00042 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00043 || defined(NDEBUG) 00044 # define CGAL_multiset_exactness_assertion(EX) (static_cast<void>(0)) 00045 # define CGAL_multiset_exactness_assertion_msg(EX,MSG) (static_cast<void>(0)) 00046 # define CGAL_multiset_exactness_assertion_code(CODE) 00047 #else 00048 # define CGAL_multiset_exactness_assertion(EX) \ 00049 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) 00050 # define CGAL_multiset_exactness_assertion_msg(EX,MSG) \ 00051 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) 00052 # define CGAL_multiset_exactness_assertion_code(CODE) CODE 00053 # define CGAL_multiset_exactness_assertions 1 00054 #endif // CGAL_MULTISET_NO_ASSERTIONS 00055 00056 #if defined(CGAL_MULTISET_NO_ASSERTIONS) \ 00057 || defined(CGAL_NO_ASSERTIONS) \ 00058 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00059 || defined(NDEBUG) 00060 # define CGAL_multiset_expensive_assertion(EX) (static_cast<void>(0)) 00061 # define CGAL_multiset_expensive_assertion_msg(EX,MSG) (static_cast<void>(0)) 00062 # define CGAL_multiset_expensive_assertion_code(CODE) 00063 #else 00064 # define CGAL_multiset_expensive_assertion(EX) \ 00065 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) 00066 # define CGAL_multiset_expensive_assertion_msg(EX,MSG) \ 00067 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) 00068 # define CGAL_multiset_expensive_assertion_code(CODE) CODE 00069 # define CGAL_multiset_expensive_assertions 1 00070 #endif // CGAL_MULTISET_NO_ASSERTIONS 00071 00072 #if defined(CGAL_MULTISET_NO_ASSERTIONS) || defined(CGAL_NO_ASSERTIONS) \ 00073 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00074 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00075 || defined(NDEBUG) 00076 # define CGAL_multiset_expensive_exactness_assertion(EX) (static_cast<void>(0)) 00077 # define CGAL_multiset_expensive_exactness_assertion_msg(EX,MSG) (static_cast<void>(0)) 00078 # define CGAL_multiset_expensive_exactness_assertion_code(CODE) 00079 #else 00080 # define CGAL_multiset_expensive_exactness_assertion(EX) \ 00081 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) 00082 # define CGAL_multiset_expensive_exactness_assertion_msg(EX,MSG) \ 00083 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) 00084 # define CGAL_multiset_expensive_exactness_assertion_code(CODE) CODE 00085 # define CGAL_multiset_expensive_exactness_assertions 1 00086 #endif // CGAL_MULTISET_NO_ASSERTIONS 00087 00088 00089 // preconditions 00090 // ------------- 00091 00092 #if defined(CGAL_MULTISET_NO_PRECONDITIONS) || defined(CGAL_NO_PRECONDITIONS) \ 00093 || defined(NDEBUG) 00094 # define CGAL_multiset_precondition(EX) (static_cast<void>(0)) 00095 # define CGAL_multiset_precondition_msg(EX,MSG) (static_cast<void>(0)) 00096 # define CGAL_multiset_precondition_code(CODE) 00097 #else 00098 # define CGAL_multiset_precondition(EX) \ 00099 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) 00100 # define CGAL_multiset_precondition_msg(EX,MSG) \ 00101 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) 00102 # define CGAL_multiset_precondition_code(CODE) CODE 00103 # define CGAL_multiset_preconditions 1 00104 #endif // CGAL_MULTISET_NO_PRECONDITIONS 00105 00106 #if defined(CGAL_MULTISET_NO_PRECONDITIONS) || defined(CGAL_NO_PRECONDITIONS) \ 00107 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00108 || defined(NDEBUG) 00109 # define CGAL_multiset_exactness_precondition(EX) (static_cast<void>(0)) 00110 # define CGAL_multiset_exactness_precondition_msg(EX,MSG) (static_cast<void>(0)) 00111 # define CGAL_multiset_exactness_precondition_code(CODE) 00112 #else 00113 # define CGAL_multiset_exactness_precondition(EX) \ 00114 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) 00115 # define CGAL_multiset_exactness_precondition_msg(EX,MSG) \ 00116 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) 00117 # define CGAL_multiset_exactness_precondition_code(CODE) CODE 00118 # define CGAL_multiset_exactness_preconditions 1 00119 #endif // CGAL_MULTISET_NO_PRECONDITIONS 00120 00121 #if defined(CGAL_MULTISET_NO_PRECONDITIONS) || defined(CGAL_NO_PRECONDITIONS) \ 00122 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00123 || defined(NDEBUG) 00124 # define CGAL_multiset_expensive_precondition(EX) (static_cast<void>(0)) 00125 # define CGAL_multiset_expensive_precondition_msg(EX,MSG) (static_cast<void>(0)) 00126 # define CGAL_multiset_expensive_precondition_code(CODE) 00127 #else 00128 # define CGAL_multiset_expensive_precondition(EX) \ 00129 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) 00130 # define CGAL_multiset_expensive_precondition_msg(EX,MSG) \ 00131 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) 00132 # define CGAL_multiset_expensive_precondition_code(CODE) CODE 00133 # define CGAL_multiset_expensive_preconditions 1 00134 #endif // CGAL_MULTISET_NO_PRECONDITIONS 00135 00136 #if defined(CGAL_MULTISET_NO_PRECONDITIONS) || defined(CGAL_NO_PRECONDITIONS) \ 00137 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00138 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00139 || defined(NDEBUG) 00140 # define CGAL_multiset_expensive_exactness_precondition(EX) (static_cast<void>(0)) 00141 # define CGAL_multiset_expensive_exactness_precondition_msg(EX,MSG) (static_cast<void>(0)) 00142 # define CGAL_multiset_expensive_exactness_precondition_code(CODE) 00143 #else 00144 # define CGAL_multiset_expensive_exactness_precondition(EX) \ 00145 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) 00146 # define CGAL_multiset_expensive_exactness_precondition_msg(EX,MSG) \ 00147 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) 00148 # define CGAL_multiset_expensive_exactness_precondition_code(CODE) CODE 00149 # define CGAL_multiset_expensive_exactness_preconditions 1 00150 #endif // CGAL_MULTISET_NO_PRECONDITIONS 00151 00152 00153 // postconditions 00154 // -------------- 00155 00156 #if defined(CGAL_MULTISET_NO_POSTCONDITIONS) || defined(CGAL_NO_POSTCONDITIONS) \ 00157 || defined(NDEBUG) 00158 # define CGAL_multiset_postcondition(EX) (static_cast<void>(0)) 00159 # define CGAL_multiset_postcondition_msg(EX,MSG) (static_cast<void>(0)) 00160 # define CGAL_multiset_postcondition_code(CODE) 00161 #else 00162 # define CGAL_multiset_postcondition(EX) \ 00163 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) 00164 # define CGAL_multiset_postcondition_msg(EX,MSG) \ 00165 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) 00166 # define CGAL_multiset_postcondition_code(CODE) CODE 00167 # define CGAL_multiset_postconditions 1 00168 #endif // CGAL_MULTISET_NO_POSTCONDITIONS 00169 00170 #if defined(CGAL_MULTISET_NO_POSTCONDITIONS) || defined(CGAL_NO_POSTCONDITIONS) \ 00171 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00172 || defined(NDEBUG) 00173 # define CGAL_multiset_exactness_postcondition(EX) (static_cast<void>(0)) 00174 # define CGAL_multiset_exactness_postcondition_msg(EX,MSG) (static_cast<void>(0)) 00175 # define CGAL_multiset_exactness_postcondition_code(CODE) 00176 #else 00177 # define CGAL_multiset_exactness_postcondition(EX) \ 00178 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) 00179 # define CGAL_multiset_exactness_postcondition_msg(EX,MSG) \ 00180 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) 00181 # define CGAL_multiset_exactness_postcondition_code(CODE) CODE 00182 # define CGAL_multiset_exactness_postconditions 1 00183 #endif // CGAL_MULTISET_NO_POSTCONDITIONS 00184 00185 #if defined(CGAL_MULTISET_NO_POSTCONDITIONS) || defined(CGAL_NO_POSTCONDITIONS) \ 00186 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00187 || defined(NDEBUG) 00188 # define CGAL_multiset_expensive_postcondition(EX) (static_cast<void>(0)) 00189 # define CGAL_multiset_expensive_postcondition_msg(EX,MSG) (static_cast<void>(0)) 00190 # define CGAL_multiset_expensive_postcondition_code(CODE) 00191 #else 00192 # define CGAL_multiset_expensive_postcondition(EX) \ 00193 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) 00194 # define CGAL_multiset_expensive_postcondition_msg(EX,MSG) \ 00195 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) 00196 # define CGAL_multiset_expensive_postcondition_code(CODE) CODE 00197 # define CGAL_multiset_expensive_postconditions 1 00198 #endif // CGAL_MULTISET_NO_POSTCONDITIONS 00199 00200 #if defined(CGAL_MULTISET_NO_POSTCONDITIONS) || defined(CGAL_NO_POSTCONDITIONS) \ 00201 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00202 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00203 || defined(NDEBUG) 00204 # define CGAL_multiset_expensive_exactness_postcondition(EX) (static_cast<void>(0)) 00205 # define CGAL_multiset_expensive_exactness_postcondition_msg(EX,MSG) (static_cast<void>(0)) 00206 # define CGAL_multiset_expensive_exactness_postcondition_code(CODE) 00207 #else 00208 # define CGAL_multiset_expensive_exactness_postcondition(EX) \ 00209 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) 00210 # define CGAL_multiset_expensive_exactness_postcondition_msg(EX,MSG) \ 00211 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) 00212 # define CGAL_multiset_expensive_exactness_postcondition_code(CODE) CODE 00213 # define CGAL_multiset_expensive_exactness_postconditions 1 00214 #endif // CGAL_MULTISET_NO_POSTCONDITIONS 00215 00216 00217 // warnings 00218 // -------- 00219 00220 #if defined(CGAL_MULTISET_NO_WARNINGS) || defined(CGAL_NO_WARNINGS) \ 00221 || defined(NDEBUG) 00222 # define CGAL_multiset_warning(EX) (static_cast<void>(0)) 00223 # define CGAL_multiset_warning_msg(EX,MSG) (static_cast<void>(0)) 00224 # define CGAL_multiset_warning_code(CODE) 00225 #else 00226 # define CGAL_multiset_warning(EX) \ 00227 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) 00228 # define CGAL_multiset_warning_msg(EX,MSG) \ 00229 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) 00230 # define CGAL_multiset_warning_code(CODE) CODE 00231 # define CGAL_multiset_warnings 1 00232 #endif // CGAL_MULTISET_NO_WARNINGS 00233 00234 #if defined(CGAL_MULTISET_NO_WARNINGS) || defined(CGAL_NO_WARNINGS) \ 00235 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00236 || defined(NDEBUG) 00237 # define CGAL_multiset_exactness_warning(EX) (static_cast<void>(0)) 00238 # define CGAL_multiset_exactness_warning_msg(EX,MSG) (static_cast<void>(0)) 00239 # define CGAL_multiset_exactness_warning_code(CODE) 00240 #else 00241 # define CGAL_multiset_exactness_warning(EX) \ 00242 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) 00243 # define CGAL_multiset_exactness_warning_msg(EX,MSG) \ 00244 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) 00245 # define CGAL_multiset_exactness_warning_code(CODE) CODE 00246 # define CGAL_multiset_exactness_warnings 1 00247 #endif // CGAL_MULTISET_NO_WARNINGS 00248 00249 #if defined(CGAL_MULTISET_NO_WARNINGS) || defined(CGAL_NO_WARNINGS) \ 00250 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00251 || defined(NDEBUG) 00252 # define CGAL_multiset_expensive_warning(EX) (static_cast<void>(0)) 00253 # define CGAL_multiset_expensive_warning_msg(EX,MSG) (static_cast<void>(0)) 00254 # define CGAL_multiset_expensive_warning_code(CODE) 00255 #else 00256 # define CGAL_multiset_expensive_warning(EX) \ 00257 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) 00258 # define CGAL_multiset_expensive_warning_msg(EX,MSG) \ 00259 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) 00260 # define CGAL_multiset_expensive_warning_code(CODE) CODE 00261 # define CGAL_multiset_expensive_warnings 1 00262 #endif // CGAL_MULTISET_NO_WARNINGS 00263 00264 #if defined(CGAL_MULTISET_NO_WARNINGS) || defined(CGAL_NO_WARNINGS) \ 00265 || (!defined(CGAL_MULTISET_CHECK_EXACTNESS) && !defined(CGAL_CHECK_EXACTNESS))\ 00266 || (!defined(CGAL_MULTISET_CHECK_EXPENSIVE) && !defined(CGAL_CHECK_EXPENSIVE)) \ 00267 || defined(NDEBUG) 00268 # define CGAL_multiset_expensive_exactness_warning(EX) (static_cast<void>(0)) 00269 # define CGAL_multiset_expensive_exactness_warning_msg(EX,MSG) (static_cast<void>(0)) 00270 # define CGAL_multiset_expensive_exactness_warning_code(CODE) 00271 #else 00272 # define CGAL_multiset_expensive_exactness_warning(EX) \ 00273 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) 00274 # define CGAL_multiset_expensive_exactness_warning_msg(EX,MSG) \ 00275 (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) 00276 # define CGAL_multiset_expensive_exactness_warning_code(CODE) CODE 00277 # define CGAL_multiset_expensive_exactness_warnings 1 00278 #endif // CGAL_MULTISET_NO_WARNINGS 00279 00280
1.7.6.1
