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 }
1.5.1