cprover
show_goto_functions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Show the goto functions
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
13 #define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
14 
15 #include <util/ui_message.h>
16 
17 class namespacet;
18 class goto_modelt;
19 class goto_functionst;
20 
21 // clang-format off
22 #define OPT_SHOW_GOTO_FUNCTIONS \
23  "(show-goto-functions)" \
24  "(list-goto-functions)"
25 
26 #define HELP_SHOW_GOTO_FUNCTIONS \
27  " --show-goto-functions show loaded goto program\n" \
28  " --list-goto-functions list loaded goto functions\n"
29 // clang-format on
30 
32  const namespacet &ns,
33  ui_message_handlert &ui_message_handler,
34  const goto_functionst &goto_functions,
35  bool list_only);
36 
38  const goto_modelt &,
39  ui_message_handlert &ui_message_handler,
40  bool list_only);
41 
42 #endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
ui_message_handlert
Definition: ui_message.h:20
goto_modelt
Definition: goto_model.h:26
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
show_goto_functions
void show_goto_functions(const namespacet &ns, ui_message_handlert &ui_message_handler, const goto_functionst &goto_functions, bool list_only)
Definition: show_goto_functions.cpp:26
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:23
ui_message.h