cprover
|
Class Hierarchy. More...
#include <iosfwd>
#include <map>
#include <unordered_map>
#include <util/graph.h>
#include <util/irep.h>
#include <util/ui_message.h>
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 " --show-class-hierarchy show the class hierarchy\n" |
Functions | |
void | show_class_hierarchy (const class_hierarchyt &hierarchy, message_handlert &message_handler, ui_message_handlert::uit ui, bool children_only=false) |
Output the class hierarchy. More... | |
Class Hierarchy.
Definition in file class_hierarchy.h.
#define HELP_SHOW_CLASS_HIERARCHY " --show-class-hierarchy show the class hierarchy\n" |
Definition at line 29 of file class_hierarchy.h.
Referenced by jbmc_parse_optionst::help(), and goto_instrument_parse_optionst::help().
#define OPT_SHOW_CLASS_HIERARCHY "(show-class-hierarchy)" |
Definition at line 26 of file class_hierarchy.h.
void show_class_hierarchy | ( | const class_hierarchyt & | hierarchy, |
message_handlert & | message_handler, | ||
ui_message_handlert::uit | ui, | ||
bool | children_only = false |
||
) |
Output the class hierarchy.
hierarchy | the class hierarchy to be printed |
message_handler | the message handler |
ui | the UI format |
children_only | print the children only and do not print the parents |
Definition at line 263 of file class_hierarchy.cpp.
References messaget::eom(), messaget::mstreamt::json_stream(), ui_message_handlert::JSON_UI, message_handler, class_hierarchyt::output(), ui_message_handlert::PLAIN, messaget::result(), UNIMPLEMENTED, and ui_message_handlert::XML_UI.
Referenced by goto_instrument_parse_optionst::doit(), and jbmc_parse_optionst::get_goto_program().