CBMC
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 class goto_modelt;
16 class symbol_tablet;
17 class ui_message_handlert;
18 
19 void show_symbol_table(
20  const symbol_tablet &,
21  ui_message_handlert &ui);
22 
23 void show_symbol_table_brief(
24  const symbol_tablet &,
25  ui_message_handlert &ui);
26 
27 void show_symbol_table(
28  const goto_modelt &,
29  ui_message_handlert &ui);
30 
31 void show_symbol_table_brief(
32  const goto_modelt &,
33  ui_message_handlert &ui);
34 
35 #endif // CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:13
ui_message_handlert
Definition: ui_message.h:21
show_symbol_table_brief
void show_symbol_table_brief(const symbol_tablet &, ui_message_handlert &ui)
Definition: show_symbol_table.cpp:269
show_symbol_table
void show_symbol_table(const symbol_tablet &, ui_message_handlert &ui)
Definition: show_symbol_table.cpp:242
goto_modelt
Definition: goto_model.h:25