Public Member Functions | |
DotEdgeRenderer (ExecStreamGraphImpl &graphInit) | |
void | operator() (std::ostream &out, ExecStreamGraphImpl::Edge const &edge) const |
Private Attributes | |
ExecStreamGraphImpl & | graph |
Definition at line 676 of file ExecStreamGraph.cpp.
ExecStreamGraphImpl::DotEdgeRenderer::DotEdgeRenderer | ( | ExecStreamGraphImpl & | graphInit | ) | [inline] |
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 }