Fennel: ExecStreamGraphImpl::DotEdgeRenderer Class Reference (original) (raw)

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 }