assertions for Factory
More...
#include <stdio.h>
#include <stdlib.h>
Go to the source code of this file.
|
#define | __ASSERT(expression, message, file, line) |
|
#define | __ASSERT1(expression, message, parameter1, file, line) |
|
#define | STICKYASSERT(expression, message) |
|
#define | STICKYASSERT1(expression, message, parameter1) |
|
#define | __WARN(expression, message, file, line) |
|
#define | STICKYWARN(expression, message) |
|
#define | ASSERT(expression, message) |
|
#define | ASSERT1(expression, message, parameter1) |
|
#define | WARN(expression, message) |
|
#define | PVIRT_VOID(msg) |
|
#define | PVIRT_INTCF(msg) |
|
#define | PVIRT_BOOL(msg) |
|
#define | PVIRT_INT(msg) |
|
#define | PVIRT_CHARCC(msg) |
|
assertions for Factory
- Note
- needs –enable-assertions at configure
Definition in file cf_assert.h.
◆ __ASSERT
#define __ASSERT |
( |
| expression, |
|
|
| message, |
|
|
| file, |
|
|
| line ) |
Value:(fprintf( stderr,
"error: " message "\n%s:%u: failed assertion `%s'\n", \
file, line, expression ), abort(), 0 )
void message(int i, int *reduc, int *olddeg, kStrategy strat, int red_result)
Definition at line 57 of file cf_assert.h.
57#define __ASSERT(expression, message, file, line) \
58(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
59 file, line, expression ), abort(), 0 )
◆ __ASSERT1
#define __ASSERT1 |
( |
| expression, |
|
|
| message, |
|
|
| parameter1, |
|
|
| file, |
|
|
| line ) |
Value:(fprintf( stderr,
"error: " message "\n%s:%u: failed assertion `%s'\n", \
parameter1, file, line, expression ), abort(), 0 )
Definition at line 60 of file cf_assert.h.
60#define __ASSERT1(expression, message, parameter1, file, line) \
61(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
62 parameter1, file, line, expression ), abort(), 0 )
◆ __WARN
#define __WARN |
( |
| expression, |
|
|
| message, |
|
|
| file, |
|
|
| line ) |
Value:(fprintf( stderr,
"warning: " message "\n%s:%u: failed assertion `%s'\n", \
file, line, expression ), 0 )
Definition at line 69 of file cf_assert.h.
69#define __WARN(expression, message, file, line) \
70(fprintf( stderr, "warning: " message "\n%s:%u: failed assertion `%s'\n", \
71 file, line, expression ), 0 )
◆ ASSERT
#define ASSERT |
( |
| expression, |
|
|
| message ) |
Value:((void)((expression) ? 0 :
__ASSERT(#expression,
message, __FILE__, __LINE__)))
#define __ASSERT(expression, message, file, line)
Definition at line 99 of file cf_assert.h.
99#define ASSERT(expression, message) \
100((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))
◆ ASSERT1
#define ASSERT1 |
( |
| expression, |
|
|
| message, |
|
|
| parameter1 ) |
Value:((void)((expression) ? 0 :
__ASSERT1(#expression,
message, parameter1, __FILE__, __LINE__)))
#define __ASSERT1(expression, message, parameter1, file, line)
Definition at line 101 of file cf_assert.h.
101#define ASSERT1(expression, message, parameter1) \
102((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))
◆ PVIRT_BOOL
#define PVIRT_BOOL |
( |
| msg | ) |
|
Value:{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return false; }
Definition at line 121 of file cf_assert.h.
121#define PVIRT_BOOL(msg) \
122{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return false; }
◆ PVIRT_CHARCC
#define PVIRT_CHARCC |
( |
| msg | ) |
|
Value:{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
Definition at line 125 of file cf_assert.h.
125#define PVIRT_CHARCC(msg) \
126{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
◆ PVIRT_INT
Value:{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
Definition at line 123 of file cf_assert.h.
123#define PVIRT_INT(msg) \
124{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
◆ PVIRT_INTCF
#define PVIRT_INTCF |
( |
| msg | ) |
|
Value:{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
Definition at line 119 of file cf_assert.h.
119#define PVIRT_INTCF(msg) \
120{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
◆ PVIRT_VOID
#define PVIRT_VOID |
( |
| msg | ) |
|
Value:{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); }
Definition at line 117 of file cf_assert.h.
117#define PVIRT_VOID(msg) \
118{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); }
◆ STICKYASSERT
#define STICKYASSERT |
( |
| expression, |
|
|
| message ) |
Value:((void)((expression) ? 0 :
__ASSERT(#expression,
message, __FILE__, __LINE__)))
Definition at line 64 of file cf_assert.h.
64#define STICKYASSERT(expression, message) \
65((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))
◆ STICKYASSERT1
#define STICKYASSERT1 |
( |
| expression, |
|
|
| message, |
|
|
| parameter1 ) |
Value:((void)((expression) ? 0 :
__ASSERT1(#expression,
message, parameter1, __FILE__, __LINE__)))
Definition at line 66 of file cf_assert.h.
66#define STICKYASSERT1(expression, message, parameter1) \
67((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))
◆ STICKYWARN
#define STICKYWARN |
( |
| expression, |
|
|
| message ) |
Value:((void)((expression) ? 0 :
__WARN(#expression,
message, __FILE__, __LINE__)))
#define __WARN(expression, message, file, line)
Definition at line 72 of file cf_assert.h.
72#define STICKYWARN(expression, message) \
73((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
◆ WARN
#define WARN |
( |
| expression, |
|
|
| message ) |
Value:((void)((expression) ? 0 :
__WARN(#expression,
message, __FILE__, __LINE__)))
Definition at line 104 of file cf_assert.h.
104#define WARN(expression, message) \
105((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))