cprover
call_graph.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Function Call Graphs
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANALYSES_CALL_GRAPH_H
13 #define CPROVER_ANALYSES_CALL_GRAPH_H
14 
15 #include <iosfwd>
16 #include <map>
17 
19 
21 {
22 public:
23  call_grapht();
24  explicit call_grapht(const goto_functionst &);
25 
26  void output_dot(std::ostream &out) const;
27  void output(std::ostream &out) const;
28  void output_xml(std::ostream &out) const;
29 
30  typedef std::multimap<irep_idt, irep_idt> grapht;
32 
33  void add(const irep_idt &caller, const irep_idt &callee);
34 
35 protected:
36  void add(const irep_idt &function,
37  const goto_programt &body);
38 };
39 
40 #endif // CPROVER_ANALYSES_CALL_GRAPH_H
void add(const irep_idt &caller, const irep_idt &callee)
Definition: call_graph.cpp:45
Goto Programs with Functions.
std::multimap< irep_idt, irep_idt > grapht
Definition: call_graph.h:30
void output_xml(std::ostream &out) const
Definition: call_graph.cpp:75
void output_dot(std::ostream &out) const
Definition: call_graph.cpp:52
void output(std::ostream &out) const
Definition: call_graph.cpp:67
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
grapht graph
Definition: call_graph.h:31