CBMC
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 #ifndef USE_STD_STRING
16 #define USE_DSTRING
17 #endif
18 
19 #ifdef USE_DSTRING
20 #include "dstring.h"
21 #else
22 #include <string>
23 #endif
24 
36 
37 #ifdef USE_DSTRING
38 
39 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;
40 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;
41 
42 #else
43 
44 #define IREP_ID_ONE(the_id) extern const std::string ID_##the_id;
45 #define IREP_ID_TWO(the_id, str) extern const std::string ID_##the_id;
46 
47 #endif
48 
49 #include "irep_ids.def"
50 
51 #endif
Container for C-Strings.