BBEdgeWriter Class Reference

Class which prints the edge of a basic block graph in dot format. More...

#include <behavioral_writer_helper.hpp>

Inheritance diagram for BBEdgeWriter:

Collaboration diagram for BBEdgeWriter:

Public Member Functions
	BBEdgeWriter (const BBGraph *g)
	Constructor. More...
void	operator() (std::ostream &out, const EdgeDescriptor &e) const override
	Operator used to print an edge. 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
	The helper used to print the labels. 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

Class which prints the edge of a basic block graph in dot format.

Definition at line 104 of file behavioral_writer_helper.hpp.

Constructor & Destructor Documentation

BBEdgeWriter()

BBEdgeWriter::BBEdgeWriter ( const BBGraph *  g )

explicit

Constructor.

Parameters

g	is the bb_graph to be printed

Definition at line 393 of file behavioral_writer_helper.cpp.

Member Function Documentation

operator()()

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

overridevirtual

Operator used to print an edge.

Parameters

out	is the stream on which edge should be printed
e	is the edge to be printed

Implements EdgeWriter.

Definition at line 401 of file behavioral_writer_helper.cpp.

References BH, CDG_SELECTOR, CFG_SELECTOR, D_SELECTOR, ECFG_SELECTOR, FB_CFG_SELECTOR, FCDG_SELECTOR, FCFG_SELECTOR, graph::GetSelector(), J_SELECTOR, PD_SELECTOR, PP_SELECTOR, EdgeWriter::printing_graph, EdgeWriter::selector, STR, and THROW_UNREACHABLE.

Here is the call graph for this function:

Field Documentation

BH

const BehavioralHelperConstRef BBEdgeWriter::BH

private

The helper used to print the labels.

Definition at line 108 of file behavioral_writer_helper.hpp.

Referenced by operator()().

---

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

• /workspace/src/behavior/behavioral_writer_helper.hpp
• /workspace/src/behavior/behavioral_writer_helper.cpp