|
CBMC
|
Include dependency graph for irep_ids.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Macros | |
| #define | USE_DSTRING |
| #define | IREP_ID_ONE(the_id) extern const dstringt ID_##the_id; |
| #define | IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id; |
util
The irep_ids are generated using a technique called X-macros. The ids are defined in the file irep_ids.def, using a pair of macros IREP_ID_ONE and IREP_ID_TWO. Definitions of the form IREP_ID_ONE(param) will be converted into a const extern irep_idt with the variable name ID_param and the string value "param". Definitions of the form IREP_ID_TWO(param, contents) will be converted into a const extern irep_idt with the variable name ID_param and the string value "contents".
Definition in file irep_ids.h.
| #define IREP_ID_ONE | ( | the_id | ) | extern const dstringt ID_##the_id; |
Definition at line 39 of file irep_ids.h.
| #define IREP_ID_TWO | ( | the_id, | |
| str | |||
| ) | extern const dstringt ID_##the_id; |
Definition at line 40 of file irep_ids.h.
| #define USE_DSTRING |
Definition at line 16 of file irep_ids.h.