diff --git a/Convex_hull_2/include/CGAL/Convex_hull_2/ch_assertions.h b/Convex_hull_2/include/CGAL/Convex_hull_2/ch_assertions.h index 2a1cc6c9bbd..0b075c82c5f 100644 --- a/Convex_hull_2/include/CGAL/Convex_hull_2/ch_assertions.h +++ b/Convex_hull_2/include/CGAL/Convex_hull_2/ch_assertions.h @@ -33,9 +33,9 @@ # define CGAL_ch_assertion_code(CODE) #else # define CGAL_ch_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_assertion_code(CODE) CODE #endif // CGAL_CH_NO_ASSERTIONS @@ -47,9 +47,9 @@ # define CGAL_ch_exactness_assertion_code(CODE) #else # define CGAL_ch_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_exactness_assertion_code(CODE) CODE #endif // CGAL_CH_NO_ASSERTIONS @@ -62,9 +62,9 @@ # define CGAL_ch_expensive_assertion_code(CODE) #else # define CGAL_ch_expensive_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_expensive_assertion_code(CODE) CODE #endif // CGAL_CH_NO_ASSERTIONS @@ -77,9 +77,9 @@ # define CGAL_ch_expensive_exactness_assertion_code(CODE) #else # define CGAL_ch_expensive_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_expensive_exactness_assertion_code(CODE) CODE #endif // CGAL_CH_NO_ASSERTIONS @@ -94,9 +94,9 @@ # define CGAL_ch_precondition_code(CODE) #else # define CGAL_ch_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_precondition_code(CODE) CODE #endif // CGAL_CH_NO_PRECONDITIONS @@ -108,9 +108,9 @@ # define CGAL_ch_exactness_precondition_code(CODE) #else # define CGAL_ch_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_exactness_precondition_code(CODE) CODE #endif // CGAL_CH_NO_PRECONDITIONS @@ -122,9 +122,9 @@ # define CGAL_ch_expensive_precondition_code(CODE) #else # define CGAL_ch_expensive_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_expensive_precondition_code(CODE) CODE #endif // CGAL_CH_NO_PRECONDITIONS @@ -137,9 +137,9 @@ # define CGAL_ch_expensive_exactness_precondition_code(CODE) #else # define CGAL_ch_expensive_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_expensive_exactness_precondition_code(CODE) CODE #endif // CGAL_CH_NO_PRECONDITIONS @@ -154,9 +154,9 @@ # define CGAL_ch_postcondition_code(CODE) #else # define CGAL_ch_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) # define CGAL_ch_postcondition_code(CODE) CODE #endif // CGAL_CH_NO_POSTCONDITIONS @@ -168,9 +168,9 @@ # define CGAL_ch_exactness_postcondition_code(CODE) #else # define CGAL_ch_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) # define CGAL_ch_exactness_postcondition_code(CODE) CODE #endif // CGAL_CH_NO_POSTCONDITIONS @@ -182,9 +182,9 @@ # define CGAL_ch_expensive_postcondition_code(CODE) #else # define CGAL_ch_expensive_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) # define CGAL_ch_expensive_postcondition_code(CODE) CODE #endif // CGAL_CH_NO_POSTCONDITIONS @@ -197,9 +197,9 @@ # define CGAL_ch_expensive_exactness_postcondition_code(CODE) #else # define CGAL_ch_expensive_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__,MSG)) # define CGAL_ch_expensive_exactness_postcondition_code(CODE) CODE #endif // CGAL_CH_NO_POSTCONDITIONS @@ -214,9 +214,9 @@ # define CGAL_ch_warning_code(CODE) #else # define CGAL_ch_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_warning_code(CODE) CODE #endif // CGAL_CH_NO_WARNINGS @@ -228,9 +228,9 @@ # define CGAL_ch_exactness_warning_code(CODE) #else # define CGAL_ch_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_exactness_warning_code(CODE) CODE #endif // CGAL_CH_NO_WARNINGS @@ -242,9 +242,9 @@ # define CGAL_ch_expensive_warning_code(CODE) #else # define CGAL_ch_expensive_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_expensive_warning_code(CODE) CODE #endif // CGAL_CH_NO_WARNINGS @@ -257,9 +257,9 @@ # define CGAL_ch_expensive_exactness_warning_code(CODE) #else # define CGAL_ch_expensive_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_ch_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_ch_expensive_exactness_warning_code(CODE) CODE #endif // CGAL_CH_NO_WARNINGS diff --git a/Kernel_23/include/CGAL/kernel_assertions.h b/Kernel_23/include/CGAL/kernel_assertions.h index 6bd49742820..179ae6563c4 100644 --- a/Kernel_23/include/CGAL/kernel_assertions.h +++ b/Kernel_23/include/CGAL/kernel_assertions.h @@ -38,9 +38,9 @@ # define CGAL_kernel_assertion_code(CODE) #else # define CGAL_kernel_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_assertion_code(CODE) CODE # define CGAL_kernel_assertions 1 #endif // CGAL_KERNEL_NO_ASSERTIONS @@ -53,9 +53,9 @@ # define CGAL_kernel_exactness_assertion_code(CODE) #else # define CGAL_kernel_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_exactness_assertion_code(CODE) CODE # define CGAL_kernel_exactness_assertions 1 #endif // CGAL_KERNEL_NO_ASSERTIONS @@ -69,9 +69,9 @@ # define CGAL_kernel_expensive_assertion_code(CODE) #else # define CGAL_kernel_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_assertion_code(CODE) CODE # define CGAL_kernel_expensive_assertions 1 #endif // CGAL_KERNEL_NO_ASSERTIONS @@ -85,9 +85,9 @@ # define CGAL_kernel_expensive_exactness_assertion_code(CODE) #else # define CGAL_kernel_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_exactness_assertion_code(CODE) CODE # define CGAL_kernel_expensive_exactness_assertions 1 #endif // CGAL_KERNEL_NO_ASSERTIONS @@ -103,9 +103,9 @@ # define CGAL_kernel_precondition_code(CODE) #else # define CGAL_kernel_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_precondition_code(CODE) CODE # define CGAL_kernel_preconditions 1 #endif // CGAL_KERNEL_NO_PRECONDITIONS @@ -118,9 +118,9 @@ # define CGAL_kernel_exactness_precondition_code(CODE) #else # define CGAL_kernel_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_exactness_precondition_code(CODE) CODE # define CGAL_kernel_exactness_preconditions 1 #endif // CGAL_KERNEL_NO_PRECONDITIONS @@ -133,9 +133,9 @@ # define CGAL_kernel_expensive_precondition_code(CODE) #else # define CGAL_kernel_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_precondition_code(CODE) CODE # define CGAL_kernel_expensive_preconditions 1 #endif // CGAL_KERNEL_NO_PRECONDITIONS @@ -149,9 +149,9 @@ # define CGAL_kernel_expensive_exactness_precondition_code(CODE) #else # define CGAL_kernel_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_exactness_precondition_code(CODE) CODE # define CGAL_kernel_expensive_exactness_preconditions 1 #endif // CGAL_KERNEL_NO_PRECONDITIONS @@ -167,9 +167,9 @@ # define CGAL_kernel_postcondition_code(CODE) #else # define CGAL_kernel_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_postcondition_code(CODE) CODE # define CGAL_kernel_postconditions 1 #endif // CGAL_KERNEL_NO_POSTCONDITIONS @@ -182,9 +182,9 @@ # define CGAL_kernel_exactness_postcondition_code(CODE) #else # define CGAL_kernel_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_exactness_postcondition_code(CODE) CODE # define CGAL_kernel_exactness_postconditions 1 #endif // CGAL_KERNEL_NO_POSTCONDITIONS @@ -197,9 +197,9 @@ # define CGAL_kernel_expensive_postcondition_code(CODE) #else # define CGAL_kernel_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_postcondition_code(CODE) CODE # define CGAL_kernel_expensive_postconditions 1 #endif // CGAL_KERNEL_NO_POSTCONDITIONS @@ -213,9 +213,9 @@ # define CGAL_kernel_expensive_exactness_postcondition_code(CODE) #else # define CGAL_kernel_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_kernel_expensive_exactness_postconditions 1 #endif // CGAL_KERNEL_NO_POSTCONDITIONS @@ -231,9 +231,9 @@ # define CGAL_kernel_warning_code(CODE) #else # define CGAL_kernel_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_warning_code(CODE) CODE # define CGAL_kernel_warnings 1 #endif // CGAL_KERNEL_NO_WARNINGS @@ -246,9 +246,9 @@ # define CGAL_kernel_exactness_warning_code(CODE) #else # define CGAL_kernel_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_exactness_warning_code(CODE) CODE # define CGAL_kernel_exactness_warnings 1 #endif // CGAL_KERNEL_NO_WARNINGS @@ -261,9 +261,9 @@ # define CGAL_kernel_expensive_warning_code(CODE) #else # define CGAL_kernel_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_warning_code(CODE) CODE # define CGAL_kernel_expensive_warnings 1 #endif // CGAL_KERNEL_NO_WARNINGS @@ -277,9 +277,9 @@ # define CGAL_kernel_expensive_exactness_warning_code(CODE) #else # define CGAL_kernel_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_kernel_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_kernel_expensive_exactness_warning_code(CODE) CODE # define CGAL_kernel_expensive_exactness_warnings 1 #endif // CGAL_KERNEL_NO_WARNINGS diff --git a/Optimisation_basic/include/CGAL/Optimisation/assertions.h b/Optimisation_basic/include/CGAL/Optimisation/assertions.h index 3c1be6c913b..29e8be158af 100644 --- a/Optimisation_basic/include/CGAL/Optimisation/assertions.h +++ b/Optimisation_basic/include/CGAL/Optimisation/assertions.h @@ -37,9 +37,9 @@ # undef CGAL_OPTIMISATION_ASSERTION_TAG #else # define CGAL_optimisation_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_assertion_code(CODE) CODE # define CGAL_OPTIMISATION_ASSERTION_TAG 1 #endif // optimisation assertions @@ -54,9 +54,9 @@ # undef CGAL_OPTIMISATION_EXACTNESS_ASSERTION_TAG #else # define CGAL_optimisation_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_exactness_assertion_code(CODE) CODE # define CGAL_OPTIMISATION_EXACTNESS_ASSERTION_TAG 1 #endif // optimisation exactness assertions @@ -71,9 +71,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_ASSERTION_TAG #else # define CGAL_optimisation_expensive_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_assertion_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_ASSERTION_TAG 1 #endif // optimisation expensive assertions @@ -92,9 +92,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_ASSERTION_TAG #else # define CGAL_optimisation_expensive_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_exactness_assertion_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_ASSERTION_TAG 1 #endif // optimisation expensive exactness assertions @@ -111,9 +111,9 @@ # undef CGAL_OPTIMISATION_PRECONDITION_TAG #else # define CGAL_optimisation_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_precondition_code(CODE) CODE # define CGAL_OPTIMISATION_PRECONDITION_TAG 1 #endif // optimisation preconditions @@ -128,9 +128,9 @@ # undef CGAL_OPTIMISATION_EXACTNESS_PRECONDITION_TAG #else # define CGAL_optimisation_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_exactness_precondition_code(CODE) CODE # define CGAL_OPTIMISATION_EXACTNESS_PRECONDITION_TAG 1 #endif // optimisation exactness preconditions @@ -145,9 +145,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_PRECONDITION_TAG #else # define CGAL_optimisation_expensive_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_precondition_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_PRECONDITION_TAG 1 #endif // optimisation expensive preconditions @@ -166,9 +166,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_PRECONDITION_TAG #else # define CGAL_optimisation_expensive_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_exactness_precondition_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_PRECONDITION_TAG 1 #endif // optimisation expensive exactness preconditions @@ -185,9 +185,9 @@ # undef CGAL_OPTIMISATION_POSTCONDITION_TAG #else # define CGAL_optimisation_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_postcondition_code(CODE) CODE # define CGAL_OPTIMISATION_POSTCONDITION_TAG 1 #endif // optimisation postconditions @@ -202,9 +202,9 @@ # undef CGAL_OPTIMISATION_EXACTNESS_POSTCONDITION_TAG #else # define CGAL_optimisation_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_exactness_postcondition_code(CODE) CODE # define CGAL_OPTIMISATION_EXACTNESS_POSTCONDITION_TAG 1 #endif // optimisation exactness postconditions @@ -219,9 +219,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_POSTCONDITION_TAG #else # define CGAL_optimisation_expensive_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_postcondition_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_POSTCONDITION_TAG 1 #endif // optimisation expensive postconditions @@ -240,9 +240,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_POSTCONDITION_TAG #else # define CGAL_optimisation_expensive_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_POSTCONDITION_TAG 1 #endif // optimisation expensive exactness postconditions @@ -259,9 +259,9 @@ # undef CGAL_OPTIMISATION_WARNING_TAG #else # define CGAL_optimisation_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_warning_code(CODE) CODE # define CGAL_OPTIMISATION_WARNING_TAG 1 #endif // optimisation warnings @@ -276,9 +276,9 @@ # undef CGAL_OPTIMISATION_EXACTNESS_WARNING_TAG #else # define CGAL_optimisation_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_exactness_warning_code(CODE) CODE # define CGAL_OPTIMISATION_EXACTNESS_WARNING_TAG 1 #endif // optimisation exactness warnings @@ -293,9 +293,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_WARNING_TAG #else # define CGAL_optimisation_expensive_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_warning_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_WARNING_TAG 1 #endif // optimisation expensive warnings @@ -314,9 +314,9 @@ # undef CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_WARNING_TAG #else # define CGAL_optimisation_expensive_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_optimisation_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_optimisation_expensive_exactness_warning_code(CODE) CODE # define CGAL_OPTIMISATION_EXPENSIVE_EXACTNESS_WARNING_TAG 1 #endif // optimisation expensive exactness warnings diff --git a/Partition_2/include/CGAL/Partition_2/partition_assertions.h b/Partition_2/include/CGAL/Partition_2/partition_assertions.h index f5048496887..0c1f200701c 100644 --- a/Partition_2/include/CGAL/Partition_2/partition_assertions.h +++ b/Partition_2/include/CGAL/Partition_2/partition_assertions.h @@ -32,9 +32,9 @@ # define CGAL_partition_assertion_code(CODE) #else # define CGAL_partition_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_assertion_code(CODE) CODE #endif // CGAL_PARTITION_NO_ASSERTIONS @@ -46,9 +46,9 @@ # define CGAL_partition_exactness_assertion_code(CODE) #else # define CGAL_partition_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_exactness_assertion_code(CODE) CODE #endif // CGAL_PARTITION_NO_ASSERTIONS @@ -61,9 +61,9 @@ # define CGAL_partition_expensive_assertion_code(CODE) #else # define CGAL_partition_expensive_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_assertion_code(CODE) CODE #endif // CGAL_PARTITION_NO_ASSERTIONS @@ -76,9 +76,9 @@ # define CGAL_partition_expensive_exactness_assertion_code(CODE) #else # define CGAL_partition_expensive_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_exactness_assertion_code(CODE) CODE #endif // CGAL_PARTITION_NO_ASSERTIONS @@ -93,9 +93,9 @@ # define CGAL_partition_precondition_code(CODE) #else # define CGAL_partition_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_precondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_PRECONDITIONS @@ -107,9 +107,9 @@ # define CGAL_partition_exactness_precondition_code(CODE) #else # define CGAL_partition_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_exactness_precondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_PRECONDITIONS @@ -121,9 +121,9 @@ # define CGAL_partition_expensive_precondition_code(CODE) #else # define CGAL_partition_expensive_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_precondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_PRECONDITIONS @@ -136,9 +136,9 @@ # define CGAL_partition_expensive_exactness_precondition_code(CODE) #else # define CGAL_partition_expensive_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_exactness_precondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_PRECONDITIONS @@ -153,9 +153,9 @@ # define CGAL_partition_postcondition_code(CODE) #else # define CGAL_partition_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_postcondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_POSTCONDITIONS @@ -167,9 +167,9 @@ # define CGAL_partition_exactness_postcondition_code(CODE) #else # define CGAL_partition_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_exactness_postcondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_POSTCONDITIONS @@ -181,9 +181,9 @@ # define CGAL_partition_expensive_postcondition_code(CODE) #else # define CGAL_partition_expensive_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_postcondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_POSTCONDITIONS @@ -196,9 +196,9 @@ # define CGAL_partition_expensive_exactness_postcondition_code(CODE) #else # define CGAL_partition_expensive_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_exactness_postcondition_code(CODE) CODE #endif // CGAL_PARTITION_NO_POSTCONDITIONS @@ -213,9 +213,9 @@ # define CGAL_partition_warning_code(CODE) #else # define CGAL_partition_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_warning_code(CODE) CODE #endif // CGAL_PARTITION_NO_WARNINGS @@ -227,9 +227,9 @@ # define CGAL_partition_exactness_warning_code(CODE) #else # define CGAL_partition_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_exactness_warning_code(CODE) CODE #endif // CGAL_PARTITION_NO_WARNINGS @@ -241,9 +241,9 @@ # define CGAL_partition_expensive_warning_code(CODE) #else # define CGAL_partition_expensive_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_warning_code(CODE) CODE #endif // CGAL_PARTITION_NO_WARNINGS @@ -256,9 +256,9 @@ # define CGAL_partition_expensive_exactness_warning_code(CODE) #else # define CGAL_partition_expensive_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_partition_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_partition_expensive_exactness_warning_code(CODE) CODE #endif // CGAL_PARTITION_NO_WARNINGS diff --git a/Polygon/include/CGAL/Polygon_2/polygon_assertions.h b/Polygon/include/CGAL/Polygon_2/polygon_assertions.h index 77951abe9e8..a87b30567ba 100644 --- a/Polygon/include/CGAL/Polygon_2/polygon_assertions.h +++ b/Polygon/include/CGAL/Polygon_2/polygon_assertions.h @@ -35,9 +35,9 @@ # define CGAL_polygon_assertion_code(CODE) #else # define CGAL_polygon_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_assertion_code(CODE) CODE #endif // CGAL_POLYGON_NO_ASSERTIONS @@ -49,9 +49,9 @@ # define CGAL_polygon_exactness_assertion_code(CODE) #else # define CGAL_polygon_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_exactness_assertion_code(CODE) CODE #endif // CGAL_POLYGON_NO_ASSERTIONS @@ -64,9 +64,9 @@ # define CGAL_polygon_expensive_assertion_code(CODE) #else # define CGAL_polygon_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_assertion_code(CODE) CODE #endif // CGAL_POLYGON_NO_ASSERTIONS @@ -79,9 +79,9 @@ # define CGAL_polygon_expensive_exactness_assertion_code(CODE) #else # define CGAL_polygon_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_exactness_assertion_code(CODE) CODE #endif // CGAL_POLYGON_NO_ASSERTIONS @@ -96,9 +96,9 @@ # define CGAL_polygon_precondition_code(CODE) #else # define CGAL_polygon_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_precondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_PRECONDITIONS @@ -110,9 +110,9 @@ # define CGAL_polygon_exactness_precondition_code(CODE) #else # define CGAL_polygon_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_exactness_precondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_PRECONDITIONS @@ -124,9 +124,9 @@ # define CGAL_polygon_expensive_precondition_code(CODE) #else # define CGAL_polygon_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_precondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_PRECONDITIONS @@ -139,9 +139,9 @@ # define CGAL_polygon_expensive_exactness_precondition_code(CODE) #else # define CGAL_polygon_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_exactness_precondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_PRECONDITIONS @@ -156,9 +156,9 @@ # define CGAL_polygon_postcondition_code(CODE) #else # define CGAL_polygon_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_postcondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_POSTCONDITIONS @@ -170,9 +170,9 @@ # define CGAL_polygon_exactness_postcondition_code(CODE) #else # define CGAL_polygon_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_exactness_postcondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_POSTCONDITIONS @@ -184,9 +184,9 @@ # define CGAL_polygon_expensive_postcondition_code(CODE) #else # define CGAL_polygon_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_postcondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_POSTCONDITIONS @@ -199,9 +199,9 @@ # define CGAL_polygon_expensive_exactness_postcondition_code(CODE) #else # define CGAL_polygon_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_exactness_postcondition_code(CODE) CODE #endif // CGAL_POLYGON_NO_POSTCONDITIONS @@ -216,9 +216,9 @@ # define CGAL_polygon_warning_code(CODE) #else # define CGAL_polygon_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_warning_code(CODE) CODE #endif // CGAL_POLYGON_NO_WARNINGS @@ -230,9 +230,9 @@ # define CGAL_polygon_exactness_warning_code(CODE) #else # define CGAL_polygon_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_exactness_warning_code(CODE) CODE #endif // CGAL_POLYGON_NO_WARNINGS @@ -244,9 +244,9 @@ # define CGAL_polygon_expensive_warning_code(CODE) #else # define CGAL_polygon_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_warning_code(CODE) CODE #endif // CGAL_POLYGON_NO_WARNINGS @@ -259,9 +259,9 @@ # define CGAL_polygon_expensive_exactness_warning_code(CODE) #else # define CGAL_polygon_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_polygon_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_polygon_expensive_exactness_warning_code(CODE) CODE #endif // CGAL_POLYGON_NO_WARNINGS diff --git a/QP_solver/include/CGAL/QP_solver/assertions.h b/QP_solver/include/CGAL/QP_solver/assertions.h index 1fa5606b0db..af2d2dfe6f3 100644 --- a/QP_solver/include/CGAL/QP_solver/assertions.h +++ b/QP_solver/include/CGAL/QP_solver/assertions.h @@ -37,9 +37,9 @@ # define CGAL_qpe_assertion_code(CODE) #else # define CGAL_qpe_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_assertion_code(CODE) CODE #endif // qpe assertions @@ -52,9 +52,9 @@ # define CGAL_qpe_exactness_assertion_code(CODE) #else # define CGAL_qpe_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_exactness_assertion_code(CODE) CODE #endif // qpe exactness assertions @@ -67,9 +67,9 @@ # define CGAL_qpe_expensive_assertion_code(CODE) #else # define CGAL_qpe_expensive_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_assertion_code(CODE) CODE #endif // qpe expensive assertions @@ -86,9 +86,9 @@ # define CGAL_qpe_expensive_exactness_assertion_code(CODE) #else # define CGAL_qpe_expensive_exactness_assertion(EX) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::assertion_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_exactness_assertion_code(CODE) CODE #endif // qpe expensive exactness assertions @@ -103,9 +103,9 @@ # define CGAL_qpe_precondition_code(CODE) #else # define CGAL_qpe_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_precondition_code(CODE) CODE #endif // qpe preconditions @@ -118,9 +118,9 @@ # define CGAL_qpe_exactness_precondition_code(CODE) #else # define CGAL_qpe_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_exactness_precondition_code(CODE) CODE #endif // qpe exactness preconditions @@ -133,9 +133,9 @@ # define CGAL_qpe_expensive_precondition_code(CODE) #else # define CGAL_qpe_expensive_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_precondition_code(CODE) CODE #endif // qpe expensive preconditions @@ -152,9 +152,9 @@ # define CGAL_qpe_expensive_exactness_precondition_code(CODE) #else # define CGAL_qpe_expensive_exactness_precondition(EX) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::precondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_exactness_precondition_code(CODE) CODE #endif // qpe expensive exactness preconditions @@ -169,9 +169,9 @@ # define CGAL_qpe_postcondition_code(CODE) #else # define CGAL_qpe_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_postcondition_code(CODE) CODE #endif // qpe postconditions @@ -184,9 +184,9 @@ # define CGAL_qpe_exactness_postcondition_code(CODE) #else # define CGAL_qpe_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_exactness_postcondition_code(CODE) CODE #endif // qpe exactness postconditions @@ -199,9 +199,9 @@ # define CGAL_qpe_expensive_postcondition_code(CODE) #else # define CGAL_qpe_expensive_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_postcondition_code(CODE) CODE #endif // qpe expensive postconditions @@ -218,9 +218,9 @@ # define CGAL_qpe_expensive_exactness_postcondition_code(CODE) #else # define CGAL_qpe_expensive_exactness_postcondition(EX) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::postcondition_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_exactness_postcondition_code(CODE) CODE #endif // qpe expensive exactness postconditions @@ -235,9 +235,9 @@ # define CGAL_qpe_warning_code(CODE) #else # define CGAL_qpe_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_warning_code(CODE) CODE #endif // qpe warnings @@ -250,9 +250,9 @@ # define CGAL_qpe_exactness_warning_code(CODE) #else # define CGAL_qpe_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_exactness_warning_code(CODE) CODE #endif // qpe exactness warnings @@ -265,9 +265,9 @@ # define CGAL_qpe_expensive_warning_code(CODE) #else # define CGAL_qpe_expensive_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_warning_code(CODE) CODE #endif // qpe expensive warnings @@ -284,9 +284,9 @@ # define CGAL_qpe_expensive_exactness_warning_code(CODE) #else # define CGAL_qpe_expensive_exactness_warning(EX) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__)) # define CGAL_qpe_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) + (CGAL::certainly(EX)?((void)0): ::CGAL::warning_fail( # EX ,__FILE__,__LINE__,MSG)) # define CGAL_qpe_expensive_exactness_warning_code(CODE) CODE #endif // qpe expensive exactness warnings diff --git a/STL_Extension/include/CGAL/assertions.h b/STL_Extension/include/CGAL/assertions.h index bf003183e51..d502551396f 100644 --- a/STL_Extension/include/CGAL/assertions.h +++ b/STL_Extension/include/CGAL/assertions.h @@ -26,6 +26,8 @@ #ifndef CGAL_ASSERTIONS_H #define CGAL_ASSERTIONS_H +#include + CGAL_BEGIN_NAMESPACE // types @@ -69,9 +71,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_assertion_code(CODE) #else # define CGAL_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_assertion_code(CODE) CODE #endif // CGAL_NO_ASSERTIONS @@ -81,9 +83,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_exactness_assertion_code(CODE) #else # define CGAL_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_exactness_assertion_code(CODE) CODE #endif // CGAL_NO_ASSERTIONS @@ -93,9 +95,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_assertion_code(CODE) #else # define CGAL_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_assertion_code(CODE) CODE #endif // CGAL_NO_ASSERTIONS @@ -105,9 +107,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_exactness_assertion_code(CODE) #else # define CGAL_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_exactness_assertion_code(CODE) CODE #endif // CGAL_NO_ASSERTIONS @@ -121,9 +123,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_precondition_code(CODE) #else # define CGAL_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_precondition_code(CODE) CODE #endif // CGAL_NO_PRECONDITIONS @@ -133,9 +135,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_exactness_precondition_code(CODE) #else # define CGAL_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_exactness_precondition_code(CODE) CODE #endif // CGAL_NO_PRECONDITIONS @@ -145,9 +147,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_precondition_code(CODE) #else # define CGAL_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_precondition_code(CODE) CODE #endif // CGAL_NO_PRECONDITIONS @@ -157,9 +159,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_exactness_precondition_code(CODE) #else # define CGAL_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_exactness_precondition_code(CODE) CODE #endif // CGAL_NO_PRECONDITIONS @@ -173,9 +175,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_postcondition_code(CODE) #else # define CGAL_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_postcondition_code(CODE) CODE #endif // CGAL_NO_POSTCONDITIONS @@ -185,9 +187,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_exactness_postcondition_code(CODE) #else # define CGAL_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_exactness_postcondition_code(CODE) CODE #endif // CGAL_NO_POSTCONDITIONS @@ -197,9 +199,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_postcondition_code(CODE) #else # define CGAL_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_postcondition_code(CODE) CODE #endif // CGAL_NO_POSTCONDITIONS @@ -209,9 +211,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_exactness_postcondition_code(CODE) #else # define CGAL_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_exactness_postcondition_code(CODE) CODE #endif // CGAL_NO_POSTCONDITIONS @@ -225,9 +227,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_warning_code(CODE) #else # define CGAL_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_warning_code(CODE) CODE #endif // CGAL_NO_WARNINGS @@ -237,9 +239,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_exactness_warning_code(CODE) #else # define CGAL_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_exactness_warning_code(CODE) CODE #endif // CGAL_NO_WARNINGS @@ -249,9 +251,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_warning_code(CODE) #else # define CGAL_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_warning_code(CODE) CODE #endif // CGAL_NO_WARNINGS @@ -261,9 +263,9 @@ void warning_fail( const char*, const char*, int, const char* = ""); # define CGAL_expensive_exactness_warning_code(CODE) #else # define CGAL_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_expensive_exactness_warning_code(CODE) CODE #endif // CGAL_NO_WARNINGS diff --git a/STL_Extension/include/CGAL/multiset_assertions.h b/STL_Extension/include/CGAL/multiset_assertions.h index 8fab5ae9ef7..cbc16ce996d 100644 --- a/STL_Extension/include/CGAL/multiset_assertions.h +++ b/STL_Extension/include/CGAL/multiset_assertions.h @@ -31,9 +31,9 @@ # define CGAL_multiset_assertion_code(CODE) #else # define CGAL_multiset_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_assertion_code(CODE) CODE # define CGAL_multiset_assertions 1 #endif // CGAL_MULTISET_NO_ASSERTIONS @@ -46,9 +46,9 @@ # define CGAL_multiset_exactness_assertion_code(CODE) #else # define CGAL_multiset_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_exactness_assertion_code(CODE) CODE # define CGAL_multiset_exactness_assertions 1 #endif // CGAL_MULTISET_NO_ASSERTIONS @@ -62,9 +62,9 @@ # define CGAL_multiset_expensive_assertion_code(CODE) #else # define CGAL_multiset_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_assertion_code(CODE) CODE # define CGAL_multiset_expensive_assertions 1 #endif // CGAL_MULTISET_NO_ASSERTIONS @@ -78,9 +78,9 @@ # define CGAL_multiset_expensive_exactness_assertion_code(CODE) #else # define CGAL_multiset_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_exactness_assertion_code(CODE) CODE # define CGAL_multiset_expensive_exactness_assertions 1 #endif // CGAL_MULTISET_NO_ASSERTIONS @@ -96,9 +96,9 @@ # define CGAL_multiset_precondition_code(CODE) #else # define CGAL_multiset_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_precondition_code(CODE) CODE # define CGAL_multiset_preconditions 1 #endif // CGAL_MULTISET_NO_PRECONDITIONS @@ -111,9 +111,9 @@ # define CGAL_multiset_exactness_precondition_code(CODE) #else # define CGAL_multiset_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_exactness_precondition_code(CODE) CODE # define CGAL_multiset_exactness_preconditions 1 #endif // CGAL_MULTISET_NO_PRECONDITIONS @@ -126,9 +126,9 @@ # define CGAL_multiset_expensive_precondition_code(CODE) #else # define CGAL_multiset_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_precondition_code(CODE) CODE # define CGAL_multiset_expensive_preconditions 1 #endif // CGAL_MULTISET_NO_PRECONDITIONS @@ -142,9 +142,9 @@ # define CGAL_multiset_expensive_exactness_precondition_code(CODE) #else # define CGAL_multiset_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_exactness_precondition_code(CODE) CODE # define CGAL_multiset_expensive_exactness_preconditions 1 #endif // CGAL_MULTISET_NO_PRECONDITIONS @@ -160,9 +160,9 @@ # define CGAL_multiset_postcondition_code(CODE) #else # define CGAL_multiset_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_postcondition_code(CODE) CODE # define CGAL_multiset_postconditions 1 #endif // CGAL_MULTISET_NO_POSTCONDITIONS @@ -175,9 +175,9 @@ # define CGAL_multiset_exactness_postcondition_code(CODE) #else # define CGAL_multiset_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_exactness_postcondition_code(CODE) CODE # define CGAL_multiset_exactness_postconditions 1 #endif // CGAL_MULTISET_NO_POSTCONDITIONS @@ -190,9 +190,9 @@ # define CGAL_multiset_expensive_postcondition_code(CODE) #else # define CGAL_multiset_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_postcondition_code(CODE) CODE # define CGAL_multiset_expensive_postconditions 1 #endif // CGAL_MULTISET_NO_POSTCONDITIONS @@ -206,9 +206,9 @@ # define CGAL_multiset_expensive_exactness_postcondition_code(CODE) #else # define CGAL_multiset_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_multiset_expensive_exactness_postconditions 1 #endif // CGAL_MULTISET_NO_POSTCONDITIONS @@ -224,9 +224,9 @@ # define CGAL_multiset_warning_code(CODE) #else # define CGAL_multiset_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_warning_code(CODE) CODE # define CGAL_multiset_warnings 1 #endif // CGAL_MULTISET_NO_WARNINGS @@ -239,9 +239,9 @@ # define CGAL_multiset_exactness_warning_code(CODE) #else # define CGAL_multiset_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_exactness_warning_code(CODE) CODE # define CGAL_multiset_exactness_warnings 1 #endif // CGAL_MULTISET_NO_WARNINGS @@ -254,9 +254,9 @@ # define CGAL_multiset_expensive_warning_code(CODE) #else # define CGAL_multiset_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_warning_code(CODE) CODE # define CGAL_multiset_expensive_warnings 1 #endif // CGAL_MULTISET_NO_WARNINGS @@ -270,9 +270,9 @@ # define CGAL_multiset_expensive_exactness_warning_code(CODE) #else # define CGAL_multiset_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_multiset_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_multiset_expensive_exactness_warning_code(CODE) CODE # define CGAL_multiset_expensive_exactness_warnings 1 #endif // CGAL_MULTISET_NO_WARNINGS diff --git a/Scripts/developer_scripts/create_assertions.sh b/Scripts/developer_scripts/create_assertions.sh index 1b2aa56c466..7c8e5590bf2 100755 --- a/Scripts/developer_scripts/create_assertions.sh +++ b/Scripts/developer_scripts/create_assertions.sh @@ -63,9 +63,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_assertion_code(CODE) #else # define CGAL_xxx_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_assertion_code(CODE) CODE # define CGAL_xxx_assertions 1 #endif // CGAL_XXX_NO_ASSERTIONS @@ -78,9 +78,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_exactness_assertion_code(CODE) #else # define CGAL_xxx_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_exactness_assertion_code(CODE) CODE # define CGAL_xxx_exactness_assertions 1 #endif // CGAL_XXX_NO_ASSERTIONS @@ -94,9 +94,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_assertion_code(CODE) #else # define CGAL_xxx_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_assertion_code(CODE) CODE # define CGAL_xxx_expensive_assertions 1 #endif // CGAL_XXX_NO_ASSERTIONS @@ -110,9 +110,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_exactness_assertion_code(CODE) #else # define CGAL_xxx_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_exactness_assertion_code(CODE) CODE # define CGAL_xxx_expensive_exactness_assertions 1 #endif // CGAL_XXX_NO_ASSERTIONS @@ -128,9 +128,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_precondition_code(CODE) #else # define CGAL_xxx_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_precondition_code(CODE) CODE # define CGAL_xxx_preconditions 1 #endif // CGAL_XXX_NO_PRECONDITIONS @@ -143,9 +143,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_exactness_precondition_code(CODE) #else # define CGAL_xxx_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_exactness_precondition_code(CODE) CODE # define CGAL_xxx_exactness_preconditions 1 #endif // CGAL_XXX_NO_PRECONDITIONS @@ -158,9 +158,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_precondition_code(CODE) #else # define CGAL_xxx_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_precondition_code(CODE) CODE # define CGAL_xxx_expensive_preconditions 1 #endif // CGAL_XXX_NO_PRECONDITIONS @@ -174,9 +174,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_exactness_precondition_code(CODE) #else # define CGAL_xxx_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_exactness_precondition_code(CODE) CODE # define CGAL_xxx_expensive_exactness_preconditions 1 #endif // CGAL_XXX_NO_PRECONDITIONS @@ -192,9 +192,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_postcondition_code(CODE) #else # define CGAL_xxx_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_postcondition_code(CODE) CODE # define CGAL_xxx_postconditions 1 #endif // CGAL_XXX_NO_POSTCONDITIONS @@ -207,9 +207,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_exactness_postcondition_code(CODE) #else # define CGAL_xxx_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_exactness_postcondition_code(CODE) CODE # define CGAL_xxx_exactness_postconditions 1 #endif // CGAL_XXX_NO_POSTCONDITIONS @@ -222,9 +222,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_postcondition_code(CODE) #else # define CGAL_xxx_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_postcondition_code(CODE) CODE # define CGAL_xxx_expensive_postconditions 1 #endif // CGAL_XXX_NO_POSTCONDITIONS @@ -238,9 +238,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_exactness_postcondition_code(CODE) #else # define CGAL_xxx_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_xxx_expensive_exactness_postconditions 1 #endif // CGAL_XXX_NO_POSTCONDITIONS @@ -256,9 +256,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_warning_code(CODE) #else # define CGAL_xxx_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_warning_code(CODE) CODE # define CGAL_xxx_warnings 1 #endif // CGAL_XXX_NO_WARNINGS @@ -271,9 +271,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_exactness_warning_code(CODE) #else # define CGAL_xxx_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_exactness_warning_code(CODE) CODE # define CGAL_xxx_exactness_warnings 1 #endif // CGAL_XXX_NO_WARNINGS @@ -286,9 +286,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_warning_code(CODE) #else # define CGAL_xxx_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_warning_code(CODE) CODE # define CGAL_xxx_expensive_warnings 1 #endif // CGAL_XXX_NO_WARNINGS @@ -302,9 +302,9 @@ sed -e "s/XXX_/${nameUC}/g" -e "s/xxx_/${nameLC}/g" <<"EOF" \ # define CGAL_xxx_expensive_exactness_warning_code(CODE) #else # define CGAL_xxx_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_xxx_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_xxx_expensive_exactness_warning_code(CODE) CODE # define CGAL_xxx_expensive_exactness_warnings 1 #endif // CGAL_XXX_NO_WARNINGS diff --git a/SearchStructures/include/CGAL/Tree_assertions.h b/SearchStructures/include/CGAL/Tree_assertions.h index ab782859c43..8101db087d6 100644 --- a/SearchStructures/include/CGAL/Tree_assertions.h +++ b/SearchStructures/include/CGAL/Tree_assertions.h @@ -37,9 +37,9 @@ # define CGAL_Tree_assertion_code(CODE) #else # define CGAL_Tree_assertion(EX) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_assertion_msg(EX,MSG) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_assertion_code(CODE) CODE #endif // CGAL_TREE_NO_ASSERTIONS @@ -51,9 +51,9 @@ # define CGAL_Tree_exactness_assertion_code(CODE) #else # define CGAL_Tree_exactness_assertion(EX) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_exactness_assertion_code(CODE) CODE #endif // CGAL_TREE_NO_ASSERTIONS @@ -66,9 +66,9 @@ # define CGAL_Tree_expensive_assertion_code(CODE) #else # define CGAL_Tree_expensive_assertion(EX) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_assertion_msg(EX,MSG) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_assertion_code(CODE) CODE #endif // CGAL_TREE_NO_ASSERTIONS @@ -81,9 +81,9 @@ # define CGAL_Tree_expensive_exactness_assertion_code(CODE) #else # define CGAL_Tree_expensive_exactness_assertion(EX) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_exactness_assertion_code(CODE) CODE #endif // CGAL_TREE_NO_ASSERTIONS @@ -98,9 +98,9 @@ # define CGAL_Tree_precondition_code(CODE) #else # define CGAL_Tree_precondition(EX) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_precondition_msg(EX,MSG) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_precondition_code(CODE) CODE #endif // CGAL_TREE_NO_PRECONDITIONS @@ -112,9 +112,9 @@ # define CGAL_Tree_exactness_precondition_code(CODE) #else # define CGAL_Tree_exactness_precondition(EX) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_exactness_precondition_code(CODE) CODE #endif // CGAL_TREE_NO_PRECONDITIONS @@ -126,9 +126,9 @@ # define CGAL_Tree_expensive_precondition_code(CODE) #else # define CGAL_Tree_expensive_precondition(EX) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_precondition_msg(EX,MSG) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_precondition_code(CODE) CODE #endif // CGAL_TREE_NO_PRECONDITIONS @@ -141,9 +141,9 @@ # define CGAL_Tree_expensive_exactness_precondition_code(CODE) #else # define CGAL_Tree_expensive_exactness_precondition(EX) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_exactness_precondition_code(CODE) CODE #endif // CGAL_TREE_NO_PRECONDITIONS @@ -158,9 +158,9 @@ # define CGAL_Tree_postcondition_code(CODE) #else # define CGAL_Tree_postcondition(EX) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_postcondition_msg(EX,MSG) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_postcondition_code(CODE) CODE #endif // CGAL_TREE_NO_POSTCONDITIONS @@ -172,9 +172,9 @@ # define CGAL_Tree_exactness_postcondition_code(CODE) #else # define CGAL_Tree_exactness_postcondition(EX) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_exactness_postcondition_code(CODE) CODE #endif // CGAL_TREE_NO_POSTCONDITIONS @@ -186,9 +186,9 @@ # define CGAL_Tree_expensive_postcondition_code(CODE) #else # define CGAL_Tree_expensive_postcondition(EX) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_postcondition_msg(EX,MSG) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_postcondition_code(CODE) CODE #endif // CGAL_TREE_NO_POSTCONDITIONS @@ -201,9 +201,9 @@ # define CGAL_Tree_expensive_exactness_postcondition_code(CODE) #else # define CGAL_Tree_expensive_exactness_postcondition(EX) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_exactness_postcondition_code(CODE) CODE #endif // CGAL_TREE_NO_POSTCONDITIONS @@ -218,9 +218,9 @@ # define CGAL_Tree_warning_code(CODE) #else # define CGAL_Tree_warning(EX) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_warning_msg(EX,MSG) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_warning_code(CODE) CODE #endif // CGAL_TREE_NO_WARNINGS @@ -232,9 +232,9 @@ # define CGAL_Tree_exactness_warning_code(CODE) #else # define CGAL_Tree_exactness_warning(EX) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_exactness_warning_code(CODE) CODE #endif // CGAL_TREE_NO_WARNINGS @@ -246,9 +246,9 @@ # define CGAL_Tree_expensive_warning_code(CODE) #else # define CGAL_Tree_expensive_warning(EX) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_warning_msg(EX,MSG) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_warning_code(CODE) CODE #endif // CGAL_TREE_NO_WARNINGS @@ -261,9 +261,9 @@ # define CGAL_Tree_expensive_exactness_warning_code(CODE) #else # define CGAL_Tree_expensive_exactness_warning(EX) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_Tree_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?((void)0):warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_Tree_expensive_exactness_warning_code(CODE) CODE #endif // CGAL_TREE_NO_WARNINGS diff --git a/Straight_skeleton_2/include/CGAL/Straight_skeleton_2/assertions.h b/Straight_skeleton_2/include/CGAL/Straight_skeleton_2/assertions.h index d6f5190b4ba..40861df830b 100644 --- a/Straight_skeleton_2/include/CGAL/Straight_skeleton_2/assertions.h +++ b/Straight_skeleton_2/include/CGAL/Straight_skeleton_2/assertions.h @@ -26,8 +26,8 @@ # define CGAL_stskel_expensive_postcondition_msg(EX,MSG) (static_cast(0)) # define CGAL_stskel_expensive_postcondition_code(CODE) #else -# define CGAL_stskel_expensive_postcondition(EX) ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) -# define CGAL_stskel_expensive_postcondition_msg(EX,MSG) ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) +# define CGAL_stskel_expensive_postcondition(EX) (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) +# define CGAL_stskel_expensive_postcondition_msg(EX,MSG) (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_stskel_expensive_postcondition_code(CODE) CODE #endif diff --git a/Stream_lines_2/include/CGAL/streamlines_assertions.h b/Stream_lines_2/include/CGAL/streamlines_assertions.h index 2bd90274cc2..9cccb5ff260 100644 --- a/Stream_lines_2/include/CGAL/streamlines_assertions.h +++ b/Stream_lines_2/include/CGAL/streamlines_assertions.h @@ -32,9 +32,9 @@ # define CGAL_streamlines_assertion_code(CODE) #else # define CGAL_streamlines_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_assertion_code(CODE) CODE # define CGAL_streamlines_assertions 1 #endif // CGAL_STREAMLINES_NO_ASSERTIONS @@ -47,9 +47,9 @@ # define CGAL_streamlines_exactness_assertion_code(CODE) #else # define CGAL_streamlines_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_exactness_assertion_code(CODE) CODE # define CGAL_streamlines_exactness_assertions 1 #endif // CGAL_STREAMLINES_NO_ASSERTIONS @@ -63,9 +63,9 @@ # define CGAL_streamlines_expensive_assertion_code(CODE) #else # define CGAL_streamlines_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_assertion_code(CODE) CODE # define CGAL_streamlines_expensive_assertions 1 #endif // CGAL_STREAMLINES_NO_ASSERTIONS @@ -79,9 +79,9 @@ # define CGAL_streamlines_expensive_exactness_assertion_code(CODE) #else # define CGAL_streamlines_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_exactness_assertion_code(CODE) CODE # define CGAL_streamlines_expensive_exactness_assertions 1 #endif // CGAL_STREAMLINES_NO_ASSERTIONS @@ -97,9 +97,9 @@ # define CGAL_streamlines_precondition_code(CODE) #else # define CGAL_streamlines_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_precondition_code(CODE) CODE # define CGAL_streamlines_preconditions 1 #endif // CGAL_STREAMLINES_NO_PRECONDITIONS @@ -112,9 +112,9 @@ # define CGAL_streamlines_exactness_precondition_code(CODE) #else # define CGAL_streamlines_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_exactness_precondition_code(CODE) CODE # define CGAL_streamlines_exactness_preconditions 1 #endif // CGAL_STREAMLINES_NO_PRECONDITIONS @@ -127,9 +127,9 @@ # define CGAL_streamlines_expensive_precondition_code(CODE) #else # define CGAL_streamlines_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_precondition_code(CODE) CODE # define CGAL_streamlines_expensive_preconditions 1 #endif // CGAL_STREAMLINES_NO_PRECONDITIONS @@ -143,9 +143,9 @@ # define CGAL_streamlines_expensive_exactness_precondition_code(CODE) #else # define CGAL_streamlines_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_exactness_precondition_code(CODE) CODE # define CGAL_streamlines_expensive_exactness_preconditions 1 #endif // CGAL_STREAMLINES_NO_PRECONDITIONS @@ -161,9 +161,9 @@ # define CGAL_streamlines_postcondition_code(CODE) #else # define CGAL_streamlines_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_postcondition_code(CODE) CODE # define CGAL_streamlines_postconditions 1 #endif // CGAL_STREAMLINES_NO_POSTCONDITIONS @@ -176,9 +176,9 @@ # define CGAL_streamlines_exactness_postcondition_code(CODE) #else # define CGAL_streamlines_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_exactness_postcondition_code(CODE) CODE # define CGAL_streamlines_exactness_postconditions 1 #endif // CGAL_STREAMLINES_NO_POSTCONDITIONS @@ -191,9 +191,9 @@ # define CGAL_streamlines_expensive_postcondition_code(CODE) #else # define CGAL_streamlines_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_postcondition_code(CODE) CODE # define CGAL_streamlines_expensive_postconditions 1 #endif // CGAL_STREAMLINES_NO_POSTCONDITIONS @@ -207,9 +207,9 @@ # define CGAL_streamlines_expensive_exactness_postcondition_code(CODE) #else # define CGAL_streamlines_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_streamlines_expensive_exactness_postconditions 1 #endif // CGAL_STREAMLINES_NO_POSTCONDITIONS @@ -225,9 +225,9 @@ # define CGAL_streamlines_warning_code(CODE) #else # define CGAL_streamlines_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_warning_code(CODE) CODE # define CGAL_streamlines_warnings 1 #endif // CGAL_STREAMLINES_NO_WARNINGS @@ -240,9 +240,9 @@ # define CGAL_streamlines_exactness_warning_code(CODE) #else # define CGAL_streamlines_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_exactness_warning_code(CODE) CODE # define CGAL_streamlines_exactness_warnings 1 #endif // CGAL_STREAMLINES_NO_WARNINGS @@ -255,9 +255,9 @@ # define CGAL_streamlines_expensive_warning_code(CODE) #else # define CGAL_streamlines_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_warning_code(CODE) CODE # define CGAL_streamlines_expensive_warnings 1 #endif // CGAL_STREAMLINES_NO_WARNINGS @@ -271,9 +271,9 @@ # define CGAL_streamlines_expensive_exactness_warning_code(CODE) #else # define CGAL_streamlines_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_streamlines_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_streamlines_expensive_exactness_warning_code(CODE) CODE # define CGAL_streamlines_expensive_exactness_warnings 1 #endif // CGAL_STREAMLINES_NO_WARNINGS diff --git a/Surface_mesh_parameterization/include/CGAL/surface_mesh_parameterization_assertions.h b/Surface_mesh_parameterization/include/CGAL/surface_mesh_parameterization_assertions.h index bbb3e4a0768..af87304e6d8 100644 --- a/Surface_mesh_parameterization/include/CGAL/surface_mesh_parameterization_assertions.h +++ b/Surface_mesh_parameterization/include/CGAL/surface_mesh_parameterization_assertions.h @@ -36,9 +36,9 @@ # define CGAL_surface_mesh_parameterization_assertion_code(CODE) #else # define CGAL_surface_mesh_parameterization_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_assertion_code(CODE) CODE # define CGAL_surface_mesh_parameterization_assertions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_ASSERTIONS @@ -51,9 +51,9 @@ # define CGAL_surface_mesh_parameterization_exactness_assertion_code(CODE) #else # define CGAL_surface_mesh_parameterization_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_exactness_assertion_code(CODE) CODE # define CGAL_surface_mesh_parameterization_exactness_assertions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_ASSERTIONS @@ -67,9 +67,9 @@ # define CGAL_surface_mesh_parameterization_expensive_assertion_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_assertion_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_assertions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_ASSERTIONS @@ -83,9 +83,9 @@ # define CGAL_surface_mesh_parameterization_expensive_exactness_assertion_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_exactness_assertion_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_exactness_assertions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_ASSERTIONS @@ -101,9 +101,9 @@ # define CGAL_surface_mesh_parameterization_precondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_precondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_preconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_PRECONDITIONS @@ -116,9 +116,9 @@ # define CGAL_surface_mesh_parameterization_exactness_precondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_exactness_precondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_exactness_preconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_PRECONDITIONS @@ -131,9 +131,9 @@ # define CGAL_surface_mesh_parameterization_expensive_precondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_precondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_preconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_PRECONDITIONS @@ -147,9 +147,9 @@ # define CGAL_surface_mesh_parameterization_expensive_exactness_precondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_exactness_precondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_exactness_preconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_PRECONDITIONS @@ -165,9 +165,9 @@ # define CGAL_surface_mesh_parameterization_postcondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_postcondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_postconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_POSTCONDITIONS @@ -180,9 +180,9 @@ # define CGAL_surface_mesh_parameterization_exactness_postcondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_exactness_postcondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_exactness_postconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_POSTCONDITIONS @@ -195,9 +195,9 @@ # define CGAL_surface_mesh_parameterization_expensive_postcondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_postcondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_postconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_POSTCONDITIONS @@ -211,9 +211,9 @@ # define CGAL_surface_mesh_parameterization_expensive_exactness_postcondition_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_exactness_postconditions 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_POSTCONDITIONS @@ -229,9 +229,9 @@ # define CGAL_surface_mesh_parameterization_warning_code(CODE) #else # define CGAL_surface_mesh_parameterization_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_warning_code(CODE) CODE # define CGAL_surface_mesh_parameterization_warnings 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_WARNINGS @@ -244,9 +244,9 @@ # define CGAL_surface_mesh_parameterization_exactness_warning_code(CODE) #else # define CGAL_surface_mesh_parameterization_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_exactness_warning_code(CODE) CODE # define CGAL_surface_mesh_parameterization_exactness_warnings 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_WARNINGS @@ -259,9 +259,9 @@ # define CGAL_surface_mesh_parameterization_expensive_warning_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_warning_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_warnings 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_WARNINGS @@ -275,9 +275,9 @@ # define CGAL_surface_mesh_parameterization_expensive_exactness_warning_code(CODE) #else # define CGAL_surface_mesh_parameterization_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_mesh_parameterization_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_mesh_parameterization_expensive_exactness_warning_code(CODE) CODE # define CGAL_surface_mesh_parameterization_expensive_exactness_warnings 1 #endif // CGAL_SURFACE_MESH_PARAMETERIZATION_NO_WARNINGS diff --git a/Surface_reconstruction_3/include/CGAL/surface_reconstruction_assertions.h b/Surface_reconstruction_3/include/CGAL/surface_reconstruction_assertions.h index 7a18595edaa..3a13ad74a6f 100644 --- a/Surface_reconstruction_3/include/CGAL/surface_reconstruction_assertions.h +++ b/Surface_reconstruction_3/include/CGAL/surface_reconstruction_assertions.h @@ -36,9 +36,9 @@ # define CGAL_surface_reconstruction_assertion_code(CODE) #else # define CGAL_surface_reconstruction_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_assertion_code(CODE) CODE # define CGAL_surface_reconstruction_assertions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_ASSERTIONS @@ -51,9 +51,9 @@ # define CGAL_surface_reconstruction_exactness_assertion_code(CODE) #else # define CGAL_surface_reconstruction_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_exactness_assertion_code(CODE) CODE # define CGAL_surface_reconstruction_exactness_assertions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_ASSERTIONS @@ -67,9 +67,9 @@ # define CGAL_surface_reconstruction_expensive_assertion_code(CODE) #else # define CGAL_surface_reconstruction_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_assertion_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_assertions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_ASSERTIONS @@ -83,9 +83,9 @@ # define CGAL_surface_reconstruction_expensive_exactness_assertion_code(CODE) #else # define CGAL_surface_reconstruction_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_exactness_assertion_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_exactness_assertions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_ASSERTIONS @@ -101,9 +101,9 @@ # define CGAL_surface_reconstruction_precondition_code(CODE) #else # define CGAL_surface_reconstruction_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_precondition_code(CODE) CODE # define CGAL_surface_reconstruction_preconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_PRECONDITIONS @@ -116,9 +116,9 @@ # define CGAL_surface_reconstruction_exactness_precondition_code(CODE) #else # define CGAL_surface_reconstruction_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_exactness_precondition_code(CODE) CODE # define CGAL_surface_reconstruction_exactness_preconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_PRECONDITIONS @@ -131,9 +131,9 @@ # define CGAL_surface_reconstruction_expensive_precondition_code(CODE) #else # define CGAL_surface_reconstruction_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_precondition_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_preconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_PRECONDITIONS @@ -147,9 +147,9 @@ # define CGAL_surface_reconstruction_expensive_exactness_precondition_code(CODE) #else # define CGAL_surface_reconstruction_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_exactness_precondition_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_exactness_preconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_PRECONDITIONS @@ -165,9 +165,9 @@ # define CGAL_surface_reconstruction_postcondition_code(CODE) #else # define CGAL_surface_reconstruction_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_postcondition_code(CODE) CODE # define CGAL_surface_reconstruction_postconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_POSTCONDITIONS @@ -180,9 +180,9 @@ # define CGAL_surface_reconstruction_exactness_postcondition_code(CODE) #else # define CGAL_surface_reconstruction_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_exactness_postcondition_code(CODE) CODE # define CGAL_surface_reconstruction_exactness_postconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_POSTCONDITIONS @@ -195,9 +195,9 @@ # define CGAL_surface_reconstruction_expensive_postcondition_code(CODE) #else # define CGAL_surface_reconstruction_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_postcondition_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_postconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_POSTCONDITIONS @@ -211,9 +211,9 @@ # define CGAL_surface_reconstruction_expensive_exactness_postcondition_code(CODE) #else # define CGAL_surface_reconstruction_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_exactness_postcondition_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_exactness_postconditions 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_POSTCONDITIONS @@ -229,9 +229,9 @@ # define CGAL_surface_reconstruction_warning_code(CODE) #else # define CGAL_surface_reconstruction_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_warning_code(CODE) CODE # define CGAL_surface_reconstruction_warnings 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_WARNINGS @@ -244,9 +244,9 @@ # define CGAL_surface_reconstruction_exactness_warning_code(CODE) #else # define CGAL_surface_reconstruction_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_exactness_warning_code(CODE) CODE # define CGAL_surface_reconstruction_exactness_warnings 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_WARNINGS @@ -259,9 +259,9 @@ # define CGAL_surface_reconstruction_expensive_warning_code(CODE) #else # define CGAL_surface_reconstruction_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_warning_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_warnings 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_WARNINGS @@ -275,9 +275,9 @@ # define CGAL_surface_reconstruction_expensive_exactness_warning_code(CODE) #else # define CGAL_surface_reconstruction_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_surface_reconstruction_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_surface_reconstruction_expensive_exactness_warning_code(CODE) CODE # define CGAL_surface_reconstruction_expensive_exactness_warnings 1 #endif // CGAL_SURFACE_RECONSTRUCTION_NO_WARNINGS diff --git a/Triangulation_2/include/CGAL/triangulation_assertions.h b/Triangulation_2/include/CGAL/triangulation_assertions.h index 4ac5d98544c..bde04b0d9f6 100644 --- a/Triangulation_2/include/CGAL/triangulation_assertions.h +++ b/Triangulation_2/include/CGAL/triangulation_assertions.h @@ -32,9 +32,9 @@ # define CGAL_triangulation_assertion_code(CODE) #else # define CGAL_triangulation_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_assertion_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_ASSERTIONS @@ -46,9 +46,9 @@ # define CGAL_triangulation_exactness_assertion_code(CODE) #else # define CGAL_triangulation_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_exactness_assertion_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_ASSERTIONS @@ -61,9 +61,9 @@ # define CGAL_triangulation_expensive_assertion_code(CODE) #else # define CGAL_triangulation_expensive_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_assertion_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_ASSERTIONS @@ -76,9 +76,9 @@ # define CGAL_triangulation_expensive_exactness_assertion_code(CODE) #else # define CGAL_triangulation_expensive_exactness_assertion(EX) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_exactness_assertion_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_exactness_assertion_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_ASSERTIONS @@ -93,9 +93,9 @@ # define CGAL_triangulation_precondition_code(CODE) #else # define CGAL_triangulation_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_precondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_PRECONDITIONS @@ -107,9 +107,9 @@ # define CGAL_triangulation_exactness_precondition_code(CODE) #else # define CGAL_triangulation_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_exactness_precondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_PRECONDITIONS @@ -121,9 +121,9 @@ # define CGAL_triangulation_expensive_precondition_code(CODE) #else # define CGAL_triangulation_expensive_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_precondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_PRECONDITIONS @@ -136,9 +136,9 @@ # define CGAL_triangulation_expensive_exactness_precondition_code(CODE) #else # define CGAL_triangulation_expensive_exactness_precondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_exactness_precondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_exactness_precondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_PRECONDITIONS @@ -153,9 +153,9 @@ # define CGAL_triangulation_postcondition_code(CODE) #else # define CGAL_triangulation_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_postcondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_POSTCONDITIONS @@ -167,9 +167,9 @@ # define CGAL_triangulation_exactness_postcondition_code(CODE) #else # define CGAL_triangulation_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_exactness_postcondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_POSTCONDITIONS @@ -181,9 +181,9 @@ # define CGAL_triangulation_expensive_postcondition_code(CODE) #else # define CGAL_triangulation_expensive_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_postcondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_POSTCONDITIONS @@ -196,9 +196,9 @@ # define CGAL_triangulation_expensive_exactness_postcondition_code(CODE) #else # define CGAL_triangulation_expensive_exactness_postcondition(EX) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_exactness_postcondition_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_exactness_postcondition_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_POSTCONDITIONS @@ -213,9 +213,9 @@ # define CGAL_triangulation_warning_code(CODE) #else # define CGAL_triangulation_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_warning_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_WARNINGS @@ -227,9 +227,9 @@ # define CGAL_triangulation_exactness_warning_code(CODE) #else # define CGAL_triangulation_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_exactness_warning_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_WARNINGS @@ -241,9 +241,9 @@ # define CGAL_triangulation_expensive_warning_code(CODE) #else # define CGAL_triangulation_expensive_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_warning_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_WARNINGS @@ -256,9 +256,9 @@ # define CGAL_triangulation_expensive_exactness_warning_code(CODE) #else # define CGAL_triangulation_expensive_exactness_warning(EX) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__)) # define CGAL_triangulation_expensive_exactness_warning_msg(EX,MSG) \ - ((EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) + (CGAL::certainly(EX)?(static_cast(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG)) # define CGAL_triangulation_expensive_exactness_warning_code(CODE) CODE #endif // CGAL_TRIANGULATION_NO_WARNINGS