show_locations.cpp File Reference

Show program locations. More...

#include "show_locations.h"
#include <iostream>
#include <util/xml.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 goto_modelt &	goto_model
	)

Definition at line 63 of file show_locations.cpp.

show_locations() [2/2]

void show_locations	(	ui_message_handlert::uit	ui,
		const irep_idt	function_id,
		const goto_programt &	goto_program
	)

Definition at line 20 of file show_locations.cpp.