StateWriter Class Reference

Functor template used to write the content of the nodes to a dotty file. More...

#include <state_transition_graph.hpp>

Inheritance diagram for StateWriter:

Collaboration diagram for StateWriter:

Public Member Functions
	StateWriter (const graph *_stg, const OpGraphConstRef _op_function_graph, int _detail_level)
	Constructor. More...
void	operator() (std::ostream &out, const vertex &v) const override
	Functor actually called by the boost library to perform the writing. More...
Public Member Functions inherited from VertexWriter
	VertexWriter (const graph *_graph, const int _detail_level)
	Constructor. More...
virtual	~VertexWriter ()=default
	Destructor. More...

Private Attributes
const BehavioralHelperConstRef	BH
	this is the helper associated to the actual module More...
const OpGraphConstRef	op_function_graph
	reference to operation graph More...
vertex	entry_node
	vertex that contains entry node More...
vertex	exit_node
	vertex that contains exit node More...

Additional Inherited Members
Protected Attributes inherited from VertexWriter
const graph *	printing_graph
	The graph to be printed. More...
const int	detail_level
	The detail level. More...

Detailed Description

Functor template used to write the content of the nodes to a dotty file.

Definition at line 444 of file state_transition_graph.hpp.

Constructor & Destructor Documentation

StateWriter()

StateWriter::StateWriter	(	const graph *	_stg,
		const OpGraphConstRef	_op_function_graph,
		int	_detail_level
	)

Constructor.

It initialize reference to the graph provided as parameter

Definition at line 429 of file state_transition_graph.cpp.

Member Function Documentation

operator()()

void StateWriter::operator() ( std::ostream &  out, const vertex &  v  ) const

overridevirtual

Functor actually called by the boost library to perform the writing.

Implements VertexWriter.

Definition at line 438 of file state_transition_graph.cpp.

References VertexWriter::detail_level, entry_node, exit_node, and VertexWriter::printing_graph.

Field Documentation

BH

const BehavioralHelperConstRef StateWriter::BH

private

this is the helper associated to the actual module

Definition at line 448 of file state_transition_graph.hpp.

entry_node

vertex StateWriter::entry_node

private

vertex that contains entry node

Definition at line 454 of file state_transition_graph.hpp.

Referenced by operator()().

exit_node

vertex StateWriter::exit_node

private

vertex that contains exit node

Definition at line 457 of file state_transition_graph.hpp.

Referenced by operator()().

op_function_graph

const OpGraphConstRef StateWriter::op_function_graph

private

reference to operation graph

Definition at line 451 of file state_transition_graph.hpp.

---

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

• /workspace/src/HLS/stg/state_transition_graph.hpp
• /workspace/src/HLS/stg/state_transition_graph.cpp