59 dest+=
"bytecode-index "+
id2string(bytecode);
69 if(
get(it->first).empty())
70 set(it->first, it->second);
78 if(source_location.
is_nil())
std::string concat_dir_file(const std::string &directory, const std::string &file_name)
const irep_idt & get_working_directory() const
const std::string & id2string(const irep_idt &d)
const irep_idt & get_function() const
std::string as_string() const
#define forall_named_irep(it, irep)
const irep_idt & get_column() const
void merge(const source_locationt &from)
Set all unset source-location fields in this object to their values in 'from'.
const irep_idt & get_line() const
std::ostream & operator<<(std::ostream &out, const source_locationt &source_location)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
named_subt & get_named_sub()
const irep_idt & get_file() const
const irep_idt & get_java_bytecode_index() const