SPAR/AIModule/BWTA/vendors/CGAL/CGAL/assertions.h File Reference

#include <CGAL/config.h>
#include <CGAL/Uncertain.h>

Include dependency graph for assertions.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines
#define	CGAL_assertion(EX)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))
#define	CGAL_assertion_msg(EX, MSG)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
#define	CGAL_assertion_code(CODE)   CODE
#define	CGAL_exactness_assertion(EX)   (static_cast<void>(0))
#define	CGAL_exactness_assertion_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_exactness_assertion_code(CODE)
#define	CGAL_expensive_assertion(EX)   (static_cast<void>(0))
#define	CGAL_expensive_assertion_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_assertion_code(CODE)
#define	CGAL_expensive_exactness_assertion(EX)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_assertion_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_assertion_code(CODE)
#define	CGAL_precondition(EX)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))
#define	CGAL_precondition_msg(EX, MSG)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG))
#define	CGAL_precondition_code(CODE)   CODE
#define	CGAL_exactness_precondition(EX)   (static_cast<void>(0))
#define	CGAL_exactness_precondition_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_exactness_precondition_code(CODE)
#define	CGAL_expensive_precondition(EX)   (static_cast<void>(0))
#define	CGAL_expensive_precondition_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_precondition_code(CODE)
#define	CGAL_expensive_exactness_precondition(EX)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_precondition_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_precondition_code(CODE)
#define	CGAL_postcondition(EX)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))
#define	CGAL_postcondition_msg(EX, MSG)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG))
#define	CGAL_postcondition_code(CODE)   CODE
#define	CGAL_exactness_postcondition(EX)   (static_cast<void>(0))
#define	CGAL_exactness_postcondition_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_exactness_postcondition_code(CODE)
#define	CGAL_expensive_postcondition(EX)   (static_cast<void>(0))
#define	CGAL_expensive_postcondition_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_postcondition_code(CODE)
#define	CGAL_expensive_exactness_postcondition(EX)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_postcondition_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_postcondition_code(CODE)
#define	CGAL_warning(EX)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))
#define	CGAL_warning_msg(EX, MSG)   (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG))
#define	CGAL_warning_code(CODE)   CODE
#define	CGAL_exactness_warning(EX)   (static_cast<void>(0))
#define	CGAL_exactness_warning_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_exactness_warning_code(CODE)
#define	CGAL_expensive_warning(EX)   (static_cast<void>(0))
#define	CGAL_expensive_warning_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_warning_code(CODE)
#define	CGAL_expensive_exactness_warning(EX)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_warning_msg(EX, MSG)   (static_cast<void>(0))
#define	CGAL_expensive_exactness_warning_code(CODE)
#define	CGAL_error_msg(MSG)   ::CGAL::assertion_fail( "", __FILE__, __LINE__, MSG )
#define	CGAL_error()   ::CGAL::assertion_fail( "", __FILE__, __LINE__ )
Functions
CGAL_BEGIN_NAMESPACE void	assertion_fail (const char *, const char *, int, const char *="") CGAL_NORETURN
void	precondition_fail (const char *, const char *, int, const char *="") CGAL_NORETURN
void	postcondition_fail (const char *, const char *, int, const char *="") CGAL_NORETURN
void	warning_fail (const char *, const char *, int, const char *="")
bool	possibly (bool b)
bool	possibly (Uncertain< bool > c)

---

Define Documentation

#define CGAL_assertion

(

EX

)

(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__))

#define CGAL_assertion_code

(

CODE

)

CODE

#define CGAL_assertion_msg	(		EX,
			MSG
	)		(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))

#define CGAL_error

(

)

::CGAL::assertion_fail( "", __FILE__, __LINE__ )

#define CGAL_error_msg

(

MSG

)

::CGAL::assertion_fail( "", __FILE__, __LINE__, MSG )

#define CGAL_exactness_assertion

(

EX

)

(static_cast<void>(0))

#define CGAL_exactness_assertion_code

(

CODE

)

#define CGAL_exactness_assertion_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_exactness_postcondition

(

EX

)

(static_cast<void>(0))

#define CGAL_exactness_postcondition_code

(

CODE

)

#define CGAL_exactness_postcondition_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_exactness_precondition

(

EX

)

(static_cast<void>(0))

#define CGAL_exactness_precondition_code

(

CODE

)

#define CGAL_exactness_precondition_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_exactness_warning

(

EX

)

(static_cast<void>(0))

#define CGAL_exactness_warning_code

(

CODE

)

#define CGAL_exactness_warning_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_assertion

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_assertion_code

(

CODE

)

#define CGAL_expensive_assertion_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_exactness_assertion

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_exactness_assertion_code

(

CODE

)

#define CGAL_expensive_exactness_assertion_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_exactness_postcondition

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_exactness_postcondition_code

(

CODE

)

#define CGAL_expensive_exactness_postcondition_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_exactness_precondition

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_exactness_precondition_code

(

CODE

)

#define CGAL_expensive_exactness_precondition_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_exactness_warning

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_exactness_warning_code

(

CODE

)

#define CGAL_expensive_exactness_warning_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_postcondition

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_postcondition_code

(

CODE

)

#define CGAL_expensive_postcondition_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_precondition

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_precondition_code

(

CODE

)

#define CGAL_expensive_precondition_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_expensive_warning

(

EX

)

(static_cast<void>(0))

#define CGAL_expensive_warning_code

(

CODE

)

#define CGAL_expensive_warning_msg	(		EX,
			MSG
	)		(static_cast<void>(0))

#define CGAL_postcondition

(

EX

)

(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__))

#define CGAL_postcondition_code

(

CODE

)

CODE

#define CGAL_postcondition_msg	(		EX,
			MSG
	)		(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::postcondition_fail( # EX , __FILE__, __LINE__, MSG))

#define CGAL_precondition

(

EX

)

(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__))

#define CGAL_precondition_code

(

CODE

)

CODE

#define CGAL_precondition_msg	(		EX,
			MSG
	)		(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::precondition_fail( # EX , __FILE__, __LINE__, MSG))

#define CGAL_warning

(

EX

)

(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__))

#define CGAL_warning_code

(

CODE

)

CODE

#define CGAL_warning_msg	(		EX,
			MSG
	)		(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::warning_fail( # EX , __FILE__, __LINE__, MSG))

---

Function Documentation

CGAL_BEGIN_NAMESPACE void assertion_fail	(	const char *	,
		const char *	,
		int	,
		const char *	= ""
	)

bool possibly

(

bool

b

)

[inline]

Here is the caller graph for this function:

bool possibly

(

Uncertain< bool >

c

)

[inline]

Here is the call graph for this function:

void postcondition_fail	(	const char *	,
		const char *	,
		int	,
		const char *	= ""
	)

void precondition_fail	(	const char *	,
		const char *	,
		int	,
		const char *	= ""
	)

void warning_fail	(	const char *	,
		const char *	,
		int	,
		const char *	= ""
	)

Here is the caller graph for this function: