cprover
show_goto_functions.h File Reference

Show the goto functions. More...

#include <util/ui_message.h>
Include dependency graph for show_goto_functions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define OPT_SHOW_GOTO_FUNCTIONS
 
#define HELP_SHOW_GOTO_FUNCTIONS
 

Functions

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)
 
void show_goto_functions (const goto_modelt &, message_handlert &message_handler, ui_message_handlert::uit ui, bool list_only=false)
 

Detailed Description

Show the goto functions.

Definition in file show_goto_functions.h.

Macro Definition Documentation

◆ HELP_SHOW_GOTO_FUNCTIONS

#define HELP_SHOW_GOTO_FUNCTIONS

◆ OPT_SHOW_GOTO_FUNCTIONS

#define OPT_SHOW_GOTO_FUNCTIONS
Value:
"(show-goto-functions)" \
"(list-goto-functions)"

Definition at line 22 of file show_goto_functions.h.

Function Documentation

◆ show_goto_functions() [1/2]

◆ show_goto_functions() [2/2]

void show_goto_functions ( const goto_modelt ,
message_handlert message_handler,
ui_message_handlert::uit  ui,
bool  list_only = false 
)