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

Method navRight

cp-profiler/src/cpprofiler/tree/traditional_view.cpp:188–213  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

186}
187
188void TraditionalView::navRight()
189{
190 /// lock mutex
191 auto nid = node();
192 if (nid == NodeID::NoNode)
193 return;
194
195 utils::DebugMutexLocker tree_lock(&tree_.treeMutex());
196
197 auto pid = tree_.getParent(nid);
198
199 if (pid == NodeID::NoNode)
200 return;
201
202 auto cur_alt = tree_.getAlternative(nid);
203
204 auto kids = tree_.childrenCount(pid);
205
206 if (cur_alt + 1 < kids)
207 {
208 const auto kid = tree_.getChild(pid, cur_alt + 1);
209 emit nodeSelected(kid);
210 centerCurrentNode();
211 emit needsRedrawing();
212 }
213}
214
215void TraditionalView::setLabelShown(NodeID nid, bool val)
216{

Callers

nothing calls this directly

Calls 4

getParentMethod · 0.45
getAlternativeMethod · 0.45
childrenCountMethod · 0.45
getChildMethod · 0.45

Tested by

no test coverage detected