49void _assert(
const char *
exp,
const char* fileName,
unsigned lineNumber)
51 MESSAGE(
"Assertion %s in line %u file %s violated\n",
52 exp, lineNumber, fileName);
58 unsigned int lineNumber,
62 MESSAGE(
"Assertion %s in line %u file %s violated\n",
63 exp, lineNumber, fileName);
73void _Warning(
const char *
exp,
const char* fileName,
unsigned lineNumber)
75 MESSAGE(
"Warning: condition %s in line %u file %s has been violated\n"
76 "(Programmer decided not to abort on this violation)\n",
77 exp, lineNumber, fileName);
82 unsigned int lineNumber,
86 MESSAGE(
"Warning: condition %s in line %u file %s has been violated\n"
87 "(Programmer decided not to abort on this violation)\n",
88 exp, lineNumber, fileName);
void _assert(const char *exp, const char *fileName, unsigned lineNumber)
void _Warning(const char *exp, const char *fileName, unsigned lineNumber)
Debug assertion and warning utilities.
Core definitions, constants, and utility macros for Aleph-w.
#define MESSAGE(format, args...)
Print an informational message (no-op when MESSAGES is not defined).
__gmp_expr< T, __gmp_unary_expr< __gmp_expr< T, U >, __gmp_exp_function > > exp(const __gmp_expr< T, U > &expr)