show_locations.cpp File Reference

Show program locations. More...

#include "show_locations.h"
#include <iostream>
#include <util/xml.h>
#include <util/xml_irep.h>
#include <langapi/language_util.h>

Include dependency graph for show_locations.cpp:

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)

Detailed Description

Show program locations.

Definition in file show_locations.cpp.

Function Documentation

show_locations() [1/2]

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().

show_locations() [2/2]

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().