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 
21  const symbol_tablet &,
23 
25  const symbol_tablet &,
27 
29  const goto_modelt &,
31 
33  const goto_modelt &,
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