ExecStreamGraphImpl::DotEdgeRenderer Class Reference

List of all members.

Public Member Functions

 DotEdgeRenderer (ExecStreamGraphImpl &graphInit)
void operator() (std::ostream &out, ExecStreamGraphImpl::Edge const &edge) const

Private Attributes

ExecStreamGraphImplgraph

Detailed Description

Definition at line 676 of file ExecStreamGraph.cpp.


Constructor & Destructor Documentation

ExecStreamGraphImpl::DotEdgeRenderer::DotEdgeRenderer ( ExecStreamGraphImpl graphInit  )  [inline]

Definition at line 680 of file ExecStreamGraph.cpp.

00681         : graph(graphInit)
00682     {
00683     }


Member Function Documentation

void ExecStreamGraphImpl::DotEdgeRenderer::operator() ( std::ostream &  out,
ExecStreamGraphImpl::Edge const &  edge 
) const [inline]

Definition at line 685 of file ExecStreamGraph.cpp.

References ExecStreamBufState_names, ExecStreamGraphImpl::getFullGraphRep(), ExecStreamGraphImpl::getSharedBufAccessorFromEdge(), and graph.

00687     {
00688         SharedExecStreamBufAccessor pAccessor =
00689             graph.getSharedBufAccessorFromEdge(edge);
00690         int weight = boost::get(
00691             boost::edge_weight, graph.getFullGraphRep(), edge);
00692         out << "[label=\"";
00693         if (pAccessor) {
00694             out << ExecStreamBufState_names[pAccessor->getState()];
00695         }
00696         out << "\"";
00697         if (!weight) {
00698             out << "style=\"dotted\"";
00699         }
00700         out << "]";
00701     }


Member Data Documentation

ExecStreamGraphImpl& ExecStreamGraphImpl::DotEdgeRenderer::graph [private]

Definition at line 678 of file ExecStreamGraph.cpp.

Referenced by operator()().


The documentation for this class was generated from the following file:
Generated on Mon Jun 22 04:00:30 2009 for Fennel by  doxygen 1.5.1