BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Runtime assertion check. More...
Go to the source code of this file.
Macros | |
#define | CHECK(EX, MSG) ((void)0) |
#define | CHECK_VALID(EX) ((void)0) |
#define | CHECK_PAR(PAR, PLACE) ((void)0) |
#define | CHECK_PAR_NULLOK(PAR, PLACE) ((void)0) |
#define | CHECK_SUBOBJ(OBJ, PLACE) ((void)0) |
#define | CHECK_IMPOSSIBLE(MSG) ((void)0) |
#define | CHECK_CODE(CODE) |
#define | CHECK_ERR(MSG) return (MSG) |
Functions | |
void | check_init () |
Runtime assertion check.
#define CHECK | ( | EX, | |
MSG | |||
) | ((void)0) |
Check whether an expression is true.
#define CHECK_CODE | ( | CODE | ) |
Code which is only used for assertion checking.
#define CHECK_ERR | ( | MSG | ) | return (MSG) |
An error has been detected in the check-method.
#define CHECK_IMPOSSIBLE | ( | MSG | ) | ((void)0) |
Report an error.
#define CHECK_PAR | ( | PAR, | |
PLACE | |||
) | ((void)0) |
Check parameter, NULL is an error.
#define CHECK_PAR_NULLOK | ( | PAR, | |
PLACE | |||
) | ((void)0) |
Check parameter, NULL is ok.
#define CHECK_SUBOBJ | ( | OBJ, | |
PLACE | |||
) | ((void)0) |
Check subobject (inside check of main object).
#define CHECK_VALID | ( | EX | ) | ((void)0) |
Call integrity check for current class.
void check_init | ( | ) |
Catch "segmentation fault", print error message to stdout.