(view: GraphView)
| 626 | } |
| 627 | |
| 628 | private showControlAction(view: GraphView): void { |
| 629 | for (const node of view.graph.nodes()) { |
| 630 | node.visible = node.cfg && (!view.state.hideDead || node.isLive()); |
| 631 | } |
| 632 | view.graph.forEachEdge((edge: GraphEdge) => { |
| 633 | edge.visible = edge.type === "control" && edge.source.visible && edge.target.visible; |
| 634 | }); |
| 635 | view.showVisible(); |
| 636 | } |
| 637 | |
| 638 | private hideUnselectedAction(view: GraphView): void { |
| 639 | for (const node of view.graph.nodes()) { |
no test coverage detected