cprover
show_locations.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Show program locations
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_INSTRUMENT_SHOW_LOCATIONS_H
13
#define CPROVER_GOTO_INSTRUMENT_SHOW_LOCATIONS_H
14
15
#include <
util/ui_message.h
>
16
17
#include <
goto-programs/goto_functions.h
>
18
19
void
show_locations
(
20
ui_message_handlert::uit
ui,
21
const
goto_functionst
&goto_functions);
22
23
#endif // CPROVER_GOTO_INSTRUMENT_SHOW_LOCATIONS_H
show_locations
void show_locations(ui_message_handlert::uit ui, const goto_functionst &goto_functions)
Definition:
show_locations.cpp:65
ui_message_handlert::uit
uit
Definition:
ui_message.h:18
ui_message.h
goto_functions.h
Goto Programs with Functions.
goto_functionst
Definition:
goto_functions.h:20
goto-instrument
show_locations.h
Generated by
1.8.14