My Project
Loading...
Searching...
No Matches
cf_assert.h File Reference

assertions for Factory More...

#include <stdio.h>
#include <stdlib.h>

Go to the source code of this file.

Macros

#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)
 

Detailed Description

assertions for Factory

Note
needs –enable-assertions at configure

Definition in file cf_assert.h.

Macro Definition Documentation

◆ __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 kutil.cc:7467

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 cf_assert.h:57

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 cf_assert.h:60

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

#define PVIRT_INT ( msg)
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 cf_assert.h:69

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__)))