assert.h File Reference

#include <qx/category.h>
#include <qx/logger/logger.h>
#include <exception>

Go to the source code of this file.

Macros
#define	QX_ASSERT(condition, ...)
	Verifies that condition is true. More...
#define	QX_ASSERT_NO_ENTRY(...)    _QX_ASSERT_NO_ENTRY(QX_ASSERT_BEFORE_DEBUG_BREAK, QX_ASSERT_DEBUG_BREAK, QX_ASSERT_AFTER_DEBUG_BREAK, ##__VA_ARGS__)
	Fails unconditionally if this code should not be executed. More...
#define	QX_EXPECT(condition, ...)
	Verifies that condition is true. More...
#define	QX_EXPECT_NO_ENTRY(...)    _QX_ASSERT_NO_ENTRY(QX_EXPECT_BEFORE_DEBUG_BREAK, QX_EXPECT_DEBUG_BREAK, QX_EXPECT_AFTER_DEBUG_BREAK, ##__VA_ARGS__)
	Fails unconditionally if this code should not be executed. More...
#define	QX_EXPECT_CONTINUE(condition, ...)
	Verifies that condition is true and continues loop if false. More...
#define	QX_EXPECT_BREAK(condition, ...)
	Verifies that condition is true and break loop if false. More...
#define	QX_EXPECT_RETURN(condition, return_value, ...)
	Verifies that condition is true and "return return_value;" if false. More...
#define	QX_EXPECT_RETURN_VOID(condition, ...)
	Verifies that condition is true and "return;" if false. More...
#define	QX_EXPECT_CO_RETURN(condition, return_value, ...)
	Verifies that condition is true and "co_return return_value;" if false. More...
#define	QX_EXPECT_CO_RETURN_VOID(condition, ...)
	Verifies that condition is true and "co_return;" if false. More...

Detailed Description

Author

Khrapov

Date

29.10.2020

Copyright

© Nick Khrapov, 2021. All right reserved.

Definition in file assert.h.

Macro Definition Documentation

QX_ASSERT

#define QX_ASSERT	(		condition,
			...
	)

Value:

    _QX_ASSERT(                       \
        QX_ASSERT_BEFORE_DEBUG_BREAK, \
        QX_ASSERT_DEBUG_BREAK,        \
        QX_ASSERT_AFTER_DEBUG_BREAK,  \
        condition,                    \
        ##__VA_ARGS__)

Verifies that condition is true.

ASSERT macros generate fatal failures and abort the program execution

Parameters

condition	- condition to check. if false, assert fails
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 250 of file assert.h.

QX_ASSERT_NO_ENTRY

#define QX_ASSERT_NO_ENTRY

(

...

)

_QX_ASSERT_NO_ENTRY(QX_ASSERT_BEFORE_DEBUG_BREAK, QX_ASSERT_DEBUG_BREAK, QX_ASSERT_AFTER_DEBUG_BREAK, ##__VA_ARGS__)

Fails unconditionally if this code should not be executed.

ASSERT macros generate fatal failures and abort the program execution

Parameters

...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 267 of file assert.h.

QX_EXPECT

#define QX_EXPECT	(		condition,
			...
	)

Value:

    _QX_ASSERT(                       \
        QX_EXPECT_BEFORE_DEBUG_BREAK, \
        QX_EXPECT_DEBUG_BREAK,        \
        QX_EXPECT_AFTER_DEBUG_BREAK,  \
        condition,                    \
        ##__VA_ARGS__)

Verifies that condition is true.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 280 of file assert.h.

QX_EXPECT_BREAK

#define QX_EXPECT_BREAK	(		condition,
			...
	)

Value:

    _QX_ASSERT_BREAK(                   \
        QX_EXPECT_BEFORE_DEBUG_BREAK,   \
        QX_EXPECT_DEBUG_BREAK,          \
        QX_EXPECT_AFTER_DEBUG_BREAK,    \
        condition,                      \
        ##__VA_ARGS__)

Verifies that condition is true and break loop if false.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 328 of file assert.h.

QX_EXPECT_CO_RETURN

#define QX_EXPECT_CO_RETURN	(		condition,
			return_value,
			...
	)

Value:

    _QX_ASSERT_RETURN(                                    \
        QX_EXPECT_BEFORE_DEBUG_BREAK,                     \
        QX_EXPECT_DEBUG_BREAK,                            \
        QX_EXPECT_AFTER_DEBUG_BREAK,                      \
        co_return,                                        \
        condition,                                        \
        return_value,                                     \
        ##__VA_ARGS__)

Verifies that condition is true and "co_return return_value;" if false.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
return_value	- return value. use empty argument, if return type is void
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 388 of file assert.h.

QX_EXPECT_CO_RETURN_VOID

#define QX_EXPECT_CO_RETURN_VOID	(		condition,
			...
	)

Value:

    _QX_ASSERT_RETURN(                           \
        QX_EXPECT_BEFORE_DEBUG_BREAK,            \
        QX_EXPECT_DEBUG_BREAK,                   \
        QX_EXPECT_AFTER_DEBUG_BREAK,             \
        co_return,                               \
        condition,                               \
        ,                                        \
        ##__VA_ARGS__)

Verifies that condition is true and "co_return;" if false.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 408 of file assert.h.

QX_EXPECT_CONTINUE

#define QX_EXPECT_CONTINUE	(		condition,
			...
	)

Value:

    _QX_ASSERT_CONTINUE(                   \
        QX_EXPECT_BEFORE_DEBUG_BREAK,      \
        QX_EXPECT_DEBUG_BREAK,             \
        QX_EXPECT_AFTER_DEBUG_BREAK,       \
        condition,                         \
        ##__VA_ARGS__)

Verifies that condition is true and continues loop if false.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 310 of file assert.h.

QX_EXPECT_NO_ENTRY

#define QX_EXPECT_NO_ENTRY

(

...

)

_QX_ASSERT_NO_ENTRY(QX_EXPECT_BEFORE_DEBUG_BREAK, QX_EXPECT_DEBUG_BREAK, QX_EXPECT_AFTER_DEBUG_BREAK, ##__VA_ARGS__)

Fails unconditionally if this code should not be executed.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 297 of file assert.h.

QX_EXPECT_RETURN

#define QX_EXPECT_RETURN	(		condition,
			return_value,
			...
	)

Value:

    _QX_ASSERT_RETURN(                                 \
        QX_EXPECT_BEFORE_DEBUG_BREAK,                  \
        QX_EXPECT_DEBUG_BREAK,                         \
        QX_EXPECT_AFTER_DEBUG_BREAK,                   \
        return,                                        \
        condition,                                     \
        return_value,                                  \
        ##__VA_ARGS__)

Verifies that condition is true and "return return_value;" if false.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
return_value	- return value. use empty argument, if return type is void
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 347 of file assert.h.

QX_EXPECT_RETURN_VOID

#define QX_EXPECT_RETURN_VOID	(		condition,
			...
	)

Value:

    _QX_ASSERT_RETURN(                        \
        QX_EXPECT_BEFORE_DEBUG_BREAK,         \
        QX_EXPECT_DEBUG_BREAK,                \
        QX_EXPECT_AFTER_DEBUG_BREAK,          \
        return,                               \
        condition,                            \
        ,                                     \
        ##__VA_ARGS__)

Verifies that condition is true and "return;" if false.

EXPECT macros generate nonfatal failures and allow to continue running

Parameters

condition	- condition to check. if false, assert fails
...	- "category + format string + format arguments" or "category + format string" or "format string + format arguments" or "format string" or "category"

Definition at line 367 of file assert.h.