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  message_handlert &message_handler,
35  const goto_functionst &goto_functions,
36  bool list_only = false);
37 
39  const goto_modelt &,
40  message_handlert &message_handler,
42  bool list_only = false);
43 
44 #endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
void show_goto_functions(const namespacet &ns, message_handlert &message_handler, ui_message_handlert::uit ui, const goto_functionst &goto_functions, bool list_only=false)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:93
A collection of goto functions.