cprover
Loading...
Searching...
No Matches
rename.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
20class namespacet;
21
30get_new_name(const irep_idt &name, const namespacet &ns, char delimiter = '_');
31
32#endif // CPROVER_UTIL_RENAME_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:91
#define NODISCARD
Definition: nodiscard.h:22
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