cprover
fresh_symbol.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Fresh auxiliary symbol creation
4 
5 Author: Chris Smowton, chris.smowton@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_UTIL_FRESH_SYMBOL_H
13 #define CPROVER_UTIL_FRESH_SYMBOL_H
14 
15 #include <string>
16 
17 #include "irep.h"
18 
19 class source_locationt;
20 class symbolt;
21 class symbol_table_baset;
22 class typet;
23 
25  const typet &type,
26  const std::string &name_prefix,
27  const std::string &basename_prefix,
29  const irep_idt &symbol_mode,
30  symbol_table_baset &symbol_table);
31 
32 #endif // CPROVER_UTIL_FRESH_SYMBOL_H
The type of an expression.
Definition: type.h:22
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition: symbol.h:30
const source_locationt & source_location() const
Definition: type.h:97
The symbol table base class interface.
symbolt & get_fresh_aux_symbol(const typet &type, const std::string &name_prefix, const std::string &basename_prefix, const source_locationt &source_location, const irep_idt &symbol_mode, symbol_table_baset &symbol_table)
Installs a fresh-named symbol with the requested name pattern.