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_table_baset;
17 class ui_message_handlert;
18 
19 void show_symbol_table(const symbol_table_baset &, ui_message_handlert &ui);
20 
21 void show_symbol_table_brief(
22  const symbol_table_baset &,
23  ui_message_handlert &ui);
24 
25 void show_symbol_table(
26  const goto_modelt &,
27  ui_message_handlert &ui);
28 
29 void show_symbol_table_brief(
30  const goto_modelt &,
31  ui_message_handlert &ui);
32 
33 #endif // CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
goto_modelt
Definition: goto_model.h:27
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23
ui_message_handlert
Definition: ui_message.h:22
show_symbol_table_brief
void show_symbol_table_brief(const symbol_table_baset &, ui_message_handlert &ui)
Definition: show_symbol_table.cpp:268
show_symbol_table
void show_symbol_table(const symbol_table_baset &, ui_message_handlert &ui)
Definition: show_symbol_table.cpp:241