cprover
show_symbol_table.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Show the symbol table
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
13
#define CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
14
15
#include <
util/ui_message.h
>
16
17
class
symbol_tablet
;
18
class
goto_modelt
;
19
20
void
show_symbol_table
(
21
const
symbol_tablet
&,
22
ui_message_handlert
&ui);
23
24
void
show_symbol_table_brief
(
25
const
symbol_tablet
&,
26
ui_message_handlert
&ui);
27
28
void
show_symbol_table
(
29
const
goto_modelt
&,
30
ui_message_handlert
&ui);
31
32
void
show_symbol_table_brief
(
33
const
goto_modelt
&,
34
ui_message_handlert
&ui);
35
36
#endif // CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:20
ui_message_handlert
Definition:
ui_message.h:20
show_symbol_table_brief
void show_symbol_table_brief(const symbol_tablet &, ui_message_handlert &ui)
Definition:
show_symbol_table.cpp:295
show_symbol_table
void show_symbol_table(const symbol_tablet &, ui_message_handlert &ui)
Definition:
show_symbol_table.cpp:268
goto_modelt
Definition:
goto_model.h:26
ui_message.h
goto-programs
show_symbol_table.h
Generated by
1.8.20