26 for(goto_programt::instructionst::const_iterator
49 std::cout << xml <<
'\n';
54 std::cout << function_id <<
" " 55 << it->location_number <<
" " 56 << it->source_location <<
'\n';
69 for(goto_functionst::function_mapt::const_iterator
const std::string & id2string(const irep_idt &d)
instructionst instructions
The list of instructions in the goto program.
const irep_idt & get_function() const
xmlt xml(const source_locationt &location)
const irep_idt & get_line() const
function_mapt function_map
xmlt & new_element(const std::string &name)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
const irep_idt & get_file() const
void show_locations(ui_message_handlert::uit ui, const irep_idt function_id, const goto_programt &goto_program)