TransitionWriter Class Reference

Functor used to write the content of the edges to a dotty file and it is used to write specific edge properties such as condition. More...

#include <state_transition_graph.hpp>

Inheritance diagram for TransitionWriter:

Collaboration diagram for TransitionWriter:

Public Member Functions
	TransitionWriter (const graph *stg, const OpGraphConstRef op_function_graph, int _detail_level)
	Constructor. More...
void	operator() (std::ostream &out, const EdgeDescriptor &e) const override
	Functor actually called by the boost library to perform the writing. More...
Public Member Functions inherited from EdgeWriter
	EdgeWriter (const graph *_printing_graph, const int _detail_level)
	Constructor. More...
virtual	~EdgeWriter ()=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...

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

Detailed Description

Functor used to write the content of the edges to a dotty file and it is used to write specific edge properties such as condition.

Definition at line 475 of file state_transition_graph.hpp.

Constructor & Destructor Documentation

TransitionWriter()

TransitionWriter::TransitionWriter	(	const graph *	stg,
		const OpGraphConstRef	op_function_graph,
		int	_detail_level
	)

Constructor.

It initialize reference to the graph provided as parameter

Parameters

stg	is the graph to be printed
op_function_graph	is the associated operation graph

Definition at line 455 of file state_transition_graph.cpp.

Member Function Documentation

operator()()

void TransitionWriter::operator() ( std::ostream &  out, const EdgeDescriptor &  e  ) const

overridevirtual

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

Implements EdgeWriter.

Definition at line 462 of file state_transition_graph.cpp.

References EdgeWriter::detail_level, graph::GetSelector(), EdgeWriter::printing_graph, and THROW_UNREACHABLE.

Here is the call graph for this function:

Field Documentation

BH

const BehavioralHelperConstRef TransitionWriter::BH

private

this is the helper associated to the actual module

Definition at line 479 of file state_transition_graph.hpp.

op_function_graph

const OpGraphConstRef TransitionWriter::op_function_graph

private

reference to operation graph

Definition at line 482 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