class_hierarchy.h File Reference

Class Hierarchy. More...

#include <iosfwd>
#include <map>
#include <unordered_map>
#include <util/graph.h>
#include <util/irep.h>
#include <util/ui_message.h>

Include dependency graph for class_hierarchy.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	class_hierarchyt
	Non-graph-based representation of the class hierarchy. More...
class	class_hierarchyt::entryt
class	class_hierarchy_graph_nodet
	Class hierarchy graph node: simply contains a class identifier. More...
class	class_hierarchy_grapht
	Class hierarchy, represented using grapht and therefore suitable for use with generic graph algorithms. More...

Macros
#define	OPT_SHOW_CLASS_HIERARCHY   "(show-class-hierarchy)"
#define	HELP_SHOW_CLASS_HIERARCHY   " --show-class-hierarchy show the class hierarchy\n"

Functions
void	show_class_hierarchy (const class_hierarchyt &hierarchy, message_handlert &message_handler, ui_message_handlert::uit ui, bool children_only=false)
	Output the class hierarchy. More...

Detailed Description

Class Hierarchy.

Definition in file class_hierarchy.h.

Macro Definition Documentation

HELP_SHOW_CLASS_HIERARCHY

#define HELP_SHOW_CLASS_HIERARCHY   " --show-class-hierarchy show the class hierarchy\n"

Definition at line 29 of file class_hierarchy.h.

Referenced by jbmc_parse_optionst::help(), and goto_instrument_parse_optionst::help().

OPT_SHOW_CLASS_HIERARCHY

#define OPT_SHOW_CLASS_HIERARCHY   "(show-class-hierarchy)"

Definition at line 26 of file class_hierarchy.h.

Function Documentation

show_class_hierarchy()

void show_class_hierarchy	(	const class_hierarchyt &	hierarchy,
		message_handlert &	message_handler,
		ui_message_handlert::uit	ui,
		bool	children_only = false
	)

Output the class hierarchy.

Parameters

hierarchy	the class hierarchy to be printed
message_handler	the message handler
ui	the UI format
children_only	print the children only and do not print the parents

Definition at line 263 of file class_hierarchy.cpp.

References messaget::eom(), messaget::mstreamt::json_stream(), ui_message_handlert::JSON_UI, message_handler, class_hierarchyt::output(), ui_message_handlert::PLAIN, messaget::result(), UNIMPLEMENTED, and ui_message_handlert::XML_UI.

Referenced by goto_instrument_parse_optionst::doit(), and jbmc_parse_optionst::get_goto_program().