CBMC
rename.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_RENAME_H
11 #define CPROVER_UTIL_RENAME_H
12 
13 //
14 // automated variable renaming
15 //
16 
17 #include "irep.h"
18 #include "nodiscard.h"
19 
20 class namespacet;
21 
29 NODISCARD irep_idt
30 get_new_name(const irep_idt &name, const namespacet &ns, char delimiter = '_');
31 
32 #endif // CPROVER_UTIL_RENAME_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:36
NODISCARD
#define NODISCARD
Definition: nodiscard.h:22
nodiscard.h
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:90
get_new_name
irep_idt get_new_name(const irep_idt &name, const namespacet &ns, char delimiter='_')
Build and identifier not yet present in the namespace ns based on name.
Definition: rename.cpp:16
irep.h