state_diagram Class Reference

Inheritance diagram for state_diagram:

Collaboration diagram for state_diagram:

Data Structures
struct	pending_edge

Public Member Functions
	state_diagram (const diagnostics::digraphs::digraph &input_state_graph, const logical_locations::manager &logical_loc_mgr)
void	print (writer &w) const final override
void	add_stmt (std::unique_ptr< stmt > s)
void	dump () const

Data Fields
std::unique_ptr< id >	m_id
stmt_list	m_stmt_list

Private Types
enum class	style { h1 , h2 }

Private Member Functions
dot::id	get_id_for_region (const char *region_id)
dot::id	make_id (state_node_ref state_node, bool cluster)
bool	starts_node_p (state_node_ref state_node)
const char *	get_label_for_node (state_node_ref state_node)
void	on_input_state_node (dot::subgraph &parent_subgraph, state_node_ref state_node)
void	add_title_tr (const dot::id &id_of_dot_node, xml::printer &xp, int num_columns, state_node_ref state_node, std::string heading, enum style styl, enum node_dynalloc_state dynalloc_state)
void	on_node_in_table (const dot::id &id_of_dot_node, xml::printer &xp, state_node_ref state_node, int max_depth, int depth, int num_columns)
void	push_src_text (xml::printer &xp)
void	pop_src_text (xml::printer &xp)
void	maybe_add_src_port (const dot::id &id_of_dot_node, xml::printer &xp, state_node_ref state_node)
void	maybe_add_dst_port (const dot::id &id_of_dot_node, xml::printer &xp, state_node_ref state_node)

Private Attributes
const logical_locations::manager &	m_logical_loc_mgr
std::set< digraphs::node * >	m_src_nodes
std::set< digraphs::node * >	m_dst_nodes
std::map< digraphs::node *, dot::node_id >	m_src_node_to_port_id
std::map< digraphs::node *, dot::node_id >	m_dst_node_to_port_id

Member Enumeration Documentation

style

enum class state_diagram::style

strongprivate

Enumerator
h1
h2

Constructor & Destructor Documentation

state_diagram()

state_diagram::state_diagram ( const diagnostics::digraphs::digraph & input_state_graph, const logical_locations::manager & logical_loc_mgr )

inline

References dot::graph::add_stmt(), diagnostics::digraphs::digraph::get_edge(), diagnostics::digraphs::digraph::get_node(), diagnostics::digraphs::digraph::get_num_edges(), diagnostics::digraphs::digraph::get_num_nodes(), i, m_dst_node_to_port_id, m_dst_nodes, m_logical_loc_mgr, m_src_node_to_port_id, m_src_nodes, dot::attr_stmt::node, on_input_state_node(), and set_color_for_dynalloc_state().

Member Function Documentation

add_stmt()

void dot::graph::add_stmt ( std::unique_ptr< stmt > s )

inlineinherited

References m_stmt_list, and dot::s.

Referenced by state_diagram::state_diagram().

add_title_tr()

void state_diagram::add_title_tr ( const dot::id & id_of_dot_node, xml::printer & xp, int num_columns, state_node_ref state_node, std::string heading, enum style styl, enum node_dynalloc_state dynalloc_state )

inlineprivate

References xml::printer::add_text(), color(), gcc_unreachable, get_color_for_dynalloc_state(), h1, h2, maybe_add_dst_port(), xml::printer::pop_tag(), xml::printer::push_tag(), and xml::printer::set_attr().

Referenced by on_node_in_table().

dump()

void dot::ast_node::dump ( ) const

inherited

References pp_flush(), pp_newline(), print(), pretty_printer::set_output_stream(), and dot::w.

get_id_for_region()

dot::id state_diagram::get_id_for_region ( const char * region_id )

inlineprivate

References gcc_assert.

get_label_for_node()

const char * state_diagram::get_label_for_node ( state_node_ref state_node )

inlineprivate

References _, diagnostics::state_graphs::code, diagnostics::state_graphs::state_node_ref::get_node_kind(), diagnostics::state_graphs::globals, diagnostics::state_graphs::heap_, and diagnostics::state_graphs::stack.

Referenced by on_input_state_node().

make_id()

dot::id state_diagram::make_id ( state_node_ref state_node, bool cluster )

inlineprivate

References diagnostics::digraphs::node::get_id(), and diagnostics::state_graphs::state_node_ref::m_node.

Referenced by maybe_add_dst_port(), maybe_add_src_port(), and on_input_state_node().

maybe_add_dst_port()

void state_diagram::maybe_add_dst_port ( const dot::id & id_of_dot_node, xml::printer & xp, state_node_ref state_node )

inlineprivate

References m_dst_node_to_port_id, m_dst_nodes, diagnostics::state_graphs::state_node_ref::m_node, dot::id::m_str, make_id(), and xml::printer::set_attr().

Referenced by add_title_tr(), and on_node_in_table().

maybe_add_src_port()

void state_diagram::maybe_add_src_port ( const dot::id & id_of_dot_node, xml::printer & xp, state_node_ref state_node )

inlineprivate

References dot::e, diagnostics::state_graphs::state_node_ref::m_node, m_src_node_to_port_id, m_src_nodes, dot::id::m_str, make_id(), and xml::printer::set_attr().

Referenced by on_node_in_table().

on_input_state_node()

void state_diagram::on_input_state_node ( dot::subgraph & parent_subgraph, state_node_ref state_node )

inlineprivate

References dot::stmt_list::add_stmt(), diagnostics::digraphs::node::get_child(), get_depth(), get_label_for_node(), diagnostics::digraphs::node::get_num_children(), i, diagnostics::state_graphs::state_node_ref::m_node, dot::subgraph::m_stmt_list, make_id(), on_input_state_node(), on_node_in_table(), xml::printer::set_attr(), starts_node_p(), and table.

Referenced by on_input_state_node(), and state_diagram().

on_node_in_table()

void state_diagram::on_node_in_table ( const dot::id & id_of_dot_node, xml::printer & xp, state_node_ref state_node, int max_depth, int depth, int num_columns )

inlineprivate

References xml::printer::add_text(), add_title_tr(), diagnostics::state_graphs::dynalloc_buffer, diagnostics::state_graphs::element, diagnostics::state_graphs::field, diagnostics::state_graphs::freed, diagnostics::state_graphs::function, gcc_assert, gcc_unreachable, diagnostics::digraphs::node::get_child(), diagnostics::state_graphs::state_node_ref::get_dynalloc_state(), diagnostics::state_graphs::state_node_ref::get_dynamic_extents(), diagnostics::state_graphs::state_node_ref::get_index(), diagnostics::state_graphs::state_node_ref::get_logical_loc(), diagnostics::state_graphs::state_node_ref::get_name(), diagnostics::state_graphs::state_node_ref::get_node_kind(), diagnostics::digraphs::node::get_num_children(), diagnostics::state_graphs::state_node_ref::get_type(), diagnostics::state_graphs::state_node_ref::get_value(), h1, h2, i, m_logical_loc_mgr, diagnostics::state_graphs::state_node_ref::m_node, maybe_add_dst_port(), maybe_add_src_port(), diagnostics::state_graphs::nonnull, on_node_in_table(), diagnostics::state_graphs::other, diagnostics::state_graphs::padding, pop_src_text(), xml::printer::pop_tag(), pp_formatted_text(), pp_printf(), push_src_text(), xml::printer::push_tag(), xml::printer::set_attr(), diagnostics::state_graphs::stack, diagnostics::state_graphs::stack_frame, diagnostics::state_graphs::unchecked, diagnostics::state_graphs::unknown, and diagnostics::state_graphs::variable.

Referenced by on_input_state_node(), and on_node_in_table().

pop_src_text()

void state_diagram::pop_src_text ( xml::printer & xp )

inlineprivate

References xml::printer::pop_tag().

Referenced by on_node_in_table().

print()

void graph::print ( writer & w ) const

finaloverridevirtualinherited

Implements dot::ast_node.

References m_id, m_stmt_list, and dot::w.

push_src_text()

void state_diagram::push_src_text ( xml::printer & xp )

inlineprivate

References xml::printer::push_tag(), and xml::printer::set_attr().

Referenced by on_node_in_table().

starts_node_p()

bool state_diagram::starts_node_p ( state_node_ref state_node )

inlineprivate

References diagnostics::state_graphs::dynalloc_buffer, diagnostics::state_graphs::state_node_ref::get_node_kind(), diagnostics::state_graphs::stack, and diagnostics::state_graphs::variable.

Referenced by on_input_state_node().

Field Documentation

m_dst_node_to_port_id

std::map<digraphs::node *, dot::node_id> state_diagram::m_dst_node_to_port_id

private

Referenced by maybe_add_dst_port(), and state_diagram().

m_dst_nodes

std::set<digraphs::node *> state_diagram::m_dst_nodes

private

Referenced by maybe_add_dst_port(), and state_diagram().

m_id

std::unique_ptr<id> dot::graph::m_id

inherited

Referenced by graph(), graph(), and print().

m_logical_loc_mgr

const logical_locations::manager& state_diagram::m_logical_loc_mgr

private

Referenced by on_node_in_table(), and state_diagram().

m_src_node_to_port_id

std::map<digraphs::node *, dot::node_id> state_diagram::m_src_node_to_port_id

private

Referenced by maybe_add_src_port(), and state_diagram().

m_src_nodes

std::set<digraphs::node *> state_diagram::m_src_nodes

private

Referenced by maybe_add_src_port(), and state_diagram().

m_stmt_list

stmt_list dot::graph::m_stmt_list

inherited

Referenced by add_stmt(), and print().

---

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

• state-graphs-to-dot.cc