CBMC
class_hierarchy.cpp File Reference

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>
+ 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...
 

Detailed Description

Class Hierarchy.

Definition in file class_hierarchy.cpp.

Function Documentation

◆ show_class_hierarchy()

void show_class_hierarchy ( const class_hierarchyt hierarchy,
ui_message_handlert message_handler,
bool  children_only = false 
)

Output the class hierarchy.

Parameters
hierarchythe class hierarchy to be printed
message_handlerthe message handler
children_onlyprint the children only and do not print the parents

Definition at line 262 of file class_hierarchy.cpp.