cprover
class_hierarchyt Class Reference

#include <class_hierarchy.h>

Collaboration diagram for class_hierarchyt:
[legend]

Classes

class  entryt
 

Public Types

typedef std::vector< irep_idtidst
 
typedef std::map< irep_idt, entrytclass_mapt
 

Public Member Functions

void operator() (const symbol_tablet &)
 Looks for all the struct types in the symbol table and construct a map from class names to a data structure that contains lists of parent and child classes for each struct type (ie class). More...
 
idst get_children_trans (const irep_idt &id) const
 
idst get_parents_trans (const irep_idt &id) const
 
void output (std::ostream &) const
 

Public Attributes

class_mapt class_map
 

Protected Member Functions

void get_children_trans_rec (const irep_idt &, idst &) const
 
void get_parents_trans_rec (const irep_idt &, idst &) const
 

Detailed Description

Definition at line 22 of file class_hierarchy.h.

Member Typedef Documentation

◆ class_mapt

Definition at line 33 of file class_hierarchy.h.

◆ idst

typedef std::vector<irep_idt> class_hierarchyt::idst

Definition at line 25 of file class_hierarchy.h.

Member Function Documentation

◆ get_children_trans()

idst class_hierarchyt::get_children_trans ( const irep_idt id) const
inline

◆ get_children_trans_rec()

void class_hierarchyt::get_children_trans_rec ( const irep_idt c,
idst dest 
) const
protected

Definition at line 50 of file class_hierarchy.cpp.

References class_hierarchyt::entryt::children, and class_map.

Referenced by get_children_trans().

◆ get_parents_trans()

idst class_hierarchyt::get_parents_trans ( const irep_idt id) const
inline

Definition at line 47 of file class_hierarchy.h.

References get_parents_trans_rec().

Referenced by initialize_needed_classes(), and taint_analysist::instrument().

◆ get_parents_trans_rec()

void class_hierarchyt::get_parents_trans_rec ( const irep_idt c,
idst dest 
) const
protected

Definition at line 67 of file class_hierarchy.cpp.

References class_map, and class_hierarchyt::entryt::parents.

Referenced by get_parents_trans().

◆ operator()()

void class_hierarchyt::operator() ( const symbol_tablet symbol_table)

Looks for all the struct types in the symbol table and construct a map from class names to a data structure that contains lists of parent and child classes for each struct type (ie class).

Parameters
symbol_tableThe symbol table to analyze

Definition at line 25 of file class_hierarchy.cpp.

References class_map, dstringt::empty(), irept::find(), forall_symbols, irept::get_sub(), symbol_tablet::symbols, and to_struct_type().

◆ output()

void class_hierarchyt::output ( std::ostream &  out) const

Definition at line 84 of file class_hierarchy.cpp.

References class_map.

Member Data Documentation

◆ class_map


The documentation for this class was generated from the following files: