dott Class Reference

Collaboration diagram for dott:

Public Member Functions
	dott (const goto_modelt &_goto_model)
void	output (std::ostream &out)

Protected Member Functions
void	write_dot_subgraph (std::ostream &, const irep_idt &, const goto_programt &)
	Write the dot graph that corresponds to the goto program to the output stream.
void	do_dot_function_calls (std::ostream &)
std::string &	escape (std::string &str)
	Escapes a string.
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)
void	find_next (const goto_programt::instructionst &, const goto_programt::const_targett &, std::set< goto_programt::const_targett, goto_programt::target_less_than > &, std::set< goto_programt::const_targett, goto_programt::target_less_than > &)
	finds an instructions successors (for goto graphs)

Protected Attributes
const goto_modelt &	goto_model
unsigned	subgraphscount
std::list< std::pair< std::string, exprt > >	function_calls
std::list< exprt >	clusters

Detailed Description

Definition at line 27 of file dot.cpp.

Constructor & Destructor Documentation

dott()

dott::dott ( const goto_modelt &  _goto_model )

inlineexplicit

Definition at line 30 of file dot.cpp.

Member Function Documentation

do_dot_function_calls()

void dott::do_dot_function_calls ( std::ostream &  out )

protected

Definition at line 228 of file dot.cpp.

escape()

std::string & dott::escape ( std::string &  str )

protected

Escapes a string.

beware, this might not work for all kinds of strings.

Parameters

str

a string

Returns

the escaped string

Definition at line 289 of file dot.cpp.

find_next()

void dott::find_next ( const goto_programt::instructionst &  instructions, const goto_programt::const_targett &  it, std::set< goto_programt::const_targett, goto_programt::target_less_than > &  tres, std::set< goto_programt::const_targett, goto_programt::target_less_than > &  fres  )

protected

finds an instructions successors (for goto graphs)

parameters: instructions, instruction iterator, true results and

false results

Definition at line 317 of file dot.cpp.

output()

void dott::output

(

std::ostream &

out

)

Definition at line 270 of file dot.cpp.

write_dot_subgraph()

void dott::write_dot_subgraph ( std::ostream &  out, const irep_idt &  function_id, const goto_programt &  goto_program  )

protected

Write the dot graph that corresponds to the goto program to the output stream.

Parameters

out	output stream
function_id	name of goto_program
goto_program	goto program the dot graph of which is written

Definition at line 71 of file dot.cpp.

write_edge()

void dott::write_edge ( std::ostream &  out, const goto_programt::instructiont &  from, const goto_programt::instructiont &  to, const std::string &  label  )

protected

writes an edge from the from node to the to node and with the given label to the output stream (dot format)

parameters: output stream, from, to and a label

Definition at line 340 of file dot.cpp.

Member Data Documentation

clusters

std::list<exprt> dott::clusters

protected

Definition at line 45 of file dot.cpp.

function_calls

std::list<std::pair<std::string, exprt> > dott::function_calls

protected

Definition at line 44 of file dot.cpp.

goto_model

const goto_modelt& dott::goto_model

protected

Definition at line 40 of file dot.cpp.

subgraphscount

unsigned dott::subgraphscount

protected

Definition at line 42 of file dot.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/dot.cpp