cprover
irep_ids.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: util
4 
5 Author: Reuben Thomas, reuben.thomas@me.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_UTIL_IREP_IDS_H
13 #define CPROVER_UTIL_IREP_IDS_H
14 
15 #define USE_DSTRING
16 
17 #ifdef USE_DSTRING
18 #include "dstring.h"
19 #endif
20 
31 
32 enum class idt:unsigned
33 {
34 #define IREP_ID_ONE(the_id) id_##the_id,
35 #define IREP_ID_TWO(the_id, str) id_##the_id,
36 
37 #include "irep_ids.def"
38 };
39 
40 #ifdef USE_DSTRING
41 
42 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;
43 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;
44 
45 #else
46 
47 #define IREP_ID_ONE(the_id) extern const std::string ID_##the_id;
48 #define IREP_ID_TWO(the_id, str) extern const std::string ID_##the_id;
49 
50 #endif
51 
52 #include "irep_ids.def" // NOLINT(build/include)
53 
54 #endif
idt
Definition: irep_ids.h:32
Container for C-Strings.