|
Defines |
| #define | _I_h_ 1 |
| #define | I_LEVEL 1 |
| #define | I_DEFAULT_GUARD 1 |
| #define | I_DEFAULT_PARAMS 0 |
| #define | I_DEFAULT_HANDLER _I_default_handler |
| #define | _ID(e) e |
| #define | _ISG(e, g) |
| #define | INVARIANT(e) _IGHPS(e,I_DEFAULT_GUARD,I_DEFAULT_HANDLER,I_DEFAULT_PARAMS,"I("#e")") |
| #define | IG(e, g) _IGHPS(e,g,I_DEFAULT_HANDLER,I_DEFAULT_PARAMS,"I("#e")") |
| #define | IH(e, h) _IGHPS(e,I_DEFAULT_GUARD,h,I_DEFAULT_PARAMS,"I("#e")") |
| #define | IP(e, p) _IGHPS(e,I_DEFAULT_GUARD,I_DEFAULT_HANDLER,p,"I("#e")") |
| #define | IGH(e, g, h) _IGHPS(e,g,h,I_DEFAULT_PARAMS,"I("#e")") |
| #define | IGP(e, g, p) _IGHPS(e,g,I_DEFAULT_HANDLER,p,"I("#e")") |
| #define | IHP(e, h, p) _IGHPS(e,I_DEFAULT_GUARD,h,p,"I("#e")") |
| #define | IGHP(e, g, h, p) _IGHPS(e,g,h,p,"I("#e")") |
| #define | N(e) _IGHPS((!(e)),I_DEFAULT_GUARD,I_DEFAULT_HANDLER,I_DEFAULT_PARAMS,"N("#e")") |
| #define | NG(e, g) _IGHPS((!(e)),g,I_DEFAULT_HANDLER,I_DEFAULT_PARAMS,"N("#e")") |
| #define | NH(e, h) _IGHPS((!(e)),I_DEFAULT_GUARD,h,I_DEFAULT_PARAMS,"N("#e")") |
| #define | NP(e, p) _IGHPS((!(e)),I_DEFAULT_GUARD,I_DEFAULT_HANDLER,p,"N("#e")") |
| #define | NGH(e, g, h) _IGHPS((!(e)),g,h,I_DEFAULT_PARAMS,"N("#e")") |
| #define | NGP(e, g, p) _IGHPS((!(e)),g,I_DEFAULT_HANDLER,p,"N("#e")") |
| #define | NHP(e, h, p) _IGHPS((!(e)),I_DEFAULT_GUARD,h,p,"N("#e")") |
| #define | NGHP(e, g, h, p) _IGHPS((!(e)),g,h,p,"N("#e")") |
| #define | ID(e) _ID(e) |
| #define | IS(e) _ISG(e,I_DEFAULT_GUARD) |
| #define | ISG(e, g) _ISG(e,g) |
Functions |
| void | _I_default_handler (char *expr, char *file, int line, void *parm) |
| void | _IGHPS (bool e, bool g, void(*h)(char *expr, char *file, int line, void *parm), char *p, char *s) |