CBMC
class_hierarchy.h File Reference

Class Hierarchy. More...

#include <iosfwd>
#include <map>
#include <unordered_map>
#include <util/graph.h>
#include <util/irep.h>
+ Include dependency graph for class_hierarchy.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  class_hierarchyt
 Non-graph-based representation of the class hierarchy. More...
 
class  class_hierarchyt::entryt
 
class  class_hierarchy_graph_nodet
 Class hierarchy graph node: simply contains a class identifier. More...
 
class  class_hierarchy_grapht
 Class hierarchy, represented using grapht and therefore suitable for use with generic graph algorithms. More...
 

Macros

#define OPT_SHOW_CLASS_HIERARCHY    "(show-class-hierarchy)"
 
#define HELP_SHOW_CLASS_HIERARCHY    " {y--show-class-hierarchy} \t show the class hierarchy\n"
 

Functions

void show_class_hierarchy (const class_hierarchyt &hierarchy, ui_message_handlert &message_handler, bool children_only=false)
 Output the class hierarchy. More...
 

Detailed Description

Class Hierarchy.

Definition in file class_hierarchy.h.

Macro Definition Documentation

◆ HELP_SHOW_CLASS_HIERARCHY

#define HELP_SHOW_CLASS_HIERARCHY    " {y--show-class-hierarchy} \t show the class hierarchy\n"

Definition at line 27 of file class_hierarchy.h.

◆ OPT_SHOW_CLASS_HIERARCHY

#define OPT_SHOW_CLASS_HIERARCHY    "(show-class-hierarchy)"

Definition at line 24 of file class_hierarchy.h.

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.