cprover
|
#include <call_graph.h>
Public Types | |
typedef std::multimap< irep_idt, irep_idt > | grapht |
Public Member Functions | |
call_grapht () | |
call_grapht (const goto_functionst &) | |
void | output_dot (std::ostream &out) const |
void | output (std::ostream &out) const |
void | output_xml (std::ostream &out) const |
void | add (const irep_idt &caller, const irep_idt &callee) |
Public Attributes | |
grapht | graph |
Protected Member Functions | |
void | add (const irep_idt &function, const goto_programt &body) |
Definition at line 20 of file call_graph.h.
typedef std::multimap<irep_idt, irep_idt> call_grapht::grapht |
Definition at line 30 of file call_graph.h.
call_grapht::call_grapht | ( | ) |
Definition at line 17 of file call_graph.cpp.
|
explicit |
Definition at line 21 of file call_graph.cpp.
References add(), and forall_goto_functions.
Definition at line 45 of file call_graph.cpp.
References graph.
Referenced by add(), and call_grapht().
|
protected |
Definition at line 30 of file call_graph.cpp.
References add(), forall_goto_program_instructions, code_function_callt::function(), symbol_exprt::get_identifier(), irept::id(), to_code_function_call(), and to_symbol_expr().
void call_grapht::output | ( | std::ostream & | out | ) | const |
Definition at line 67 of file call_graph.cpp.
References graph.
Referenced by goto_instrument_parse_optionst::doit().
void call_grapht::output_dot | ( | std::ostream & | out | ) | const |
Definition at line 52 of file call_graph.cpp.
References graph.
Referenced by goto_instrument_parse_optionst::doit().
void call_grapht::output_xml | ( | std::ostream & | out | ) | const |
Definition at line 75 of file call_graph.cpp.
References xmlt::escape_attribute(), graph, and id2string().
Referenced by goto_instrument_parse_optionst::doit().
grapht call_grapht::graph |
Definition at line 31 of file call_graph.h.
Referenced by add(), output(), output_dot(), output_xml(), and slice_global_inits().