PandA-2024.02
|
Functor used to write the content of the edges to a dotty file. More...
#include <graph.hpp>
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 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... | |
Functor used to write the content of the edges to a dotty file.
|
inline |
|
virtualdefault |
Destructor.
|
pure virtual |
Functor actually called by the boost library to perform the writing.
out | is the stream where the edges have to be printed |
edge | is the edge to be printed |
Implemented in CdfcEdgeWriter, TransitionWriter, DesignFlowEdgeWriter, FunctionEdgeWriter, BBEdgeWriter, and OpEdgeWriter.
|
protected |
The detail level.
Definition at line 1451 of file graph.hpp.
Referenced by TransitionWriter::operator()().
|
protected |
The graph to be printed.
Definition at line 1445 of file graph.hpp.
Referenced by OpEdgeWriter::operator()(), BBEdgeWriter::operator()(), FunctionEdgeWriter::operator()(), DesignFlowEdgeWriter::operator()(), and TransitionWriter::operator()().
|
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()().