MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / removeSelectedNode

Method removeSelectedNode

cp-profiler/src/cpprofiler/execution_window.cpp:419–438  ·  view source on GitHub ↗

TODO: this should only be active when the tree is done building

Source from the content-addressed store, hash-verified

417
418/// TODO: this should only be active when the tree is done building
419void ExecutionWindow::removeSelectedNode()
420{
421
422 auto nid = execution_.userData().getSelectedNode();
423 if (nid == NodeID::NoNode)
424 return;
425
426 const auto pid = execution_.tree().getParent(nid);
427 execution_.userData().setSelectedNode(pid);
428
429 execution_.tree().removeNode(nid);
430
431 if (pid != NodeID::NoNode)
432 {
433 traditional_view_->dirtyUp(pid);
434 }
435
436 traditional_view_->setLayoutOutdated();
437 traditional_view_->redraw();
438}
439
440static void writeToFile(const QString &path, const QString &str)
441{

Callers

nothing calls this directly

Calls 7

getSelectedNodeMethod · 0.80
setSelectedNodeMethod · 0.80
removeNodeMethod · 0.80
setLayoutOutdatedMethod · 0.80
redrawMethod · 0.80
getParentMethod · 0.45
dirtyUpMethod · 0.45

Tested by

no test coverage detected