class_hierarchy.cpp File Reference

Class Hierarchy. More...

#include "class_hierarchy.h"
#include <iterator>
#include <ostream>
#include <util/json_stream.h>
#include <util/std_types.h>
#include <util/symbol_table.h>

Include dependency graph for class_hierarchy.cpp:

Go to the source code of this file.

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

Detailed Description

Class Hierarchy.

Definition in file class_hierarchy.cpp.

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().