cprover
|
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>
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... | |
Class Hierarchy.
Definition in file class_hierarchy.cpp.
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.
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().