CBMC
|
Class Hierarchy. More...
#include "class_hierarchy.h"
#include <util/json_stream.h>
#include <util/std_types.h>
#include <util/symbol_table_base.h>
#include <util/ui_message.h>
#include <iterator>
#include <ostream>
Go to the source code of this file.
Functions | |
void | show_class_hierarchy (const class_hierarchyt &hierarchy, ui_message_handlert &message_handler, bool children_only) |
Output the class hierarchy. More... | |
Class Hierarchy.
Definition in file class_hierarchy.cpp.
void show_class_hierarchy | ( | const class_hierarchyt & | hierarchy, |
ui_message_handlert & | message_handler, | ||
bool | children_only = false |
||
) |
Output the class hierarchy.
hierarchy | the class hierarchy to be printed |
message_handler | the message handler |
children_only | print the children only and do not print the parents |
Definition at line 262 of file class_hierarchy.cpp.