cprover
Loading...
Searching...
No Matches
irep_ids.h File Reference

util More...

#include "dstring.h"
#include "irep_ids.def"
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 IREP_ID_ONE(the_id)
#define IREP_ID_TWO(the_id, str)

Detailed Description

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.

Macro Definition Documentation

◆ IREP_ID_ONE

#define IREP_ID_ONE ( the_id)
Value:
extern const dstringt ID_##the_id;
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38

Definition at line 29 of file irep_ids.h.

◆ IREP_ID_TWO

#define IREP_ID_TWO ( the_id,
str )
Value:
extern const dstringt ID_##the_id;

Definition at line 30 of file irep_ids.h.