CBMC
Loading...
Searching...
No Matches
Functions
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

  Output the class hierarchy.
 

Detailed Description

Class Hierarchy.

Definition in file class_hierarchy.cpp.

Function Documentation

◆  show_class_hierarchy()

void show_class_hierarchy ( const class_hierarchythierarchy,
ui_message_handlertmessage_handler,
bool  children_only = false  
)

Output the class hierarchy.

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

AltStyle によって変換されたページ (->オリジナル) /