cprover
call_grapht Class Reference

#include <call_graph.h>

Collaboration diagram for call_grapht:
[legend]

Public Types

typedef std::multimap< irep_idt, irep_idtgrapht
 

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)
 

Detailed Description

Definition at line 20 of file call_graph.h.

Member Typedef Documentation

§ grapht

typedef std::multimap<irep_idt, irep_idt> call_grapht::grapht

Definition at line 30 of file call_graph.h.

Constructor & Destructor Documentation

§ call_grapht() [1/2]

call_grapht::call_grapht ( )

Definition at line 17 of file call_graph.cpp.

§ call_grapht() [2/2]

call_grapht::call_grapht ( const goto_functionst goto_functions)
explicit

Definition at line 21 of file call_graph.cpp.

References add(), and forall_goto_functions.

Member Function Documentation

§ add() [1/2]

void call_grapht::add ( const irep_idt caller,
const irep_idt callee 
)

Definition at line 45 of file call_graph.cpp.

References graph.

Referenced by add(), and call_grapht().

§ add() [2/2]

void call_grapht::add ( const irep_idt function,
const goto_programt body 
)
protected

§ output()

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().

§ output_dot()

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().

§ output_xml()

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().

Member Data Documentation

§ graph

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().


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