CBMC
|
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 in the given symbol table. More... | |
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, const namespacet &ns, symbol_table_baset &symbol_table) |
Installs a fresh-named symbol with respect to the given namespace ns with the requested name pattern in the given symbol table. 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, | ||
const namespacet & | ns, | ||
symbol_table_baset & | symbol_table | ||
) |
Installs a fresh-named symbol with respect to the given namespace ns
with the requested name pattern in the given symbol table.
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. |
ns | the new symbol has a different name than any symbols in ns |
symbol_table | The symbol table to add the new symbol to. |
Definition at line 32 of file fresh_symbol.cpp.
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 in the given symbol table.
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 71 of file fresh_symbol.cpp.