phynexis-deps/cgal
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

certainly() -> possibly().

Browse Source
This commit is contained in:
Sylvain Pion
2008-07-14 11:16:41 +00:00
parent 6c429f7ddf
commit 2eb0d8f9e9
15 changed files with 451 additions and 451 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Scripts/developer_scripts/create_assertions.sh
+32 -32
View File
@@ -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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_assertion_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_exactness_assertion_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_assertion_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_exactness_assertion_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_precondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_exactness_precondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_precondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_exactness_precondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_postcondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_exactness_postcondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_postcondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_exactness_postcondition_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_warning_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_exactness_warning_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_warning_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
# define CGAL_xxx_expensive_exactness_warning_msg(EX,MSG) \
(CGAL::certainly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG))
(CGAL::possibly(EX)?(static_cast<void>(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