cprover
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 
19 class exprt;
20 class namespacet;
21 class symbolt;
22 
23 void get_new_name(symbolt &symbol,
24  const namespacet &ns);
25 
26 void get_new_name(
27  irep_idt &new_name,
28  const namespacet &ns,
29  char delimiter = '_');
30 
31 #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:37
exprt
Base class for all expressions.
Definition: expr.h:53
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
symbolt
Symbol table entry.
Definition: symbol.h:28
get_new_name
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming
Definition: rename.cpp:19
irep.h