cprover
|
Show program locations. More...
#include "show_locations.h"
#include <iostream>
#include <util/xml.h>
#include <util/xml_irep.h>
#include <langapi/language_util.h>
Go to the source code of this file.
Functions | |
void | show_locations (ui_message_handlert::uit ui, const irep_idt function_id, const goto_programt &goto_program) |
void | show_locations (ui_message_handlert::uit ui, const goto_functionst &goto_functions) |
Show program locations.
Definition in file show_locations.cpp.
void show_locations | ( | ui_message_handlert::uit | ui, |
const irep_idt | function_id, | ||
const goto_programt & | goto_program | ||
) |
Definition at line 21 of file show_locations.cpp.
References xmlt::data, source_locationt::get_file(), source_locationt::get_function(), source_locationt::get_line(), id2string(), goto_program_templatet< codeT, guardT >::instructions, xmlt::name, xmlt::new_element(), ui_message_handlert::PLAIN, xml(), and ui_message_handlert::XML_UI.
Referenced by goto_instrument_parse_optionst::doit(), and show_locations().
void show_locations | ( | ui_message_handlert::uit | ui, |
const goto_functionst & | goto_functions | ||
) |
Definition at line 65 of file show_locations.cpp.
References goto_functions_templatet< bodyT >::function_map, and show_locations().