Loading...

Searching...

No Matches

Public Member Functions | Protected Member Functions | Protected Attributes | List of all members

dott Class Reference

+ Collaboration diagram for dott:

[フレーム]

[legend]

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