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 #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 
35 
36 #ifdef USE_DSTRING
37 
38 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;
39 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;
40 
41 #else
42 
43 #define IREP_ID_ONE(the_id) extern const std::string ID_##the_id;
44 #define IREP_ID_TWO(the_id, str) extern const std::string ID_##the_id;
45 
46 #endif
47 
48 #include "irep_ids.def"
49 
50 #endif
Container for C-Strings.