| 74 | } |
| 75 | |
| 76 | void |
| 77 | CPProfilerSearchTracer::skip(const EdgeInfo& ei) { |
| 78 | CPProfiler::NodeUID dummy_node{-1, restart, -1}; |
| 79 | CPProfiler::NodeUID parent{-1,restart,-1}; |
| 80 | |
| 81 | int alt = 0; |
| 82 | std::string label; |
| 83 | if (ei) { |
| 84 | parent.nid = static_cast<int>(ei.nid()); |
| 85 | parent.tid = static_cast<int>(ei.wid()); |
| 86 | dummy_node.tid = static_cast<int>(ei.wid()); |
| 87 | alt = static_cast<int>(ei.alternative()); |
| 88 | label = ei.string(); |
| 89 | } |
| 90 | |
| 91 | auto node = connector->createNode(dummy_node, parent, |
| 92 | alt, 0, CPProfiler::NodeStatus::SKIPPED) |
| 93 | .set_label(label) |
| 94 | .set_info(""); |
| 95 | connector->sendNode(node); |
| 96 | } |
| 97 | |
| 98 | void |
| 99 | CPProfilerSearchTracer::node(const EdgeInfo& ei, const NodeInfo& ni) { |