Listing 1 check.h, version 1

#ifndef CHECK_H
#define CHECK_H

define UNDEFINED_IF(pred) ((pred) ? DB_Trap(#pred,srcCall,0) : (void)0)

#define WARNING_IF(pred) ((pred) ? DB_Trap(#pred,srcCall,1] : (void)0)

void DB_Trap( const char pred[], const char call[], int sev );

#endif /* CHECK_H */
/* End of File */