PandA-2024.02
Public Member Functions | Protected Attributes
EdgeWriter Class Referenceabstract

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

#include <graph.hpp>

Inheritance diagram for EdgeWriter:
Inheritance graph
[legend]
Collaboration diagram for EdgeWriter:
Collaboration graph
[legend]

Public Member Functions

 EdgeWriter (const graph *_printing_graph, const int _detail_level)
 Constructor. More...
 
virtual ~EdgeWriter ()=default
 Destructor. More...
 
virtual void operator() (std::ostream &out, const EdgeDescriptor &edge) const =0
 Functor actually called by the boost library to perform the writing. More...
 

Protected Attributes

const graphprinting_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.

Definition at line 1441 of file graph.hpp.

Constructor & Destructor Documentation

◆ EdgeWriter()

EdgeWriter::EdgeWriter ( const graph _printing_graph,
const int  _detail_level 
)
inline

Constructor.

Parameters
sdf_graphis the graph to be printed
detail_levelif 1, state of the sdf graph is printed

Definition at line 1459 of file graph.hpp.

◆ ~EdgeWriter()

virtual EdgeWriter::~EdgeWriter ( )
virtualdefault

Destructor.

Member Function Documentation

◆ operator()()

virtual void EdgeWriter::operator() ( std::ostream &  out,
const EdgeDescriptor edge 
) const
pure virtual

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

Parameters
outis the stream where the edges have to be printed
edgeis the edge to be printed

Implemented in CdfcEdgeWriter, TransitionWriter, DesignFlowEdgeWriter, FunctionEdgeWriter, BBEdgeWriter, and OpEdgeWriter.

Field Documentation

◆ detail_level

const int EdgeWriter::detail_level
protected

The detail level.

Definition at line 1451 of file graph.hpp.

Referenced by TransitionWriter::operator()().

◆ printing_graph

const graph* EdgeWriter::printing_graph
protected

◆ selector

const int EdgeWriter::selector
protected

The selector of the graph to be printed.

Definition at line 1448 of file graph.hpp.

Referenced by OpEdgeWriter::operator()(), BBEdgeWriter::operator()(), and DesignFlowEdgeWriter::operator()().


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

Generated on Mon Feb 12 2024 13:03:50 for PandA-2024.02 by doxygen 1.8.13