cprover
|
Public Member Functions | |
dott (const goto_functionst &_goto_functions, const namespacet &_ns) | |
void | output (std::ostream &out) |
Protected Member Functions | |
void | write_dot_subgraph (std::ostream &, const std::string &, const goto_programt &) |
writes the dot graph that corresponds to the goto program to the output stream. More... | |
void | do_dot_function_calls (std::ostream &) |
std::string & | escape (std::string &str) |
escapes a string. More... | |
void | write_edge (std::ostream &, const goto_programt::instructiont &, const goto_programt::instructiont &, const std::string &) |
writes an edge from the from node to the to node and with the given label to the output stream (dot format) More... | |
void | find_next (const goto_programt::instructionst &, const goto_programt::const_targett &, std::set< goto_programt::const_targett > &, std::set< goto_programt::const_targett > &) |
finds an instructions successors (for goto graphs) More... | |
Protected Attributes | |
const namespacet & | ns |
const goto_functionst & | goto_functions |
unsigned | subgraphscount |
std::list< exprt > | function_calls |
std::list< exprt > | clusters |
|
inline |
|
protected |
Definition at line 223 of file dot.cpp.
References clusters, function_calls, and subgraphscount.
Referenced by output().
|
protected |
escapes a string.
beware, this might not work for all kinds of strings.
Definition at line 280 of file dot.cpp.
References size_type().
Referenced by write_dot_subgraph().
|
protected |
finds an instructions successors (for goto graphs)
Definition at line 309 of file dot.cpp.
Referenced by write_dot_subgraph().
void dott::output | ( | std::ostream & | out | ) |
Definition at line 261 of file dot.cpp.
References clusters, do_dot_function_calls(), DOTGRAPHSETTINGS, forall_goto_functions, goto_functions, id2string(), and write_dot_subgraph().
|
protected |
writes the dot graph that corresponds to the goto program to the output stream.
Definition at line 72 of file dot.cpp.
References clusters, escape(), find_next(), from_expr(), function_calls, goto_program_templatet< codeT, guardT >::get_successors(), goto_program_templatet< codeT, guardT >::instructions, ns, exprt::operands(), subgraphscount, and write_edge().
Referenced by output().
|
protected |
writes an edge from the from node to the to node and with the given label to the output stream (dot format)
Definition at line 333 of file dot.cpp.
References subgraphscount.
Referenced by write_dot_subgraph().
|
protected |
Definition at line 46 of file dot.cpp.
Referenced by do_dot_function_calls(), output(), and write_dot_subgraph().
|
protected |
Definition at line 45 of file dot.cpp.
Referenced by do_dot_function_calls(), and write_dot_subgraph().
|
protected |
|
protected |
Definition at line 40 of file dot.cpp.
Referenced by write_dot_subgraph().
|
protected |
Definition at line 43 of file dot.cpp.
Referenced by do_dot_function_calls(), write_dot_subgraph(), and write_edge().