cprover
|
Fresh auxiliary symbol creation. More...
Go to the source code of this file.
Functions | |
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. More... | |
Fresh auxiliary symbol creation.
Definition in file fresh_symbol.h.
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.
type | The type of the new symbol. |
name_prefix | The new symbol will be named name_prefix::basename_prefix$num unless name_prefix is empty, in which case the :: prefix is omitted. |
basename_prefix | See name_prefix . |
source_location | The source location for the new symbol. |
symbol_mode | The mode for the new symbol, e.g. ID_C, ID_java. |
symbol_table | The symbol table to add the new symbol to. |
Definition at line 30 of file fresh_symbol.cpp.