|
CBMC
|
#include "class_hierarchy.h"#include <iterator>#include <ostream>#include <util/json_stream.h>#include <util/std_types.h>#include <util/symbol_table.h>#include <util/ui_message.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, 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.