Lines Matching refs:expr
62 /// \def _UTILS_ASSERT(type, expr, message)
67 /// Ensures that the given expression expr is true and, if not, terminates
72 /// \param expr A boolean expression.
75 # define _UTILS_ASSERT(type, expr, message) \
77 if (!(expr)) \
81 # define _UTILS_ASSERT(type, expr, message) do {} while (0)
94 /// \param expr A boolean expression describing the invariant.
95 #define INV(expr) _UTILS_ASSERT(utils::invariant, expr, #expr)
103 /// \param expr A boolean expression describing the invariant.
105 #define INV_MSG(expr, msg) _UTILS_ASSERT(utils::invariant, expr, msg)
117 /// \param expr A boolean expression describing the precondition.
118 #define PRE(expr) _UTILS_ASSERT(utils::precondition, expr, #expr)
126 /// \param expr A boolean expression describing the precondition.
128 #define PRE_MSG(expr, msg) _UTILS_ASSERT(utils::precondition, expr, msg)
140 /// \param expr A boolean expression describing the postcondition.
141 #define POST(expr) _UTILS_ASSERT(utils::postcondition, expr, #expr)
149 /// \param expr A boolean expression describing the postcondition.
151 #define POST_MSG(expr, msg) _UTILS_ASSERT(utils::postcondition, expr, msg)