cprover
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
hierarchythe class hierarchy to be printed
message_handlerthe message handler
uithe UI format
children_onlyprint 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().