cprover
|
Public Member Functions | |
dott (const goto_modelt &_goto_model) | |
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 goto_modelt & | goto_model |
unsigned | subgraphscount |
std::list< exprt > | function_calls |
std::list< exprt > | clusters |
|
inlineexplicit |
|
protected |
Definition at line 224 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 281 of file dot.cpp.
References size_type().
Referenced by write_dot_subgraph().
|
protected |
finds an instructions successors (for goto graphs)
Definition at line 310 of file dot.cpp.
Referenced by write_dot_subgraph().
void dott::output | ( | std::ostream & | out | ) |
Definition at line 262 of file dot.cpp.
References clusters, do_dot_function_calls(), DOTGRAPHSETTINGS, forall_goto_functions, goto_modelt::goto_functions, goto_model, id2string(), and write_dot_subgraph().
|
protected |
writes the dot graph that corresponds to the goto program to the output stream.
Definition at line 71 of file dot.cpp.
References clusters, escape(), find_next(), from_expr(), function_calls, goto_programt::get_successors(), goto_model, goto_program, goto_programt::instructions, exprt::operands(), subgraphscount, goto_modelt::symbol_table, 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 334 of file dot.cpp.
References goto_programt::instructiont::is_backwards_goto(), goto_programt::instructiont::location_number, and subgraphscount.
Referenced by write_dot_subgraph().
|
protected |
Definition at line 45 of file dot.cpp.
Referenced by do_dot_function_calls(), output(), and write_dot_subgraph().
|
protected |
Definition at line 44 of file dot.cpp.
Referenced by do_dot_function_calls(), and write_dot_subgraph().
|
protected |
Definition at line 40 of file dot.cpp.
Referenced by output(), and write_dot_subgraph().
|
protected |
Definition at line 42 of file dot.cpp.
Referenced by do_dot_function_calls(), write_dot_subgraph(), and write_edge().