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 <goto-programs/goto_model.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_modelt &goto_model)

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 23 of file show_locations.cpp.

References xmlt::data, source_locationt::get_file(), source_locationt::get_function(), source_locationt::get_line(), goto_program, id2string(), goto_programt::instructions, xmlt::name, xmlt::new_element(), ui_message_handlert::PLAIN, to_string(), UNREACHABLE, 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_modelt &	goto_model
	)

Definition at line 67 of file show_locations.cpp.

References goto_functionst::function_map, goto_modelt::goto_functions, and show_locations().