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

Value:

" --show-goto-functions        show loaded goto program\n" \
  " --list-goto-functions        list loaded goto functions\n"

Definition at line 26 of file show_goto_functions.h.

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]

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
	)

Definition at line 28 of file show_goto_functions.cpp.

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
	)

Definition at line 85 of file show_goto_functions.cpp.