59 dest+=
"bytecode_index "+
id2string(bytecode);
69 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
const irep_idt & get_column() const
const irep_idt & get_line() const
std::ostream & operator<<(std::ostream &out, const source_locationt &source_location)
const irep_idt & get_file() const
const irep_idt & get_java_bytecode_index() const