28 for(goto_programt::instructionst::const_iterator
51 std::cout <<
xml <<
'\n';
56 std::cout << function_id <<
" " 57 << it->location_number <<
" " 58 << it->source_location <<
'\n';
const std::string & id2string(const irep_idt &d)
const irep_idt & get_function() const
function_mapt function_map
xmlt xml(const source_locationt &location)
const irep_idt & get_line() const
instructionst instructions
The list of instructions in the goto program.
xmlt & new_element(const std::string &name)
A generic container class for the GOTO intermediate representation of one function.
const irep_idt & get_file() const
std::string to_string(const string_constraintt &expr)
Used for debug printing.
goto_programt & goto_program
void show_locations(ui_message_handlert::uit ui, const irep_idt function_id, const goto_programt &goto_program)
goto_functionst goto_functions
GOTO functions.